3939 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-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-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-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
hal-01892943v1  Conference papers
Joseph BoudouMartin DieguezDavid Fernández Duque. A Decidable Intuitionistic Temporal Logic
Computer Science Logic, Aug 2017, Stockholm, Sweden
hal-02095868v1  Books
Jean-Bernard Lasserre. Linear and Integer Programming vs Linear Integration and Counting
Springer-Verlag. 2009, Springer Series in Operations Research and Financial Engineering, 978-0-387-09413-7. ⟨10.1007/978-0-387-09414-4⟩