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

Filter your results

3 134 Results
Deposit type : Notice

State of the model to simulate the Fukushima Daiichi nuclear power plant accident

A. Mathieu , I. Korsakissok , D. Quélo , O. Saunier , J. Groell , et al.
Pollution Atmosphérique : climat, santé, société, 2013, 217
Journal articles hal-03113528v1

Geometric and topological modelling of 3D crumpled structures

Serge Rohmer , Alexis Merat , Vincent Floderer , Alain Copinet
19th International Conference on Engineering Design (ICED13), Aug 2013, Seoul, South Korea
Conference papers hal-02873844v1

Analyse de la marche en simple et double tâche : identification de sous groupes pour une rééducation cognitivo-motrice optimisée de la marche instable chez le senior

Bernard Auvinet , Claude Touzard , Anne-Hélène Olivier , Eric Barrey
28. Congrès de Médecine Physique et de Réadaptation (SOFMER 2013), Société Française de Médecine Physique et de Réadaptation (SOFMER). FRA., Oct 2013, Reims, France. 433 p., ⟨10.1016/j.rehab.2013.07.612⟩
Conference papers hal-02750377v1

Hydrodynamics in a vessel stirred by simple and double helical ribbon impellers

Houari Ameur , Mohamed Bouzit , Abdellah Ghenaim
Open Engineering, 2013, 3 (1), pp.87-98. ⟨10.2478/s13531-012-0045-x⟩
Journal articles hal-03203666v1

Classification multi-étiquettes pour l'alignement multiple de séquences protéiques

Lina Fahed , Gabriel Frey , Julie Dawn Thompson , Nicolas Lachiche
Extraction et gestion des connaissances (EGC'2013), Jan 2013, Toulouse, France. pp.431--436
Conference papers hal-03204153v1

Modelling of the crumpling process of a paper sheet

Serge Rohmer , Alexis Merat , Vincent Floderer , Alain Copinet
23rd International Conference on Graphic Engineering, 2013, Madrid, Spain
Conference papers hal-02873878v1

Linearized Cauchy Data Inversion Method for Two-Dimensional Buried Target Imaging

Ozgur Ozdemir , Houssem Haddar
IEEE Transactions on Antennas and Propagation, 2013, 61 (6)
Journal articles hal-00796488v1

Ablation modeling with forward uncertainty analysis in Plasmatron facility

Alessandro Turchi , Pietro Marco Congedo , Thierry E. Magin
BOQUSE 2013, WORKSHOP on Uncertainty Quantification in fluids Simulation, Dec 2013, Bordeaux, France
Conference papers hal-01092369v1

Deterministic protocol for mapping a qubit to coherent state superpositions in a cavity

Zaki Leghtas , Gerhard Kirchmair , Brian Vlastakis , Michel H. Devoret , Robert J. Schoelkopf , et al.
Physical Review A : Atomic, molecular, and optical physics [1990-2015], 2013, 87, pp.042315
Journal articles hal-00845186v1

Anatomical variations of the anterior cerebral arterial circle visualized by multidetector computed tomography angiography: comparison with 3D rotational angiography

Jean-Christophe Ferré , Emilie Niederberger , Xavier Morandi , Hélène Raoult , Béatrice Carsin-Nicol , et al.
Journal de Neuroradiologie / Journal of Neuroradiology, 2013, 40 (2), pp.112-20. ⟨10.1016/j.neurad.2012.05.009⟩
Journal articles inserm-00845277v1

An hp-finite element approximation of guided modes in photonic crystal waveguides using transparent boundary conditions

Dirk Klindworth , Kersten Schmidt , Sonia Fliss
Computers & Mathematics with Applications, 2013
Journal articles hal-00937767v1

Two-dimensional Maxwell's equations with sign-changing coefficients

Anne-Sophie Bonnet-Ben Dhia , Lucas Chesnel , Patrick Ciarlet
Applied Numerical Mathematics, 2013, ⟨10.1016/j.apnum.2013.04.006⟩
Journal articles hal-00937769v1

Monte Carlo estimation of diameter-constrained network reliability conditioned by pathsets and cutsets

Gerardo Rubino , Héctor Cancela , Pablo Sartor , Franco Robledo
Computer Communications, 2013, 36 (6), pp.611-620. ⟨10.1016/j.comcom.2012.08.010⟩
Journal articles hal-00937777v1

Synthetic benchmark for modeling flow in 3D fractured media

Jean-Raynald de Dreuzy , Géraldine Pichot , Baptiste Poirriez , Jocelyne Erhel
Computers & Geosciences, 2013, 50, pp.59-71. ⟨10.1016/j.cageo.2012.07.025⟩
Journal articles hal-00735675v1

From Dynamic Movement Primitives to Associative Skill Memories

Pastor Peter , Kalakrishnan Mrinal , Meier Franziska , Freek Stulp , Buchli Jonas , et al.
Robotics and Autonomous Systems, 2013, 61 (4), pp.351-361
Journal articles hal-00789397v1

Extending ER models to capture database transformations to build data sets for data mining

Carlos Ordonez , Sofian Maabout , David Sergio Matusevich , Wellington Cabrera
Data and Knowledge Engineering, 2013, 89, pp.38-54. ⟨10.1016/j.datak.2013.11.002⟩
Journal articles hal-00940778v1

Modeling and Control of Rare Segments in BitTorrent with Epidemic Dynamics

Christopher Griffin , George Kesidis , Panayotis Antoniadis , Serge Fdida
CoRR, 2013, abs/1306.3160, pp.1
Journal articles hal-00940005v1

Spectrum sharing and impact on spectrum handoff in multi-channel cognitive radio networks

Adisorn Lertsinsrubtavee , Naceur Malouch , Serge Fdida , Kanchana Kanchanasut
WoWMoM, Jun 2013, Madrid, Spain. pp.1-6, ⟨10.1109/WoWMoM.2013.6583461⟩
Conference papers hal-00940007v1

Outlier detection for patient monitoring and alerting

Milos Hauskrecht , Iyad Batal , Michal Valko , Shyam Visweswaran , Gregory F Cooper , et al.
Journal of Biomedical Informatics, 2013, 46, pp.47-55. ⟨10.1016/j.jbi.2012.08.004⟩
Journal articles hal-00742097v1

LuGre Friction Model Identification and Compensator Tuning Using A Differential Evolution Algorithm

Philippe Feyel , Gilles Duc , Guillaume Sandou
SDE 2013, Apr 2013, Singapore, Singapore. pp.85 - 91, ⟨10.1109/SDE.2013.6601446⟩
Conference papers hal-00795144v1

The Circus Testing Theory Revisited in Isabelle/HOL

Abderrahmane Feliachi , Marie-Claude Gaudel , Wenzel Makarius , Burkhart Wolff
Lindsay Groves and Jing Sun. Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods(ICFEM), Springer-Verlag, 2013
Book sections hal-00945960v1

Cellular automata between sofic tree shifts

Tullio Ceccherini-Silberstein , Michel Coornaert , Francesca Fiorenzi , Zoran Sunic
Theoretical Computer Science, 2013, 506, pp.79-101. ⟨10.1016/j.tcs.2013.07.007⟩
Journal articles hal-00946150v1

Time-resolved Spin-labeled MR Angiography for the Depiction of Cerebral Arteriovenous Malformations: A Comparison of Techniques

Hélène Raoult , Elise Bannier , Benjamin Robert , Christian Barillot , Peter Schmitt , et al.
Radiology, 2013, pp.131252. ⟨10.1148/radiol.13131252⟩
Journal articles inserm-00945211v1

Stochastic models for the chemostat at different scales

Fabien Campillo , Marc Joannides , Irène Larramendy
15th Applied Stochastic Models and Data Analysis International Conference (ASMDA 2013), June 25--28, Jun 2013, Barcelona, Spain. 240 p
Conference papers hal-00843062v1

Quantum speed-up for unsupervised learning

Esma Aïmeur , Gilles Brassard , Sébastien Gambs
Machine Learning, 2013, 90 (2), pp.261-287. ⟨10.1007/s10994-012-5316-5⟩
Journal articles hal-00736948v1

TravelDashboard - a Framework for the Delivery of Personalized Mobility Services to Urban Travellers

Licia Capra , Pierre Châtel , Animesh Pathak , Roberto Speicys Cardoso
ERCIM News, 2013, 2013 (93)
Journal articles hal-00939031v1

Tractable Queries for Lightweight Description Logics

Meghyn Bienvenu , Magdalena Ortiz , Mantas Simkus , Guohui Xiao
International Joint Conference on Artificial Intelligence (IJCAI), Aug 2013, China. pp.768-774
Conference papers hal-00947533v1

Sub-nanosecond clock synchronization and trigger management in the nuclear physics experiment AGATA

M. Bellato , D. Bortolato , Joel Chavas , R. Isocrate , G. Rampazzo , et al.
Journal of Instrumentation, 2013, 8, pp.P07003. ⟨10.1088/1748-0221/8/07/P07003⟩
Journal articles hal-00844009v1

Time-dependent gaussian process regression and significance analysis for sparse time-series

Markus Heinonen , Olivier Guipaud , Fabien Milliat , Béatrice Micheau , Valérie Buard , et al.
Seventh international workshop on Machine Learning in Systems Biology, satellite meeting of ISMB'2013, Jul 2013, Berlin, Germany
Conference papers hal-00844474v1

Generic Properties of Curvature Sensing through Vision and Touch

Birgitta Dresp
Computational and Mathematical Methods in Medicine, 2013, 2013 (6), pp.1-7. ⟨10.1155/2013/634168⟩
Journal articles hal-02168825v1