Skip to Main content Skip to Navigation


...
tel-02405839v1  Habilitation à diriger des recherches
Yann Regis-Gianas. About some Metamorphoses of Computer Programs
Programming Languages [cs.PL]. Université Paris Diderot, 2019
...
tel-00008599v1  Theses
Bilal Atfeh. Méthode des lignes de courant appliquée à la modélisation des bassins
Modélisation et simulation. Université de Provence - Aix-Marseille I, 2003. Français
...
pastel-00927122v1  Theses
Zheng Qu. Nonlinear Perron-Frobenius theory and max-plus numerical methods for Hamilton-Jacobi equations
Optimization and Control [math.OC]. Ecole Polytechnique X, 2013. English
...
tel-01078911v1  Theses
Matias Martinez. Extraction and Analysis of Knowledge for Automatic Software Repair
Software Engineering [cs.SE]. Université Lille 1, 2014. English
...
tel-00832725v1  Theses
Aude Liefooghe. Matrices score-position, algorithmes et propriétés
Bio-informatique [q-bio.QM]. Université des Sciences et Technologie de Lille - Lille I, 2008. Français
...
inria-00087226v5  Journal articles
Julien CarmeRémi GilleronAurélien LemayJoachim Niehren. Interactive Learning of Node Selecting Tree Transducers
Machine Learning, Springer Verlag, 2007, Machine Learning, 66 (1), pp.33-67. ⟨10.1007/s10994-006-9613-8⟩
...
hal-01671777v3  Journal articles
Matthieu SozeauCyprien Mangin. Equations reloaded
Proceedings of the ACM on Programming Languages, ACM, 2019, 3 (ICFP), pp.1-29. ⟨10.1145/3341690⟩
hal-01890511v1  Journal articles
Jan-Oliver KaiserBeta ZilianiRobbert KrebbersYann Régis-GianasDerek Dreyer. Mtac2: typed tactics for backward reasoning in Coq
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (ICFP), pp.1 - 31. ⟨10.1145/3236773⟩
...
inria-00470101v1  Journal articles
Isabelle Tellier. Learning Recursive Automata from Positive Examples
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2006, New Methods in Machine Learning. Theory and Applications, 20 (6), pp.775-804. ⟨10.3166/ria.20.775-804⟩
...
inria-00112838v1  Journal articles
Sylvain GellyOlivier Teytaud. Bayesian Networks: a Non-Frequentist Approach for Parametrization, and a more Accurate Structural Complexity Measure
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2006
hal-00624354v1  Book sections
Arnaud AnantharamanRonan CostaouecClaude Le BrisFrédéric LegollFlorian Thomines. Introduction to numerical stochastic homogenization and the related computational challenges: some recent developments
Weizhu Bao and Qiang Du. Multiscale modeling and analysis for materials simulation, World Scientific, 2011, Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore ; vol. 22
hal-00691939v1  Journal articles
Frédéric LegollTony LelièvreGiovanni Samaey. A micro-macro parareal algorithm: application to singularly perturbed ordinary differential equations
SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 2013, 35 (4), pp.A1951-A1986
hal-00784187v1  Journal articles
Frédéric LegollWilliam Minvielle. Variance reduction using antithetic variables for a nonlinear convex stochastic homogenization problem
Discrete and Continuous Dynamical Systems - Series S, American Institute of Mathematical Sciences, 2015, 8 (1), pp.1-27. ⟨10.3934/dcdss.2015.8.1⟩
...
inria-00165293v2  Journal articles
Claude Le BrisFrédéric Legoll. Integrators for highly oscillatory Hamiltonian systems: an homogenization approach
Discrete and Continuous Dynamical Systems - Series B, American Institute of Mathematical Sciences, 2010, 13 (2), pp.347-373
hal-00519766v1  Book sections
Frédéric Legoll. Multiscale methods coupling atomistic and continuum mechanics: some examples of mathematical analysis
Analytical and Numerical Aspects of Partial Differential Equations, de Gruyter, pp.193-245, 2009, Proceedings in Mathematics
hal-01986848v1  Journal articles
Frédéric LegollTony LelièvreGabriel Stoltz. Some remarks on sampling methods in molecular dynamics
ESAIM: Proceedings and Surveys, EDP Sciences, 2008, 22, pp.217-233. ⟨10.1051/proc:072226⟩