Search - Archive ouverte HAL Access content directly

Filter your results

251 Results
Structure: Internal structure identifier : 110670
Image document

Introduction to the French GEOTRACES North Atlantic Transect (GA01): GEOVIDE cruise

Géraldine Sarthou , Pascale Lherminier , Eric Achterberg , Fernando Alonso-Pérez , Eva Bucciarelli et al.
Biogeosciences, 2018, 15 (23), pp.7097-7109. ⟨10.5194/bg-15-7097-2018⟩
Journal articles hal-02511162v1
Image document

Dynamic slicing for Concurrent Constraint Languages

Moreno Falaschi , Maurizio Gabbrielli , Carlos Olarte , Catuscia Palamidessi
Fundamenta Informaticae, 2020, 177 (3-4), pp.331-357. ⟨10.3233/FI-2020-1992⟩
Journal articles hal-02423973v2
Image document

Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics

Björn Lellmann , Nicola Olivetti , Elaine Pimentel , Tiziano Dalmonte
Logical Foundations of Computer Science - International Symposium, LFCS 2020, Jan 2020, Deerfield Beach, United States
Conference papers hal-02436312v1

Long‐term meteorological drought characterization in the São Francisco watershed, Brazil: A climatic water balance approach

Pedro Mutti , Vincent Dubreuil , Bergson Bezerra , Damien Arvor , Beatriz Funatsu et al.
International Journal of Climatology, 2022, ⟨10.1002/joc.7701⟩
Journal articles halshs-03696367v1
Image document

Path generation based on convex lifting: optimization of the corridors

Marco Mirabilio , Sorin Olaru , Carlos Eduardo Trabuco Dórea , Alessio Iovine , Maria Domenica Di Benedetto et al.
18th IFAC Workshop on Control Applications of Optimization (CAO), Jul 2022, Gif sur Yvette, France. ⟨10.1016/j.ifacol.2022.09.034.⟩
Conference papers hal-03767403v1

Architecting IoT Applications with SysADL

Jair Leite , Thais Batista , Flavio Oquendo
2017 IEEE International Conference on Software Architecture Workshops (ICSAW), Apr 2017, Gothenburg, France. pp.92-99
Conference papers hal-02132111v1

A middleware environment for developing Internet of Things applications

César Batista , Pedro Victor Borges , Everton Cavalcante , Thais Batista , Tiago Barros et al.
MIDDLEWARE 2018: 19th International Middleware Conference, Dec 2018, Rennes, France. pp.41-46, ⟨10.1145/3286719.3286728⟩
Conference papers hal-02983206v1

Caspases and TNFα activation in sperm storage tubules is correlated with hen's fertility

Luiz-Augusto Cordeiro , Cindy Riou , Nadine Gérard
33. Annual Meeting of the European Embryo Transfer Association (AETE), Sep 2017, Bath, United Kingdom. 2017, 33rd Annual Meeting of the European Embryo Transfer Association (AETE)
Conference poster hal-02735861v1
Image document

Uppermost mantle velocity beneath the Mid-Atlantic Ridge and transform faults in the equatorial Atlantic Ocean

Guilherme Weber Sampaio de Melo , Ross Parnell-Turner , Robert Dziak , Deborah Smith , Marcia Maia et al.
Bulletin of the Seismological Society of America, 2020, 111 (2), pp.1067-1079
Journal articles hal-03062624v1
Image document

Entry games for the airline industry

Christian Bontemps , Raquel Menezes Bezerra Sampaio
Air Transport and Regional Development Methodologies, 2020, 9780429021855. ⟨10.4324/9780429021855⟩
Book sections hal-02137358v2
Image document

Controlled synthesis of CoFe2O4 nano-octahedra

André-Luis Lopes-Moriyama , V. Madigou , Carlson Pereira de Souza , Christine Leroux
Powder Technology, 2014, 256, pp.482. ⟨10.1016/j.powtec.2014.01.080⟩
Journal articles hal-01053694v1

An Architecture for Resilient Ubiquitous Systems

Anubis Graciela de Moraes Rossetto , Claudio Geyer , Luciana Arantes , Carlos Rolim , Valderi Leithardt et al.
International Conference on Health Informatics, Mar 2014, Angers, France. pp.459-464, ⟨10.5220/0004910404590464⟩
Conference papers hal-01215657v1
Image document

Modulated spin-liquid and magnetic order from a Kondo-Heisenberg model applied to U Ru 2 Si 2

X. Montiel , S. Burdin , C. Pépin , A. Ferraz
Physical Review B: Condensed Matter and Materials Physics (1998-2015), 2014, 90 (4), pp.045125 (1-18). ⟨10.1103/PhysRevB.90.045125⟩
Journal articles hal-01063763v1

The Alzheimer susceptibility gene BIN1 induces isoform-dependent neurotoxicity through early endosome defects

Erwan Lambert , Orthis Saha , Bruna Soares Landeira , Ana Raquel Melo de Farias , Xavier Hermant et al.
Acta Neuropathologica Communications, 2022, 10 (1), pp.4. ⟨10.1186/s40478-021-01285-5⟩
Journal articles hal-03795664v1

Proceedings of the 3rd ACM workshop on middleware for context-aware applications in the IoT : in conjunction with ACM/IFIP/USENIX ACM international middleware conference : December 12-13 2016, Trento Italy

Danny Hugues , Chantal Taconet , Sébastien Leriche , Thais Batista
ACM, pp.22, 2016, 978-1-4503-4663-4
Books hal-01425973v1
Image document

A snapshot of the inner dusty regions of a RCrB-type variable

I.C. Leao , Patrick de Laverny , O. Chesneau , D. Mekarnia , J.R. de Medeiros et al.
Preprints, Working Papers, ... hal-00128468v1
Image document

Lithium abundance and rotation of seismic solar analogues

P. G. Beck , J.-D. Do Nascimento , T. Duarte , D. Salabert , A. Tkachenko et al.
Astronomy and Astrophysics - A&A, 2017, 602, pp.A63. ⟨10.1051/0004-6361/201629820⟩
Journal articles cea-02988985v1

Decision Procedures for the Formal Analysis of Software

David Déharbe , Pascal Fontaine , Silvio Ranise , Christophe Ringeissen
3rd International Colloquium on Theoretical Aspects of Computing, ICTAC, Nov 2006, Tunis, Tunisia, pp.366--370, ⟨10.1007/11921240_26⟩
Conference papers istex inria-00117277v1
Image document

Genetic structuring among colonies of a pantropical seabird: Implication for subspecies validation and conservation

Laurence Humeau , Matthieu Le Corre , Silas James Reynolds , Colin Wearn , Janos C Hennicke et al.
Ecology and Evolution, 2020, 10, pp.11886 - 11905. ⟨10.1002/ece3.6635⟩
Journal articles hal-03009608v1

Evaluating a SysML-based Graphical Notation for Modeling Internet of Things System Architectures

Lidiane Santos , Eduardo Silva , Thais Batista , Jair Leite , Everton Cavalcante et al.
2020 IEEE 6th World Forum on Internet of Things (WF-IoT), Jun 2020, New Orleans, United States. pp.1-6, ⟨10.1109/WF-IoT48130.2020.9221497⟩
Conference papers hal-03585028v1

Introduction, “Patrimônio afro-religioso: acervos, preservação e fonte de conhecimento

Stefania Capone , Mariana Ramos de Morais , Luiz Assunção
Vivência, In press, 1 (55)
Journal articles hal-02973789v1
Image document

Editorial Message Track on Software-intensive Systems-of-Systems (SiSoS) of the 33rd ACM/SIGAPP Symposium On Applied Computing (SAC 2018)

Khalil Drira , Flavio Oquendo , Axel Legay , Thais Batista
SAC 2018 - The 33rd ACM/SIGAPP Symposium On Applied Computing, Apr 2018, Pau, France. pp.1-3
Conference papers hal-01666389v1
Image document

Raman signatures of novel electronic states in BCT lattice

Carlene Paula Silva de Farias , Sebastien Burdin , Alvaro Ferraz
Preprints, Working Papers, ... hal-01630370v1

Lithium abundances for early F stars: new observational constraints for the Li dilution

Gérard Jasniewicz , A. Recio-Blanco , P. de Laverny , M. Parthasarathy , J. R. de Medeiros et al.
Astronomy and Astrophysics - A&A, 2006, 453, pp.717-722. ⟨10.1051/0004-6361:20054421⟩
Journal articles hal-00362595v1

The Seismology programme of CoRoT

E. Michel , A. Baglin , M. Auvergne , C. Catala , C. Aerts et al.
The CoRoT Mission, 2006, 1306, pp.39-50
Journal articles hal-00288333v1
Image document

Foundations for Reliable and Flexible Interactive Multimedia Scores

Jaime Arias , Myriam Desainte-Catherine , Carlos Olarte , Camilo Rueda
Fifth Biennial International Conference on Mathematics and Computation in Music, Jun 2015, London, United Kingdom. pp.29-41, ⟨10.1007/978-3-319-20603-5_3⟩
Conference papers hal-01129394v1

Aspect-Oriented Software Development in Practice: Tales from AOSD-Europe

Awais Rashid , Thomas Cottenier , Phil Greenwood , Ruzanna Chitchyan , Meunier Regine et al.
Computer, 2010, 43 (2), pp.19-26. ⟨10.1109/MC.2010.30⟩
Journal articles hal-00470420v1

Evolution of the solar activity over time and effects on planetary atmospheres. II. kappa^1 Ceti, an analog of the Sun when life arose on Earth

I. Ribas , G. F. Porto de Mello , L. D. Ferreira , Eric Hébrard , Franck Selsis et al.
The Astrophysical Journal, 2010, 714 (1), pp.384-395. ⟨10.1088/0004-637X/714/1/384⟩
Journal articles hal-00521699v1

GridTPT: a distributed platform for Theorem Prover Testing

Thomas Bouton , Diego Caminha B. de Oliveira , David Déharbe , Pascal Fontaine
2nd Workshop on Practical Aspects of Automated Reasoning (PAAR), Jul 2010, Edinburgh, United Kingdom
Conference papers inria-00543805v1
Image document

Generating reliable services' composition using A-policies: a model-driven approach

Genoveva Vargas-Solar , Valeria de Castro , Plácido Antonio A Souza Neto , Javier A Espinosa-Oviedo , Esperanza Marcos et al.
the Jornadas de Servicios Web, Sep 2014, Cadiz, Spain
Conference papers hal-01584802v1