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.
Journal articles
hal-02511162v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Dynamic slicing for Concurrent Constraint Languages
Moreno Falaschi
,
Maurizio Gabbrielli
,
Carlos Olarte
,
Catuscia Palamidessi
Journal articles
hal-02423973v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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.
Journal articles
halshs-03696367v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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.
Conference papers
hal-03767403v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A middleware environment for developing Internet of Things applications
César Batista
,
Pedro Victor Borges
,
Everton Cavalcante
,
Thais Batista
,
Tiago Barros
et al.
Conference papers
hal-02983206v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Entry games for the airline industry
Christian Bontemps
,
Raquel Menezes Bezerra Sampaio
Book sections
hal-02137358v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Controlled synthesis of CoFe2O4 nano-octahedra
André-Luis Lopes-Moriyama
,
V. Madigou
,
Carlson Pereira de Souza
,
Christine Leroux
Journal articles
hal-01053694v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
An Architecture for Resilient Ubiquitous Systems
Anubis Graciela de Moraes Rossetto
,
Claudio Geyer
,
Luciana Arantes
,
Carlos Rolim
,
Valderi Leithardt
et al.
Conference papers
hal-01215657v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Journal articles
hal-01063763v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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.
Journal articles
hal-03795664v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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.
2007
Preprints, Working Papers, ...
hal-00128468v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Lithium abundance and rotation of seismic solar analogues
P. G. Beck
,
J.-D. Do Nascimento
,
T. Duarte
,
D. Salabert
,
A. Tkachenko
et al.
Journal articles
cea-02988985v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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.
Journal articles
hal-03009608v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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.
Conference papers
hal-03585028v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Raman signatures of novel electronic states in BCT lattice
Carlene Paula Silva de Farias
,
Sebastien Burdin
,
Alvaro Ferraz
2017
Preprints, Working Papers, ...
hal-01630370v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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.
Journal articles
hal-00362595v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Aspect-Oriented Software Development in Practice: Tales from AOSD-Europe
Awais Rashid
,
Thomas Cottenier
,
Phil Greenwood
,
Ruzanna Chitchyan
,
Meunier Regine
et al.
Journal articles
hal-00470420v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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.
Journal articles
hal-00521699v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More