On isomorphisms of intersection types
Roberto Di Cosmo
,
Mariangiola Dezani-Ciancaglini
,
Elio Giovannetti
,
Tatsuta Makoto
Journal articles
hal-00524844v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Role of Varp, a Rab21 exchange factor and TI-VAMP/VAMP7 partner, in neurite growth.
Andrea Burgo
,
Emmanuel Sotirakis
,
Marie-Christine Simmler
,
Agathe Verraes
,
Christophe Chamot
et al.
Journal articles
hal-00441596v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Shallow system rejuvenation and magma discharge trends at Piton de la Fournaise volcano (La Réunion Island)
D. Coppola
,
A. Di Muro
,
Aline Peltier
,
Nicolas Villeneuve
,
V. Ferrazzini
et al.
Journal articles
hal-01457690v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Identification in milk of a serum amyloid A peptide chemoattractant for B lymphoblasts.
Berardo de Jesus Rodriguez
,
Claire Chevaleyre
,
Gwénaële Henry
,
Daniel Mollé
,
Isabelle Virlogeux-Payant
et al.
Journal articles
hal-00376048v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Intersection Types and (Positive) Almost-Sure Termination
Ugo Dal Lago
,
Claudia Faggian
,
Simona Ronchi Della Rocca
Journal articles
hal-03044416v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Second-hand smoke exposure in adulthood and lower respiratory health during 20 year follow up in the European Community Respiratory Health Survey
Claudia Flexeder
,
Jan-Paul Zock
,
Deborah Jarvis
,
Giuseppe Verlato
,
Mario Olivieri
et al.
Journal articles
hal-02893484v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Evaluation and convergence in the computational calculus
Claudia Faggian
,
Giulio Guerrieri
,
Riccardo Treglia
5th International Workshop on Trends in Linear Logic and Applications (TLLA 2021) , Jun 2021, Rome (virtual), Italy
Conference papers
lirmm-03271490v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Does vocabulary size correlate with pronunciation skills?
Paolo Mairano
,
Fabian Santiago
Eurosla 2017 , Aug 2017, Reading, United Kingdom
Conference papers
hal-01707594v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The LifeCycle Project-EU Child Cohort Network: a federated analysis infrastructure and harmonized data of more than 250,000 children and parents
Anne-Marie Nybo Andersen
,
Ahmed Elhakeem
,
Rachel Foong
,
Veit Grote
,
Sido Haakma
et al.
Journal articles
hal-02938634v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Non-native perception of final boundary tones in French interrogatives
Fabian Santiago
,
Paolo Mairano
,
Elisabeth Delais-Roussarie
Campbell, N. and D. Hirst. Speech Prosody 2014 - 7th International Conference on Speech Prosody , May 2014, Dublin, Ireland. pp.563-567, 2014, Non-native perception of final boundary tones in French interrogatives. Proceedings of Speech Prosody 2014
Proceedings
halshs-01428563v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Web Report on the Model Checking Contest @ Petri Net 2013
Fabrice Kordon
,
Alban Linard
,
Marco Becutti
,
Didier Buchs
,
Lukasz Fronc
et al.
2013
Other publications
hal-00926989v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Genetically predicted longer telomere length is associated with increased risk of B-cell lymphoma subtypes
M.J. Machiela
,
Q. Lan
,
S.L. Slager
,
R.C. Vermeulen
,
L.R. Teras
et al.
Journal articles
hal-01812700v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The Gaia -ESO Survey: Tracing interstellar extinction
M. Schultheis
,
G. Kordopatis
,
A. Recio-Blanco
,
P. de Laverny
,
V. Hill
et al.
Journal articles
hal-02491820v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Using Rewriting Rules to Compute Successful Modifications of an Argumentation System
Dionysios Kontarinis
,
Alan Perotti
,
Elise Bonzon
,
Nicolas Maudet
,
Leendert van Der Torre
et al.
Septièmes Journées d'Intelligence Artificielle Fondamentale , Jun 2013, Aix-en-Provence, France. pp.180-189
Conference papers
hal-00956607v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Obstetrical outcome and treatments in seronegative primary APS: data from European retrospective study
Noemie Abisror
,
Yann Nguyen
,
Luca Marozio
,
Enrique Esteve Valverde
,
Sebastian Udry
et al.
Journal articles
hal-03146634v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Speed of evolution in large asexual populations with diminishing returns
Maria Fumagalli
,
Matteo Osella
,
Philippe Thomen
,
François Heslot
,
Marco Cosentino Lagomarsino
et al.
Journal articles
hal-01130462v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Glucocorticoid Excess in Patients with Pheochromocytoma Compared with Paraganglioma and Other Forms of Hypertension
Georgiana Constantinescu
,
Katharina Langton
,
Catleen Conrad
,
Laurence Amar
,
Guillaume Assié
et al.
Journal articles
hal-03677156v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The Gaia -ESO survey: the inner disk intermediate-age open cluster NGC 6802
B. Tang
,
D. Geisler
,
E. Friel
,
S. Villanova
,
R. Smiljanic
et al.
Journal articles
hal-02161360v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Recent advances in 2D and 3D in vitro systems using primary hepatocytes, alternative hepatocyte sources and non-parenchymal liver cells and their use in investigating mechanisms of hepatotoxicity, cell signaling and ADME.
Patricio Godoy
,
Nicola J Hewitt
,
Ute Albrecht
,
Melvin E Andersen
,
Nariman Ansari
et al.
Journal articles
hal-00939009v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Solar neutrino with Borexino: Results and perspectives
O. Smirnov
,
G. Bellini
,
J. Benziger
,
D. Bick
,
G. Bonfini
et al.
Fizika Elementarnykh Chastits i Atomnogo Yadra / Physics of Particles and Nuclei , 2015, 46 (2), pp.166-173.
⟨10.1134/S1063779615020185⟩
Journal articles
hal-02481830v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Inclusive Writing: Tracing the Transnational History of a French Controversy
Julie Abbou
Gender and Language , In press
Journal articles
hal-03788544v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Mitochondrial metabolism and cancer
Paolo Ettore Porporato
,
Nicoletta Filigheddu
,
José Manuel Bravo-San Pedro
,
Guido Kroemer
,
Lorenzo Galluzzi
et al.
Journal articles
hal-01737931v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
EULAR points to consider for the development, evaluation and implementation of mobile health applications aiding self-management in people living with rheumatic and musculoskeletal diseases
Aurélie Najm
,
Elena Nikiphorou
,
Marie Kostine
,
Christophe Richez
,
John D Pauling
et al.
Journal articles
hal-02409220v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The DESCARTES-Nantes survey of kidney transplant recipients displaying clinical operational tolerance identifies 35 new tolerant patients and 34 almost tolerant patients
Annick Massart
,
Annaïck Pallier
,
Julio Pascual
,
Ondrej Viklicky
,
Klemens Budde
et al.
Journal articles
inserm-02153251v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Seeds of Life in Space (SOLIS). VII. Discovery of a cold dense methanol blob toward the L1521F VeLLO system
C. Favre
,
C. Vastel
,
I. Jimenez-Serra
,
D. Quenard
,
P. Caselli
et al.
Journal articles
hal-02565908v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Conclusion: recommendations and findings of the RED SEED working group
J. Harris
,
S. Carn
,
J. Dehn
,
C. del Negro
,
T. Guđmundsson
et al.
The Geological Society, London, Special Publications , 2016, 426 (1), pp.567 - 648.
⟨10.1144/SP426.11⟩
Journal articles
hal-01907394v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Meat, fish, and colorectal cancer risk: the European Prospective Investigation into cancer and nutrition.
Teresa Norat
,
Sheila A. Bingham
,
Pietro Ferrari
,
Nadia Slimani
,
Mazda Jenab
et al.
Journal articles
inserm-00123284v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Editorial: Neuroendocrine Control of Feeding Behavior
Serge Luquet
,
Hubert Vaudry
,
Riccarda Granata
Journal articles
hal-02348023v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The EU Child Cohort Network’s core data: establishing a set of findable, accessible, interoperable and re-usable (FAIR) variables
Angela Pinot de Moira
,
Sido Haakma
,
Katrine Strandberg-Larsen
,
Esther van Enckevort
,
Marjolein Kooijman
et al.
Journal articles
hal-03241847v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Rankin-Selberg methods for closed strings on orbifolds
Carlo Angelantonj
,
Ioannis Florakis
,
Boris Pioline
Journal articles
hal-00814356v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More