Skip to Main content Skip to Navigation

inria-00610934v1  Journal articles
Jianneng CaoPanagiotis KarrasChedy RaïssiKian-Lee Tan. ρ-uncertainty: Inference-Proof Transaction Anonymization
Proceedings of the VLDB Endowment (PVLDB), VLDB Endowment, 2010, 3 (1), pp.1033-1044
hal-00413217v1  Journal articles
Lionel Clément. Zeugme sémantique
Revue de Sémantique et Pragmatique, Presses de l'Université d'Orléans, 2010, pp.231-247
hal-00462453v1  Journal articles
communications in stochastic analysis, 2010, 4 (3), pp.00-00
hal-00780437v1  Journal articles
Alin BostanPhilippe Dumas. Wronskians and linear independence
American Mathematical Monthly, Mathematical Association of America, 2010, 117 (8), pp.722-727. ⟨10.4169/000298910X515785⟩
hal-00495279v1  Journal articles
Antoine LambertRomain BourquiDavid Auber. Winding Roads: Routing edges into bundles
Computer Graphics Forum, Wiley, 2010, 29 (3), pp.853-862
hal-00697968v1  Journal articles
A. JohanetJ. SecondiC. Lemaire. Widespread introgression does not leak into allotopy in a broad sympatric zone
Heredity, Nature Publishing Group, 2010, --, pp.1-11
inria-00543927v1  Journal articles
Kaveh GhaziVincent LefèvrePhilippe ThévenyPaul Zimmermann. Why and How to Use Arbitrary Precision
Computing in Science and Engineering, Institute of Electrical and Electronics Engineers, 2010, 12 (3), pp.62-65. ⟨10.1109/MCSE.2010.73⟩
hal-00825030v1  Journal articles
François LemaireMarc Moreno MazaYuzhen XieWei Pan. When does (T) equal sat(T)?
Journal of Symbolic Computation, Elsevier, 2010, 46 (12), pp.1291-1305
hal-00539522v1  Journal articles
A.-M. BouvierM. SantA. VerdecchiaD. FormanR. Damhuis et al.  What reasons lie behind long-term survival differences for gastric cancer within Europe?
European Journal of Cancer, Elsevier, 2010, 46, pp.1086-1092
hal-00333705v1  Journal articles
Antoine HenrotYannick Privat. What is the optimal shape of a pipe?
Archive for Rational Mechanics and Analysis, Springer Verlag, 2010, 196 (1), pp.281--302. ⟨10.1007/s00205-009-0243-8⟩
inria-00373784v2  Journal articles
Nicolas ChampagnatPierre-Emmanuel Jabin. Well-posedness in any dimension for Hamiltonian flows with non BV force terms
Communications in Partial Differential Equations, Taylor & Francis, 2010, 35 (5), pp.786-816. ⟨10.1080/03605301003646705⟩
hal-00873065v1  Journal articles
Patrick CiarletFrançois LefèvreStéphanie LohrengelSerge Nicaise. Weighted regularization for composite materials in electromagnetism
ESAIM: Mathematical Modelling and Numerical Analysis, EDP Sciences, 2010, 44 (1), pp.75-108. ⟨10.1051/m2an/2009041⟩
hal-00624029v1  Journal articles
Benjamin NguyenAntoine VionFrançois-Xavier DudouetDario ColazzoIoana Manolescu. Webstand, une plateforme de gestion de données web pour applications sociologiques
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2010, 29 (8-9), pp.1055-1080
inria-00537943v1  Journal articles
Mohsen RouachedWalid FdhilaClaude Godart. Web Services Compositions Modelling and Choreographies Analysis
International Journal of Web Services Research, Idea Group Pub, 2010, 7 (2), pp.78-110. ⟨10.4018/jwsr.2010040105⟩
hal-00170074v2  Journal articles
Xavier BardinaIvan NourdinCarles RoviraSamy Tindel. Weak approximation of a fractional SDE
Stochastic Processes and their Applications, Elsevier, 2010, 120 (1), pp.39-65. ⟨10.1016/⟩
lirmm-00512776v1  Journal articles
Omid AminiFrédéric HavetFlorian HucStéphan Thomassé. WDM and Directed Star Arboricity
Combinatorics, Probability and Computing, Cambridge University Press (CUP), 2010, 19, pp.161-182
inria-00550267v1  Journal articles
Lenka JerabkovaGuillaume BousquetSébastien BarbierFrançois FaureJérémie Allard. Volumetric modeling and interactive cutting of deformable bodies
Progress in Biophysics and Molecular Biology, Elsevier, 2010, Special Issue on Biomechanical Modelling of Soft Tissue Motion, 103 (2-3), pp.217-224. ⟨10.1016/j.pbiomolbio.2010.09.012⟩
inria-00502446v2  Journal articles
Jérémie AllardFrançois FaureHadrien CourtecuisseFlorent FalipouChristian Duriez et al.  Volume Contact Constraints at Arbitrary Resolution
ACM Transactions on Graphics, Association for Computing Machinery, 2010, Proceedings of SIGGRAPH 2010, 29 (3), pp.Article No. 82. ⟨10.1145/1778765.1778819⟩
hal-00572394v1  Journal articles
Paul Vigneaux. Volcan islandais Eyjafjöll : mais où vont les particules ?
Images des Mathématiques, CNRS, 2010,
halshs-00687176v1  Journal articles
Kiyoshi HondaTatsuya KitamuraHironori TakemotoSeiji AdachiParham Mokhtari et al.  Visualization of hypopharyngeal cavities and vocal tract acoustic modeling
Computer Methods in Biomechanics and Biomedical Engineering, Taylor & Francis, 2010, 13 (4), pp.443-453
inria-00536615v1  Journal articles
Nicolas VignaisRichard KulpaCathy CraigBenoit Bideau. Virtual thrower vs. real goalkeeper: influence of different visual conditions on performance
Presence: Teleoperators and Virtual Environments, Massachusetts Institute of Technology Press (MIT Press), 2010, To appear
pasteur-00455342v1  Journal articles
J. PelletL. TafforeauM. Lucas-HouraniV. NavratilL. Meyniel et al.  ViralORFeome: an integrated database to generate a versatile collection of viral ORFs.
Nucleic Acids Research, Oxford University Press, 2010, 38 (Issue suppl1: Database issue), pp.D371-8. ⟨10.1093/nar/gkp1000⟩
hal-00540744v1  Journal articles
Jeremy BluteauMarie-Dominique DuboisSabine CoquillartEdouard GentazYohan Payan. Vibrotactile guidance for trajectory following in computer aided surgery.
Conference proceedings : .. Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Annual Conference, Institute of Electrical and Electronics Engineers (IEEE), 2010, 1, pp.2085-8. ⟨10.1109/IEMBS.2010.5626270⟩
inria-00502410v1  Journal articles
Wensong ZhouZhanjun WuLaurent Mevel. Vibration-based Damage Detection to the Composite Tank Filled with Fluid
Structural Health Monitoring, SAGE Publications (UK and US), 2010
inria-00533277v1  Journal articles
Frédéric FondementP-A. MullerBrice WittmannFabrice AmbertFabrice Bouquet et al.  VETESS : IDM, Test et SysML
Génie logiciel, C & S, 2010, pp.43--48
lirmm-00503037v1  Journal articles
Christine Azevedo CosteDavid GuiraudCharles Fattal. Verticalisation assistée par stimulation électrique chez le paraplégique
Sciences et Technologies pour le Handicap, Lavoisier, 2010, Numéro Spécial Handicap et Mouvement, pp.20
hal-01350189v1  Journal articles
Hidde de Jong. Vers la cellule virtuelle
Interstices, INRIA, 2010
inria-00537821v1  Journal articles
Frédéric BessonGuillaume DufayeThomas JensenDavid Pichardie. Verifying Resource Access Control on Mobile Interactive Devices
Journal of Computer Security, IOS Press, 2010, 18 (6), pp.971-998
hal-00645293v1  Journal articles
Hans van DitmarschJan van EijckWilliam Wu. Verifying one hundred prisoners and a lightbulb
Journal of Applied Non-Classical Logics, Taylor & Francis, 2010, pp.173--191. ⟨10.3166/jancl.20.173-191⟩
inria-00503157v1  Journal articles
Gilles AubertDaniele Graziani. Variational approximation for detecting point-like target problems
ESAIM: Control, Optimisation and Calculus of Variations, EDP Sciences, 2010, 23p
hal-00755489v1  Journal articles
Robin GenuerJean-Michel PoggiChristine Malot. Variable selection using Random Forests
Pattern Recognition Letters, Elsevier, 2010, 31 (14), pp.2225-2236
hal-00547924v1  Journal articles
Pietro BelottiAndrew J. MillerMahdi Namazifar. Valid Inequalities and Convex Hulls for Multilinear Functions
Electronic Notes in Discrete Mathematics, Elsevier, 2010, 36, pp.805-812. ⟨10.1016/j.endm.2010.05.102⟩
inria-00536605v1  Journal articles
Benoit BideauRichard KulpaNicolas VignaisSébastien BraultFranck Multon et al.  Using Virtual Reality to Analyze Sports Performance
IEEE Computer Graphics and Applications, Institute of Electrical and Electronics Engineers, 2010, 30 (2), pp.14-21. ⟨10.1109/MCG.2009.134⟩