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⟩
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⟩
inria-00543150v1  Conference papers
Danièle GardyYann Ponty. Weighted random generation of context-free languages: Analysis of collisions in random urn occupancy models
GASCOM - 8th conference on random generation of combinatorial structures - 2010, LACIM, UQAM, Sep 2010, Montréal, Canada. 14pp
inria-00467853v1  Conference papers
Julio AraujoClaudia Linhares Sales. Weighted Coloring on P4-sparse Graphs
JDIR, 2010, Sophia Antipolis, France
hal-00624029v1  Journal articles
Benjamin NguyenAntoine VionFrancois-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
hal-01125844v1  Conference papers
Malika CharradYves LechevallierMohamed Ben AhmedGilbert Saporta. WCUM pour l'analyse d'un site web
10e conférence internationale sur l'Extraction et la Gestion des Connaissances EGC'2010, Jan 2010, Hammamet, Tunisie. pp.45-52
inria-00551035v1  Conference papers
Nathalie RaveuLuc GiraudHenri Baudrand. WCIP acceleration
Asia Pacific Microwave Conference, Dec 2010, Yokohama, Japan
hal-01223691v1  Conference papers
Stéfane Paris. Wavelet-based euclidean distance for image quality assessment
International Symposium ELMAR-2010, Sep 2010, Zadar, Croatia
inria-00549218v1  Conference papers
Carolina SaavedraLaurent Bougrain. Wavelet denoising for P300 single-trial detection
Proccedings of the 5th french conference on computational neuroscience - Neurocomp'10, Oct 2010, Lyon, France. pp.227-231
inria-00567668v1  Conference papers
Andrei HerdtNicolas PerrinPierre-Brice Wieber. Walking without thinking about it
IROS 2010 - IEEE-RSJ International Conference on Intelligent Robots & Systems, Oct 2010, Taipei, Taiwan. pp.190-195, ⟨10.1109/IROS.2010.5654429⟩
lirmm-00535780v1  Conference papers
Jean-François BagetMichel LeclèreMarie-Laure Mugnier. Walking the Decidability Line for Rules with Existential Variables
KR: Principles of Knowledge Representation and Reasoning, May 2010, Toronto, Canada. pp.466-476
inria-00491109v1  Conference papers
Joerg HoffmannAlexander Koller. Waking Up a Sleeping Rabbit: On Natural-Language Sentence Generation with FF
20th International Conference on Automated Planning and Scheduling (ICAPS'10), Aug 2010, Toronto, Canada
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,
inria-00544354v1  Conference papers
Pierre-Antoine BouttierArthur Vidard. VODA: Variational Ocean Data Assimilation for multi-scale applications.
Colloque National d'Assimilation de Données, INSU, Dec 2010, Grenoble, France
hal-00804757v1  Conference papers
Nicolas GeoffrayGaël ThomasJulia LawallGilles MullerBertil Folliot. VMKit: a substrate for managed runtime environments
VEE '10 - 6th International Conference on Virtual Execution Environments, Mar 2010, Pittsburgh, Pennsylvania, United States. pp.51-62, ⟨10.1145/1735997.1736006⟩
inria-00531508v1  Conference papers
Verónica Uquillas-GomezStéphane DucasseTheo d'Hondt. Visually Supporting Source Code Changes Integration: the Torch Dashboard
Working Conference on Reverse Engineering, Oct 2010, Boston, United States
inria-00530852v1  Conference papers
Benjamin BachGennady LegostaevEmmanuel Pietriga. Visualizing Populated Ontologies with OntoTrix
International Semantic Web Conference (ISWC) 2010, Nov 2010, Shanghai, China. pp.85-88
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. ⟨10.1080/10255842.2010.490528⟩
hal-00696816v1  Book sections
Jean-Daniel Fekete. Visualiser l'information pour la comprendre vite et bien
ADBS éditions. L'usager numérique, ADBS éditions, pp.161-194, 2010, 978-2-84365-126-7
inria-00550697v1  Conference papers
Fanny ChevalierStéphane HuotJean-Daniel Fekete. Visualisation de mesures agrégées pour l'estimation de la qualité des articles Wikipedia
EGC 2010: Conférence Internationale Francophone sur l'Extraction et la Gestion des Connaissances, 2010, Hammamet, Tunisie. Cépaduès-Éditions
hal-00831794v1  Documents associated with scientific events
Christophe PradalDaniel BarbeauThomas CokelaerEric Moscardi. VisuAlea, Towards a Scientific Modelling Environment using Visual Programming
EuroSciPy 2010, 2010, Paris, France. 2010
inria-00548935v1  Book sections
Guillaume AllibertEstelle CourtialFrançois Chaumette. Visual servoing via Nonlinear Predictive control
Chesi, G. and Hashimoto, K. Visual Servoing via Advanced Numerical Methods, LNCIS 401, Springer-Verlag, pp.375--394, 2010
inria-00544794v1  Conference papers
Romeo Tatsambon FomenaOmar TahriFrançois Chaumette. Visual servoing from three points using a spherical projection model
IEEE Int. Conf. on Robotics and Automation, ICRA'10, 2010, Anchorage, Alaska, United States. pp.5537-5542
inria-00548936v1  Book sections
Omar TahriYoucef MezouarFrançois ChaumetteHelder Araujo. Visual servoing and pose estimation with cameras obeying the unified model
Chesi, G. and Hashimoto, K. Visual Servoing via Advanced Numerical Methods, LNCIS 401, Springer-Verlag, pp.231--252, 2010
hal-00812303v1  Conference papers
Roberto ValentiAdel LablackNicu SebeChaabane DjerabaTheo Gevers. Visual Gaze Estimation by Joint Head and Eye Information
20th International Conference on Pattern Recognition (ICPR) 2010, Sep 2010, Istambul, Turkey. pp.3870-3873, ⟨10.1109/ICPR.2010.1160⟩
hal-00559896v1  Conference papers
Clément BoussardNicolas HautiereBrigitte d'Andréa-Novel. Visibility Distance Estimation based on Structure from Motion
ICARCV'10 - 11th IEEE International Conference on Control Automation Robotics and Vision, Dec 2010, Singapour, Singapore. pp 1416 - 1421, ⟨10.1109/ICARCV.2010.5707416⟩