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

Filter your results

4 432 Results
Deposit type : Fulltext
Image document

Etude mathématique et numérique de modèles dynamiques de croissance de micro-algues

Mario Veruete
Biotechnologies. 2014
Master thesis hal-02794155v1
Image document

Gestion de la variabilité et automatisation des processus de développement logiciel

Emmanuelle Rouillé
Génie logiciel [cs.SE]. Université de Rennes, 2014. Français. ⟨NNT : 2014REN1S022⟩
Theses tel-01061129v1
Image document

A local wave tracking strategy for efficiently solving mid-and high-frequency Helmholtz problems.

Mohamed Amara , Sharang Chaudhry , Julien Diaz , Rabia Djellouli , Steven Fiedler
Computer Methods in Applied Mechanics and Engineering, 2014, 276, pp.473--508. ⟨10.1016/j.cma.2014.03.012⟩
Journal articles hal-01010465v1
Image document

Perspective on "New and Less New Opportunities For Mathematical Biology as Applied To Biological and Clinical Medicine

Jean Clairambault
Society for Mathematical Biology Newsletter, 2014, SMB Newsletter, 27 (2), pp.2
Journal articles hal-01108995v1
Image document

Conditional quantile estimation using optimal quantization: a numerical study

Isabelle Charlier , Davy Paindaveine , Jérôme Saracco
International Conference on Computational Statistics (COMPSTAT'2014), Aug 2014, Genève, Switzerland
Conference papers hal-01109009v1
Image document

Reactivity of Cooperative Systems: Application to ReactiveML -- extended version

Louis Mandel , Cédric Pasteur
[Research Report] RR-8549, INRIA. 2014, pp.29
Reports hal-01010349v1
Image document

Model-based clustering for high-dimension data. Application to functional data.

Emilie Devijver
Preprints, Working Papers, ... hal-01060063v1
Image document

Measuring the degree distribution of routers in the core internet

Matthieu Latapy , Elie Rotenberg , Christophe Crespelle , Fabien Tarissan
13th IFIP International Conference on Networking, Jun 2014, Trondheim, Norway. pp.1-9, ⟨10.1109/IFIPNetworking.2014.6857096⟩
Conference papers hal-01208359v1
Image document

Effect of hydrodynamics on light utilization in large scale cultures of microalgae

Philipp Hartmann
Other. Université Nice Sophia Antipolis, 2014. English. ⟨NNT : 2014NICE4022⟩
Theses tel-01108529v1
Image document

A bio-inspired limb controller for avatar animation

Ana Lucia Cruz Ruiz , Charles Pontonnier , Georges Dumont
Computer Methods in Biomechanics and Biomedical Engineering, 2014, 17 (Supplement 1), pp.174-175. ⟨10.1080/10255842.2014.931658⟩
Journal articles hal-01060284v1
Image document

Influence of search neutrality on the economics of advertisement-financed content

Pierre Coucheney , Giuseppe d'Acquisto , Patrick Maillé , Maurizio Naldi , Bruno Tuffin
ACM Transactions on Internet Technology, 2014, pp.20
Journal articles hal-00908569v1
Image document

On the long time behavior of stochastic vortices systems

Joaquin Fontbona , Benjamin Jourdain
Markov Processes And Related Fields, 2014, 20 (4), pp.675-704
Journal articles hal-00850183v2
Image document

Loop freedom of the (untimed) AODV routing protocol

Timothy Bourke , Peter Höfner
2014, pp.496
Other publications hal-01104033v1
Image document

Clint: A Direct Manipulation Tool for Parallelizing Compute-Intensive Program Parts

Oleksandr Zinenko , Stéphane Huot , Cédric Bastoul
IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Jul 2014, Melbourne, Australia. pp.109-112
Conference papers hal-01055788v1
Image document

Conciliation d'a prioris sans préjugé

Rémi Gribonval , Pierre Machart
46è Journées de Statistique, Jun 2014, Rennes, France
Conference papers hal-01055789v1
Image document

Static Analysis for Extracting Permission Checks of a Large Scale Framework: The Challenges And Solutions for Analyzing Android

Alexandre Bartel , Jacques Klein , Martin Monperrus , Yves Le Traon
IEEE Transactions on Software Engineering, 2014, 40, pp.617-632. ⟨10.1109/TSE.2014.2322867⟩
Journal articles hal-01055656v1
Image document

Fluid flow dynamics under location uncertainty

Etienne Mémin
Geophysical and Astrophysical Fluid Dynamics, 2014, 108 (2), pp.119-146. ⟨10.1080/03091929.2013.836190⟩
Journal articles hal-00852874v1
Image document

A delay differential equation solver for MONOLIX & MLXPLORE

Raphaël Kuate , Marc Lavielle , Eric Blaudez , Kaelig Chatel , Jerome Marquet , et al.
[Research Report] RR-8489, INRIA. 2014, pp.19
Reports hal-00952874v1
Image document

Analysis of Buffer Starvation With Application to Objective QoE Optimization of Streaming Services

Yuedong Xu , Eitan Altman , Rachid El-Azouzi , Majed Haddad , Salah Eddine Elayoubi , et al.
IEEE Transactions on Multimedia, 2014, 16 (3), pp.813-827. ⟨10.1109/TMM.2014.2300041⟩
Journal articles hal-01005726v1
Image document

Predicting when to laugh with structured classification

Bilal Piot , Olivier Pietquin , Matthieu Geist
InterSpeech 2014, Sep 2014, Singapore, Singapore. pp.1786-1790
Conference papers hal-01104739v1
Image document

Dealing with constraints in sensor-based robot control

Olivier Kermorgant , François Chaumette
IEEE Transactions on Robotics, 2014, 30 (1), pp.244-257. ⟨10.1109/TRO.2013.2281560⟩
Journal articles hal-00855724v1
Image document

Real-time FEM based control of soft surgical robots

Frederick Largilliere , Eulalie Coevoet , Laurent Grisoni , Christian Duriez
SURGETICA 2014, Dec 2014, Chambéry, France
Conference papers hal-01105146v1
Image document

Les méthodes numériques de transport réactif

Souhila Sabit
Analyse numérique [cs.NA]. Université de Rennes, 2014. Français. ⟨NNT : 2014REN1S006⟩
Theses tel-01057870v1
Image document

Modélisation et validation formelle de systèmes globalement asynchrones et localement synchrones

Fatma Jebali , Mouna Tka Mnad , Christophe Deleuze , Frédéric Lang , Radu Mateescu , et al.
Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2014, Paris, France. pp.97--102
Conference papers hal-01007674v1
Image document

Interactive Learning from Unlabeled Instructions

Jonathan Grizou , Iñaki Iturrate , Luis Montesano , Pierre-Yves Oudeyer , Manuel Lopes
UAI-30th Conference on Uncertainty in Artificial Intelligence, Jul 2014, Quebec, Canada. pp.1-8
Conference papers hal-01007689v1
Image document

Self-similar prior and wavelet bases for hidden incompressible turbulent motion

Patrick Héas , Frédéric Lavancier , Souleymane Kadri-Harouna
SIAM Journal on Imaging Sciences, 2014, 7 (2), pp.1171-1209
Journal articles hal-00793461v2
Image document

Numerical Investigation on the usefulness of Proper Orthogonal Decomposition method in cardiac electrophysiology

Jamila Lassoued , Moncef Mahjoub , Nejib Zemzemi
[Research Report] 2014, pp.20
Reports hal-01058655v1
Image document

Continuously Measuring Critical Section Pressure with the Free Lunch Profiler

Florian David , Gaël Thomas , Julia Lawall , Gilles Muller
[Research Report] RR-8486, Inria Whisper; INRIA. 2014, pp.24
Reports hal-00957154v1
Image document

Automatic Inference of Roadmaps from Raw Mobility Traces

Mickaël Duruisseau , Romain Rouvoy
[Research Report] RR-8585, INRIA. 2014, pp.19
Reports hal-01058824v1
Image document

Interpolated pressure laws in two-fluid simulations and hyperbolicity

Philippe Helluy , Jonathan Jung
Finite Volumes for Complex Applications VII-Methods and Theoretical Aspects, Springer, pp.37-53, 2014
Book sections hal-00957043v1