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

Filter your results

2 878 Results
Deposit type : Notice

Numerical en Experimental study of the single point incremental forming of titanium sheet

Laurence Giraud-Moreau , Abel Cherouat , Alexis Merat
IDDRG 2014, Jun 2014, Paris, France
Conference papers hal-02571680v1

Interval Methods for Model Qualification: Methodology and Advanced Application

Julien Alexandre Dit Sandretto , Gilles Trombettoni , David Daney
Mathematics in Computer Science, 2014, 8 (3-4), pp.479-493. ⟨10.1007/s11786-014-0210-0⟩
Journal articles hal-01057364v1

Prévalence, facteurs associés et répartition spatiale de la cysticercose bovine en France en 2010 et perspectives en termes de surveillance épidémiologique

Céline Dupuy , Claire Morlot , Emmanuelle Gilot Fromont , Pierre Demont , Michel Mas , et al.
Bulletin épidémiologique, 2014, 63, pp.24-28
Journal articles hal-02630154v1

A comparison of the physiological status in parasitized roe deer (Capreolus capreolus) from two different populations

Maël Jégo , Hubert Ferté , Jean-Michel Gaillard , François Klein , Laurent Crespin , et al.
Veterinary Parasitology, 2014, 205, pp.717-720. ⟨10.1016/j.vetpar.2014.09.016⟩
Journal articles hal-02631742v1

[Mathematical dynamical models for personalized medicine].

Rodolphe Thiébaut , Mélanie Prague , Daniel Commenges
Médecine/Sciences, 2014, 30 Spec No 2, pp.23-6
Journal articles hal-01108013v1

Single acquisition of protelomerase gave rise to speciation of a large and diverse clade within the Agrobacterium/Rhizobium supercluster characterized by the presence of a linear chromid

Martha H. Ramírez-Bahena , Ludovic Vial , Florent Lassalle , Benjamin Diel , David Chapulliot , et al.
Molecular Phylogenetics and Evolution, 2014, 73, pp.202-207. ⟨10.1016/j.ympev.2014.01.005⟩
Journal articles hal-01010660v1

Effects of local search in genetic programming

Emigdio Z-Flores , Leonardo Trujillo , Oliver Schuetze , Pierrick Legrand
EVOLVE 2014, Jul 2014, Beijing, China
Conference papers hal-01060315v1

A study of shared-memory parallelism in a multifrontal solver

Jean-Yves L'Excellent , Wissam M. Sid-Lakhdar
Parallel Computing, 2014, 40 (3-4), pp.34-46. ⟨10.1016/j.parco.2014.02.003⟩
Journal articles hal-01060322v1

Algebra-Coalgebra Duality in Brzozowski's Minimization Algorithm

Filippo Bonchi , Marcello Bonsangue , Hansen Helle Hvid , Prakash Panangaden , Jan Rutten , et al.
ACM Transactions on Computational Logic, 2014, 15 (1), pp.3:1--3:29. ⟨10.1145/2490818⟩
Journal articles hal-00909426v1

Principles of Distributed Systems, 18th Int. Conf. on (OPODIS 2014)

Marc Shapiro , Marcos Kawazoe Aguilera , Leonardo Querzoni
Shapiro, Marc; Aguilera, Marcos Kawazoe; Querzoni, Leonardo. OPODIS 2014 - 18th International Conference on Principles of Distributed Systems, Dec 2014, Cortina d'Ampezzo, Italy. 8878, Springer-Verlag, 2014, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-14472-6⟩
Proceedings hal-01109118v1

Betriebssysteme für Eingebettete Systeme im Internet der Dinge: Freie Fahrt für Experimentierfreudige

Oliver Hahm , Christian Mehlis , Martine Lenders , Thomas Eichinger , Ludwig Ortmann
IX-Magazine, 2014, pp.5
Journal articles hal-01109198v1

In silico control of biomolecular processes

Jannis Uhlendorf , Agnès Miermont , Thierry Delaveau , Gilles Charvin , François Fages , et al.
Mario A. Marchisio. Computational Methods in Synthetic Biology, 1244, Springer New York, pp.8, 2014, Methods in Molecular Biology, 978-1-4939-1877-5. ⟨10.1007/978-1-4939-1878-2_13⟩
Book sections hal-01104057v1

Residual energy-based transmission schemes for event reporting wireless sensor networks

Carlos A. Guzmán-Medina , Mario E. Rivero-Angeles , Gerardo Rubino
11th International Symposium on Wireless Communications Systems (ISWCS 2014), Aug 2014, Barcelona, Spain. pp.95-99, ⟨10.1109/ISWCS.2014.6933327⟩
Conference papers hal-01104535v1

New MIP model for multiprocessor scheduling problem with communication delays

Abdessamad Ait El Cadi , Rabie Ben Atitallah , Said Hanafi , Nenad Mladenovic , Abdelhakim Artiba
Optimization Letters, 2014, 11 (6), pp.1091-1107. ⟨10.1007/s11590-014-0802-2⟩
Journal articles hal-01104613v1

Stabilized Finite Elements for a Reaction-Dispersion Saddle-Point Problem with NonConstant Coefficients

Faker Ben Belgacem , Christine Bernardi , Frédéric Hecht , Stéphanie Salmon
SIAM Journal on Numerical Analysis, 2014, 52 (2), pp.2207-2226
Journal articles hal-01105016v1

Using Crowd-sourcing to Improve the Semantic Transparency of Committee-Designed Languages

Amine El Kouhen , Abdelouahed Gherbi , Cedric Dumoulin
ITSLE @ 7th International Conference on Software Language Engineering (SLE), Sep 2014, Vasteras, Sweden
Conference papers hal-01057526v1

Efficient topology construction for RPL over IEEE 802.15.4 in wireless sensor networks

Bogdan Pavkovic , Andrzej Duda , Won-Joo Hwang , Fabrice Theoleyre
Ad Hoc Networks, 2014, 15, pp.25-38. ⟨10.1016/j.adhoc.2013.08.009⟩
Journal articles hal-01206330v1

Understanding Users' Perceived Difficulty of Multi-Touch Gesture Articulation

Yosra Rekik , Radu-Daniel Vatavu , Laurent Grisoni
ICMI'14, the 16th ACM International Conference on Multimodal Interaction, Nov 2014, Istanbul, Turkey. ⟨10.1145/2663204.2663273⟩
Conference papers hal-01058793v1

New generation crowd simulation algorithms

Julien Pettré , Ming Lin
ACM SIGGRAPH 2014 Courses, Aug 2014, Vancouver, Canada. pp.4, ⟨10.1145/2614028.2615446⟩
Conference papers hal-01059438v1

Performance evaluation of max-dmin precoding in impulsive noise for train-to-wayside communications in subway tunnels

Jean-Marc Kwadjane , Baptiste Vrigneau , Charlotte Langlais , Yann Cocheril , Marion Berbineau
EURASIP Journal on Wireless Communications and Networking, 2014, 83, pp.12. ⟨10.1186/1687-1499-2014-83⟩
Journal articles hal-01009636v1

Probabilistic Radio-Frequency Fingerprinting and Localization on the Run

Piotr Mirowski , Dimitrios Milioris , Phil Whiting , Tin Kam Ho
Bell Labs Technical Journal, 2014, 18 (4), pp.111-133. ⟨10.1002/bltj.21649⟩
Journal articles hal-00907354v1

A Sufficient Condition for Parameter Identifiability in Robotic Calibration

Thibault Gayral , David Daney
Thomas, Federico and Perez Gracia, Alba. Computational Kinematics, 15, Springer Netherlands, pp.131-138, 2014, Mechanisms and Machine Science, 978-94-007-7213-7. ⟨10.1007/978-94-007-7214-4_15⟩
Book sections hal-00907496v1

A Stochastic Smoothing Algorithm for Semidefinite Programming

Alexandre d'Aspremont , Noureddine El Karoui
SIAM Journal on Optimization, 2014, 24 (3), pp.1138-1177
Journal articles hal-00907530v1

Reconstruction de la permutation d'un turbo-code

Jean-Pierre Tillich , Audrey Tixier , Nicolas Sendrier
Journées codage et cryptographie 2014, Mar 2014, Les sept Laux, France
Conference papers hal-01100197v1

Censorship in the Wild: Analyzing Internet Filtering in Syria

Chaabane Abdelberi , Terence Chen , Mathieu Cunche , Emiliano Decristofaro , Arik Friedman , et al.
Internet Measurement Conference (IMC), Nov 2014, Vancouver, BC, Canada, Canada
Conference papers hal-01052581v1

Decentralized optimization of last-mile delivery services with non-cooperative bounded rational customers

Yezekael Hayel , Dominique Quadri , Tania Jimenez , Luce Brotcorne
Annals of Operations Research, 2014, On line first, ⟨10.1007/s10479-014-1647-x⟩
Journal articles hal-01053487v1

Distance-bounding facing both mafia and distance frauds

Gildas Avoine
IEEE Transactions on Wireless Communications, 2014, 13 (10), pp.9. ⟨10.1109/TWC.2014.2323979⟩
Journal articles hal-01102919v1

Magnetic Resonance Current Density Imaging for Customizing Transcranial Direct Current Stimulation - A Simulation Study

Anirban Dutta
Neuroscience and Biomedical Engineering, 2014, 2 (3), pp.148-158. ⟨10.2174/2213385203666150604000937⟩
Journal articles hal-01203369v1

Improving the quality of life of multiple sclerosis patients through coping strategies in routine medical practice.

Richard Devy , Philippe Lehert , Etienne Varlan , Marc Genty , Gilles Edan
Journal of Pediatric Neurology, 2014, pp.85-90. ⟨10.1007/s10072-014-1900-8⟩
Journal articles inserm-01103102v1

Data Management Strategies for Scientific Applications in Cloud Environments

Devarshi Ghoshal , Hendrix Valerie , Eugen Feller , Christine Morin , Plale Beth , et al.
[Research Report] LBNL-6860E, Lawrence Berkeley National Laboratory, California, USA. 2014
Reports hal-01102191v1