Search - INRIA - Institut National de Recherche en Informatique et en Automatique Access content directly

Filter your results

3 174 Results
Domains : scco
Image document

A Robotic CAD system using a Bayesian framework

Kamel Mekhnacha , Emmanuel Mazer , Pierre Bessiere
--, 2000, France. pp.1597-1604 (Vol.3)
Conference papers hal-00004990v1
Image document

MOSAIC. Méthodologie d'analyse pour la modélisation de situations coopératives en conception de produit

Françoise Détienne
2005
Preprints, Working Papers, ... hal-00003890v1
Image document

Chirality effects on channel modeling for THz-band wireless communications in LoS/NLoS propagation

Anna Maria Vegni , Valeria Loscrì
Nano Communication Networks, 2016
Journal articles hal-01345401v1
Image document

“Doctor, please”: Educating nurses to speak up with interactive digital simulation tablets.

Marie-Stéphanie Bracq , Estelle Michinov , Marie Le Duff , Bruno Arnaldi , Valérie Gouranton , et al.
Clinical Simulation in Nursing, 2021, 54, pp.97-104. ⟨10.1016/j.ecns.2021.01.007⟩
Journal articles hal-03195184v1
Image document

A bio-inspired geometric model for sound reconstruction

Ugo Boscain , Dario Prandi , Ludovic Sacchelli , Giuseppina Turco
Journal of Mathematical Neuroscience, 2021, 11 (1), pp.2. ⟨10.1186/s13408-020-00099-4⟩
Journal articles hal-02531537v2

Annotation and data-driven synthesis of facial expressions of French sign language

Clement Reverdy
Computer science. Université Bretagne-Sud, 2019. English. ⟨NNT : ⟩
Theses tel-03080311v1

Transparency of CHI Research Artifacts: Results of a Self-Reported Survey

Chatchavan Wacharamanotham , Lukas Eisenring , Steve Haroz , Florian Echtler
CHI Conference on Human Factors in Computing Systems, 2020, Event not held due to COVID, Unknown Region. ⟨10.31219/osf.io/3bu6t⟩
Conference papers hal-02989964v1

Spike-adding and reset-induced canard cycles in adaptive integrate and fire models

Mathieu Desroches , Piotr Kowalczyk , Serafim Rodrigues
Nonlinear Dynamics, 2021, 104, pp.2451-2470. ⟨10.1007/s11071-021-06441-z⟩
Journal articles hal-03129713v1
Image document

Special C&G and G&VC session at EuroVis

Tobias Isenberg
Computers and Graphics, 2021, 96, pp.A3--A4. ⟨10.1016/j.cag.2021.05.004⟩
Journal articles hal-03227524v1
Image document

MOVES: a MemOry-based VEhicular Social Forwarding Technique

Anna Maria Vegni , Carlos Borrego Iglesias , Valeria Loscri
Computer Networks, 2021, 197, ⟨10.1016/j.comnet.2021.108324⟩
Journal articles hal-03282823v1
Image document

Independent and Automatic Evaluation of Speaker-Independent Acoustic-to-Articulatory Reconstruction

Maud Parrot , Juliette Millet , Ewan Dunbar
Interspeech 2020 - 21st Annual Conference of the International Speech Communication Association, Oct 2020, Shanghai / Virtual, China
Conference papers hal-03087264v1
Image document

Standardization of Protocol Design for User Training in EEG-based Brain-Computer Interface

Jelena Mladenović
Journal of Neural Engineering, 2020
Journal articles hal-03133558v1
Image document

Investigating how specific classes of retinal cells contribute to vision with a multi-layered simulator

Evgenia Kartsaki , Gerrit Hilgen , Evelyne Sernagor , Bruno Cessac
2020
Other publications hal-02994691v1

Engineering Virtualized Services

Elvira Albert , Frank De Boer , Reiner Hahnle , Einar Broch Johnsen , Cosimo Laneve
NordiCloud 2013 - 2nd Nordic Symposium on Cloud Computing and Internet Technologies, Sep 2013, Oslo, Norway. pp.59--63, ⟨10.1145/2513534.2513545⟩
Conference papers hal-00909294v1
Image document

Component Reconfiguration in the Presence of Conflicts

Roberto Di Cosmo , Jacopo Mauro , Stefano Zacchiroli , Gianluigi Zavattaro
ICALP - International Colloquium on Automata, Languages and Programming - 2013, 2013, Riga, Latvia. pp.187-198, ⟨10.1007/978-3-642-39212-2_19⟩
Conference papers hal-00909336v1

Sensitivity analysis using type-based constraints

Loris d'Antoni , Marco Gaboardi , Emilio Jesús Gallego Arias , Andreas Haeberlen , Benjamin Pierce
FPCDSL - 1st annual workshop on Functional programming concepts in domain-specific languages - 2013, 2013, Boston, BA, USA, United States. pp.43--50, ⟨10.1145/2505351.2505353⟩
Conference papers hal-00909341v1

A Higher-Order Characterization of Probabilistic Polynomial Time

Ugo Dal Lago , Paolo Parisen Toldin
Foundational and Practical Aspects of Resource Analysis, 2012, Madrid, Spain. pp.1--18, ⟨10.1007/978-3-642-32495-6_1⟩
Conference papers hal-00909376v1

Conflict Detection in Delta-Oriented Programming

Michael Lienhardt , Dave Clarke
ISoLA - 5th International Symposium Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 2012, 2012, Heraklion, Crete, Greece. pp.178--192, ⟨10.1007/978-3-642-34026-0_14⟩
Conference papers hal-00909381v1
Image document

MULTI-TARGET TRACKING BY DISCRIMINATIVE ANALYSIS ON RIEMANNIAN MANIFOLD

Slawomir Bak , Duc Phu Chau , Julien Badie , Etienne Corvee , François Bremond , et al.
ICIP - International Conference on Image Processing - 2012, Sep 2012, Orlando, United States. pp.1-4
Conference papers hal-00703633v1
Image document

Designers' activities examined at three levels: organization, strategies & problem-solving

Willemien Visser
Knowledge-Based Systems, 1990, Artificial Intelligence in Design Conference 1991, 5 (1), pp.92-104. ⟨10.1016/0950-7051(92)90027⟩
Journal articles istex hal-00653324v1
Image document

Towards a Discourse Relation Algebra for Comparing Discourse Structures

Charlotte Roze
CID 2011 - Constraints In Discourse, Sep 2011, Agay, France. pp.1-7
Conference papers hal-00655825v1

Estimation variationnelle et cohérente en temps de mouvements fluides

Nicolas Papadakis , Etienne Mémin
Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle (RFIA'08), Jan 2008, Amiens, France. pp.1-8
Conference papers hal-00655901v1
Image document

Formal Verification of an SSA-based Middle-end for CompCert

Gilles Barthe , Delphine Demange , David Pichardie
[University works] 2011
Reports inria-00634702v3

Short-term synaptic plasticity in the deterministic Tsodyks-Markram model leads to unpredictable network dynamics

Jesus M. Cortes , Mathieu Desroches , Serafim Rodrigues , Romain Veltz , Miguel A. Muñoz , et al.
Proceedings of the National Academy of Sciences of the United States of America, 2013
Journal articles hal-00857699v1

Person Re-identification

Slawomir Bak , François Bremond
ERCIM News, 2013, Image Understanding, 95
Journal articles hal-00907397v1
Image document

Éléments pour une typologie des unités textuelles de textes techniques

Stéphane Caro Dambreville
[Rapport de recherche] RR-1930, INRIA. 1993
Reports inria-00074744v2
Image document

Aspects cognitivo-pragmatiques de la description d'itinéraires : Quoi détailler et comment, selon son interlocuteur ?

Willemien Visser , Matthieu Grall
Psychologie Française, 2003, Recherches en psychologie ergonomique, 48 (2), pp.57-65
Journal articles hal-00651021v1
Image document

Recueil et analyse de l'expertise dans une activité de conception: questions de méthode

Willemien Visser , Pierre Falzon
Psychologie Française, 1988, Psychologie de l'Expertise, 33, pp.133-138
Journal articles hal-00651048v1

The effects of surface gloss and roughness on color constancy for real 3-D objects

Jeroen J. M. Granzier , Romain Vergne , Karl R Gegenfurtner
Journal of Vision, 2014, 14 (2), pp.Article 16. ⟨10.1167/14.2.16⟩
Journal articles hal-00952552v1
Image document

Group-level impacts of within- and between-subject hemodynamic variability in fMRI

Solveig Badillo , Thomas Vincent , Philippe Ciuciu
NeuroImage, 2013, 82C, pp.433-448. ⟨10.1016/j.neuroimage.2013.05.100⟩
Journal articles hal-00854481v1