Skip to Main content Skip to Navigation

tel-00638820v2  Theses
Thé van Luong. Métaheuristiques parallèles sur GPU
Recherche opérationnelle [cs.RO]. Université des Sciences et Technologie de Lille - Lille I, 2011. Français
inria-00620496v1  Conference papers
Slawomir BakEtienne CorveeFrancois BremondMonique Thonnat. Multiple-shot Human Re-Identification by Mean Riemannian Covariance Grid
Advanced Video and Signal-Based Surveillance, Aug 2011, Klagenfurt, Austria
hal-01321197v1  Conference papers
Veeraruna Kavitha. Continuous Polling with Rerouting and Applications to Ferry Assisted Wireless LANs *
VALUETOOLS '11 5th International ICST Conference on Performance Evaluation Methodologies and Tools , May 2011, Cachan, France. ⟨10.4108/icst.valuetools.2011.245681⟩
hal-00675082v1  Conference papers
Alessandro RenzagliaLefteris DoitsidisAgostino MartinelliElias Kosmatopoulos. Multi-Robot 3D Coverage of Unknown Terrains
50th IEEE Conference on Decision and Control (CDC), Dec 2011, Orlando, United States
hal-00777663v1  Conference papers
Sylvain ConchonÉvelyne ContejeanMohamed Iguernelala. Canonized Rewriting and Ground AC Completion Modulo Shostak Theories
TACAS - Tools and Algorithms for the Construction and Analysis of Systems, 2011, Saarbrücken, Germany
inria-00626264v1  Conference papers
Remi AbgrallPietro Marco CongedoGianluca Geraci. An adaptive semi-intrusive finite-volume scheme for the solution of stochastic partial differential equations
hal-00777669v1  Conference papers
Évelyne ContejeanPierre CourtieuJulien ForestOlivier PonsXavier Urbain. Automated Certified Proofs with CiME3
RTA - 22nd International Conference on Rewriting Techniques and Applications, 2011, Novi Sad, Serbia
tel-01746277v2  Theses
Tom Leclerc. Contributions for Advanced Service Discovery in Ad hoc Networks
Computer science. Université Henri Poincaré - Nancy 1, 2011. English. ⟨NNT : 2011NAN10133⟩
tel-00651258v2  Theses
Pierre Riteau. Dynamic Execution Platforms over Federated Clouds
Distributed, Parallel, and Cluster Computing [cs.DC]. Université Rennes 1, 2011. English
inria-00626270v1  Conference papers
Alexandre AbadieBenoît CombèsClaire HaegelenSylvain Prima. CLARCS, a C++ Library for Automated Registration and Comparison of Surfaces: Medical Applications
MICCAI Workshop on Mesh Processing in Medical Image Analysis (MeshMed'2011), Sep 2011, Toronto, Canada. pp.117-126
inria-00626226v1  Conference papers
Mohamed-Amine BaaziziNicole BidoitDario Colazzo. Efficient Encoding of Temporal XML documents
International Symposium on Temporal Representation and Reasoning (TIME), Sep 2011, Lubeck, Germany
inria-00625956v1  Conference papers
François Lamarche. A new homotopy-theoretic interpretation of Martin-Löf's identity type.
Models, Logics and Higher-Dimensional Categories: A Tribute to the Work of Mihaly Makkai, Bradd Hart and Thomas G. Kucera and Anand Pillay and Philip J. Scott and Robert A. G. Seely, Jun 2011, Montréal, Canada
hal-00527022v1  Book sections
Eric CancèsMathieu LewinGabriel Stoltz. The Microscopic Origin of the Macroscopic Dielectric Permittivity of Crystals: A Mathematical Viewpoint
Björn Engquist, Olof Runborg and Yen-Hsi R. Tsai. Numerical Analysis of Multiscale Computations. Proceedings of a Winter Workshop at the Banff International Research Station 2009, Springer, pp.87--125, 2011, Lecture Notes in Computational Science and Engineering, ⟨10.1007/978-3-642-21943-6⟩
hal-00675085v1  Conference papers
Ryo FurukawaRyusuke SagawaAmael DelaunoyHiroshi Kawasaki. Multiview Projectors/Cameras System for 3D Reconstruction of Dynamic Scenes
4DMOD - Workshop on Dynamic Shape Capture and Analysis, Nov 2011, Barcelone, Spain. pp.1602-1609, ⟨10.1109/ICCVW.2011.6130441⟩
tel-00626227v1  Habilitation à diriger des recherches
Dario Colazzo. Schemas for safe and efficient XML processing
Other [cs.OH]. Université Paris Sud - Paris XI, 2011
inria-00626225v1  Conference papers
Mohamed-Amine BaaziziNicole BidoitDario ColazzoNoor MallaMarina Sahakyan. Projection for XML Update Optimization.
International Conference on Extending Database Technology (EDBT), Feb 2011, Uppsala, Sweden
inria-00527150v1  Conference papers
Pierre-Nicolas ClaussMark StillwellStéphane GenaudFrédéric SuterHenri Casanova et al.  Single Node On-Line Simulation of MPI Applications with SMPI
International Parallel & Distributed Processing Symposium, IEEE, May 2011, Anchorange (AK), United States
inria-00559270v2  Reports
Luc Boruta. A note on the generation of allophonic rules
[Technical Report] RT-0401, INRIA. 2011
hal-00777683v1  Conference papers
Claire DrossJean-Christophe FilliâtreYannick Moy. Correct Code Containing Containers
TAP - 5th International Conference on Tests and Proofs, 2011, Zurich, Switzerland
inria-00626199v1  Conference papers
Danai SymeonidouNathalie PernelleFatiha Saïs. KD2R : a Key Discovery method for semantic Reference Reconcilation
7th International IFIP Workshop on Semantic Web & Web Semantics (SWWS 2011), Oct 2011, Heraklion, Greece. (10 p., à paraître)
inria-00626217v1  Conference papers
Dario ColazzoCarlo Sartiani. Precision and Complexity of XQuery Type Inference.
ACM-SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP), Jul 2011, Odense, Denmark
hal-00726757v1  Conference papers
Tom DinkelakerJacques NoyéÉric Tanter. Proceedings of the sixth annual workshop on Domain-specific aspect languages (DSAL 2011)
AOSD - Aspect-Oriented Software Development - 2011, Mar 2011, Porto de Galinhas, Brazil
tel-00638449v2  Theses
Anthony Martinet. Etude de l'infuence de la séparation des degrés de liberté pour la manipulation 3-D à l'aide de surfaces tactiles multipoints
Interface homme-machine [cs.HC]. Université des Sciences et Technologie de Lille - Lille I, 2011. Français
inria-00577043v1  Conference papers
Juan Pablo TimpanaroThibault CholezIsabelle ChrismentOlivier Festor. BitTorrent's Mainline DHT Security Assessment
NTMS - 4th IFIP International Conference on New Technologies, Mobility and Security - 2011, TELECOM ParisTECH, CNRS/LIMOS Laboratory, LIP6, Feb 2011, Paris, France. ⟨10.1109/NTMS.2011.5721044⟩
inria-00634735v1  Conference papers
Valmi Dufour-LussierFlorence Le BerJean Lieber. Quels formalismes temporels pour représenter des connaissances extraites de textes de recettes de cuisine ?
Représentation et raisonnement sur le temps et l'espace, May 2011, Chambéry, France
tel-00682776v1  Theses
Marie-Eléonore Kessaci. Recherche locale et optimisation combinatoire : de l'analyse structurelle d'un problème à la conception d'algorithmes efficaces
Mathématique discrète [cs.DM]. Université des Sciences et Technologie de Lille - Lille I, 2011. Français
hal-01582994v1  Conference papers
Cinzia GiustoJean-Bernard Stefani. Revisiting Glue Expressiveness in Component-Based Systems
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.16-30, ⟨10.1007/978-3-642-21464-6_2⟩
hal-00863230v1  Conference papers
Alain Jean-MarieMichel MoreauxMabel Tidball. Carbon sequestration in leaky reservoirs
EAERE: European Association of Environmental and Resource Economists, Laura Castellucci (chair) / Alessio D'Amato (vice-chair), Jun 2011, Rome, Italy
inria-00616279v1  Journal articles
Tamas EltetoCécile GermainPascal BondonMichèle Sebag. Towards Non-Stationary Grid Models
Journal of Grid Computing, Springer Verlag, 2011, 9 (4), pp.423-440. ⟨10.1007/s10723-011-9194-z⟩
hal-00804166v1  Journal articles
Samir AmirIoan Marius BilascoChaabane Djeraba. MuMIe: Multi-level Metadata Mapping System
Journal of Multimedia, Academy Publisher, 2011, 6 (3), pp.225-235
hal-01148260v1  Journal articles
Dongming Wang. Algebraic Analysis of Stability and Bifurcation for Nonlinear Flight Dynamics
Aeronautical Journal -New Series-, Royal Aeronautical Society, 2011, 115 (1168), pp.345--349
hal-00746843v1  Journal articles
Anne MorgatRolf ApweilerMaria-Jesus MartinC. O'DonovanM. Magrane et al.  Ongoing and future developments at the Universal Protein Resource.
Nucleic Acids Research, Oxford University Press, 2011, 39 (Database issue), pp.D214-9. ⟨10.1093/nar/gkq1020⟩
inria-00443797v1  Journal articles
Richard BrentPaul Zimmermann. The Great Trinomial Hunt
Notices of the American Mathematical Society, American Mathematical Society, 2011, 58 (2), pp.233-239