HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation


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⟩
hal-02492942v1  Journal articles
Haoxun ChenChengbin ChuJean-Marie Proth. Cyclic scheduling of a hoist with time window constraints
IEEE Transactions on Robotics and Automation, Institute of Electrical and Electronics Engineers (IEEE), 1998, 14 (1), pp.144-152. ⟨10.1109/70.660860⟩
hal-02490619v1  Journal articles
Haoxun ChenChengbin ChuJean-Marie Proth. An improvement of the Lagrangean relaxation approach for job shop scheduling: a dynamic programming method
IEEE Transactions on Robotics and Automation, Institute of Electrical and Electronics Engineers (IEEE), 1998, 14 (5), pp.786-795. ⟨10.1109/70.720354⟩
hal-02304001v1  Journal articles
Daniel RoyDidier AnciauxThibaud MonteiroLatifa Ouzizi. Multi‐agent architecture for supply chain management
Journal of Manufacturing Technology Management, Emerald, 2004, 15 (8), pp.745-755. ⟨10.1108/17410380410565339⟩
hal-02278048v1  Journal articles
Oliver GlauserBenedek VartokWan-Chun MaDaniele PanozzoAlec Jacobson et al.  Rig animation with a tangible and modular input device
Interactions, Association for Computing Machinery, 2017, 24 (2), pp.16-17. ⟨10.1145/3041959⟩
hal-02278033v1  Journal articles
Shane GriffithGeorges ChahineCedric Pradalier. Symphony Lake Dataset
The International Journal of Robotics Research, SAGE Publications, 2017, 36 (11), pp.1151-1158. ⟨10.1177/0278364917730606⟩
hal-02164364v1  Journal articles
Romain AzaïsGuillaume CeruttiDidier GemmerléFlorian Ingels. Treex : a Python package for manipulating rooted trees
Journal of Open Source Software, Open Journals, 2019, 4 (38), pp.1-2. ⟨10.21105/joss.01351⟩
hal-01480003v1  Journal articles
Michael ZockGil FrancopouloAbdellatif Laroui. SWIM: a Natural Interface for the Scientifically Minded Language Learner
Computers and the Humanities, Springer Verlag, 1989, 23 (4/5), pp.411-422
hal-01479862v1  Journal articles
Philippe HelluySylvain MairePatrick Ravel. Intégration numérique d'ordre élevé de fonctions régulières ou singulières sur un intervalle
Comptes Rendus de l'Académie des Sciences - Series I - Mathematics, Elsevier, 1998, 327 (9), pp.843-848
hal-01479854v1  Journal articles
Sylvain Maire. A Monte Carlo computation of polynomial approximations on a hypercube
Comptes Rendus. Mathématique, Académie des sciences (Paris), 2003, 336 (2), pp.185-190. ⟨10.1016/S1631-073X(03)00014-1⟩
hal-01479853v1  Journal articles
Sylvain Maire. An iterative computation of approximations on Korobov-like spaces
Journal of Computational and Applied Mathematics, Elsevier, 2003, 157 (2), pp.261-281. ⟨10.1016/S0377-0427(03)00410-2⟩
hal-01479851v1  Journal articles
Sylvain Maire. Un algorithme probabiliste de calculs d'approximations polynomiales sur un hypercube
Comptes Rendus. Mathématique, Académie des sciences (Paris), 2003, 336 (2), pp.185-190
hal-01479850v1  Journal articles
Sylvain Maire. Reducing variance using iterated control variates
Journal of Statistical Computation and Simulation, Taylor & Francis, 2003, 73 (1), pp.1-30. ⟨10.1080/00949650215726⟩
hal-01479848v1  Journal articles
Sylvain Maire. Polynomial approximations of multivariate smooth functions from quasi-random data
Statistics and Computing, Springer Verlag (Germany), 2004, 14 (4), pp.333-336
hal-01479844v1  Journal articles
Emmanuel GobetSylvain Maire. A spectral Monte Carlo method for the Poisson equation
Monte Carlo Methods and Applications, De Gruyter, 2004, 10 (3-4), pp.275-285
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
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⟩
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. ⟨10.1016/j.apnum.2005.02.014⟩
hal-01479829v1  Journal articles
Sylvain MaireEtienne Tanré. Some new simulation schemes for the evaluation of Feynman-Kac representations
Monte Carlo Methods and Applications, De Gruyter, 2008, 14 (1), pp.29-51
hal-01466800v1  Journal articles
Maxime Amblard. Regard sur « Le temps des algorithmes »
Interstices, INRIA, 2017
hal-01401140v2  Journal articles
Bossy MireilleJose EspinaJacques MoriceCristian ParisAntoine Rousseau. Modeling the wind circulation around mills with a Lagrangian stochastic approach
SMAI Journal of Computational Mathematics, Société de Mathématiques Appliquées et Industrielles (SMAI), 2016, 2, pp.177-214 ⟨10.5802/smai-jcm.13⟩
hal-01326803v1  Journal articles
Paul RetifThierry BastogneMuriel Barberi-Heyob. Robustness analysis of a Geant4-Gate simulator for nano-radiosensitizers characterization
IEEE Transactions on NanoBioscience, Institute of Electrical and Electronics Engineers, 2016, 15 (3), pp.209-217. ⟨10.1109/TNB.2016.2527720⟩
hal-01225798v1  Journal articles
Timothé ColletOlivier Pietquin. Optimism in Active Learning
Computational Intelligence and Neuroscience, Hindawi Publishing Corporation, 2015, 2015, pp.1--17. ⟨10.1155/2015/973696⟩
hal-01205816v1  Journal articles
Simona DobreThierry BastogneMuriel Barberi-HeyobFrançois GuilleminAlain Richard. Conception assistée par une analyse de sensibilité globale d’une plate-forme dédiée à la recherche en thérapie photodynamique
Journal de la Société Française de Statistique, Société Française de Statistique et Société Mathématique de France, 2011, 152 (1), pp.72-88
hal-01205739v1  Journal articles
Jean-Baptiste TylczThierry BastogneAlexia BourguignonCéline FrochotMuriel Barberi-Heyob. Realtime tracking of the photobleaching trajectory during photodynamic therapy
IEEE Transactions on Biomedical Engineering, Institute of Electrical and Electronics Engineers, 2017, 64 (8), pp.1742-1749. ⟨10.1109/TBME.2016.2620239⟩
hal-01184950v1  Journal articles
Irina IllinaDominique FohrGeorges Linares. Ajout de nouveaux noms propres au vocabulaire d’un système de transcription en utilisant un corpus diachronique
Revue TAL, ATALA (Association pour le Traitement Automatique des Langues), 2014, 55 (2), pp.47-72
hal-00917754v1  Journal articles
Paul Zimmermann. $10^{2098959}$
La Gazette du CINES, CINES, 2003
hal-00917751v1  Journal articles
Paul Zimmermann. Calcul formel : l'embarras du choix
Gazette des Mathématiciens, Société Mathématique de France, 1997, 73, pp.39--43
hal-00917750v1  Journal articles
Paul Zimmermann. Wester's test suite in MuPAD 1.3
SAC Newsletter, SAC, 1996
hal-00917749v1  Journal articles
P. Zimmermann. New features in MuPAD 1.2.2
MathPAD, Paderborn University, 1995, 5 (1), pp.27--38
hal-00917747v1  Journal articles
P. Zimmermann. Function Composition and Automatic Average Case Analysis
Discrete Mathematics, Elsevier, 1995, 139, pp.443-453
hal-00917746v1  Journal articles
Paul Zimmermann. Wester's test suite in MuPAD 1.2.2
Computer Algebra Nederland Nieuwsbrief, CWI, 1995, pp.53--64
hal-00917745v1  Journal articles
Paul Zimmermann. Gaïa: a package for the random generation of combinatorial structures
MapleTech, Waterloo Maple Software, 1994, 1 (1), pp.38-46
hal-00917741v1  Journal articles
B. SalvyP. Zimmermann. Gfun: A Maple Package for the Manipulation of Generating and Holonomic Functions in One Variable
ACM Transactions on Mathematical Software, Association for Computing Machinery, 1994, 20 (2), pp.163--177. ⟨10.1145/178365.178368⟩
hal-00917740v1  Journal articles
I. RivinI. VardiP. Zimmermann. The n-Queens Problem
American Mathematical Monthly, Mathematical Association of America, 1994, 101 (7), pp.629--639. ⟨10.1080/00029890.1994.11997004⟩
hal-00917736v1  Journal articles
G. LouchardR. SchottM. TolleyP. Zimmermann. Random walks, heat equation and distributed algorithms
Journal of Computational and Applied Mathematics, Elsevier, 1994, 53, pp.243--274
hal-00917727v1  Journal articles
Richard P. BrentSamuli LarvalaPaul Zimmermann. A Primitive Trinomial of Degree 6972593
Mathematics of Computation, American Mathematical Society, 2005, 74 (250), pp.1001--1002
hal-00835107v1  Journal articles
Anne BoyerJoseph Di MartinoP. DivouxJean-Paul HatonJean-François Mari et al.  Statistical methods in multi-speaker automatic speech recognition
Applied Stochastic Models and Data Analysis, John Wiley & Sons, 1990, 6 (3), pp.143-155. ⟨10.1002/asm.3150060302⟩
hal-00822532v1  Journal articles
Amedeo NapoliBernard CarréRoland DucournauJérôme EuzenatFrançois Rechenmann. Objet et représentation, un couple en devenir
Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, Hermès-Lavoisier, 2004, 10 (4), pp.61-81. ⟨10.3166/objet.10.4.61-81⟩
hal-00772434v1  Journal articles
Souad El OutmaniA. Maul. Probability distributions arising from nested Gaussians
Comptes Rendus. Mathématique, Académie des sciences (Paris), 2009, 347 (3-4), pp.201-204. ⟨10.1016/j.crma.2009.01.009⟩
hal-00764626v1  Journal articles
Ghazi BouselmiDominique FohrIrina Illina. Multilingual Recognition of Non-Native Speech using Acoustic Model Transformation and Pronunciation Modeling
International Journal of Speech Technology, Springer Verlag, 2012, 15 (2), pp.203 - 213
hal-00763324v1  Journal articles
Feng SunYi-King ChoiWenping WangDong-Ming YanYang Liu et al.  Obtuse triangle suppression in anisotropic meshes
Computer Aided Geometric Design, Elsevier, 2011, 28 (9), pp.537-548. ⟨10.1016/j.cagd.2011.09.007⟩
hal-00763290v1  Journal articles
E. R. LiBruno LévyXiaopeng ZhangWu-Jun CheWeiming Dong et al.  Meshless quadrangulation by global parameterization
Computers and Graphics, Elsevier, 2011, 35 (5), pp.992-1000. ⟨10.1016/j.cag.2011.05.003⟩
hal-00763270v1  Journal articles
Nicolas BonneelMichiel van de PanneSylvain ParisWolfgang Heidrich. Displacement interpolation using Lagrangian mass transport
ACM Transactions on Graphics, Association for Computing Machinery, 2011, Proceedings of ACM SIGGRAPH Asia 2011, 30 (6), pp.Article n°158. ⟨10.1145/2070781.2024192⟩
hal-00756242v1  Journal articles
Mihai Bostan. Boundary value problems for the stationary Nordström-Vlasov system
Journal of the Korean Mathematical Society, The Korean Mathematical Society, 2010, 47 (4), pp.743-766. ⟨10.4134/JKMS.2010.47.4.743⟩
hal-00756031v1  Journal articles
Laurent AlonsoEdward Reingold. Improved bounds for cops-and-robber pursuit
Computational Geometry, Elsevier, 2011, 44 (8), pp.365-369. ⟨10.1016/j.comgeo.2011.03.001⟩
hal-00714232v1  Journal articles
Amedeo NapoliBernard CarréRoland DucournauJérôme EuzenatFrançois Rechenmann. Objets et représentation, un couple en devenir
Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, Hermès-Lavoisier, 2004, 10 (4), pp.61-81
emse-00694373v1  Journal articles
Alexandre DolguiJean-Marie Proth. Editorial : Special section on Radio Frequency Identification
IEEE Transactions on Industrial Informatics, Institute of Electrical and Electronics Engineers, 2012, ⟨10.1109/TII.2012.2194504⟩
hal-00693789v1  Journal articles
Didier ArquèsAlain Giorgetti. Counting rooted maps on a surface
Theoretical Computer Science, Elsevier, 2000, 234 (1-2), pp.255--272. ⟨10.1016/S0304-3975(98)00230-8⟩
hal-00688671v1  Journal articles
Nicolas CrouseillesGuillaume LatuEric Sonnendrücker. Hermite spline interpolation on patches for parallelly solving the Vlasov-Poisson equation
International Journal of Applied Mathematics and Computer Science, University of Zielona Góra 2007, 17 (3), pp.335-349. ⟨10.2478/v10006-007-0028-x⟩
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⟩
hal-00646578v1  Journal articles
Luca SantinelliLiliana Cucu-Grosjean. Towards Probabilistic Real-Time Calculus
ACM SIGBED Review, Association for Computing Machinery (ACM), 2011, Special issue related to the 3rd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems - CRTS 2010, 8 (1), pp.54-61. ⟨10.1145/1967021.1967028⟩
hal-00646576v1  Journal articles
Liliana Cucu-GrosjeanJoël Goossens. Exact Schedulability Tests for Real-Time Scheduling of Periodic Tasks on Unrelated Multiprocessor Platforms
Journal of Systems Architecture, Elsevier, 2011, Special Issue on Multiprocessor Systems, 57 (5), pp.561-569. ⟨10.1016/j.sysarc.2011.02.007⟩
hal-00646572v1  Journal articles
Lu YueThomas NolteIan BateLiliana Cucu-Grosjean. A New Way about using Statistical Analysis of Worst-Case Execution Times
ACM SIGBED Review, Association for Computing Machinery (ACM), 2011, 8 (3), pp.11-14. ⟨10.1145/2038617.2038619⟩
hal-00642715v1  Journal articles
Alain DutechEtienne CoutureauAlain Marchand. A reinforcement learning approach to instrumental contingency degradation in rats
Journal of Physiology - Paris, Elsevier, 2011, Computational Neuroscience: Neurocomp 2010, 105 (1-3), pp.36-44. ⟨10.1016/j.jphysparis.2011.07.017⟩
hal-00640079v1  Journal articles
Tomas Navarrete GutierrezJulien SiebertLaurent CiarlettaVincent Chevrier. Impact des dimensions spatiale et temporelle dans la modélisation d'un phénomène collectif de type free-riding
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2011, 25 (5), pp.625--651. ⟨10.3166/ria.25.625-651⟩
inria-00636532v1  Journal articles
Wahiba TaoualiThierry ViévilleNicolas RougierFrédéric Alexandre. No clock to rule them all
Journal of Physiology - Paris, Elsevier, 2011, 105 (1-3), pp.83-90. ⟨10.1016/j.jphysparis.2011.08.005⟩
inria-00615078v1  Journal articles
L. PicardEric MaurincommeM. SodermanJacques FeldmarRené Anxionnat et al.  X-ray angiography in stereotactic conditions: techniques and interest for interventional neuroradiology
Stereotactic and Functional Neurosurgery, Karger, 1997, 68 (1-4 Pt 1), pp.117-20
hal-00601991v1  Journal articles
Corinne GracAgnès BraudFlorence Le BerMichèle Trémolières. Un système d'information pour le suivi et l'évaluation de la qualité des cours d'eau -- Application à l'hydro-écorégion de la plaine d'Alsace
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2011, 16, pp.9-30
hal-00599703v1  Journal articles
Cindy CappelleMaan El Badaoui El NajjarFrançois CharpilletDenis Pormski. Virtual 3D City Model for Navigation in Urban Areas
Journal of Intelligent and Robotic Systems, Springer Verlag, 2011, 66, pp.377-399. ⟨10.1007/s10846-011-9594-0⟩
inria-00598379v1  Journal articles
Hugues BerryNazim Fatès. Robustness of the Critical Behaviour in the Stochastic Greenberg-Hastings Cellular Automaton Model
International Journal of Unconventional Computing, Old City Publishing, 2011, 7 (1-2), pp.65-85
inria-00594883v1  Journal articles
Dominique CansellDominique Méry. Incremental Parametric Development of Greedy Algorithms
Electronic Notes in Theoretical Computer Science, Elsevier, 2007, roceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS 2006), 185, pp.47-62. ⟨10.1016/j.entcs.2007.05.028⟩
inria-00594861v1  Journal articles
Abdelkader LahmadiOlivier Festor. SecSIP : un environnement de protection pour la voix sur IP
Techniques de l'Ingenieur, Techniques de l'ingénieur, 2011, INNOVATION
inria-00594389v1  Journal articles
Mohamed Salah BouassidaNajah ChridiIsabelle ChrismentOlivier FestorLaurent Vigneron. Automated Verification of a Key Management Architecture for Hierarchical Group Protocols
Annals of Telecommunications - annales des télécommunications, Springer, 2007, 62 (11-12), pp.1365-1387. ⟨10.1007/BF03253324⟩