Skip to Main content Skip to Navigation

hal-01238784v1  Journal articles
Béatrice BérardPierre CourtieuLaure MilletMaria Potop-ButucaruLionel Rieg et al.  [Invited Paper] Formal Methods for Mobile Robots: Current Results and Open Problems
International Journal of Informatics Society, Japan Informatics Society, 2015, 7 (3), pp.101-114
hal-01165187v3  Journal articles
Vít DolejšíAlexandre ErnMartin Vohralík. $hp$-adaptation driven by polynomial-degree-robust a posteriori error estimates for elliptic problems
SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 2016, 38 (5), pp.A3220-A3246. ⟨10.1137/15M1026687⟩
hal-00421539v1  Journal articles
Fabrice GuilletBrigitte Trousse. 8th French-speaking conference on Knowledge Discovery and Management (EGC2008): conference report
SIGKDD explorations : newsletter of the Special Interest Group (SIG) on Knowledge Discovery & Data Mining, Association for Computing Machinery (ACM), 2008, 10 (1), pp.53-54
hal-01096209v1  Journal articles
Saugata BasuMarie-Françoise RoyMohab Safey El DinEric Schost. A Baby Step–Giant Step Roadmap Algorithm for General Algebraic Sets
Foundations of Computational Mathematics, Springer Verlag, 2014, 14 (6), pp.1117 - 1172. ⟨10.1007/s10208-014-9212-1⟩
inria-00124270v1  Journal articles
Xiao-Shan GaoQiang LinGui-Fang Zhang. A C-tree decomposition algorithm for 2D and 3D geometric constraint solving
Computer-Aided Design, Elsevier, 2006, Computer-Aided Design, 38 (1), pp.1--13. ⟨10.1016/j.cad.2005.03.002⟩
hal-00414280v2  Journal articles
Aurélien AlfonsiJérôme Lelong. A closed-form extension to the Black-Cox model
International Journal of Theoretical and Applied Finance, World Scientific Publishing, 2012, 15 (8), pp.1250053:1-30. ⟨10.1142/S0219024912500537⟩
hal-00536549v1  Journal articles
Xiao-Jiang FengClaude Le BrisHerschel RabitzGabriel Turinici. A closed-loop identification protocol (clip) for nonlinear dynamical systems
Journal of Physical Chemistry A, American Chemical Society, 2006, 110, pp.7755-7762. ⟨10.1021/jp056189o⟩
inria-00582376v1  Journal articles
Lin WuVivien MalletMarc BocquetBruno Sportisse. A comparison study of data assimilation algorithms for ozone forecasts
Journal of Geophysical Research, American Geophysical Union, 2008, 113 (D20310), ⟨10.1029/2008JD009991⟩
hal-01053459v1  Journal articles
Frédéric LegollWilliam Minvielle. A control variate approach based on a defect-type theory for variance reduction in stochastic homogenization
Multiscale Modeling and Simulation: A SIAM Interdisciplinary Journal, Society for Industrial and Applied Mathematics, 2015, 13 (2), pp.519-550. ⟨10.1137/140980120⟩
hal-00479737v1  Journal articles
Arshia Cont. A Coupled Duration-Focused Architecture for Real-Time Music-to-Score Alignment
IEEE Transactions on Pattern Analysis and Machine Intelligence, Institute of Electrical and Electronics Engineers, 2010, 32, pp.974-987. ⟨10.1109/TPAMI.2009.106⟩
hal-00691693v1  Journal articles
Jean-Frédéric GerbeauClaude Le Bris. A coupled system arising in Magnetohydrodynamics
Applied Mathematics Letters, Elsevier, 1999, 12 (3), pp.53-57. ⟨10.1016/S0893-9659(98)00172-4⟩
hal-00786676v1  Journal articles
Boubacar DioufCan HantaşAlbert CohenÖzcan ÖzturkJens Palsberg. A Decoupled Local Memory Allocator
ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2013, 9 (4), ⟨10.1145/2400682.2400693⟩
inria-00423350v1  Journal articles
Bruno Cessac. A discrete time neural network model with spiking neurons. Rigorous results on the spontaneous dynamics
Journal of Mathematical Biology, Springer Verlag (Germany), 2008, 56 (3), pp.311-345
hal-00776068v1  Journal articles
Jean-Charles FaugèreValérie Gauthier-UmanaAyoub OtmaniLudovic PerretJean-Pierre Tillich. A Distinguisher for High Rate McEliece Cryptosystems
IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2013, 59 (10), pp.6830-6844. ⟨10.1109/TIT.2013.2272036⟩