Skip to Main content Skip to Navigation

hal-00331047v1  Journal articles
Eugene Kazantsev. Unstable periodic orbits and attractor of the barotropic ocean model
Nonlinear Processes in Geophysics, European Geosciences Union (EGU), 1998, 5 (4), pp.193-208
hal-00331056v1  Journal articles
Eugene Kazantsev. Sensitivity of the attractor of the barotropic ocean model to external influences: approach by unstable periodic orbits
Nonlinear Processes in Geophysics, European Geosciences Union (EGU), 2001, 8 (4/5), pp.281-300. ⟨10.5194/npg-8-281-2001⟩
inria-00000009v1  Journal articles
Thierry FraichardAlexis Scheuer. From Reeds and Shepp's to continuous-curvature paths
IEEE Transactions on Robotics, IEEE, 2004, 20 (6), pp.1025-1035. ⟨10.1109/TRO.2004.833789⟩
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⟩
inria-00000108v1  Journal articles
Thomas VoegtlinPeter Ford Dominey. Linear Recursive Distributed Representations
Neural Networks, Elsevier, 2005, 18 (7), pp.878-895
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, Graz University of Technology, Institut für Informationssysteme und Computer Medien, 2005, Atomicity in System Design and Execution (Proceedings of Dagstuhl-Seminar 04181), 11 (5), pp.744-770
inria-00000141v1  Journal articles
Nicolas P. RougierDavid C. NoelleTodd S. BraverJohn D. CohenRandall C. O'Reilly. Prefrontal Cortex and Flexible Cognitive Control: Rules Without Symbols
Proceedings of the National Academy of Sciences of the United States of America, National Academy of Sciences, 2005, 102 (20), pp.7338-7343
hal-00005853v1  Journal articles
Eitan AltmanBruno GaujalArie Hordijk. Balanced Sequences and Optimal Routing
Journal of the ACM (JACM), Association for Computing Machinery, 2000, 47 (4), pp.752-775. ⟨10.1145/347476.347482⟩
inria-00000222v1  Journal articles
Thomas Voegtlin. Recursive Principal Components Analysis
Neural Networks, Elsevier, 2005, 18 (8), pp.1051--1063
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-00000244v1  Journal articles
Nicolas P. Rougier. Dynamic Neural Field with Local Inhibition
Biological Cybernetics (Modeling), Springer Verlag, 2006, 94 (3), pp.169-179. ⟨10.1007/s00422-005-0034-8⟩
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-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-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-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-00000300v1  Journal articles
Gérard FleuryPhilippe Ph. LacommeChristian PrinsWahiba Ramdane-Cherif. 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⟩
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-00000379v1  Journal articles
Damien StehléPaul ZimmermannVincent Lefèvre. Searching Worst Cases of a One-Variable Function Using Lattice Reduction
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2005, 54 (3), pp.340-346. ⟨10.1109/TC.2005.55⟩
inria-00000384v1  Journal articles
Hervé BrönnimannHazel EverettSylvain LazardFrank SottileSue Whitesides. Transversals to line segments in three-dimensional space
Discrete and Computational Geometry, Springer Verlag, 2005, 34 (3), pp.381 - 390. ⟨10.1007/s00454-005-1183-1⟩
inria-00000426v1  Journal articles
Abdessamad ImineMichaël RusinowitchGérald OsterPascal Molli. Formal Design and Verification of Operational Transformation Algorithms for Copies Convergence
Theoretical Computer Science, Elsevier, 2006, Algebraic Methodology and Software Technology, 351 (2), pp.167--183. ⟨10.1016/j.tcs.2005.09.066⟩
inria-00000460v1  Journal articles
Hacène CherfiAmedeo Napoliyannick Toussaint. Towards a Text Mining Methodology Using Association Rules Extraction
Soft Computing, Springer Verlag, 2006, A Fusion of Foundations, Methodologies and Applications, 10 (5), pp.431--441. ⟨10.1007/s00500-005-0504-x⟩
inria-00000479v1  Journal articles
Jean-Pierre ManoChristine BourjotGabriel LopardoPierre Glize. Bio-inspired Mechanisms for Artificial Self-organised Systems
Informatica, Slovene Society Informatika, Ljubljana, 2006, 30 (1), pp.55--62
inria-00000511v1  Journal articles
Nizar KerkeniFrédéric AlexandreMohamed Hédi BedouiLaurent BougrainMohamed Dogui. Neuronal Spectral Analysis of EEG and Expert Knowledge Integration for Automatic Classification of Sleep Stages
WSEAS Transactions on Information Science and Applications, World Scientific and Engineering Academy and Society (WSEAS), 2005, 2 (11), pp.1854-1861
inria-00000515v1  Journal articles
Olivier BournezEmmanuel Hainry. Recursive Analysis Characterized as a Class of Real Recursive Functions
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2006, 74 (4), pp.409-433
inria-00000518v1  Journal articles
Olivier BournezEmmanuel Hainry. Elementarily Computable Functions Over the Real Numbers and R-Sub-Recursive Functions
Theoretical Computer Science, Elsevier, 2005, 348 (2-3), pp.130--147
inria-00000406v1  Journal articles
yves-François PetermannJean-Luc Rémy. Increasing Self-Described Sequences
Annals of Combinatorics, Springer Verlag, 2004, 8 (3), pp.325-346. ⟨10.1007/s00026-004-0223-5⟩
inria-00000584v1  Journal articles
Laurent BadelArnaud Tonnelier. Pulse propagation in discrete excitatory networks of integrate-and-fire neurons
Physical Review E : Statistical, Nonlinear, and Soft Matter Physics, American Physical Society, 2004, 70 (1), pp.011906-1--011906-7
inria-00000598v1  Journal articles
Hervé BrönnimannOlivier DevillersSylvain LazardFrank Sottile. Lines tangent to four triangles in three-dimensional space
Discrete and Computational Geometry, Springer Verlag, 2007, 37 (3), pp.369-380. ⟨10.1007/s00454-006-1278-3⟩
inria-00000643v1  Journal articles
Salvatore TabboneLaurent WendlingJean-Pierre Salmon. A new shape descriptor defined on the Radon transform
Computer Vision and Image Understanding, Elsevier, 2006, 102 (1), pp.42--51. ⟨10.1016/j.cviu.2005.06.005⟩
inria-00000646v1  Journal articles
Dominique Martinez. Oscillatory synchronization requires precise and balanced feedback inhibition in a model of the insect antennal lobe
Neural Computation, Massachusetts Institute of Technology Press (MIT Press), 2005, 17, pp.2548--2570. ⟨10.1162/089976605774320566⟩
inria-00000647v1  Journal articles
Dominique Martinez. Detailed and abstract phase-locked attractor network models of early olfactory systems
Biological Cybernetics (Modeling), Springer Verlag, 2005, 93 (5), pp.355--365. ⟨10.1007/s00422-005-0010-3⟩
inria-00000655v1  Journal articles
Isabelle Debled-RennessonJean-Luc RémyJocelyne Rouyer-Degli. Linear Segmentation of Discrete Curved into blurred Segments
Discrete Applied Mathematics, Elsevier, 2005, 151 (1-3), pp.122--137
inria-00000656v1  Journal articles
Isabelle Debled-RennessonSalvatore TabboneLaurent Wendling. Multiorder Polygonal Approximation of Digital Curves
Electronic Letters on Computer Vision and Image Analysis, Computer Vision Center Press, 2005, Special Issue on Document Analysis, 5 (2), pp.98-110
inria-00000659v1  Journal articles
Denis Roegel. Kissing Circles: A French Romance in METAPOST
Tugboat, TeX Users Group, 2005, 26 (1), pp.10-17
inria-00000662v1  Journal articles
Khaled Ben KhalifaMohamed Hédi BedouiMohamed DoguiFrédéric Alexandre. Alertness States Classification By SOM and LVQ Neural Networks
International Journal of Information Technology, World Enformatika Society, 2004, 1 (4), pp.228-231
inria-00000700v1  Journal articles
Mark van den BrandPierre-Etienne MoreauJurgen Vinju. A generator of efficient strongly typed abstract syntax trees in Java
IEE Proceedings - Software Engineering, Institution of Electrical Engineers (IEE), 2005, IEE Proceedings - Software Engineering, 152 (2), pp.70--87
inria-00000718v1  Journal articles
Gregory KucherovLaurent NoéMikhail Roytberg. Multi-seed lossless filtration
IEEE/ACM Transactions on Computational Biology and Bioinformatics, Institute of Electrical and Electronics Engineers, 2005, 2 (1), pp.51--61. ⟨10.1109/TCBB.2005.12⟩
inria-00000722v1  Journal articles
Bruno Scherrer. Asynchronous Neurocomputing for optimal control and reinforcement learning with large state spaces
Neurocomputing, Elsevier, 2005, New Aspects in Neurocomputing: 11th European Symposium on Artificial Neural Networks., 23, pp.229-251
inria-00000752v1  Journal articles
Anamaria Martins MoreiraChristophe RingeissenAnderson Santana. A Tool Support for Reusing ELAN Rule-Based Components
Electronic Notes in Theoretical Computer Science, Elsevier, 2003, 86 (2), pp.77-91. ⟨10.1016/S1571-0661(04)80677-7⟩
inria-00000754v1  Journal articles
Alexander KnappStephan MerzMartin WirsingJulia Zappe. Specification and Refinement of Mobile Systems in MTLA and Mobile UML
Theoretical Computer Science, Elsevier, 2006, 351 (2), pp.184--202
inria-00000904v1  Journal articles
Jean-Paul Cerri. Euclidean minima of totally real fields : Algorithmic determination.
Mathematics of Computation, American Mathematical Society, 2005, 76, pp.1547-1575. ⟨10.1090/S0025-5718-07-01932-1⟩
inria-00000916v1  Journal articles
Damien EveillardDelphine RopersHidde de JongChristiane BranlantAlexander Bockmayr. A multi-scale constraint programming model of alternative splicing regulation
Theoretical Computer Science, Elsevier, 2004, Special issue: computational systems biology, 325 (1), pp.3-24. ⟨10.1016/j.tcs.2004.03.062⟩
inria-00000176v2  Journal articles
Abdel BerkaouiMireille BossyAwa Diop. Euler scheme for SDEs with non-Lipschitz diffusion coefficient: strong convergence
ESAIM: Probability and Statistics, EDP Sciences, 2008, 12, pp.15
inria-00000985v1  Journal articles
Claire GardentBruno GuillaumeGuy PerrierIngrid Falk. Extracting subcategorisation information from Maurice Gross' grammar lexicon
Archives of Control Sciences, Polish Academy of Sciences, 2005, pp.289--300
hal-00008682v1  Journal articles
Slim Ouniyves Laprie. Modeling the articulatory space using a hypercube codebook for acoustic-to-articulatory inversion
Journal of the Acoustical Society of America, Acoustical Society of America, 2005, 118 (1), pp.444--460. ⟨10.1121/1.1921448⟩
hal-00020443v1  Journal articles
Francesco RussoPierre Vallois. Elements of Stochastic Calculus via Regularisation
Séminaire de Probabilités, Springer-Verlag, 2007, 1899-2007, pp.147-185. ⟨10.1007/978-3-540-71189-6_7⟩
inria-00001206v1  Journal articles
Loredana AfanasievPatrick BlackburnIoanna DimitriouBertrand GaiffeEvan Goris et al.  PDL for ordered trees
Journal of Applied Non-Classical Logics, Taylor & Francis, 2005, 15 (2), pp.115--135
inria-00001222v1  Journal articles
Vincent CridligRadu StateOlivier Festor. Role-Based Access Control for XML Enabled Multi-Protocol Management Gateways
IEEE Transactions on Network and Service Management, IEEE, 2006, Adapting to Dynamic Environments, 3 (1)
inria-00001223v1  Journal articles
Vincent CridligHumberto AbdelnurRadu StateOlivier Festor. XBGP-MAN: A XML management architecture for BGP
International Journal of Network Management, Wiley, 2006, 16 (4), pp.295-309. ⟨10.1002/nem.600⟩
inria-00001242v1  Journal articles
Ernst AlthausStefan FunkeSariel Har-PeledJochen KönemannEdgar Ramos et al.  Approximating $k$-hop minimum-spanning trees
Operations Research Letters, Elsevier, 2005, 33 (2), pp.115-120. ⟨10.1016/j.orl.2004.05.005⟩
inria-00001244v1  Journal articles
Salvatore TabboneLaurent AlonsoDjemel Ziou. Behavior of the Laplacian of Gaussian Extrema
Journal of Mathematical Imaging and Vision, Springer Verlag, 2005, 23 (1), pp.107-128. ⟨10.1007/s10851-005-4970-7⟩
inria-00001252v1  Journal articles
Dominique MéryDominique CansellCyril ProchDenis AbrahamPatrick Ditsch. The challenge of QoS for digital television services
EBU Technical Review, European Broadcasting Union, 2005, 302 (Avril), 11 p
inria-00072809v1  Journal articles
Emmanuel FrénodEric Sonnendrücker. The Finite Larmor Radius Approximation
SIAM Journal on Mathematical Analysis, Society for Industrial and Applied Mathematics, 2001, 32 (6), pp.1227--1247
inria-00073262v1  Journal articles
Emmanuel FrénodEric Sonnendrücker. Long Time Behavior of the Two-Dimensional Vlasov Equation with a Strong External Magnetic Field
Mathematical Models and Methods in Applied Sciences, World Scientific Publishing, 2000, 10 (4), pp.539--553
hal-00077096v1  Journal articles
Paavo P. SalminenPierre P. Vallois. On maximum increase and decrease of Brownian motion
Annales de l'Institut Henri Poincaré (B) Probabilités et Statistiques, Institut Henri Poincaré (IHP), 2007, 43 (6), pp.655-676. ⟨10.1016/j.anihpb.2006.09.007⟩
hal-00017951v2  Journal articles
Nicolas ChampagnatAmaury Lambert. Evolution of discrete populations and the canonical diffusion of adaptive dynamics
Annals of Applied Probability, Institute of Mathematical Statistics (IMS), 2007, 17 (1), pp.102-155. ⟨10.1214/105051606000000628⟩
inria-00000394v2  Journal articles
Xavier HilaireKarl Tombre. Robust and Accurate Vectorization of Line Drawings
IEEE Transactions on Pattern Analysis and Machine Intelligence, Institute of Electrical and Electronics Engineers, 2006, 28 (6), pp.890-904
inria-00090223v1  Journal articles
Rémi BadonnelRadu StateOlivier Festor. Self-Organized Monitoring in Ad-Hoc Networks
Telecommunication Systems, Springer Verlag (Germany), 2005, Modeling, Analysis, Design and Management, 30 (1-3), pp.143-160
hal-00091632v1  Journal articles
Laurent AlonsoPhilippe ChassaingE.M. ReingoldRené Schott. Average-Case Analysis of the Chip Problem
International Journal of Mathematics and Computer Science, 2006, 1 (1), pp.37-61
inria-00093351v1  Journal articles
Jacques Lonchamp. Supporting synchronous collaborative learning: A generic, multi-dimensional model
International Journal of Computer-Supported Collaborative Learning, Springer Verlag, 2006, 1 (2), pp.247-276. ⟨10.1007/s11412-006-8996-7⟩
hal-00094327v1  Journal articles
José A. CarrilloSimon Labrunie. Global solutions for the one-dimensional Vlasov-Maxwell system for Laser-Plasma interaction
Mathematical Models and Methods in Applied Sciences, World Scientific Publishing, 2006, 16 (1), pp.19-57. ⟨10.1142/S0218202506001042⟩
hal-00094341v1  Journal articles
Mihai BostanSimon Labrunie. On the harmonic Boltzmannian waves in laser-plasma interaction
Journal of Physics A: Mathematical and Theoretical, IOP Publishing, 2006, 39 (37), pp.11697-11706. ⟨10.1088/0305-4470/39/37/022⟩
inria-00000514v1  Journal articles
Marc GlisseHervé Brönnimann. Octrees with near optimal cost for ray-shooting
Computational Geometry, Elsevier, 2006, 34 (3), pp.182-194
inria-00000279v1  Journal articles
yves CaniouEmmanuel Jeannot. Multi-Criteria Scheduling Heuristics for GridRPC Systems
International Journal of High Performance Computing Applications, SAGE Publications, 2006, 20 (1), pp.61-76
inria-00097201v1  Journal articles
Emmanuel JeannotFrédéric Wagner. Scheduling Messages for Data Redistribution: an Experimental Study
International Journal of High Performance Computing Applications, SAGE Publications, 2006, 20 (4), pp.443-454. ⟨10.1177/1094342006068407⟩
inria-00097208v1  Journal articles
Johanne CohenEmmanuel JeannotNicolas PadoyFrédéric Wagner. Message Scheduling for Parallel Data Redistribution between Clusters
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2006, 17 (10), pp.1163-1175. ⟨10.1109/TPDS.2006.141⟩
hal-00097159v1  Journal articles
Thomas ChambrionMario Sigalotti. Tracking control for an ellipsoidal submarine driven by Kirchhoff's laws
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2008, 53 (1), pp.339-349. ⟨10.1109/TAC.2007.914958⟩
inria-00098410v1  Journal articles
Christopher Lynch. Local simplification
Information and Computation, Elsevier, 1998, 142 (1), pp.102-126
inria-00098430v1  Journal articles
Sylvain Petitjean. A Computational Geometric Approach to Visual Hulls
International Journal of Computational Geometry and Applications, World Scientific Publishing, 1998, 8 (4), pp.407-436
inria-00098439v1  Journal articles
Adam CichonElias Tahhan-Bittar. Ordinal recursive bounds for Higman's theorem
Theoretical Computer Science, Elsevier, 1998, 201 (1-2), pp.63-84