3932 results  save search


hal-01352496v1  Journal articles
Hamdi Ben Abdallah. Machine de Turing
Interstices, INRIA, 2009
hal-00952225v1  Book sections
Abderrahmane BendaliM'B. Fares. Boundary Integral Equations Methods in Acoustic Scattering
Frédéric Magoules. Computational acoustics, Saxe-Coburg Edition, pp.1-36, 2008
hal-00952206v1  Journal articles
Abderrahmane BendaliYassine BoubendirM'B. Fares. Coupling of a non-overlapping domain decomposition method with a boundary element method
International Journal for Numerical Methods in Engineering, Wiley, 2008, 73 (11), pp 1624-1650
...
hal-00802480v1  Journal articles
Nicolas LamarqueMauro PortaFranck NicoudThierry Poinsot. On the stability and dissipation of wall boundary conditions for compressible flows
International Journal for Numerical Methods in Fluids, Wiley, 2010, 62 (10), pp.1134-1154. ⟨10.1002/fld.2060⟩
...
hal-01951815v1  Conference papers
Aneel TanwaniRaphael JungersMaurice Heemels. Observability of Discrete-Time Linear Systems with Communication Protocols and Dropouts
57th IEEE Conference on Decision and Control (CDC 2018), Dec 2018, Miami Beach, FL, United States. ⟨10.1109/CDC.2018.8619308⟩
...
hal-00952930v1  Conference papers
Anne-Laure PopelinBertrand Iooss. Visualization tools for uncertainty and sensitivity analyses on thermal-hydraulic transients
Joint International Conference on Supercomputing in Nuclear Applications and Monte Carlo 2013 (SNA + MC 2013), Oct 2013, Paris, France. pp.1
hal-00353321v1  Journal articles
Kazuo AokiPierre DegondLuc MieussensShigeru TakataHiroaki Yoshida. A diffusion model for rarefied flows in curved channels
Multiscale Modeling and Simulation: A SIAM Interdisciplinary Journal, Society for Industrial and Applied Mathematics, 2008, 6 (4), pp.1281-1316. ⟨10.1137/070690328⟩
...
hal-01350099v3  Book sections
Philippe BesseBrendan GuillouetJean-Michel Loubes. Apprentissage sur Données Massives; trois cas d'usage avec R, Python et Spark.
Myriam MAUMY-BERTRAND, Gilbert SAPORTA,Christine THOMAS-AGNAN. Apprentissage Statistique et Données Massives, Technip, 2017, Journées d'Etudes en Statistisque
hal-01973462v1  Journal articles
Jean-Yves DauxoisSarah JomhooriFatemeh Yousefzadeh. Testing an "Exponential Delay Time model" against a "Random Sign Censoring model" in Reliability
Journal de la Société Française de Statistique, Société Française de Statistique et Société Mathématique de France, 2014
...
hal-01981188v1  Journal articles
Laurent BakriJean-Baptiste Casteras. Non-stability of Paneitz–Branson type equations in arbitrary dimensions
Nonlinear Analysis: Theory, Methods and Applications, Elsevier, 2014, 107, pp.118-133
...
hal-01133340v1  Journal articles
Nicolas BousquetThierry KleinVincent Moutoussamy. APPROXIMATION OF LIMIT STATE SURFACES IN MONOTONIC MONTE CARLO SETTINGS
SIAM/ASA Journal on Uncertainty Quantification, ASA, American Statistical Association, 2018, 6 (1), pp.1-33. ⟨10.1137/15M1015091⟩
hal-01225860v1  Journal articles
P. A. R. AdeN. AghanimC. Armitage-CaplanM. ArnaudM. Ashdown et al.  Planck 2013 results. XV. CMB power spectra and likelihood
Astronomy and Astrophysics - A&A, EDP Sciences, 2014, 571, pp.A15. ⟨10.1051/0004-6361/201321573⟩
...
hal-01981175v1  Journal articles
Laurent Bakri. Quantitative uniqueness for Schrödinger operator
Indiana University Mathematics Journal, Indiana University Mathematics Journal, 2012, 61 (4), pp.1565-1580
hal-01981170v1  Journal articles
Serban BelinschiTobias MaiRoland Speicher. Analytic subordination theory of operator-valued free additive convolution and the solution of a general random matrix problem
Journal für die reine und angewandte Mathematik, Walter de Gruyter, 2017, 2017 (732), pp.21-53
hal-01892988v1  Conference papers
Felicidad AguadoPedro CabalarMartin DieguezGilberto PérezConcepción Vidal. Paving the Way for Temporal Grounding
International Conference on Logic Programming (technical communication), Sep 2012, Budapest, Hungary
hal-01892994v1  Conference papers
Pedro CabalarMartin Dieguez. STeLP - A Tool for Temporal Answer Set Programming.
Logic Programming and NonMonotonic Reasoning, May 2011, Vancouver, Canada
hal-01892996v1  Conference papers
Pedro CabalarMartin Dieguez. An Experiment on Tabled Evaluation for Hidden Predicates
1st Workshop on Grounding and Transformations for Theories with Variables (GTTV'11@LPNMR 2013), May 2011, Vancouver, Canada
hal-01892946v1  Conference papers
Philippe BalbianiJoseph BoudouMartin DieguezDavid Fernández-Duque. Bisimulations for intuitionistic temporal logics
Workshop on Intuitionistic Modal Logics and Applications, Jul 2017, Toulouse, France
...
tel-01944432v1  Habilitation à diriger des recherches
Sabine Mercier. Distribution du score local pour la détection de régions atypiques au sein de séquences
Statistiques [math.ST]. Université Toulouse III Paul Sabatier (UT3 Paul Sabatier), 2018
hal-01892976v1  Conference papers
Philippe BalbianiMartin Dieguez. Temporal Here and There
Logics in Artificial Intelligence, Nov 2016, Larnaca, Cyprus
hal-01892941v1  Journal articles
Felicidad AguadoPedro CabalarMartin DieguezGilberto PérezConcepción Vidal. Temporal Equilibrium Logic with past operators
Journal of Applied Non-Classical Logics, Editions Hermes, 2017