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

Filter your results

3 869 Results
Deposit type : Fulltext
Image document

Chaos et Transitions de phases dans la FA

Guillaume Attuel
2012
Other publications hal-04183697v1
Image document

Towards a Littlewood Richardson rule for Kac-Moody homogeneous spaces

Pierre-Emmanuel Chaput , Nicolas Perrin
Journal of Lie Theory, 2012
Journal articles hal-00358861v1
Image document

Existential Rules: A Graph-Based View

Marie-Laure Mugnier
Pablo Barceló; Reinhard Pichler. Datalog 2.0, Sep 2012, Vienne, Austria. Springer, 2nd International Workshop on Datalog 2.0, LNCS (7494), pp.21-26, 2012, ⟨10.1007/978-3-642-32925-8_3⟩
Conference poster lirmm-00763474v1
Image document

Upscaling for the Laplace problem using a discontinuous Galerkin method

Hélène Barucq , Théophile Chaumont-Frelet , Julien Diaz , Victor Péron
Journal of Computational and Applied Mathematics, 2012, ⟨10.1016/j.cam.2012.05.025⟩
Journal articles hal-00757098v1
Image document

LMPC based online generation of more efficient walking motions

Andrei Herdt , Nicolas Perrin , Pierre-Brice Wieber
IEEE-RAS International Conference on Humanoid Robots (Humanoids), Nov 2012, Osaka, Japan. pp.390-395, ⟨10.1109/HUMANOIDS.2012.6651549⟩
Conference papers hal-02487630v1
Image document

Turbulent flow in a tube array : static case and FSI numerical simulation

T Deloze , Yannick Hoarau , M Braza , F Deliancourt
Turbulence and Interactions, 2012, Saline-les -Bains, France. pp.47-53, ⟨10.1007/978-3-662-43489-5_6⟩
Conference papers hal-03208930v1
Image document

On optimal and balanced sparse matrix partitioning problems

Anael Grandjean , Johannes Langguth , Bora Uçar
2012 IEEE International Conference on Cluster Computing, Sep 2012, Beijing, China. pp.257--265, ⟨10.1109/CLUSTER.2012.77⟩
Conference papers hal-00763535v1
Image document

On the Complexity of Sets of Free Lines and Line Segments Among Balls in Three Dimensions

Marc Glisse , Sylvain Lazard
Discrete and Computational Geometry, 2012, 47 (4), pp.756-772. ⟨10.1007/s00454-012-9414-8⟩
Journal articles hal-00643880v1
Image document

Microfluidic tools to investigate pathologies in the blood microcirculation

Pascal Preira , Thomas Leoni , Marie Pierre Valignat , Annemarie Lellouch , Philippe Robert , et al.
International Journal of Nanotechnology, 2012, 9 (3/4/5/6/7), pp.529. ⟨10.1504/ijnt.2012.045340⟩
Journal articles hal-02022343v1
Image document

A comprehensive framework for the detection of individual brain perfusion abnormalities using Arterial Spin Labeling

Camille Maumet , Pierre Maurel , Jean-Christophe Ferré , Christian Barillot
International Conference on Medical Image Computing and Computer Assisted Intervention (MICCAI), Oct 2012, Nice, France. pp.542-549
Conference papers inserm-00720593v1
Image document

A test facility for assessing simulations of jets in cross flow configurations

Pascal Bruel , Juan-Luis Florenciano , Tarik Kousksou , Thomas Lederlin
9th International ERCOFTAC Symposium on Engineering Turbulence Modelling and Measurements, ERCOFTAC, Jun 2012, Thessaloniki, Greece
Conference papers hal-00768340v1
Image document

Eclipse Labs for improving DSL development

Hugo Bruneliere
Eclipse DemoCamp Juno 2012 - Nantes, Jun 2012, Nantes, France
Conference papers hal-00713733v1
Image document

The physical Church thesis as an explanation of the Galileo thesis

Gilles Dowek
2012
Preprints, Working Papers, ... hal-04071350v1
Image document

Around the physical Church-Turing thesis: cellular automata, formal languages, and the principles of quantum theory.

Gilles Dowek
2012
Preprints, Working Papers, ... hal-04075081v2
Image document

Dynamique de l'agrégation protéique chez la bactérie Escherichia coli

Anne-Sophie Coquel
Sciences agricoles. INSA de Lyon, 2012. Français. ⟨NNT : 2012ISAL0108⟩
Theses tel-00778887v2
Image document

Characterisation and Application of Idle Period Durations in IEEE 802.11 DCF-based Multihop Wireless Networks

Nguyen Van Nam , Isabelle Guérin-Lassous , Victor Moraru , Tahiry Razafindralambo
ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWIM), Oct 2012, Paphos, Cyprus
Conference papers hal-00724969v1
Image document

Terminaison des systèmes de réécriture d'ordre supérieur basée sur la notion de clôture de calculabilité

Frédéric Blanqui
Logique [math.LO]. Université Paris-Diderot - Paris VII, 2012
Habilitation à diriger des recherches tel-00724233v2
Image document

On Model Subtyping

Clément Guy
4emes journées nationales du GDR-GPL 2012, Jun 2012, Rennes, France
Conference poster hal-00726399v1
Image document

Fouille de données pour la stylistique : cas des motifs séquentiels émergents

Solen Quiniou , Peggy Cellier , Thierry Charnois , Dominique Legallois
11es Journées Internationales d'Analyse Statistique des Données Textuelles (JADT'12), Jun 2012, Liège, Belgique. pp.821-833
Conference papers hal-00675586v1
Image document

Distributed Monitoring with Collaborative Prediction

Dawei Feng , Cecile Germain-Renaud , Tristan Glatard
12th IEEE International Symposium on Cluster, Cloud and Grid Computing (CCGrid'12), May 2012, Ottawa, Canada. epub ahead of print
Conference papers hal-00673148v1
Image document

An Automatic Reversible Transformation from Composite to Visitor in Java

Akram Ajouli
CIEL 2012 - Conférence en IngénieriE du Logiciel, Jun 2012, Rennes, France
Conference papers hal-00733182v1
Image document

Erlang-based dimensioning for IPv4 Address+Port translation

Florent Fourcot , Bertrand Grelot , Isabelle Kraemer , Frédéric Perrin , Patrick Maillé , et al.
ICC 2012: IEEE International Conference on Communications, Jun 2012, Ottawa, Canada. pp.1230-1234, ⟨10.1109/ICC.2012.6364328⟩
Conference papers hal-00785727v1
Image document

Keys and Pseudo-keys Detection for Web Datasets Cleansing and Interlinking

François Scharffe , Jérôme David , Manuel Atencia
[Contract] scharffe2012b, 2012, pp.18
Reports hal-00785745v1
Image document

Contributions à la recherche et à l'analyse de modèles 3D

Jean-Philippe Vandeborre
Vision par ordinateur et reconnaissance de formes [cs.CV]. Université des Sciences et Technologie de Lille - Lille I, 2012
Habilitation à diriger des recherches tel-00834372v1
Image document

MMG3D: User Guide

Cecile Dobrzynski
[Technical Report] RT-0422, INRIA. 2012
Reports hal-00681813v1
Image document

Improving Real Analysis in Coq: a User-Friendly Approach to Integrals and Derivatives

Sylvie Boldo , Catherine Lelay , Guillaume Melquiond
CPP - 2nd International Conference on Certified Programs and Proofs - 2012, Dec 2012, Kyoto, Japan. pp.289-304, ⟨10.1007/978-3-642-35308-6_22⟩
Conference papers hal-00712938v2
Image document

Approximate controllability of the Schrödinger equation with a polarizability term

Nabile Boussaid , Marco Caponigro , Thomas Chambrion
CDC - The 51st IEEE Conference on Decision and Control - 2012, Dec 2012, Maui, Hawaii, United States. pp.3024-3029
Conference papers hal-00784881v1
Image document

Harmony: Towards Automated Self-Adaptive Consistency in Cloud Storage

Houssem-Eddine Chihoub , Shadi Ibrahim , Gabriel Antoniu , María Pérez
2012 IEEE International Conference on Cluster Computing, Sep 2012, Beijing, China
Conference papers hal-00734050v1
Image document

The French Social Media Bank: a Treebank of Noisy User Generated Content

Djamé Seddah , Benoît Sagot , Marie Candito , Virginie Mouilleron , Vanessa Combet
COLING 2012 - 24th International Conference on Computational Linguistics, Kay, Martin and Boitet, Christian, Dec 2012, Mumbai, India
Conference papers hal-00780895v1
Image document

Homotopes of Symmetric Spaces I. Construction by Algebras with Two Involutions

Wolfgang Bertram , Pierre Bieliavsky
2012
Preprints, Working Papers, ... hal-00535693v2