Skip to Main content Skip to Navigation

inria-00552014v1  Journal articles
Abderrahman IggidrJean-Claude KamgangGauthier SalletJean-Jules Tewa. Global Analysis of New Malaria Intrahost Models with a Competitive Exclusion Principle
SIAM Journal on Applied Mathematics, Society for Industrial and Applied Mathematics, 2006, 67 (1), pp.260-278. ⟨10.1137/050643271⟩
hal-01479840v1  Journal articles
Sylvain MaireDenis Talay. On a Monte Carlo method for neutron transport criticality computations
IMA Journal of Numerical Analysis, Oxford University Press (OUP), 2006, 26 (4), pp.657-685
halshs-00320440v1  Journal articles
Pierre-Antoine LandelFrançoise PapaLaurent Collet. TIC et développement durable
Revue de Géographie Alpine / Journal of Alpine Research, Association pour la diffusion de la recherche alpine, 2006, Tome 94 (3), pp.89-99
hal-01479838v1  Journal articles
Emmanuel GobetSylvain Maire. Sequential control variates for functionals of Markov processes
SIAM Journal on Numerical Analysis, Society for Industrial and Applied Mathematics, 2006, 43 (3), pp.1256-1275. ⟨10.1137/040609124⟩
inria-00000643v1  Journal articles
Antoine 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⟩
hal-01479837v1  Journal articles
Sylvain MaireChristophe De Luigi. Quasi Monte Carlo quadratures for multivariate smooth functions
Applied Numerical Mathematics, Elsevier, 2006, 56 (2), pp.146-162
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
hal-02667483v1  Journal articles
Frédéric MazencPierre-Alexandre Bliman. Backstepping design for time-delay nonlinear systems
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2006, 51 (1), pp.149-154. ⟨10.1109/CDC.2003.1272269⟩
inria-00000244v1  Journal articles
Nicolas 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-00000696v2  Journal articles
Suzanne KiefferNoëlle Carbonell. Assistance orale à la recherche visuelle - étude expérimentale de l'apport d'indications spatiales à la détection de cibles
Revue des Interactions Humaines Médiatisées (RIHM) = Journal of Human Mediated Interactions, Europia, 2006, 7 (1), 30 p
hal-02320786v1  Journal articles
Mario SigalottiYacine Chitour. Dubins' problem on surfaces II Nonpositive curvature
SIAM Journal on Control and Optimization, Society for Industrial and Applied Mathematics, 2006, 45 (2), pp.457-482. ⟨10.1137/040619739⟩
hal-00094327v1  Journal articles
José 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⟩
inria-00110757v1  Journal articles
Michaël GutnicMatthieu HaefeleEric Sonnendrücker. Moments conservation in adaptive Vlasov solver
Nuclear Instruments and Methods in Physics Research, Elsevier, 2006, Proceedings of the 8th International Computational Accelerator Physics Conference - ICAP 2004, 558 (1), pp.159-162. ⟨10.1016/j.nima.2005.11.225⟩
hal-00684943v1  Journal articles
Raphaël BolzeFranck CappelloEddy CaronMichel DaydéFrédéric Desprez et al.  Grid'5000: A Large Scale And Highly Reconfigurable Experimental Grid Testbed
International Journal of High Performance Computing Applications, SAGE Publications, 2006, 20 (4), pp.481-494. ⟨10.1177/1094342006070078⟩
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
hal-00087228v1  Journal articles
Jean-Luc MetzgerSylvie LardonFlorence Le Ber. Comparaison d'organisations spatiales agricoles - Le système ROSA
Revue Internationale de Géomatique, Lavoisier, 2006, 16 (2), pp.195-210
hal-00104612v1  Journal articles
Shadi Al ShehabiJean-Charles Lamirel. Evaluation of collaboration between European universities using dynamic interaction between multiple sources
Journal of Information Management and Scientometrics, Aligarh Muslim University, 2006, 1(3), pp.xx-xx
hal-00104615v1  Journal articles
Claire FrançoisShadi Al ShehabiJean-Charles Lamirel. Combining Advanced Vizualization and Automatized Reasoning for Webometrics: A Test Study
Journal of Information Management and Scientometrics, Aligarh Muslim University, 2006, 1(4), pp.xx-xx
inria-00105925v1  Journal articles
Rishi SaketNicolas Navet. Frame packing algorithms for automotive applications
Journal of Embedded Computing, IOS Press, 2006, 2, pp.93-102
inria-00438774v1  Journal articles
Nicolas Navet. Guest Editorial - Special issue: Best papers of RTS'2005
Journal of Embedded Computing, IOS Press, 2006, 2 (3-4), pp.271-272
inria-00102552v1  Journal articles
Daniela GrigoriFrançois CharoyClaude Godart. Enhancing the Flexibility of Workflow Execution by Activity Anticipation
International Journal of Business Process Integration and Management, Inderscience, 2006, 1 (3), pp.143-155
hal-00168252v1  Journal articles
Antonio CapobiancoNoëlle Carbonell. Aides en ligne à l'utilisation de logiciels grand public : problèmes spécifiques de conception et solutions potentielles
Intellectica - La revue de l’Association pour la Recherche sur les sciences de la Cognition (ARCo), Association pour la Recherche sur la Cognition, 2006, 2006/2 (44), pp.87-120
inria-00000694v1  Journal articles
Noëlle Carbonell. Ambient Multimodality: towards Advancing Computer Accessibility and Assisted Living.
Universal Access in the Information Society, Springer Verlag, 2006, pp.96-104
inria-00113851v1  Journal articles
Jian LiYe-Qiong SongFrançoise Simonot-Lion. Providing Real-time Applications with Graceful Degradation of QoS and Fault Tolerance According to (m,k)-firm Model
IEEE Transactions on Industrial Informatics, Institute of Electrical and Electronics Engineers, 2006, 2 (2), pp.112-119. ⟨10.1109/TII.2006.875511⟩
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-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-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-00256355v1  Journal articles
Bernard GirauCesar Torres-Huitzil. Massively distributed implementation of a spiking neural network for image segmentation on FPGA
Neural Information Processing - Letters and Reviews, KAIST Press, 2006, 10 (4-6), pp.105-114
inria-00119854v1  Journal articles
Patrick Blackburn. Arthur Prior and Hybrid Logic
Synthese, Springer Verlag (Germany), 2006, 150 (3), pp.329-372. ⟨10.1007/s11229-005-5512-y⟩
inria-00119301v1  Journal articles
Jamal SabouneFrançois Charpillet. Marker less human motion tracking from a single camera using interval particle filtering
International Journal on Artificial Intelligence Tools, World Scientific Publishing, 2006
inria-00104498v1  Journal articles
Vincent ChevrierFranck GechterFrançois Charpillet. A Reactive Agent-Based Solving Model : Application to Localization and Tracking
ACM Transactions on Autonomous and Adaptive Systems, Association for Computing Machinery (ACM), 2006
inria-00119272v1  Journal articles
Olivier BuffetAlain DutechFrançois Charpillet. Etude de différentes combinaisons de comportements adaptatives.
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2006, Décision et planification dans l'incertain, 20 (2-3), pp.311-344
inria-00105923v1  Journal articles
Mohamed Salah BouassidaIsabelle ChrismentOlivier Festor. Mobility-Awareness in Group Key Management Protocols within MANETs
Annals of Telecommunications - annales des télécommunications, Springer, 2006, 61 (9-10), pp.1151-1173
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⟩
hal-00136940v1  Journal articles
Jean-Paul Cerri. Inhomogeneous and Euclidean spectra of number fields with unit rank strictly greater than 1
Journal für die reine und angewandte Mathematik, Walter de Gruyter, 2006, 592, pp.49-62. ⟨10.1515/CRELLE.2006.022⟩
halshs-01450233v1  Journal articles
Anne AbeilléOlivier BonamiDanièle GodardJesse Tseng. Les syntagmes nominaux français de la forme de-N
Travaux de Linguistique : Revue Internationale de Linguistique Française, De Boeck Université, 2006, 50, pp.79\textendash95
inria-00100261v1  Journal articles
Ciprian BorceaXavier GoaocSylvain LazardSylvain Petitjean. Common Tangents to Spheres in $R3$
Discrete and Computational Geometry, Springer Verlag, 2006, 35 (2), pp.287-300. ⟨10.1007/s00454-005-1230-y⟩
inria-00107268v1  Journal articles
Richard BrentColin PercivalPaul Zimmermann. Errors Bounds on Complex Floating-Point Multiplication
Mathematics of Computation, American Mathematical Society, 2006
inria-00114795v1  Journal articles
Olivera MarjanovicHala Skaf-MolliPascal MolliClaude Godart. Innovative Learning Designs Enabled by Process-Driven Collaborative Editing
Journal of Educational Technology and Society, International Forum of Educational Technology and Society, 2006
inria-00103923v1  Journal articles
Olivier DevillersHazel EverettSylvain LazardMaria PentchevaSteve Wismath. Drawing Kn in Three Dimensions with One Bend per Edge
Journal of Graph Algorithms and Applications, Brown University, 2006, 10 (2), pp.287-295
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-00000899v2  Journal articles
Assefaw Hadish GebremedhinJens GustedtMohamed EssaïdiIsabelle Guérin-LassousJan Arne Telle. PRO: A Model for the Design and Analysis of Efficient and Scalable Parallel Algorithms
Nordic Journal of Computing, Publishing Association Nordic Journal of Computing, 2006, 13 (4), pp.215-239
inria-00119855v1  Journal articles
Patrick BlackburnBalder ten Cate. Pure Extensions, Proof Rules, and Hybrid Axiomatics
Studia Logica, Springer Verlag (Germany), 2006, 84 (2), pp.277-322. ⟨10.1007/s11225-006-9009-6⟩
inria-00104989v1  Journal articles
Laurent CastaniéChristophe MionXavier CavinBruno Lévy. Distributed Shared Memory for Roaming Large Volumes
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2006, 12 (5)
inria-00080960v1  Journal articles
Nizar MessaiMarie-Dominique MorchAmedeo NapoliMalika Smaïl-Tabbone. Treillis de concepts et ontologies pour interroger l'annuaire de sources de données biologiques BioRegistry
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2006, Systèmes d'information spécialisés, 11 (1), pp.39-60
inria-00093117v1  Journal articles
Vincent Chevrier. Tisser des toiles d'araignées sociales
Pour la science, Société Pour la Science 2006, La modélisation informatique, exploration du réel, Dossier (52), pp.62-64
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-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-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⟩
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-00104853v1  Journal articles
Nicolas RayWan Chiu LiBruno LévyAlla ShefferPierre Alliez. Periodic Global Parameterization
ACM Transactions on Graphics, Association for Computing Machinery, 2006
inria-00121760v1  Journal articles
Nachum DershowitzClaude Kirchner. Abstract canonical presentations
Theoretical Computer Science, Elsevier, 2006, Theoretical Computer Science, 357 (1-3), pp.53--69. ⟨10.1016/j.tcs.2006.03.012⟩
inria-00090142v1  Journal articles
Vincent CridligRadu StateOlivier Festor. Ensuite, une plateforme libre de configuration de réseau
Techniques de l'Ingenieur, Techniques de l'ingénieur, 2006
inria-00106151v1  Journal articles
Laurent Fousse. Multiple-precision correctly rounded Newton-Cotes quadrature
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2006
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-00099865v2  Journal articles
François LamarcheLutz Strassburger. From Proof nets to the Free *-Autonomous Categories
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2006, 2 (4:3), 44 p. ⟨10.2168/LMCS-2(4:3)2006⟩
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-00105950v1  Journal articles
Karim BaïnaKhalid BenaliClaude Godart. DISCOBOLE: A Service Architecture for Interconnecting Workflow Processes
Computers in Industry, Elsevier, 2006, Special issue : Collaborative Environments for Collaborative engineering, 57 (8-9), pp.768-777. ⟨10.1016/j.compind.2006.04.018⟩
inria-00106706v1  Journal articles
Fabrice JumelNicolas NavetFrançoise Simonot-Lion. Impact de choix d'implantation sur les performances d'une application de Contrôle-Commande
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2006, 25 (3), pp.371-398
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
hal-00086522v1  Journal articles
Salah BaïnaHervé PanettoKhalid Benali. Apport de l'approche MDA pour une interopérabilité sémantique : Interopérabilité des systèmes d'information d'entreprise
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2006, 11/13, pp.11-29
inria-00104260v1  Journal articles
Pablo MuséFrédéric SurFrédéric CaoYann GousseauJean-Michel Morel. An a contrario decision method for shape element recognition
International Journal of Computer Vision, Springer Verlag, 2006, 69 (3), pp.295-315. ⟨10.1007/s11263-006-7546-0⟩
hal-00594858v1  Journal articles
Yanick SarazinVirginie GrandgirardGuilhem Dif-PradalierEmmanuel FleurenceXavier Garbet et al.  Impact of large scale flows on turbulent transport
Plasma Physics and Controlled Fusion, IOP Publishing, 2006, 48 (12B), pp.B179-B188. ⟨10.1088/0741-3335/48/12B/S17⟩
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⟩
hal-00133404v1  Journal articles
Emmanuel Frénod. Application of the averaging method to the gyrokinetic plasma
Asymptotic Analysis, IOS Press, 2006, 46, pp.1--28
inria-00110865v1  Journal articles
Michel MehrenbergerEric Violard. A Hermite type adaptive semi-Lagrangian scheme
International Journal of Applied Mathematics and Computer Science, University of Zielona Góra 2006, ⟨10.2478/v10006-007-0027-y⟩
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-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⟩
inria-00111165v1  Journal articles
Michel MehrenbergerEric ViolardOlivier HoenenMartin Campos PintoEric Sonnendrücker. A Parallel Adaptive Vlasov Solver Based on Hierarchical Finite Element Interpolation
Nuclear Instruments and Methods in Physics Research, Elsevier, 2006, Proceedings of the 8th International Computational Accelerator Physics Conference - ICAP 2004, 558 (1), pp.188-191. ⟨10.1016/j.nima.2005.11.225⟩
hal-00110970v1  Journal articles
Susanne Salmon-AltLaurent RomaryJean-Marie Pierrel. Un modèle générique d'organisation de corpus en ligne : application à la FReeBank
Revue TAL, ATALA (Association pour le Traitement Automatique des Langues), 2006, 45, pp.145-169