Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

1 201 Results
Structure: Internal structure identifier : 303576
Image document

A Language-Independent Proof System for Full Program Equivalence

Stefan Ciobaca , Dorel Lucanu , Vlad Rusu , Grigore Rosu
Formal Aspects of Computing, 2016, 28 (3), pp.469--497. ⟨10.1007/s00165-016-0361-7⟩
Journal articles hal-01245528v2
Image document

Rotator side chains trigger cooperative transition for shape and function memory effect in organic semiconductors

Hyunjoong Chung , Dmytro Dudenko , Fengjiao Zhang , Gabriele D’avino , Christian Ruzié , et al.
Nature Communications, 2018, 9 (1), pp.278. ⟨10.1038/s41467-017-02607-9⟩
Journal articles hal-01910594v1
Image document

Product circularity indicators: what contributions in designing for a circular economy?

Michael Saidani , Harrison Kim , François Cluzel , Yann Leroy , Bernard Yannou
DESIGN Conference, Oct 2020, Dubrovnik, Croatia. pp.2129 - 2138, ⟨10.1017/dsd.2020.76⟩
Conference papers hal-02866926v1

The application of life cycle assessment (LCA) to wastewater treatment: A best practice guide and critical review

Lluís Corominas , Diana M Byrne , Jeremy S Guest , Almudena Hospido , Philippe I Roux , et al.
Water Research, 2020, 184, pp.116058. ⟨10.1016/j.watres.2020.116058⟩
Journal articles hal-02916379v1

Metal ions induced secondary structure rearrangements: mechanically interlocked lasso vs. unthreaded branched-cyclic topoisomers

Kévin Jeanne Dit Fouque , Javier Moreno , Julian Hegemann , Séverine Zirah , Sylvie Rebuffat , et al.
Analyst, 2018, 143 (10), pp.2323-2333. ⟨10.1039/c8an00138c⟩
Journal articles hal-02912567v1

Materials for Bioresorbable Radio Frequency Electronics

Suk-Won Hwang , Xian Huang , Jung-Hun Seo , Jun-Kyul Song , Stanley Kim , et al.
Advanced Materials, 2013, 25 (26), pp.3526-3531. ⟨10.1002/adma.201300920⟩
Journal articles istex hal-02914831v1

Invoking adaptation to decipher the genetic legacy of past climate change

Guillaume de Lafontaine , Joseph D. Napier , Remy J. Petit , Feng Sheng Hu
Ecology, 2018, 99 (7), pp.1530-1546. ⟨10.1002/ecy.2382⟩
Journal articles hal-02624506v1
Image document

Stability of Glassy and Ferroelectric States in the Relaxors PbMg1/3Nb2/3O3 and PbMg1/3Nb2/3O3-12% PbTiO3

Eugene V. Colla , D. Vigil , J. Timmerwilke , M. B. Weissman , D. D. Viehland , et al.
Physical Review B: Condensed Matter and Materials Physics (1998-2015), 2007, 75 (21), pp.214201. ⟨10.1103/PhysRevB.75.214201⟩
Journal articles hal-00176613v1
Image document

Contrasting interannual atmospheric CO2 variabilities and their terrestrial mechanisms for two types of El Niños

Jun Wang , Ning Zeng , Meirong Wang , Fei Jiang , Jingming Chen , et al.
Atmospheric Chemistry and Physics, 2018, 18 (14), pp.10333-10345. ⟨10.5194/acp-18-10333-2018⟩
Journal articles hal-02976230v1
Image document

Negative extreme events in gross primary productivity and their drivers in China during the past three decades

Weizhe Chen , Dan Zhu , Chunju Huang , Philippe Ciais , Yitong Yao , et al.
Agricultural and Forest Meteorology, 2019, 275, pp.47-58. ⟨10.1016/j.agrformet.2019.05.002⟩
Journal articles hal-02899454v1
Image document

Security Partnerships in France

Thierry Delpeuch , Jacqueline E. Ross
Jacques de Maillard; Wesley G. Skogan. Policing in France, Routledge, 2020, Advances in Police Theory and Practice, 978-0367135249
Book sections halshs-03100363v1

Quantitative modeling of solute drag by vacancies in face-centered-cubic alloys

Thomas Garnier , Dallas Trinkle , Maylise Nastar , Pascal Bellon
Physical Review B, 2014, 89 (14), ⟨10.1103/PhysRevB.89.144202⟩
Journal articles cea-03200093v1
Image document

The gem5 Simulator: Version 20.0+

Jason Lowe-Power , Abdul Mutaal Ahmad , Adria Armejach , Adrian Herrera , Alec Roelke , et al.
Preprints, Working Papers, ... hal-03100818v1

Endogenous Gibbon Ape Leukemia Virus Identified in a Rodent (Melomys burtoni subsp.) from Wallacea (Indonesia)

Niccolò Alfano , Johan Michaux , Serge Morand , Ken Aplin , Kyriakos Tsangaras , et al.
Journal of Virology, 2016, 90 (18), pp.8169-8180. ⟨10.1128/JVI.00723-16⟩
Journal articles hal-03053780v1

Comparison of two inverse analysis techniques for learning deep excavation response

Y.M.A. Hashash , S. Levasseur , A. Osouli , R. Finno , Y. Malecot
Computers and Geotechnics, 2010, 37 (3), pp.323-333
Journal articles hal-01998311v1

Redesigning photosynthesis to sustainably meet global food and bioenergy demand

Donald Ort , Sabeeha Merchant , Jean Alric , Alice Barkan , Robert Blankenship , et al.
Proceedings of the National Academy of Sciences of the United States of America, 2015, 112 (28), pp.8529-8536. ⟨10.1073/pnas.1424031112⟩
Journal articles cea-02049469v1

Competitive online scheduling algorithms with applications in deadline-constrained EV charging

Bahram Alinia , Mohammad Sadegh Talebi , Mohammad Hajiesmaili , Ali Yekkehkhany , Noel Crespi
IWQoS 2018: IEEE/ACM 26th International Symposium on Quality of Service, Jun 2018, Banff, Ab, Canada. pp.1 - 10, ⟨10.1109/IWQoS.2018.8624184⟩
Conference papers hal-01998511v1

A pathogenesis‐related protein GmPR08‐Bet VI promotes a molecular interaction between the GmSHMT08 and GmSNAP18 in resistance to Heterodera glycines

Naoufal Lakhssassi , Sarbottam Piya , Sadia Bekal , Shiming Liu , Zhou Zhou , et al.
Plant Biotechnology Journal, 2020, 18 (8), pp.1810-1829. ⟨10.1111/pbi.13343⟩
Journal articles hal-03216733v1

Shared polygenic risk and causal inferences in amyotrophic lateral sclerosis

Sara Bandres‐ciga , Alastair Noyce , Gibran Hemani , Alessandro Arosio , Marco Barberis , et al.
Annals of Neurology, 2019, 85 (4), pp.470-481. ⟨10.1002/ana.25431⟩
Journal articles hal-02922002v1

Les hauts niveaux marins interglaciaires pléistocènes enregistrés dans la région d’Agadir : bilan des données chronologiques.

S. Balescu , A. Weisrock , S. Huot , M. Lamothe , A. Ouammou , et al.
Patrimoine et changements climatiques depuis un million d’années, Troisièmes Journées Francophones,, pp.4, 2015
Book sections hal-02973121v1
Image document

ISS and integral-ISS of switched systems with nonlinear supply functions

Shenyu Liu , Aneel Tanwani , Daniel Liberzon
Mathematics of Control, Signals, and Systems, 2022, 34, pp.297-327. ⟨10.1007/s00498-021-00306-x⟩
Journal articles hal-03140903v2

Large-eddy simulation of a pure thermal plume under rotating conditions

Minh Vuong Pham , Frédéric Plourde , Son Doan Kim , S. Balachandar
Physics of Fluids, 2006, 18, pp.1-14. ⟨10.1063/1.2162186⟩
Journal articles hal-00017482v1

A Hierarchical Approach for Load Balancing on Parallel Multi-core Systems

Laércio Pilla , Christiane Pousa Ribeiro , Daniel Cordeiro , Chao Mei , Abhinav Bhatele , et al.
ICPP 2012 - 41st IEEE International Conference on Parallel Processing, Sep 2012, Pittsburgh, Pennsylvania, United States. pp.118-127, ⟨10.1109/ICPP.2012.9⟩
Conference papers hal-00788012v1

INIE Collaboration between UIUC and Purdue on Virtual Reactor Development

Dimitrios Andritsos , John Griffith , Nick Karancevic , Tatjana Jevremovic , James Stubbins , et al.
Leadership Towards a Progressive, Integrated Nuclear Community Going Forward Together, 2004, Washington, United States
Conference papers hal-00643769v1
Image document

Assessment of global cloud datasets from satellites: Project and database initiated by the GEWEX radiation panel

C.J. Stubenrauch , W.B. Rossow , S. Kinne , S. Ackerman , G. Cesana , et al.
Bulletin of the American Meteorological Society, 2013, 94 (7), pp.1031-1049. ⟨10.1175/BAMS-D-12-00117.1⟩
Journal articles hal-01091218v1

Pressure-induced Pbca–P21/c phase transition of natural orthoenstatite: The effect of high temperature and its geophysical implications

Jin Zhang , Bruno Reynard , Gilles Montagnac , Jay Bass
Physics of the Earth and Planetary Interiors, 2014, 228, pp.150-159. ⟨10.1016/j.pepi.2013.09.008⟩
Journal articles hal-02108665v1

Effects of heat transfer on transitional states of supersonic boundary layers

Mostafa Safdari Shadloo , A. Hadjadj , D.J. Bodony , Fazle Hussain , Sanjiva K. Lele
Proceedings of the 2016 Summer Program, Center for Turbulence Research, Stanford University, 2016
Book sections hal-02117263v1

Infrared Predissociation Vibrational Spectroscopy of Li+(H2O)3–4Ar0,1 Reanalyzed Using Density Functional Theory Molecular Dynamics

Vincent Brites , J. M. Lisy , Marie-Pierre Gaigeot
Journal of Physical Chemistry A, 2015, 119 (11), pp.2468-2474. ⟨10.1021/jp508699m⟩
Journal articles hal-02065099v1

Some elements on detoxification pathway in P. fluorescens under nitrosative stress

Ségolène Depayras , Chautrand Thibault , Tatiana Kondakova , Djouhar Souak , Rachel Duchesne , et al.
Congress of European Microbiologists (FEMS, 8, 2019), Jul 2019, Glasgow, United Kingdom
Poster communications hal-02365893v1
Image document

On Communication Determinism in Parallel HPC Applications

Franck Cappello , Amina Guermouche , Marc Snir
2010 Proceedings of 19th International Conference on Computer Communications and Networks, Aug 2010, Zurich, Switzerland. ⟨10.1109/ICCCN.2010.5560143⟩
Conference papers hal-01953167v1