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-00449421v1  Conference papers
Alain KibangouCyrille SicletLaurent Ros. ZF OFDM Receiver for Underwater Communications
ISCCSP 2008 - 4th International Symposium on Communications, Control and Signal Processing, Mar 2010, Limassol, Cyprus. pp.n.c
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-00738200v1  Conference papers
Christina BouraAnne Canteaut. Zero-Sum Distinguishers for Iterated Permutations and Application to Keccak-f and Hamsi-256
Selected Areas in Cryptography - 17th International Workshop, SAC 2010,, Aug 2010, Waterloo, Ontario,, Canada. pp.1-17
hal-00462453v1  Journal articles
communications in stochastic analysis, 2010, 4 (3), pp.00-00
hal-00523653v1  Conference papers
Yliès Falcone. You Should Better Enforce than Verify
International Conference on Runtime Verification, Nov 2010, Malta, Malta. pp.91--108
hal-00762954v1  Book sections
Thilo KielmannGuillaume PierreChristine Morin. XtreemOS: a Sound Foundation for Cloud Infrastructure and Federations
Desprez, F. and Getov, V. and Priol, T. and Yahyapour, R. Grids, P2P and Services Computing, Springer, 2010, 978-1-4419-6793-0. ⟨10.1007/978-1-4419-6794-7_1⟩
hal-00953317v1  Conference papers
Alfonso García FreyGaëlle CalvarySophie Dupuy-Chessa. Xplain: an Editor for building Self-Explanatory User Interfaces by Model-Driven Engineering
Proceedings of the second ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2010), 2010, Berlin, Germany. pp.41-46, ⟨10.1145/1822018.1822026⟩
inria-00543951v1  Documents associated with scientific events
Alin DeutschIoana ManolescuVasilis Vassalos. XPath query containment and rewriting using views
26èmes journées Bases de Données Avancées, Oct 2010, Toulouse, France
hal-00494261v1  Conference papers
Pierre GenevèsNabil Layaïda. XML Reasoning Made Practical
26th IEEE International Conference on Data Engineering, ICDE 2010, Mar 2010, Long Beach, CA, United States. pp. 1169-1172, ⟨10.1109/ICDE.2010.5447786⟩
inria-00578884v1  Conference papers
Ryma AbassiFlorent JacquemardMichaël RusinowitchSihem Guemara El Fatmi. XML Access Control: from XACML to Annotated Schemas
Second International Conference on Communications and Networking (ComNet), Nov 2010, Tozeur, Tunisia. pp.1-8, ⟨10.1109/COMNET.2010.5699810⟩
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-00677820v1  Conference papers
Johan MontagnatTristan GlatardDamien ReimertKetan MaheshwariEddy Caron et al.  Workflow-based comparison of two Distributed Computing Infrastructures
Workshop on Workflows in Support of Large-Scale Science (WORKS 2010), Nov 2010, New Orleans, United States. pp.1-10, ⟨10.1109/WORKS.2010.5671856⟩
tel-01748567v2  Theses
Nicolas Padoy. Workflow and Activity Modeling for Monitoring Surgical Procedures
Human-Computer Interaction [cs.HC]. Université Henri Poincaré - Nancy 1; Technische Universität München, 2010. English. ⟨NNT : 2010NAN10025⟩
lirmm-00537849v1  Poster communications
Ziad NounPhilippe CauvetMarie-Lise FlottesDavid AndreuSerge Bernard. Wireless Wafer Test for Iterative Testing During System Assembly
3D-Test: Testing Three-Dimensional Stacked Integrated Circuits, Nov 2010, Austin, Texas, United States. 1st IEEE International Workshop on Testing Three-Dimensional Stacked Integrated Circuits, 2010
inria-00537316v1  Conference papers
D. ChauhanPraveen ChandrashekarappaRégis Duvigneau. Wing shape optimization using FFD and twist parameterization
12th Aerospace Society of India CFD Symposium, Aug 2010, Bangalore, India
hal-00495279v1  Journal articles
Antoine LambertRomain BourquiD. Auber. Winding Roads: Routing edges into bundles
Computer Graphics Forum, Wiley, 2010, 29 (3), pp.853-862
inria-00526006v1  Conference papers
Cristian PopiOlivier Festor. WiMFlow: a distributed, self-adaptive Architecture for Flow Monitoring in Wireless Mesh Networks
2010 IEEE/IFIP Network Operations and Management Symposium, Apr 2010, Osaka, Japan
tel-01748653v1  Theses
Charbel Rahhal. Wikis sémantiques distribués sur réseaux pair-à-pair
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2010. Français. ⟨NNT : 2010NAN10083⟩
tel-00543961v1  Theses
Charbel Rahhal. Wikis sémantiques distribués sur réseaux pair-à-pair
Informatique [cs]. Université Henri Poincaré - Nancy I, 2010. Français
inria-00550698v1  Conference papers
Fanny ChevalierStéphane HuotJean-Daniel Fekete. WikipediaViz: Conveying Article Quality for Casual Wikipedia Readers
PacificVis '10: IEEE Pacific Visualization Symposium, 2010, Taipei, Taïwan. pp.215-222
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-00494064v1  Conference papers
Richard Moot. Wide-Coverage French Syntax and Semantics using Grail
TALN 2010, Jul 2010, Montréal, Canada
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-00608016v1  Conference papers
Amedeo Napoli. Why and How Knowledge Discovery Can Be Useful for Solving Problems with CBR
Case-Based Reasoning. Research and Development, 18th International Conference on Case-Based Reasoning, ICCBR 2010, Alessandria, Italy, July 19-22, 2010. Proceedings, 2010, Alessandria (Italie), France. pp.12-19
hal-03201974v1  Conference papers
Stéphane DemriArnaud Sangnier. When Model-Checking Freeze LTL over Counter Machines Becomes Decidable
FOSSACS 2010 - Foundations of Software Science and Computational Structures, 13th International Conference, Luke Ong, Mar 2010, Paphos, Cyprus. pp.176-190, ⟨10.1007/978-3-642-12032-9_13⟩
inria-00589470v1  Conference papers
Alexandre MunnierThomas Chambrion. When Fish Moonwalk
American Control Conference 2010, Jun 2010, Baltimore, United States
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
inria-00515420v1  Conference papers
Antoine BoutetDavide FreyRachid GuerraouiAnne-Marie Kermarrec. WhatsUp: news from, for, through everyone
10th IEEE International Conference on Peer-to-Peer Computing (IEEE P2P'10), Aug 2010, Delft, Netherlands
inria-00638285v1  Conference papers
Stefan Haar. What Topology Tells us about Diagnosability in Partial Order Semantics
Proceedings of the 10th Workshop on Discrete Event Systems (WODES'10), Aug 2010, Berlin, Germany. pp.221-226
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⟩
hal-00847444v1  Conference papers
Olivier Faugeras. What do we learn from the uncertainty on the synaptic weights in networks of neurons?
OCCAM Computational Neuroscience Workshop : Future Challenges in Mathematical and Computational Neuroscience, Oxford center for collaborative applied mathematics, OCCAM, Sep 2010, Oxford, United Kingdom
hal-00671476v1  Poster communications
Thomas PietrzakSylvain MalacriaEric Lecolinet. What do U-Note? An Augmented Note Taking System for the Classroom
Adjunct Proceedings of the ACM Conference on Ubiquitous Computing (Ubicomp 2010), Papercomp Workshop, 2010, Copenhagen, Denmark. 2010
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⟩