Skip to Main content Skip to Navigation


hal-00003267v1  Journal articles
Boris KolevAdrian Constantin. Least action principle for an integrable shallow water equation
Journal of Nonlinear Mathematical Physics, Taylor & Francis, 2001, 8 (4), pp.471-474. ⟨10.2991/jnmp.2001.8.4.3⟩
hal-00003269v1  Journal articles
Boris KolevAdrian Constantin. On the geometric approach to the motion of inertial mechanical systems
Journal of Physics A: Mathematical and Theoretical, IOP Publishing, 2002, 35, pp.R51-R79. ⟨10.1088/0305-4470/35/32/201⟩
hal-00003261v1  Journal articles
Boris KolevAdrian Constantin. Geodesic Flow on the Diffeomorphism Group of the circle
Commentarii Mathematici Helvetici, European Mathematical Society, 2003, 78, pp.787-804. ⟨10.1007/s00014-003-0785-6⟩
hal-00003270v1  Journal articles
Boris KolevAdrian Constantin. Hk metrics on the group of diffeomorphisms of the circle
Journal of Nonlinear Mathematical Physics, Taylor & Francis, 2003, 10, pp.424-430. ⟨10.2991/jnmp.2003.10.4.1⟩
hal-00003375v1  Journal articles
Joël MerkerEgmont Porten. Metrically thin singularities of integrable CR functions
International Journal of Mathematics, World Scientific Publishing, 2000, 11, pp.857-872
hal-00003381v1  Journal articles
Roman DwilewiczJoël Merker. On the Hartogs-Bochner phenomenon for CR functions in P_2(C)
Proceedings of the American Mathematical Society, American Mathematical Society, 2002, 130, pp.1975-1980
hal-00003376v1  Journal articles
Joël Merker. Note on double reflection and algebraicity of holomorphic mappings
Annales de la Faculté des Sciences de Toulouse. Mathématiques., Université Paul Sabatier _ Cellule Mathdoc 2000, 9, pp.no.4, 689-721
hal-00003404v1  Journal articles
Hervé GaussierJoël Merker. Symmetries of partial differential equations
Journal of the Korean Mathematical Society, The Korean Mathematical Society, 2003, 40, pp.no. 3, 517-561
hal-00003406v1  Journal articles
Hervé GaussierJoël Merker. On the local algebraizability of real analytic generic submanifolds of C^n
Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 2003, 336, pp.125-128
inria-00000014v1  Conference papers
Thierry FraichardAlexis ScheuerRichard Desvigne. From Reeds and Shepp's to Continuous-Curvature Paths
Int. Conf. on Advanced Robotics, Oct 1999, Tokyo (JP), Japan. pp.585-590
inria-00000015v1  Conference papers
Alexis ScheuerChristian Laugier. Planning Sub-Optimal and Continuous-Curvature Paths for Car-Like Robots
IEEE-RSJ Int. Conf. on Intelligent Robots and Systems, C.S. & Engineering Dept, University of Minnesota, Oct 1998, Victoria BC (CA), United States. pp.25-31
inria-00000016v1  Conference papers
Christian LaugierPhilippe GarnierThierry FraichardIgor ParomtchikAlexis Scheuer. Motion Planning and Sensor-Guided Manoeuvre Generation for an Autonomous Vehicle
Int. Conf. on Field and Service Robotics, Dec 1997, Canberra (AU), Australia. pp.56-65
inria-00000017v1  Conference papers
Philippe GarnierThierry FraichardChristian LaugierIgor ParomtchikAlexis Scheuer. Motion Autonomy Through Sensor­Guided Manoeuvre
IEEE-RSJ Int. Conf. on Intelligent Robots and Systems, SHARP, INRIA Rhône-Alpes / GRAVIR-IMAG, Sep 1997, Grenoble (FR), France
inria-00000019v1  Book sections
Alexis ScheuerThierry Fraichard. Continuous-Curvature Path Planning for Car-Like Vehicles
Ufa State Aviation Technical University (RU). Intelligent Autonomous Systems, International Scientific Issue (International Scientific Issue), Intelligent Autonomous Systems (IAS) Society, 1998
inria-00000018v1  Conference papers
Alexis ScheuerThierry Fraichard. Continuous-Curvature Path Planning for Car-Like Vehicles
IEEE-RSJ Int. Conf. on Intelligent Robots and Systems, SHARP, INRIA Rhône-Alpes / GRAVIR-IMAG, Sep 1997, Grenoble (FR), France. pp.997-1003, ⟨10.1109/IROS.1997.655130⟩
inria-00000012v1  Conference papers
Ammar JoukhadarAlexis ScheuerChristian Laugier. Fast contact detection between moving deformable polyhedra
IEEE-RSJ Int. Conf. on Intelligent Robots and Systems, Korea Advanced Institute of Science and Technology, Oct 1999, Kyongju (KR), South Korea. pp.1810-1815, ⟨10.1109/IROS.1999.811741⟩
inria-00000013v1  Conference papers
Alexis ScheuerMing Xie. Continuous-Curvature Trajectory Planning for Manoeuvrable Non-Holonomic Robots
IEEE-RSJ Int. Conf. on Intelligent Robots and Systems, Korea Advanced Institute of Science and Technology, Oct 1999, Kyongju (KR), South Korea. pp.1675-1680, ⟨10.1109/IROS.1999.811719⟩
inria-00000022v1  Conference papers
Alexis ScheuerThierry Fraichard. Planning Continuous-Curvature Paths for Car-Like Robots
IEEE-RSJ Int. Conf. on Intelligent Robots and Systems, School of Engineering, Osaka University, Nov 1996, Osaka (JP), Japan. pp.1304-1311, ⟨10.1109/IROS.1996.568985⟩
inria-00000023v1  Conference papers
Thierry FraichardAlexis Scheuer. Car-Like Robots and Moving Obstacles
IEEE Int. Conf. on Robotics and Automation, May 1994, San Diego, California (US), United States. pp.64-69, ⟨10.1109/ROBOT.1994.351009⟩
inria-00000041v1  Journal articles
Mouna BenaissaVincent LecuireFrancis LepageAndré Schaff. Efficient DE-Jitter Control for Voice Applications over Wireless Ad Hoc Networks
Telecommunication Systems, Springer Verlag (Germany), 2005, modeling, analysis, design and management, 28 (2), pp.211-230
hal-00005087v1  Journal articles
Laurent AlonsoPhilippe ChassaingFlorent GilletSvante JansonEdward M. Reingold et al.  Quicksort with unreliable comparisons: a probabilistic analysis
Combinatorics, Probability and Computing, Cambridge University Press (CUP), 2004, 13 (4-5), pp.419-449. ⟨10.1017/S0963548304006297⟩
hal-00005089v1  Journal articles
Svante JansonPhilippe Chassaing. The center of mass of the ISE and the Wiener index of trees
Electronic Communications in Probability, Institute of Mathematical Statistics (IMS), 2004, 9
hal-00005090v1  Journal articles
Philippe ChassaingGilles Schaeffer. Random Planar Lattices and Integrated SuperBrownian Excursion
Probability Theory and Related Fields, Springer Verlag, 2004, 128(2), pp.161-212. ⟨10.1007/s00440-003-0297-8⟩
inria-00000112v1  Conference papers
Isabelle Debled-RennessonFabien FeschetJocelyne Rouyer-Degli. Optimal blurred segments decomposition in linear time
12th International Conference on Discrete Geometry for Computer Imagery - DGCI 2005, Eric Andres, Guillaume Damiand, Pascal Lienhardt, Apr 2005, Poitiers, France, pp.371-382
inria-00000120v1  Journal articles
Jean-Raymond AbrialDominique Cansell. Formal Construction of a Non-blocking Concurrent Queue Algorithm (a Case Study in Atomicity)
Journal of Universal Computer Science, Springer, 2005, Atomicity in System Design and Execution (Proceedings of Dagstuhl-Seminar 04181), 11 (5), pp.744-770
inria-00000148v1  Conference papers
Julien FondrevelleAmmar OulamaraMarie-Claude Portmann. Minimizing the weighted sum of machine completion times in flowshop with time lags
International Conference on Industrial Engineering and Systems Management - IESM'05, I4e2, May 2005, Marrakech/Maroc
inria-00000153v1  Conference papers
Marie-Dominique MorchNizar MessaiAmedeo NapoliShazia OsmanMalika Smaïl-Tabbone. Intelligent access to genomic sources on the web
W3C Workshop on Semantic Web for Life Sciences, Oct 2004, Cambridge, Massachusetts USA
inria-00000163v1  Conference papers
César Torres-HuitzilBernard GirauClaudio Castellanos Sánchez. Digital Implementation of a Bio-inspired Neural Model for Motion Estimation
International Joint Conference on Neural Networks - IJCNN 2005, Jul 2005, Montréal, Québec/Canada
inria-00000187v1  Conference papers
Julien Vitay. Towards Teaching a Robot to Count
Fifth International Workshop on Epigenetic Robotics, L. Berthouze and H. Kozima, Jul 2005, Nara, Japan
hal-00008518v1  Books
Michèle BassevilleIgor Nikiforov. Detection of Abrupt Changes - Theory and Application
Prentice Hall, Inc. - http://people.irisa.fr/Michele.Basseville/kniga/, pp.550, 1993
inria-00000203v1  Conference papers
Daniel SzerFrançois Charpillet. Solving Infinite Horizon DEC-POMDPs by Best-First Search
8th Biennial Israeli Symposium on the Foundations of AI - BISFAI -05, Jun 2005, Haifa/Israel
inria-00000201v1  Journal articles
Marianne AkianStéphane Gaubert. Spectral theorem for convex monotone homogeneous maps, and ergodic control
Nonlinear Analysis: Theory, Methods and Applications, Elsevier, 2003, 52 (2), pp.637-679. ⟨10.1016/S0362-546X(02)00170-0⟩
inria-00000214v1  Conference papers
Vincent CridligRadu StateOlivier FestorJean-François Leroy. Radius-Based SNMP Authorization
9th IFIP/IEEE International Symposium on Integrated Network Management - IM 2005 Application Session, May 2005, Nice, France
inria-00000213v1  Conference papers
Vincent CridligRadu StateOlivier Festor. An Integrated Security Framework for XML based Management
9th IFIP/IEEE International Symposium on Integrated Network Management - IM 2005, May 2005, Nice, France, pp.587--600
inria-00000218v1  Conference papers
Marianne AkianStéphane GaubertVassili Kolokoltsov. Solutions of max-plus linear equations and large deviations
44th IEEE Conference on Decision and Control and European Control Conference ECC 2005 (CDC-ECC'05), Dec 2005, Seville, Spain
inria-00000224v1  Book sections
Vincent Chevrier. From Self-Organized Systems to Collective Problem Solving
Marie-Pierre Gleizes, Andrea Omicini, Franco Zambonelli. Engineering Societies in the Agents World V: 5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004. Revised Selected and Invited Papers, 3451 (3451), Springer-Verlag GmbH, pp.222-230, 2005, Lecture Notes in Computer Science, 0302-9743. ⟨10.1007/11423355_16⟩
inria-00000225v1  Journal articles
Carole BernonVincent ChevrierVincent HilairePaul Marrow. Applications of Self-Organising Multi-Agent Systems: An Initial Framework for Comparison
Informatica, Slovene Society Informatika, Ljubljana, 2006, 30 (1), pp.73--82
inria-00000227v1  Conference papers
Rémi BadonnelRadu StateOlivier Festor. Management of Mobile Ad-Hoc Networks: Evaluating the Network Behavior
9th IFIP/IEEE International Symposium on Integrated Network Management - IEEE IM'2005, Seraphin Calo, Roberto Kung, May 2005, Nice, France, pp.17-30
inria-00000228v1  Conference papers
Rémi BadonnelRadu StateOlivier Festor. Monitoring End-to-End Connectivity in Mobile Ad-Hoc Networks
4th IEEE International Conference on Networking - ICN'2005, Apr 2005, France, pp.83-90
inria-00000234v1  Journal articles
Eddy CaronFrédéric DesprezMartin QuinsonFrédéric Suter. Performance Evaluation of Linear Algebra Routines
International Journal of High Performance Computing Applications, SAGE Publications, 2004, International Journal of High Performance Computing Applications, 18 (3), pp.373-390. ⟨10.1177/1094342004046046⟩
inria-00000235v1  Journal articles
Rémi BadonnelRadu StateOlivier FestorAndré Schaff. A Framework for Optimizing End-to-End Connectivity Degree in Mobile Ad-Hoc Networks
Journal of Network and Systems Management, Springer Verlag, 2005, 13 (4)
inria-00000239v1  Conference papers
Antoine TabboneLaurent WendlingDaniel Zuwala. A hybrid approach to detect graphical symbols in documents
6th International Workshop on Document Analysis Systems - DAS'2004, Sep 2004, Florence/Italy, pp.342-353, ⟨10.1007/b100557⟩
hal-00008804v1  Conference papers
Dominique Larchey-Wendling. Combining proof-search and counter-model construction for deciding Gödel-Dummett logic
18th International Conference on Automated Deduction - CADE 18, Jul 2002, Copenhagen, Denmark. pp.94-110
hal-00008806v1  Conference papers
Dominique Larchey-Wendling. Counter-model search in Gödel-Dummett logics
Second International Joint Conference on Automated Reasoning - IJCAR 2004, Jul 2004, Cork, Ireland. pp.274 -- 288, ⟨10.1007/978-3-540-25984-8_19⟩
hal-00008808v1  Conference papers
Dominique Larchey-Wendling. Gödel-Dummett counter-models through matrix computation
Workshop on Disproving, IJCAR 2004, 2004, Ireland
hal-00008811v1  Conference papers
Dominique Larchey-Wendling. Reference Counting for Linear Counter-Model Generation
First APPSEM II Workshop, 2003, Nottingham, United Kingdom
inria-00000145v1  Book sections
Julien VitayNicolas RougierFrédéric Alexandre. A distributed model of spatial visual attention
S. Wermter, G. Palm and M. Elshaw. Biomimetic Neural Learning for Intelligent Robotics, 3575 (3575), Springer-Verlag, pp.54-72, 2005, Lecture Notes in Computer Science, 3-540-27440-5
inria-00000250v1  Conference papers
Claire GardentEric Kow. Generating and selecting paraphrases
10th European Workshop on Natural Language Generation - ENLG'05, 2005, Aberdeen/Scotland
inria-00000251v1  Conference papers
Claire GardentYannick Parmentier. Large scale semantic construction for Tree Adjoining Grammar
Logical Aspects in Computational Linguistics - LACL'05, 2005, Bordeaux/France, pp.131-146
hal-00008868v1  Conference papers
Jean-Claude JunquaChristophe CerisaraLuca RigazioDavid Kryze. Environment-adaptive algorithms for robust speech recognition
International Workshop on Hands-Free Speech Communication - HSC 2001, 2001, Kyoto, Japan. pp.4
inria-00000258v1  Journal articles
Mathieu d'AquinChristophe BouthierSébastien BrachaisJean LieberAmedeo Napoli. Knowledge Editing and Maintenance Tools for a Semantic Portal in Oncology
International Journal of Human-Computer Studies, Elsevier, 2005, 62, pp.619-638
inria-00000269v1  Journal articles
Bartlomiej BlaszczyszynRené Schott. Approximate Decomposition of Some Moduled - Poisson Voronoï Tessellations
Advances in Applied Probability, Applied Probability Trust, 2003, 35 (4), pp.847-862
inria-00000270v1  Journal articles
Nadine Guillotin-PlantardRené Schott. Distributed Algorithms with Dynamical Random Transitions
Random Structures and Algorithms, Wiley, 2002, 21 (3-4), pp.371-396. ⟨10.1002/rsa.20091⟩
inria-00000271v1  Journal articles
Nazeih BotrosYang JianPhilip FeinsilverRené Schott. Hardware Realization of Krawtchouk Transform using VDHL Modeling and FPGAs
IEEE Transactions on Industrial Electronics, Institute of Electrical and Electronics Engineers, 2002, 49 (6), pp.1306-1312
inria-00000272v1  Journal articles
Laurent AlonsoRené Schott. On the Tree Inclusion Problem
Acta Informatica, Springer Verlag, 2001, 37 (9), pp.653-670. ⟨10.1007/PL00013317⟩
inria-00000273v1  Conference papers
René SchottJean-Claude Spehner. On the Minimal Automaton of the Shuffle of Words and Araucarias
4th International Conference on Machines, Computations and Universality - MCU 2004, Sep 2004, Saint Petersburg, Russia, pp.316-327, ⟨10.1007/b106980⟩
inria-00000280v1  Journal articles
Vandy BertenJoël GoossensEmmanuel Jeannot. On the Distribution of Sequential Jobs in Random Brokering for Heterogeneous Computational Grids
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2006, 17 (2), pp.113--124. ⟨10.1109/TPDS.2006.27⟩
inria-00000281v1  Journal articles
Eddy CaronBruno DelfabbroFrédéric DesprezEmmanuel JeannotJean-Marc Nicod. Managing Data Persistence in Network Enabled Servers
Scientific Programming, IOS Press, 2005, 13 (4), pp.333--354
inria-00000283v1  Conference papers
Emmanuel JeannotFrédéric Wagner. Messages Scheduling for Data Redistribution between Heterogeneous Clusters
17th IASTED International Conference on Parallel and Distributed Computing and Systems - PDCS 2005, Nov 2005, Phoenix, USA
inria-00000284v1  Conference papers
Franck CappelloFrédéric DesprezMichel DaydéEmmanuel JeannotYvon Jégou et al.  Grid'5000: a large scale, reconfigurable, controlable and monitorable Grid platform
6th IEEE/ACM International Workshop on Grid Computing - GRID 2005, Nov 2005, Seattle, USA, United States
inria-00000285v1  Conference papers
Emmanuel Jeannot. Improving Middleware Performance with AdOC: an Adaptive Online Compression Library for Data Transfer
19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05), Apr 2005, Denver, USA, ⟨10.1109/IPDPS.2005.254⟩
inria-00000286v1  Conference papers
Emmanuel JeannotGerard Monard. Computing Molecular Potential Energy Surface with DIET
International Conference on Information Technology - ITCC2005, 2005, Las-Vegas, Nevada/USA
inria-00000162v1  Conference papers
Claudio Castellanos SánchezBernard Girau. Dynamic pursuit with a bio-inspired neural model
Advanced Concepts for Intelligent Vision Systems - ACIVS 2005, Antwerp University, Sep 2005, University of Anwertp, Belgium, pp.284-291
inria-00000294v1  Journal articles
Carsten LutzCarlos ArecesIan HorrocksUlrike Sattler. Keys, Nominals, and Concrete Domains
Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2005, The Journal of Artificial Intelligence Research, 23, pp.667--726
inria-00000296v1  Conference papers
Zérouk MoulouaAmmar OulamaraWahiba Ramdane Cherif-Khettaf. Approche par décomposition pour le problème de planification de tournées de personnel
6ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision - ROADEF'2005, Feb 2005, Tours/France, pp.285-286
inria-00000300v1  Journal articles
Gérard FleuryPhilippe LacommeChristian PrinsWahiba Ramdane Cherif-Khettaf. Improving Robustness of Solutions to Arc Routing Problem
Journal of the Operational Research Society, Palgrave Macmillan, 2005, 56 (5), pp.526-538. ⟨10.1057/palgrave.jors.2601822⟩
inria-00000292v1  Journal articles
Carlos ArecesRaffaella Bernardi. Analyzing the Core of Categorial Grammar
Journal of Logic, Language and Information, Springer Verlag, 2001, Journal of Logic, Language and Information, 13 (2), pp.121--137. ⟨10.1023/B:JLLI.0000024730.34743.fa⟩
hal-00009103v1  Conference papers
Samir ChoualiMaritta HeiselJeanine Souquières. Proving Component Interoperability with B Refinement
International Workshop on Formal Aspects of Component Software 2005 - FACS'05, 2005, Macao, China
inria-00000341v1  Conference papers
Carsten LutzCarlos ArecesIan HorrocksUlrike Sattler. Keys, Nominals, and Concrete Domains
Eighteenth International Joint Conference on Artificial Intelligence - IJCAI'03, 2003, Acapulco, Mexico, pp.349-354
inria-00000332v1  Conference papers
Carlos ArecesDaniel Gorin. Ordered Resolution with Selection for H(@)
11th International Conference on Logic for Programming Artificial Intelligence and Reasoning - LPAR 2004, Mar 2005, Montevideo, Uruguay, pp.125-141
inria-00000330v1  Directions of work or proceedings
Carlos Areces. Methods for Modalities 3
Areces, Carlos. Elsevier, 2005
inria-00000291v1  Conference papers
Carlos ArecesPatrick BlackburnBernardette Martinez HernandezMaarten Marx. Handling Boolean ABoxes
International Workshop on Description Logics - DL'2003, 2003, Rome, Italy
inria-00000347v1  Conference papers
Jacques Lonchamp. A Structured Chat Framework for Distributed Educational Settings
6th International Conference on Computer Supported Collaborative Learning - CSCL'05, May 2005, Taipeh, Taiwan, pp.403-407
inria-00000348v1  Conference papers
Jacques Lonchamp. A ‘Swiss Army Knife' for Chatting in Distributed Educational Settings
Fourth IASTED International Conference on Web-based Education - WBE'05, Feb 2005, Grindelwald, Suisse
inria-00000349v1  Book sections
Jacques Lonchamp. Open Source Software Development Process Modeling
Silvia T. Acuna, Natalia Juristo. Software Process Modeling, 10 (10), Springer, pp 29-64, 2005, International Series in Software Engineering, 0-387-24261-9
inria-00000257v1  Journal articles
Rémi BadonnelRadu StateOlivier Festor. Management of Mobile Ad-hoc Networks: Information Model and Probe-based Architecture
International Journal of Network Management, Wiley, 2005, 15 (5)
inria-00000359v1  Conference papers
Hatem HamzaEddie SmigielAbdel Belaïd. Neural based binarization techniques
8th International Confrence on Document Analysis and Recognition - ICDAR'05, Aug 2005, Seoul/Korea
inria-00000361v1  Conference papers
Hatem HamzaAbdel BelaïdEddie Smigiel. A self organizing map based pixel classification
3rd International Conference on Sciences of Electronic, Technologies of Information and Telecommunications - SETIT'2005, Mar 2005, Susa/Tunisia
inria-00000362v1  Conference papers
Hubert CecottiAbdel Belaïd. Rejection strategy for Convolutional Neural Network by adaptive topology applied to handwritten digits recognition
8th International Conference in Document Analysis and Recognition - ICDAR'05, Aug 2005, Seoul, Korea, pp.765-769
inria-00000363v1  Conference papers
Hubert CecottiAbdel Belaïd. Hybrid OCR combination approach complemented by a specialized ICR applied on ancient documents
8th International Conference in Document Analysis and Recognition - ICDAR'05, Aug 2005, Seoul, Korea, pp.1045-1049
inria-00000366v1  Conference papers
Hubert CecottiAbdel Belaïd. Hybrid OCR combination for ancient documents
Third International Conference on Advances in Pattern Recognition - ICAPR 2005, Aug 2005, Bath/UK, pp.646-653, ⟨10.1007/11551188⟩