Filter your results
- 216
- 180
- 1
- 271
- 73
- 28
- 7
- 5
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 114
- 98
- 58
- 52
- 30
- 26
- 24
- 22
- 20
- 9
- 3
- 1
- 7
- 18
- 17
- 25
- 34
- 24
- 18
- 25
- 39
- 26
- 16
- 27
- 16
- 14
- 16
- 14
- 11
- 16
- 12
- 2
- 1
- 3
- 1
- 3
- 2
- 2
- 2
- 1
- 5
- 393
- 4
- 30
- 22
- 22
- 21
- 19
- 18
- 18
- 16
- 15
- 15
- 15
- 13
- 13
- 13
- 13
- 13
- 12
- 12
- 11
- 10
- 10
- 10
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 25
- 17
- 15
- 14
- 14
- 13
- 13
- 13
- 13
- 13
- 12
- 12
- 12
- 11
- 11
- 11
- 11
- 11
- 11
- 11
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
High Level Design Validation and Test Workshop (HLDVT), 2010High Level Design Validation and Test Workshop (HLDVT), 2010, Jun 2010, Louisville, CA, United States. pp.33-39
Conference papers
hal-00663383v1
|
|||
|
Kinetic Analysis of Single Molecule Electrodiffusion in a Biological Nanopore with Two Binding Sites63rd Annual Meeting of the Biophysical-Society Location, Mar 2019, Baltimore, United States
Conference papers
hal-02484073v1
|
||
Formal Verification of Constrained Arithmetic Circuits Using Computer Algebraic ApproachIEEE International Symposium on VLSI, Jul 2020, Limassol, Cyprus. , paper #1570638028, 2020, ISVLSI'20
Conference poster
hal-02569466v1
|
|||
|
Relaxation of the thermal Casimir force between net neutral plates containing Brownian chargesPhysical Review E : Statistical, Nonlinear, and Soft Matter Physics, 2014, 89 (3), pp.032117 (1-8). ⟨10.1103/PhysRevE.89.032117⟩
Journal articles
hal-00987474v1
|
||
Extragalactic Astronomy: From Pioneers to Big ScienceFrom the Realm of the Nebulae to Populations of Galaxies, Astrophysics and Space Science Library, Volume 435. ISBN 978-3-319-31004-6. Springer International Publishing Switzerland, 2016, p. 1, pp.1-92, 2016, ⟨10.1007/978-3-319-31006-0_1⟩
Book sections
hal-02319524v1
|
|||
|
Optimization for Active Learning-based Interactive Database Exploration[Technical Report] Ecole Polytechnique; University of Massachusetts Amherst. 2018
Reports
hal-01870560v1
|
||
|
UDAO: A Next-Generation Unified Data Analytics OptimizerProceedings of the VLDB Endowment (PVLDB), 2019, 12 (12), ⟨10.14778/3352063.3352103⟩
Journal articles
hal-02267180v1
|
||
Evidence from L1 acquisition for the syntax of wh-scope marking in FrenchLinda Escobar & Vincent Torrens. The Acquisition of the Syntax of Romance Languages, Amsterdam/Philadelphia: John Benjamins Publishing Company, p.289-315, 2006, Language Acquisition and Language Disorders 41
Book sections
hal-01055515v1
|
|||
|
Fluctuation of thermal van der Waals forces due to dipole fluctuationsPhysical Review A : Atomic, molecular, and optical physics, 2013, 87 (3), pp.032111 (1-5). ⟨10.1103/PhysRevA.87.032111⟩
Journal articles
hal-00817659v1
|
||
|
GOODS-ALMA 2.0: Source catalog, number counts, and prevailing compact sizes in 1.1 mm galaxiesAstronomy and Astrophysics - A&A, 2022, 658, pp.A43. ⟨10.1051/0004-6361/202141615⟩
Journal articles
hal-03550144v1
|
||
|
Data-Flow Transformations Using Taylor Expansion DiagramsDATE'2007, Apr 2007, Nice, France
Conference papers
hal-00167364v1
|
||
Behavioral transformation for hardware synthesis and code optimization based on Taylor Expansion Diagrams.United States, Patent n° : 8426. 2005
Patents
hal-00105421v1
|
|||
|
Equivalence, reversibility and symmetry properties in fork/join queueing networks with blocking[Research Report] RR-1267, INRIA. 1990
Reports
inria-00075292v1
|
||
Real-Time Problem-Solving with Contract Algorithms16th International Joint Conference on Artificial Intelligence, 1999, Stockholm, Sweden, pp.1008-1013
Conference papers
inria-00098864v1
|
|||
Wh-scope marking and the acquisition of complementationThe Romance Turn II: Workshop on the Acquisition of Romance Languages, organised by Sergio Baauw, Jacqueline van Kampen, Manuela Pinto & Joke de Lange, Sep 2006, Utrecht Institue of Linguistics (UiL OTS) & Utrecht University, Utrecht, Netherlands
Conference papers
hal-01055500v1
|
|||
|
Reconfigurable Security Primitive for Embedded Systems2005, 8 p
Conference papers
hal-00089411v1
|
||
Targeting Tiled Architectures in Design Exploration2003, pp.XX
Conference papers
hal-00089448v1
|
|||
Optimal Sequencing of Contract AlgorithmsBar-Ilan Symposium on the Foundation of Artificial Intelligence, 1999, Ramat Gan, Israel
Conference papers
inria-00108057v1
|
|||
|
Update to Our Reader, Reviewer, and Author Communities—April 2020Journal of the American Chemical Society, 2020, 142 (18), pp.8059-8060. ⟨10.1021/jacs.0c04253⟩
Journal articles
hal-02557714v1
|
||
|
Confronting Racism in Chemistry JournalsACS Applied Materials & Interfaces, 2020, 12 (26), pp.28925-28927. ⟨10.1021/acsami.0c10979⟩
Journal articles
hal-02878402v1
|
||
|
Present-day principal horizontal stress orientations in the Kumano forearc basin of the southwest Japan subduction zone determined from IODP NanTroSEIZE drilling Site C0009Geophysical Research Letters, 2010, 37, pp.13303. ⟨10.1029/2010GL043158⟩
Journal articles
insu-00565053v1
|
||
|
Expedition 383 summaryVolume 383: Dynamics of the Pacific Antarctic Circumpolar Current (DYNAPACC), 383, International Ocean Discovery Program, 2021, Proceedings of the International Ocean Discovery Program, ⟨10.14379/iodp.proc.383.101.2021⟩
Book sections
hal-03534132v1
|
||
|
ON THE SHAFAREVICH GROUP OF RESTRICTED RAMIFICATION EXTENSIONS OF NUMBER FIELDS IN THE TAME CASE2019
Preprints, Working Papers, ...
hal-02280113v1
|
||
L'application des normes IAS/IFRS dans l'Union Européenne : Outil de gouvernance d'entreprise ou de gouvernance mondiale ?30ème Congrès Annuel de l’Association Francophone de Comptabilité (AFC), La place de la dimension européenne dans la Comptabilité Contrôle Audit, May 2009, Strasbourg, France
Conference papers
hal-02134531v1
|
|||
Enhanced Adhesion of Elastic Materials to Small-Scale WrinklesLangmuir, 2012, 28 (42), pp.14899 - 14908. ⟨10.1021/la302314z⟩
Journal articles
hal-01540834v1
|
|||
|
Fluctuation mediated interactions due to rigidity mismatch and their effect on miscibility of lipid mixtures in multicomponent membranesJournal of Physics: Condensed Matter, 2015, 27 (21), pp.214004 (1-10). ⟨10.1088/0953-8984/27/21/214004⟩
Journal articles
hal-01158092v1
|
||
|
Fides: Towards a Platform for Responsible Data ScienceSSDBM'17 - 29th International Conference on Scientific and Statistical Database Management, Jun 2017, Chicago, United States. ⟨10.1145/3085504.3085530⟩
Conference papers
hal-01522418v1
|
||
|
Climate mediates the effects of disturbance on ant assemblage structureProceedings of the Royal Society B: Biological Sciences, 2015, 282 (1808 ), pp.20150418. ⟨10.1098/rspb.2015.0418⟩
Journal articles
hal-01323255v1
|
||
|
DEEP NEAR-INFRARED SPECTROSCOPY OF PASSIVELY EVOLVING GALAXIES AT z greater than or similar to 1.4The Astrophysical Journal, 2012, 755 (1), ⟨10.1088/0004-637X/755/1/26⟩
Journal articles
hal-01442162v1
|
||
|
Illuminating Light BendingPoS - Proceedings of Science, 2017
Journal articles
hal-01567259v1
|