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

Filter your results

4 247 Results
Deposit type : Fulltext
Image document

A numerical study of two dimensional flows past a bluff body for dilute polymer solutions

Yong Liang Xiong , Charles-Henri Bruneau , Hamid Kellay
Journal of Non-Newtonian Fluid Mechanics, 2013, 196, pp.8-26. ⟨10.1016/j.jnnfm.2012.12.003⟩
Journal articles hal-00935690v1
Image document

Simulation de l'Accident de Dimensionnement du Confinement dans un réacteur de IVe génération avec une approche parallèle hybride dans EUROPLEXUS

Vincent Faucher , Thierry Gautier
11e colloque national en calcul des structures, CSMA, May 2013, Giens, France
Conference papers hal-01717086v1
Image document

A computational bilayer surface model of human atria

Simon Labarthe , Edward Vigmond , Yves Coudière , Jacques Henry , Hubert Cochet , et al.
FIMH 2013 - 7th International Conference on Functional Imaging and Modeling of the Heart, Jun 2013, London, United Kingdom. pp.27-34, ⟨10.1007/978-3-642-38899-6_4⟩
Conference papers hal-01606999v1
Image document

Intégration de données hétérogènes et imprécises guidée par une ressource termino-ontologique

Patrice Buche , Stéphane Dervaux , Juliette Dibie-Barthelemy , Liliana L. Ibanescu , Lydie L. Soler , et al.
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 2013, 27 (4-5), pp.539-568. ⟨10.3166/ria27.539-568⟩
Journal articles lirmm-00903768v1
Image document

Argumentation et négociation pour le choix d'emballages alimentaires biodégradables

Patrice Buche , Madalina Croitoru , Jérôme Fortin , Patricio Mosse , Nouredine Tamani , et al.
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 2013, 27 (4/5), pp.515-537. ⟨10.3166/ria.27.515-537⟩
Journal articles istex lirmm-00830429v1
Image document

Aide à la décision en ingénierie inverse : une approche s'appuyant sur l'argumentation

Rallou Thomopoulos , Madalina Croitoru
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 2013, 27 (4-5), pp.493-513. ⟨10.3166/ria.27.493-513⟩
Journal articles istex lirmm-00835197v1
Image document

Artificial Mutation inspired Hyper-heuristic for Runtime Usage of Multi-objective Algorithms

Donia El Kateb , François Fouquet , Johann Bourcier , Yves Le Traon
Reports hal-00948329v1
Image document

Reconstruction of transparent objects in unstructured scenes with a depth camera

Nicolas Alt , Patrick Rives , Eckehard Steinbach
IEEE Int. Conf. on Image Processing, ICIP'13, Sep 2013, Melbourne, Australia
Conference papers hal-00845456v1
Image document

Localization of protein aggregation in Escherichia coli is governed by diffusion and nucleoid macromolecular crowding effect

Anne-Sophie Coquel , Jean-Pascal Jacob , Maël Primet , Alice Demarez , Mariella Dimiccoli , et al.
PLoS Computational Biology, 2013, 9 (4), e1003038 (14 p.). ⟨10.1371/journal.pcbi.100303⟩
Journal articles hal-00798053v1
Image document

Cost-sensitive Multiclass Classification Risk Bounds

Bernardo Avila Pires , Mohammad Ghavamzadeh , Csaba Szepesvari
International Conference on Machine Learning, Jun 2013, Atlanta, United States
Conference papers hal-00840485v1
Image document

Mixed finite element methods: implementation with one unknown per element, local flux expressions, positivity, polygonal meshes, and relations to other methods

Martin Vohralík , Barbara Wohlmuth
Mathematical Models and Methods in Applied Sciences, 2013, 23 (5), pp.803-838. ⟨10.1142/S0218202512500613⟩
Journal articles hal-00497394v3
Image document

Finite-time Stabilization Using Implicit Lyapunov Function Technique

Andrey Polyakov , Denis Efimov , Wilfrid Perruquetti
IFAC Nolcos 2013, Sep 2013, Toulouse, France
Conference papers hal-00844386v1
Image document

Control of Nonlinear Systems Using Multiple Model Black-Box Identification

Sergey Kolyubin , Denis Efimov , Vladimir O. Nikiforov , Alexey Bobtsov
IFAC Nolcos 2013, Sep 2013, Toulouse, France
Conference papers hal-00844410v1
Image document

Implementation of an indoor localization system based on an analysis of the movement of an embedded device

Minh Tuan Ho
Other [cs.OH]. Université de Rennes, 2013. English. ⟨NNT : 2013REN1S166⟩
Theses tel-00997476v1
Image document

The Rooster and the Butterflies

Assia Mahboubi
CICM 2013 - Conference on Intelligent Computer Mathematics - 2013, Jul 2013, Bath, United Kingdom. pp.1-18, ⟨10.1007/978-3-642-39320-4_1⟩
Conference papers hal-00825074v3
Image document

Energy and Throughput Optimization of Wireless Mesh Network with Continuous Power Control

Anis Ouni , Hervé Rivano , Fabrice Valois , Catherine Rosenberg
[Research Report] RR-7730, 2013, pp.27
Reports hal-00844814v1
Image document

Reduction and emulation of ADMS Urban

Vivien Mallet , Anne Tilloy , David Poulet , Fabien Brocheton
HARMO 15 - 15th International Conference on Harmonisation within Atmospheric Dispersion Modelling for Regulatory Purposes, Jun 2013, Madrid, Spain
Conference papers hal-00838802v1
Image document

PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library

Benot Boyer , Kevin Corre , Axel Legay , Sean Sedwards
Quantitative Evaluation of Systems, Aug 2013, Buenos Aires, Argentina. pp.160 - 164, ⟨10.1007/978-3-642-40196-1_12⟩
Conference papers hal-01088411v1
Image document

Lower and upper bounds for the Rayleigh conductivity of a perforated plate

Sophie Laurens , Sébastien Tordeux , Abderrahmane Bendali , M'Barek Fares , P. Robert Kotiuga
ESAIM: Mathematical Modelling and Numerical Analysis, 2013, 47 (6), pp.1691-1712. ⟨10.1051/m2an/2013082⟩
Journal articles hal-00686438v1
Image document

Certification of a Tool Chain for Deductive Program Verification

Paolo Herms
Other [cs.OH]. Université Paris Sud - Paris XI, 2013. English. ⟨NNT : 2013PA112006⟩
Theses tel-00789543v1
Image document

Simulation d'événements rares par Monte Carlo dans les réseaux hautement fiables

Samira Saggadi
Modélisation et simulation. Université Rennes 1, 2013. Français. ⟨NNT : ⟩
Theses tel-00940140v1
Image document

Analysis and simulation of multimodal cardiac images to study the heart function

Adityo Prakosa
Other. Université Nice Sophia Antipolis, 2013. English. ⟨NNT : 2013NICE4003⟩
Theses tel-00837857v1
Image document

Combinatoire analytique et modèles d'urnes

Basile Morcrette
Combinatoire [math.CO]. Université Pierre et Marie Curie - Paris VI, 2013. Français. ⟨NNT : ⟩
Theses tel-00843046v1
Image document

Step and curb detection for autonomous vehicles with an algebraic derivative-based approach applied on laser rangefinder data

Evangeline Pollard , Joshué Pérez Rastelli , Fawzi Nashashibi
IEEE-IV 2013 - The 2013 IEEE Intelligent Vehicles Symposium, Jun 2013, Gold Coast, Australia
Conference papers hal-00841669v1
Image document

Parallel heterogeneous Branch and Bound algorithms for multi-core and multi-GPU environments

Imen Chakroun
Distributed, Parallel, and Cluster Computing [cs.DC]. Université des Sciences et Technologie de Lille - Lille I, 2013. English. ⟨NNT : ⟩
Theses tel-00841965v1
Image document

Representation of Complex Expressions in RDF

Sébastien Ferré
Extended Semantic Web Conf. (ESWC Satellite Events), May 2013, Montpellier, France. pp.273-274
Conference papers hal-00943516v1
Image document

Evaluation of the OGF GridRPC Data Management library, and study of its integration into an International Sparse Linear Algebra Expert System

Yves Caniou , Ronan Guivarch , Gaël Le Mahec
The International Symposium on Grids and Clouds - ISGC 2013, Mar 2013, Taipei, Taiwan. pp. 1-12
Conference papers hal-01141702v1
Image document

Erbium : Reconciling languages, runtimes, compilation and optimizations for streaming applications

Cupertino Miranda
Other [cs.OH]. Université Paris Sud - Paris XI, 2013. English. ⟨NNT : 2013PA112020⟩
Theses tel-00840333v1
Image document

Intrusion detection in distributed systems, an approach based on taint marking

Christophe Hauser , Frédéric Tronel , Colin Fidge , Ludovic Mé
IEEE ICC2013 - IEEE International Conference on Communications, Jun 2013, Budapest, Hungary
Conference papers hal-00840338v1
Image document

Symbolic Unfolding of Parametric Stopwatch Petri Nets

Claude Jard , Didier Lime , Olivier Henri Roux , Louis-Marie Traonouez
Formal Methods in System Design, 2013, 43 (3), pp.493-519. ⟨10.1007/s10703-013-0188-2⟩
Journal articles hal-00840368v1