Search - Archive ouverte HAL Access content directly

Filter your results

397 Results
Structure: Internal structure identifier : 91189

High Level Design Validation and Test Workshop (HLDVT), 2010

Daniel Gomez-Prado , K. Du-Sung , Maciej Ciesielski , Emmanuel Boutillon
High Level Design Validation and Test Workshop (HLDVT), 2010, Jun 2010, Louisville, CA, United States. pp.33-39
Conference papers hal-00663383v1
Image document

Kinetic Analysis of Single Molecule Electrodiffusion in a Biological Nanopore with Two Binding Sites

Norbert Ankri , Mordjane Boukhet , Gerhard Baaken , Murugappan Muthukumar , Jan Behrends et al.
63rd 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 Approach

Tiankai Su , Atif Yasin , Sébastien Pillement , Maciej Ciesielski
IEEE International Symposium on VLSI, Jul 2020, Limassol, Cyprus. , paper #1570638028, 2020, ISVLSI'20
Conference poster hal-02569466v1
Image document

Relaxation of the thermal Casimir force between net neutral plates containing Brownian charges

David S. Dean , Rudolf Podgornik
Physical 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 Science

Roberto Rampazzo , Mauro D’onofrio , Simone Zaggia , James Lattis , Martha Haynes et al.
From 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
Image document

Optimization for Active Learning-based Interactive Database Exploration

Enhui Huang , Liping Peng , Luciano Di Palma , Ahmed Abdelkafi , Anna Liu et al.
[Technical Report] Ecole Polytechnique; University of Massachusetts Amherst. 2018
Reports hal-01870560v1
Image document

UDAO: A Next-Generation Unified Data Analytics Optimizer

Khaled Zaouk , Fei Song , Chenghao Lyu , Arnab Sinha , Yanlei Diao et al.
Proceedings 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 French

Magda Oiry , Hamida Demirdache
Linda 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
Image document

Fluctuation of thermal van der Waals forces due to dipole fluctuations

David S. Dean , V. Adrian Parsegian , Rudolf Podgornik
Physical Review A : Atomic, molecular, and optical physics, 2013, 87 (3), pp.032111 (1-5). ⟨10.1103/PhysRevA.87.032111⟩
Journal articles hal-00817659v1
Image document

GOODS-ALMA 2.0: Source catalog, number counts, and prevailing compact sizes in 1.1 mm galaxies

C. Gómez-Guijarro , D. Elbaz , M. Xiao , M. Béthermin , M. Franco et al.
Astronomy and Astrophysics - A&A, 2022, 658, pp.A43. ⟨10.1051/0004-6361/202141615⟩
Journal articles hal-03550144v1
Image document

Data-Flow Transformations Using Taylor Expansion Diagrams

Maciej Ciesielski , Serkan Askar , Daniel Gomez-Prado , Jeremie Guillot , Emmanuel Boutillon et al.
DATE'2007, Apr 2007, Nice, France
Conference papers hal-00167364v1

Behavioral transformation for hardware synthesis and code optimization based on Taylor Expansion Diagrams.

Maciej Ciesielski , Serkan Askar , Emmanuel Boutillon , Jeremie Guillot
United States, Patent n° : 8426. 2005
Patents hal-00105421v1
Image document

Equivalence, reversibility and symmetry properties in fork/join queueing networks with blocking

Yves Dallery , Zhen Liu , Don Towsley
[Research Report] RR-1267, INRIA. 1990
Reports inria-00075292v1

Real-Time Problem-Solving with Contract Algorithms

Shlomo Zilberstein , François Charpillet , Philippe Chassaing
16th International Joint Conference on Artificial Intelligence, 1999, Stockholm, Sweden, pp.1008-1013
Conference papers inria-00098864v1

Wh-scope marking and the acquisition of complementation

Magda Oiry , Oana Lungu , Hamida Demirdache
The 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
Image document

Reconfigurable Security Primitive for Embedded Systems

Guy Gogniat , Tilman Wolf , Wayne Burleson
2005, 8 p
Conference papers hal-00089411v1

Targeting Tiled Architectures in Design Exploration

Lilian Bossuet , Wayne Burleson , Guy Gogniat , Vikas Anand , Andrew Laffely et al.
2003, pp.XX
Conference papers hal-00089448v1

Optimal Sequencing of Contract Algorithms

Shlomo Zilberstein , François Charpillet , Philippe Chassaing
Bar-Ilan Symposium on the Foundation of Artificial Intelligence, 1999, Ramat Gan, Israel
Conference papers inria-00108057v1
Image document

Update to Our Reader, Reviewer, and Author Communities—April 2020

Cynthia J. Burrows , Shu Wang , Hyun Jae Kim , Gerald Meyer , Kirk Schanze et al.
Journal of the American Chemical Society, 2020, 142 (18), pp.8059-8060. ⟨10.1021/jacs.0c04253⟩
Journal articles hal-02557714v1
Image document

Confronting Racism in Chemistry Journals

Cynthia J. Burrows , Jiaxiang Huang , Shu Wang , Hyun Jae Kim , Gerald J. Meyer et al.
ACS Applied Materials & Interfaces, 2020, 12 (26), pp.28925-28927. ⟨10.1021/acsami.0c10979⟩
Journal articles hal-02878402v1
Image document

Present-day principal horizontal stress orientations in the Kumano forearc basin of the southwest Japan subduction zone determined from IODP NanTroSEIZE drilling Site C0009

Weiren Lin , Mai-Linh Doan , J. Casey Moore , Lisa Mcneill , Timothy B. Byrne et al.
Geophysical Research Letters, 2010, 37, pp.13303. ⟨10.1029/2010GL043158⟩
Journal articles insu-00565053v1
Image document

Expedition 383 summary

G. Winckler , F. Lamy , C.A. A Alvarez Zarikian , H.W. W Arz , C. Basak et al.
Volume 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
Image document


Farshid Hajir , Christian Maire , Ravi Ramakrishna
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 ?

Elena M. Barbu , C. Richard Baker
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 Wrinkles

Chelsea S. Davis , David Martina , Costantino Creton , Anke Lindner , Alfred J. Crosby et al.
Langmuir, 2012, 28 (42), pp.14899 - 14908. ⟨10.1021/la302314z⟩
Journal articles hal-01540834v1
Image document

Fluctuation mediated interactions due to rigidity mismatch and their effect on miscibility of lipid mixtures in multicomponent membranes

David S. Dean , V. Adrian Parsegian , Rudolf Podgornik
Journal of Physics: Condensed Matter, 2015, 27 (21), pp.214004 (1-10). ⟨10.1088/0953-8984/27/21/214004⟩
Journal articles hal-01158092v1
Image document

Fides: Towards a Platform for Responsible Data Science

Julia Stoyanovich , Bill Howe , Serge Abiteboul , Gerome Miklau , Arnaud Sahuguet et al.
SSDBM'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 structure

Heloise Gibb , Simon Watson , Manoli Photakis , Silvia Abril , Elena Angulo et al.
Proceedings of the Royal Society B: Biological Sciences, 2015, 282 (1808 ), pp.20150418. ⟨10.1098/rspb.2015.0418⟩
Journal articles hal-01323255v1


M. Onodera , A. Renzini , M. Carollo , M. Cappellari , C. Mancini et al.
The Astrophysical Journal, 2012, 755 (1), ⟨10.1088/0004-637X/755/1/26⟩
Journal articles hal-01442162v1
Image document

Illuminating Light Bending

N. E. J. Bjerrum-Bohr , Barry R. Holstein , J.F. Donoghue , Ludovic Plante , P. Vanhove et al.
PoS - Proceedings of Science, 2017
Journal articles hal-01567259v1