Skip to Main content Skip to Navigation

inria-00100754v1  Journal articles
Bruno LévySylvain PetitjeanNicolas RayJérôme Maillot. Least Squares Conformal Maps for Automatic Texture Atlas Generation
ACM Transactions on Graphics, Association for Computing Machinery, 2002, 21 (3), 10 p
hal-01710663v2  Journal articles
Nicolas ChampagnatRené SchottDenis Villemonais. Analysis of distributed systems via quasi-stationary distributions
Stochastic Analysis and Applications, Taylor & Francis: STM, Behavioural Science and Public Health Titles, 2021, 36 (6), pp.981-998. ⟨10.1080/07362994.2020.1861952⟩
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-00643171v1  Journal articles
Hana BelmabroukThomas NowotnyJean-Pierre RosparsDominique Martinez. Interaction of cellular and network mechanisms for efficient pheromone coding in moths
Proceedings of the National Academy of Sciences of the United States of America , National Academy of Sciences, 2011, 108 (49), pp.19790-19795. ⟨10.1073/pnas.1112367108⟩
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⟩
inria-00098905v1  Journal articles
Manuel MunierKhalid BenaliClaude Godart. DisCOO, a really distributed system for cooperation
Networking and Information Systems Journal, Editions Hermès, 1999, 2 (5-6), pp.605-637
hal-02314741v1  Journal articles
Pierre-Etienne MoreauOlivier Zendra. GC2: a generational conservative garbage collector for the ATerm library
Journal of Logic and Algebraic Programming, Elsevier, 2004, 59 (1-2), pp.5-34. ⟨10.1016/j.jlap.2003.12.003⟩
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⟩
inria-00182432v1  Journal articles
Isabelle GnaedigHélène Kirchner. Termination of Rewriting under Strategies
ACM Transactions on Computational Logic, Association for Computing Machinery, 2009, 10 (2), pp.1-52. ⟨10.1145/1462179.1462182⟩
inria-00545493v1  Journal articles
Chiraz LatiriKamel SmaïliCaroline LavecchiaDavid Langlois. Mining monolingual and bilingual corpora
Intelligent Data Analysis, IOS Press, 2010, 14 (6), pp.663-682
hal-01639807v1  Journal articles
Karima MeftouhKamel SmaïliMohamed Tayeb Laskri. Arabic Statistical N-gram Models
International Review on Computers and Software (IRECOS), Praise Worthy Prize, 2009, 4 (1)
hal-01586549v1  Journal articles
Mourad AbbasKamel SmaïliDaoud Berkani. TR-Classifier and kNN Evaluation for Topic Identification tasks
International Journal on Information and Communication Technologies, Serials Publications, 2010, 3 (3), pp.10
inria-00582493v1  Journal articles
Karima MeftouhMed Tayeb LaskriKamel Smaïli. Modeling Arabic Language using statistical methods
Arabian Journal for Science and Engineering, King Fahd University of Petroleum and Minerals SAUDI ARABIA - Springer (en ligne), 2010, Theme issue on Arabic Computing, 35 (2C), pp.69-82
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
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-00429158v1  Journal articles
Xavier AntoinePierre DreyfussKarim Ramdani. A construction of beam propagation methods for optical waveguides
Communications in Computational Physics, Global Science Press, 2009, 6 (3), pp.565-576
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-01169436v2  Journal articles
Christophe LacaveTakéo Takahashi. Small moving rigid body into a viscous incompressible fluid
Archive for Rational Mechanics and Analysis, Springer Verlag, 2017, 223 (3), pp.1307--1335. ⟨10.1007/s00205-016-1058-z⟩
hal-00521618v1  Journal articles
Laurent RomaryJean-Marie Pierrel. Le projet Silfide : vers un accès ouvert aux ressources linguistiques francophones
Revue Française de Linguistique Appliquée, Paris : Publications linguistiques, 1996, 1-2, pp.77-85
hal-01188677v2  Journal articles
Maxime AmblardKarën FortCaroline DemilyNicolas FranckMichel Musiol. Analyse lexicale outillée de la parole transcrite de patients schizophrènes
Revue TAL, ATALA (Association pour le Traitement Automatique des Langues), 2015, Natural Language Processing and Cognition, 55 (3), pp.91 - 115
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-01297755v1  Journal articles
Didier GalmicheGuy Perrier. On Proof Normalization in Linear Logic
Theoretical Computer Science, Elsevier, 1994, 135 (1), pp.67-110
inria-00595769v2  Journal articles
Aboudramane GuiroAbderrahman IggidrDiène Ngom. Interval numerical observer: Application to a discrete time nonlinear fish model
Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2009, 11, pp.37-52
hal-01275247v1  Journal articles
Bruno ScherrerMatthieu Geist. Recherche locale de politique dans un espace convexe
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2015, 29 (6), pp.685-704. ⟨10.3166/RIA.29.685-706⟩
inria-00329731v1  Journal articles
Frédéric CazalsMarc Pouget. Jet fitting 3: A Generic C++ Package for Estimating the Differential Properties on Sampled Surfaces via Polynomial Fitting
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2008, 35 (3)
hal-01277569v1  Journal articles
Shizhe ZhouJiang ChangyunSylvain Lefebvre. Topology-constrained Synthesis of Vector Patterns
ACM Transactions on Graphics, Association for Computing Machinery, 2014, 33 (6), ⟨10.1145/2661229.2661238⟩
hal-01277923v1  Journal articles
Gauthier Sallet. Claude Lobry, un mathématicien militant
Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2008, 9, pp.5-13
hal-01277838v1  Journal articles
Mary Teuw NianeGauthier SalletTewfik SariHamidou Touré. Avant Propos
Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2008, 9, pp.3-3
hal-01277777v1  Journal articles
Chen-Zhong LiAbdoua TchoussoXiao-Dong LiGauthier Sallet. Stabilité Lp exponentielle d’un système d’échangeurs thermiques avec diffusion et sans diffusion
Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2008, 9, pp.359-380
hal-00829532v4  Journal articles
Bruno Scherrer. Improved and generalized upper bounds on the complexity of policy iteration
Mathematics of Operations Research, INFORMS, 2016, 41 (3), pp.758-774. ⟨10.1287/moor.2015.0753⟩
hal-01265319v1  Journal articles
Emilie BallandPierre-Etienne MoreauAntoine Reilles. Effective Strategic Programming for Java Developers
International Journal on Software - Practice and Experience, 2014, Software: Practice and Experience, 44 (2), pp.34. ⟨10.1002/spe.2159⟩
hal-00521609v1  Journal articles
Jean-Marie PierrelBertrand GaiffeLaurent Romary. Quel lexique pour un traitement automatique de la référence ?
Cahiers de linguistique française, Université de Genève, 1994, 14, pp.37-52
hal-00521612v1  Journal articles
Jean-Marie PierrelLaurent Romary. Lexique, langue et tâche dans un dialogue homme-machine finalisé
Sémiotiques, Institut national de la langue française. Unité de recherche linguistique, 1997, 11, pp.95-117
inria-00172200v1  Journal articles
Amine BoumazaBruno Scherrer. Analyse d'un algorithme d'intelligence en essaim pour le fourragement
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2008, 22 (6), pp.791-816
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-00834556v1  Journal articles
Sébastien DemangeSlim Ouni. An episodic memory-based solution for the acoustic-to-articulatory inversion problem
Journal of the Acoustical Society of America, Acoustical Society of America, 2013, 133 (5), pp.2921-2930. ⟨10.1121/1.4798665⟩
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-01153734v1  Journal articles
Viviana BonoMichele BugliesiMariangiola Dezani-CiancagliniLuigi Liquori. A Subtyping for Extensible, Incomplete Objects
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 1999, 38 (4), pp.325--364
hal-01146443v1  Journal articles
Xuan Thanh Vu †Sylvain MaireCaroline ChauxNadège Thirion-Moreau. A new stochastic optimization algorithm to decompose large nonnegative tensors
IEEE Signal Processing Letters, Institute of Electrical and Electronics Engineers, 2015, 12 pp
hal-01011044v2  Journal articles
Antoine LiutkusDerry FitzgeraldZafar RafiiBryan PardoLaurent Daudet. Kernel Additive Models for Source Separation
IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 2014, pp.14. ⟨10.1109/TSP.2014.2332434⟩
inria-00441254v2  Journal articles
Alessio GuglielmiLutz Straßburger. A System of Interaction and Structure V: The Exponentials and Splitting
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2011, pp.1-22. ⟨10.1017/S096012951100003X⟩
inria-00441214v1  Journal articles
Lutz StraßburgerAlessio Guglielmi. A System of Interaction and Structure IV: The Exponentials and Decomposition
ACM Transactions on Computational Logic, Association for Computing Machinery, 2011, 12 (4), pp.23. ⟨10.1145/1970398.1970399⟩