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-00419550v1  Journal articles
Bertrand GaiffeLaurent Romary. « Ce matin, il pleuvait », ou la référence à l'épreuve du temps.
Langages, Armand Colin (Larousse jusqu'en 2003), 1993, pp.74-91
...
inria-00000791v1  Journal articles
Anis KoubaaYe-Qiong SongJean-Pierre Thomesse. (m,k)-WFQ : Intégration des contraintes temporelles (m,k)-firm dans les réseaux à débit garanti
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2005, 24 (8), pp.1013--1046
hal-00917754v1  Journal articles
Paul Zimmermann. $10^{2098959}$
La Gazette du CINES, CINES, 2003
...
inria-00437492v1  Journal articles
Sabine BarratAntoine Tabbone. A Bayesian network for combining descriptors: application to symbol recognition
International Journal on Document Analysis and Recognition, Springer Verlag, 2009, 13 (1), pp.65-75. ⟨10.1007/s10032-009-0103-y⟩
...
inria-00598250v1  Journal articles
Michael StollbergJoerg HoffmannDieter Fensel. A caching technique for optimizing automated service discovery
International Journal of Semantic Computing, World Scientific, 2011, 5 (1), pp.1-31. ⟨10.1142/S1793351X11001146⟩
...
hal-00533390v1  Journal articles
Nicolas CrouseillesThomas Respaud. A charge preserving scheme for the numerical resolution of the Vlasov-Ampère equations
Communications in Computational Physics, Global Science Press, 2011, 10 (4), pp.1001 - 1026. ⟨10.4208/cicp.210410.211210a⟩
...
hal-00591746v1  Journal articles
Pierre ValloisCharles Tapiero. A Claims Persistence Process and Insurance
Insurance: Mathematics and Economics, Elsevier, 2009, 44 (3), pp.367-373. ⟨10.1016/j.insmatheco.2008.11.009⟩
inria-00099628v1  Journal articles
Amine BermakDominique Martinez. A Compact 3D VLSI Classifier using Bagging Threshold Network Ensembles
IEEE Transactions on Neural Networks, Institute of Electrical and Electronics Engineers, 2003, 14 (5), pp.1097- 1109
inria-00099391v1  Journal articles
Philippe DoschKarl TombreChristian Ah-SoonGérald Masini. A complete system for analysis of architectural drawings
International Journal on Document Analysis and Recognition, Springer Verlag, 2000, 3 (2), pp.102-116
inria-00172406v1  Journal articles
Denis Roegel. A complex drawing in descriptive geometry
Tugboat, TeX Users Group, 2007, 28 (2), pp.218-228
...
inria-00354242v2  Journal articles
Santosh K.C.Cholwich Nattee. A comprehensive survey on on-line handwriting recognition technology and its real application to the Nepalese natural handwriting
Kathmandu University Journal of Science, Engineering, and Technology, Kathmandu University, 2009, 5 (I), pp.31-55
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
...
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-00414075v1  Journal articles
David NualartSamy Tindel. A construction of the rough path above fractional Brownian motion using Volterra's representation
Annals of Probability, Institute of Mathematical Statistics, 2011, 39 (3), pp.1061-1096. ⟨10.1214/10-AOP578⟩
inria-00326906v1  Journal articles
Olivier SimoninOlivier Grunder. A cooperative multi-robot architecture for moving a paralyzed robot
Mechatronics, Elsevier, 2009, Robotics and Factory of the Future, New Trends and Challenges in Mechatronics - INCOM 2006, 19 (4), pp.463-470. ⟨10.1016/j.mechatronics.2008.11.006⟩
hal-00601403v1  Journal articles
Pierre-Emmanuel JabinJuan Soler. A coupled Boltzmann & Navier-Stokes fragmentation model induced by a fluid-particle-spring interaction
Multiscale Modeling and Simulation: A SIAM Interdisciplinary Journal, Society for Industrial and Applied Mathematics, 2010, 8 (4), pp.1244-1268. ⟨10.1137/080735655⟩
inria-00100173v1  Journal articles
Martine CadotJoseph Di Martino. A Data Cleaning Solution by Perl Scripts for the KDD Cup 2003 Task 2
SIGKDD explorations : newsletter of the Special Interest Group (SIG) on Knowledge Discovery & Data Mining, Association for Computing Machinery (ACM), 2004, 5 (2), pp.158-159
...
inria-00487986v4  Journal articles
Pierre BénardAres LagaePeter VangorpSylvain LefebvreGeorge Drettakis et al.  A Dynamic Noise Primitive for Coherent Stylization
Computer Graphics Forum, Wiley, 2010, Proceedings of the Eurographics Symposium on Rendering 2010, 29 (4), pp.1497-1506. ⟨10.1111/j.1467-8659.2010.01747.x⟩
inria-00099744v1  Journal articles
Richard P. BrentSamuli LarvalaPaul Zimmermann. A Fast Algorithm for Testing Reducibility of Trinomials mod 2 and Some New Primitive Trinomials of Degree 3021377
Mathematics of Computation, American Mathematical Society, 2003, 72 (243), pp.1443-1452
...
hal-00922028v1  Journal articles
Alexandre Richard. A fractional Brownian field indexed by $L^2$ and a varying Hurst parameter
Stochastic Processes and their Applications, Elsevier, 2015, 125 (4), pp.1394-1425. ⟨10.1016/j.spa.2014.11.003⟩
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)
hal-01169697v1  Journal articles
James InglisJames Maclaurin. A general framework for stochastic traveling waves and patterns, with application to neural field equations
SIAM Journal on Applied Dynamical Systems, Society for Industrial and Applied Mathematics, 2016, 15 (1), pp.195-234. ⟨10.1137/15M102856X⟩
inria-00176899v1  Journal articles
Ernest ValvenyPhilippe DoschAdam WinstanleyZhou YuYang Su et al.  A general framework for the evaluation of symbol recognition methods
International Journal on Document Analysis and Recognition, Springer Verlag, 2007, 9 (1), pp.59-74. ⟨10.1007/s10032-006-0033-x⟩
inria-00100927v1  Journal articles
Sorin Stratulat. A General Framework to Build Contextual Cover Set Induction Provers
Journal of Symbolic Computation, Elsevier, 2001, 32 (4), pp.403-445
...
hal-03168254v1  Journal articles
Jocelyn BegeotIrène MarcoviciPascal MoyalYoussef Rahme. A general stochastic matching model on multigraphs
ALEA : Latin American Journal of Probability and Mathematical Statistics, Instituto Nacional de Matemática Pura e Aplicada, 2021, 18 (2), pp.1325-1351. ⟨10.30757/ALEA.v18-49⟩
inria-00098494v1  Journal articles
Eric FleuryPierre Fraigniaud. A General Theory for Deadlock Avoidance in Wormhole-Routed Networks
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 1998, 9 (7), pp.626--638
...
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-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-01860798v1  Journal articles
Mohamed BensoubayaAbdelhak FerferaAbderrahman Iggidr. A Jurdjevic-Quinn-type theorem for stochastic nonlinear control systems.
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2000, 45 (1), pp.93-98. ⟨10.1109/9.827361⟩
inria-00154259v1  Journal articles
Nazim Fatès. À la découverte des automates cellulaires
Interstices, INRIA, 2007
...
hal-00384683v1  Journal articles
René DavidBruno Guillaume. A lambda-calculus with explicit weakening and explicit substitution
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2001, 11 (1), pp.169-206. ⟨10.1017/S0960129500003224⟩
inria-00100069v1  Journal articles
Guillaume HanrotPaul Zimmermann. A long note on Mulders' short product
Journal of Symbolic Computation, Elsevier, 2004, 37 (3), pp.391--401
hal-00601413v1  Journal articles
Ilaria BrazzoliElena de AngelisPierre-Emmanuel Jabin. A Mathematical Model of Immune Competition Related to Cancer Dynamics
Mathematical Methods in the Applied Sciences, Wiley, 2010, 33 (6), pp.733-750. ⟨10.1002/mma.1190⟩
...
hal-00369151v1  Journal articles
Thierry MorineauEmmanuel Frénod. A method to bridge the gap between affordance formalisation and visual simulation in virtual environment
European Journal of Scientific Research, EuroJournals, 2009, 33 (1), pp.130--143
...
hal-02427636v2  Journal articles
Dang NguyenÉdouard Strickler. A method to deal with the critical case in stochastic population dynamics
SIAM Journal on Applied Mathematics, Society for Industrial and Applied Mathematics, 2020, 80 (3), pp.1567-1589. ⟨10.1137/20M131134X⟩
inria-00098856v1  Journal articles
Claude KirchnerHubert ComonMehmet DincbasJean-Pierre Jouannaud. A Methodological View of Constraint Solving
Constraints, Springer Verlag, 1999, 4 (4), pp.337-361
...
hal-00448685v1  Journal articles
Aurélien DeyaAndreas NeuenkirchSamy Tindel. A Milstein-type scheme without Levy area terms for SDEs driven by fractional Brownian motion
Annales de l'Institut Henri Poincaré (B) Probabilités et Statistiques, Institut Henri Poincaré (IHP), 2012, 48 (2), pp.518-550. ⟨10.1214/10-AIHP392⟩
inria-00098969v1  Journal articles
Mohamed AfifyYifan GongJean-Paul Haton. A Minimum Cross-Entropy Approach to Hidden Markov Model Adaptation
IEEE Signal Processing Letters, Institute of Electrical and Electronics Engineers, 1999, 6 (6), pp.132-134
inria-00100094v1  Journal articles
Latifa OuziziDidier AnciauxMarie-Claude PortmannFrancois B. Vernadat. A model for co-operative planning within a virtual enterprise
International Journal of Computer Integrated Manufacturing, Taylor & Francis, 2004, 29 p
inria-00100092v1  Journal articles
Olivier PerrinClaude Godart. A model to support collaborative work in virtual enterprises
Data and Knowledge Engineering, Elsevier, 2004, 50 (1), pp.63-86. ⟨10.1016/j.datak.2004.01.004⟩
hal-01150832v1  Journal articles
Jean-Baptiste TylczThierry BastogneHamanou BenachourDenise BechetEric Bullinger et al.  A model-based pharmacokinetics characterization method of engineered nanoparticles for pilot studies
IEEE Transactions on NanoBioscience, Institute of Electrical and Electronics Engineers, 2015, 14 (4), pp.368-377. ⟨10.1109/TNB.2015.2418792⟩
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-01216471v6  Journal articles
Antoine Lejay. A Monte Carlo estimation of the mean residence time in cells surrounded by thin layers
Mathematics and Computers in Simulation, Elsevier, 2018, Tenth IMACS Seminar on Monte Carlo Methods (MCM 2015), 143C, pp.65-77. ⟨10.1016/j.matcom.2017.05.008⟩
hal-01286886v1  Journal articles
Pierre MorelFlorent Dreydemy GhiroVincent BerionniDavid CouletteNicolas Besse et al.  A Multi Water Bag model of drift kinetic electron plasma
The European Physical Journal D : Atomic, molecular, optical and plasma physics, EDP Sciences, 2014, 68 (8), ⟨10.1140/epjd/e2014-50165-8⟩
...
inria-00181029v2  Journal articles
Richard BrentPaul Zimmermann. A Multi-level Blocking Distinct Degree Factorization Algorithm
Contemporary mathematics, American Mathematical Society, 2008, Finite Fields and Applications, 461, pp.47-58
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⟩
...
hal-00977342v2  Journal articles
Nicolas CrouseillesPierre GlancSever Adrian HirstoagaEric MadauleMichel Mehrenberger et al.  A new fully two-dimensional conservative semi-Lagrangian method: applications on polar grids, from diocotron instability to ITG turbulence
The European Physical Journal D : Atomic, molecular, optical and plasma physics, EDP Sciences, 2014, 68 (9), DOI: 10.1140/epjd/e2014-50180-9. ⟨10.1140/epjd/e2014-50180-9⟩
...
hal-01673332v6  Journal articles
Milica TomasevicDenis Talay. A new McKean-Vlasov stochastic interpretation of the parabolic-parabolic Keller-Segel model: The one-dimensional case
Bernoulli, Bernoulli Society for Mathematical Statistics and Probability, 2020, 26 (2), pp.1323-1353. ⟨10.3150/19-BEJ1158⟩
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-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-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⟩
inria-00100177v1  Journal articles
Laurent WendlingAntoine Tabbone. A New Way to Detect Arrows in Line Drawings
IEEE Transactions on Pattern Analysis and Machine Intelligence, Institute of Electrical and Electronics Engineers, 2004, 26 (7), pp.935-941
inria-00098909v1  Journal articles
Pascal MatsakisLaurent Wendling. A New Way to Represent the Relative between Areal Objects
IEEE Transactions on Pattern Analysis and Machine Intelligence, Institute of Electrical and Electronics Engineers, 1999, 21 (7), pp.634-643
inria-00098500v1  Journal articles
Philippe de GrooteGuy Perrier. A note on Kobayashi's & Yonezawa's ``Asynchronous Communication Model Based on Linear Logic
Formal Aspects of Computing, Springer Verlag, 1998, 10 (2), pp.160-170