• Filters
• level0_domain_s  ×
• All  ×

3932 results  save search

 Search

 Advanced Search…  Simple search…

 

Default search field (multi-criteria) 

• Default search field (multi-criteria)
• Default search field (multi-criteria) + PDF full text
• Titles
• Subtitle
• Work title
• hal_serie_t
• Abstract
• Full text of PDF document
• Keywords
• All document identifiers
• HAL submission identifier
• Language of document (text)
• Country (Text)
• City
• hal_inPress_bool
• Author (multi-criteria)
• Author: Full name
• Author: Last name
• Author: First name
• Author: middle name
• Author: funding institution
• Author: IdHal (string)
• Author: function
• Author: idHal (integer)
• Author: Identifier
• Author: funding institution identifier
• Author: Structure identifier
• Thesis director
• Publisher
• Scientific editor
• Series editor
• Journals (multi-criteria)
• Journal: Publisher
• Journal: Abbreviated title
• Journal: Title
• Journal: Internal identifier
• Journal: beginning publication date
• Journal: online ISSN
• Journal: ISSN
• Journal: Publisher
• Journal: SHERPA/RoMEO color
• Journal: referential status
• Conference (multi-criteria)
• Conference: Title
• Conference: Organiser
• Conference: beginning date (Year)
• Conference: end date (Year)
• Invited communication (yes/no)
• ANR project (multi-criteria)
• ANR project: Acronym
• ANR project: Call Acronym
• ANR project: Project call name
• ANR project: Reference
• ANR project: Name
• ANR project: Internal identifier
• ANR project: Referential Status
• European project (multi-criteria)
• European project: Acronym
• European project: Call identifier
• European project: Reference
• European project: Name
• European project: end date
• European project: Funding
• European project: beginning date
• European project: Referential status
• European project: Internal identifier
• Structure (multi-criteria)
• Structure: Acronym
• Structure: Name
• Structure: Code
• Structure: Country
• Structure: Type
• Structure: Referential status
• Structure: Internal structure identifier
• Structure/research team: Country
• Structure/department: Country
• Structure/laboratory: Country
• Structure/group of departments: State
• Structure/institution: Country
• Structure/group of institutions: Country
• Publication date: year
• Release date: year
• Writing date: year
• Date modified: year
• Submission Date: year
• Online Publication date: year
• HAL Collection (multi-criteria)
• HAL Collection: category
• HAL Collection: Code
• HAL Collection: Name
• HAL Collection: Internal identifier
• Contributor/author Internal identifier
• Contributor/author Full name
• Domains
• Primary domain
• Root domain
• Sub-domain level 1
• Sub-domain level 2
• Sub-domain level 3
• Status of document
• Document version
• Submission type
• Document type
• ISBN
• Number - reference
• Identifier: DOI
• Classification
• Audience
• Vulgarization
• Peer reviewing - text (yes or no)
• Conference proceedings
• Internal reference
• Funding
• Collaborations

 

	1 2 3 4 5 6 7 8 9 10	Sort  Relevance  Author A→Z  Author Z→A  Title A→Z  Title Z→A  Date de publication croissante  Date de publication décroissante  Date de dépôt croissante  Date de dépôt décroissante Number 30 results per page 50 results per page 100 results per page × Merci d'indiquer la raison de votre demande Annuler Envoyer la demande  Tools  o  Export XML-TEI BibTeX EndNote CSV PDF RTF  Advanced export...  Syndicated feeds RSS ATOM
	hal-01352492v1  Journal articles Hamdi Ben Abdallah. Comment fonctionne une machine de Turing ? Interstices, INRIA, 2013
	hal-01352496v1  Journal articles Hamdi Ben Abdallah. Machine de Turing Interstices, INRIA, 2009
	hal-00952721v1  Journal articles Javier Aramayona, Cyril Lecuire, Hugo Parlier, Kenneth J. Shackleton. Convexity of strata in diagonal pants graphs of surfaces Publicacions Matemàtiques, 2013, 57 (1), pp.219-237
	hal-00952225v1  Book sections Abderrahmane Bendali, M'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 Bendali, Yassine Boubendir, M'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-00904051v1  Journal articles Julien Diaz, Arnaud Langlois, Roland Martin. Probing the invisible, from the earthquake to the model Vidéothèque Inria, Inria, 2010
	hal-00802480v1  Journal articles Nicolas Lamarque, Mauro Porta, Franck Nicoud, Thierry 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 Tanwani, Raphael Jungers, Maurice 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 Popelin, Bertrand 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 Aoki, Pierre Degond, Luc Mieussens, Shigeru Takata, Hiroaki 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 Besse, Brendan Guillouet, Jean-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 Dauxois, Sarah Jomhoori, Fatemeh 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
	tel-00675217v1  Theses Yann Grisel. Localisation de défauts et applications pour les milieux inhomogènes en propagation d'ondes acoustiquesDefects localization and applications to inhomogeneous media in acoustic scattering Equations aux dérivées partielles [math.AP]. Université Paul Sabatier - Toulouse III, 2011. Français
	hal-01981188v1  Journal articles Laurent Bakri, Jean-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-00090683v1  Preprints, Working Papers, ... Didier Henrion. Some control design experiments with HIFOO 2006
	hal-01010316v1  Journal articles Enrica Masi, Olivier Simonin, Eleonore Riber, Patricia Sierra Sanchez, Laurent Y.M. Gicquel. Development of an algebraic-closure-based moment method for unsteady Eulerian simulations of particle-laden turbulent flows in very dilute regime International Journal of Multiphase Flow, Elsevier, 2014, vol. 58, pp. 257-278. ⟨10.1016/j.ijmultiphaseflow.2013.10.001⟩
	hal-01133340v1  Journal articles Nicolas Bousquet, Thierry Klein, Vincent 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. Ade, N. Aghanim, C. Armitage-Caplan, M. Arnaud, M. 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 Belinschi, Tobias Mai, Roland 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 Aguado, Pedro Cabalar, Martin Dieguez, Gilberto Pérez, Concepción Vidal. Paving the Way for Temporal Grounding International Conference on Logic Programming (technical communication), Sep 2012, Budapest, Hungary
	hal-01892994v1  Conference papers Pedro Cabalar, Martin Dieguez. STeLP - A Tool for Temporal Answer Set Programming. Logic Programming and NonMonotonic Reasoning, May 2011, Vancouver, Canada
	hal-01892996v1  Conference papers Pedro Cabalar, Martin 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-01892977v1  Journal articles Pedro Cabalar, Martin Dieguez, Concepción Vidal. An infinitary encoding of temporal equilibrium logic TPLP, 2015
	hal-01892946v1  Conference papers Philippe Balbiani, Joseph Boudou, Martin Dieguez, David Fernández-Duque. Bisimulations for intuitionistic temporal logics Workshop on Intuitionistic Modal Logics and Applications, Jul 2017, Toulouse, France
	hal-01892974v1  Book sections Jean-Marc Alliot, Robert Demolombe, Martin Dieguez, Luis Farinas del Cerro, Gilles Favre et al.  Temporal Logic Modeling of Biological Systems Temporal Logic Modeling of Biological Systems, 2016
	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-01591946v1  Preprints, Working Papers, ... Laure Coutin, Monique Pontier. PDE for joint law of the pair of a continuous diffusion and its running maximum 2017
	hal-01892976v1  Conference papers Philippe Balbiani, Martin Dieguez. Temporal Here and There Logics in Artificial Intelligence, Nov 2016, Larnaca, Cyprus
	hal-01892941v1  Journal articles Felicidad Aguado, Pedro Cabalar, Martin Dieguez, Gilberto Pérez, Concepción Vidal. Temporal Equilibrium Logic with past operators Journal of Applied Non-Classical Logics, Editions Hermes, 2017
	1 2 3 4 5 6 7 8 9 10	Sort  Relevance  Author A→Z  Author Z→A  Title A→Z  Title Z→A  Date de publication croissante  Date de publication décroissante  Date de dépôt croissante  Date de dépôt décroissante Number 30 results per page 50 results per page 100 results per page  Tools  o  Export XML-TEI BibTeX EndNote CSV PDF RTF  Advanced export...  Syndicated feeds RSS ATOM