Skip to Main content Skip to Navigation
Help


...
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
MASCOT 2011 - 11TH MEETINGS ON APPLIED SCIENTIFIC COMPUTING AND TOOLS, Oct 2011, Rome, Italy
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