• Filters
• Structure: Internal structure identifier  ×
• All  ×

542 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-00753414v1  Journal articles Emmanuelle Jacquin-Joly, Fabrice Legeai, Nicolas Montagné, Christelle Monsempes, Marie-Christine François et al.  Candidate chemosensory genes in female antennae of the noctuid moth Spodoptera littoralis. Int J Biol Sci, Ivyspring, 2012, 8 (7), pp.1036-50. ⟨10.7150/ijbs.4469⟩
	hal-01349522v2  Reports Michael Leguèbe, Maria G. Notarangelo, Monika Twarogowska, Roberto Natalini, Clair Poignard. Mathematical model for transport of DNA plasmids from the external medium up to the nucleus by electroporation [Research Report] RR-8939, Inria Bordeaux Sud-Ouest. 2016
	inria-00403127v1  Book sections Axel Hutt, Matthias Munk. Detection of phase synchronization in multivariate single brain signal by a clustering approach Jose Luis Perez Velazquez and Richard Wennberg. Coordinated Activity in the Brain: measurements and relevance to brain function and behaviour, Springer, pp.149-164, 2009, Springer Series in Computational Neuroscience, 978-0-387-93796-0. ⟨10.1007/978-0-387-93797-7⟩
	hal-01401812v1  Conference papers Jasmin Blanchette, Aymeric Bouzy, Andreas Lochbihler, Andrei Popescu, Dmitriy Traytel. Friends with Benefits Isabelle Workshop 2016, Aug 2016, Nancy, France
	hal-00801439v1  Conference papers Susan Schreibman, Stefan Gradmann, Steffen Hennicke, Tobias Blanke, Sally Chambers et al.  Beyond Infrastructure -- Modelling Scholarly Research and Collaboration Digital Humanities 2013, University of Nebraska-Lincoln, Jul 2013, Lincoln, United States
	hal-00851067v1  Conference papers Gianluca Antonelli,, Elisabetta Cataldi,, Paolo Robuffo Giordano, Stefano Chiaverini, Antonio Franchi. Experimental validation of a new adaptive control scheme for quadrotors MAVs IEEE/RSJ Int. Conf. on Intelligent Robots and Systems, IROS'2013, Nov 2013, Tokyo, Japan. pp.2439-2444
	hal-01790245v1  Journal articles Julius Kernbach, Theodore Satterthwaite, Danielle S. Bassett, Jonathan Smallwood, Daniel S. Margulies et al.  Shared Endo-phenotypes of Default Mode Dysfunction in Attention Deficit/Hyperactivity Disorder and Autism Spectrum Disorder Translational Psychiatry, Nature Pub. Group, 2018
	hal-01592186v1  Conference papers Heiko Becker, Jasmin Blanchette, Uwe Waldmann, Daniel Wand. A Transfinite Knuth-Bendix Order for Lambda-Free Higher-Order Terms CADE-26 - 26th International Conference on Automated Deduction, Aug 2017, Gothenburg, Sweden. pp.432-453, ⟨10.1007/978-3-319-63046-5_27⟩
	hal-01590899v2  Conference papers Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm, Xuan Vu. Subtropical Satisfiability FroCoS 2017 - 11th International Symposium on Frontiers of Combining Systems, Sep 2017, Brasilia, Brazil. ⟨10.1007/978-3-319-66167-4⟩
	hal-01648694v1  Conference papers Russell Bradford, James Davenport, Matthew England, Hassan Errami, Vladimir Gerdt et al.  A Case Study on the Parametric Occurrence of Multiple Steady States ISSAC 2017 - International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. pp.45-52, ⟨10.1145/3087604.3087622⟩
	hal-01648695v1  Journal articles Thomas Sturm, Erika Abraham, John Abbott, Bern W. Becker, Anna Bigatti et al.  Satisfiability Checking and Symbolic Computation ACM Communications in Computer Algebra, Association for Computing Machinery (ACM), 2016, 50 (4), pp.145-147. ⟨10.1145/3055282.3055285⟩
	hal-01648691v1  Conference papers Matthew England, Hassan Errami, Dima Grigoriev, Ovidiu Radulescu, Thomas Sturm et al.  Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks CASC 2017 - 19th International Workshop on Computer Algebra in Scientific Computing, Sep 2017, Beijing, China. ⟨10.1007/978-3-319-66320-3⟩
	hal-01648696v1  Conference papers Thomas Sturm, Erika Ábrahám, John Abbott, Bernd Becker, Anna Bigatti et al.  SC2: Satisfiability Checking Meets Symbolic Computation (Project Paper) Proc. CICM 2016, Jul 2016, Bialystok, Poland. pp.28 - 43, ⟨10.1007/978-3-319-42547-4⟩
	hal-01945905v1  Journal articles Sébastien Motsch, Mehdi Moussaid, Elsa Guillot, Mathieu Moreau, Julien Pettré et al.  Modeling crowd dynamics through coarse-grained data analysis Mathematical Biosciences and Engineering, AIMS Press, 2018, 15 (6), pp.1271-1290. ⟨10.3934/mbe.2018059⟩
	hal-01946733v1  Conference papers Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm, Van Khanh To, Xuan Tung Vu. Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT SC-square 2018 - Third International Workshop on Satisfiability Checking and Symbolic Computation, Jul 2018, Oxford, United Kingdom
	hal-01442691v2  Reports Haniel Barbosa, Pascal Fontaine, Andrew Reynolds. Congruence Closure with Free Variables [Research Report] Inria, Loria, Universite de Lorraine, UFRN, University of Iowa. 2017
	tel-01751181v2  Theses Hernán Vanzetto. Proof automation and type synthesis for set theory in the context of TLA+ Computer Science [cs]. Université de Lorraine, 2014. English. ⟨NNT : 2014LORR0208⟩
	hal-01097624v1  Conference papers Yamine Aït Ameur, J. Paul Gibson, Dominique Méry. On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium,, Tiziana Margaria and Bernhard Steffen, Oct 2014, Corfu, Greece. pp.604-618
	hal-01097645v1  Conference papers Dominique Méry, Neeraj Kumar Singh. Formal Evaluation of Landing Gear System SoICT 2014 fifth symposium on Information and Communication Technology,, Dec 2014, HANOI, Vietnam
	inria-00536697v1  Conference papers Laurent Candillier, Isabelle Tellier, Fabien Torre, Olivier Bousquet. SSC : Statistical Subspace Clustering 4th International Conference on Machine Learning and Data Mining in Pattern Recognition, 2005, Leipzig, Georgia. pp.100--109
	hal-01135558v1  Preprints, Working Papers, ... Ignacio García-Marco, Pascal Koiran, Sébastien Tavenas. Log-concavity and lower bounds for arithmetic circuits 2015
	hal-01145407v1  Conference papers Jean-Daniel Boissonnat, Karthik C. S., Sébastien Tavenas. Building Efficient and Compact Data Structures for Simplicial Complexes International Symposium on Computational Geometry 2015, Jun 2015, Eindhoven, Netherlands. ⟨10.4230/LIPIcs.SOCG.2015.642⟩
	hal-01230785v1  Journal articles Emilie Diot, Sébastien Tavenas, Nicolas Trotignon. Detecting wheels Applicable Analysis and Discrete Mathematics, 2014, 8 (1), ⟨10.2298/AADM131128023D⟩
	hal-01235912v1  Reports Haniel Barbosa, Pascal Fontaine. Congruence Closure with Free Variables (Work in Progress) [Research Report] Inria Nancy - Grand Est (Villers-lès-Nancy, France). 2015
	hal-01336074v1  Conference papers Jasmin Christian Blanchette, Mathias Fleury, Christoph Weidenbach. A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality 8th International Joint Conference on Automated Reasoning (IJCAR 2016), Jun 2016, Coimbra, Portugal. ⟨10.1007/978-3-319-40229-1_4⟩
	hal-01336082v1  Conference papers Andrew Reynolds, Jasmin Christian Blanchette, Simon Cruanes, Cesare Tinelli. Model Finding for Recursive Functions in SMT 8th International Joint Conference on Automated Reasoning (IJCAR 2016), Jun 2016, Coimbra, Portugal. ⟨10.1007/978-3-319-40229-1_10⟩
	inria-00441622v1  Conference papers Marc Stamminger, Daniel Wexler, Wolfram Kresse, Nicolas Holzschuch, Per Christensen. Advanced Radiosity: Complex Scenes and Glossy Reflections Eurographics Tutorial, Aug 1999, Milano, Italy
	hal-01932147v1  Preprints, Working Papers, ... Pierre Lairez, Emre Can Sertöz. A numerical transcendental method in algebraic geometry 2018
	inria-00344281v1  Journal articles Hervé Brönnimann, Christoph Burnikel, Sylvain Pion. Interval Arithmetic Yields Efficient Dynamic Filters for Computational Geometry Discrete Applied Mathematics, Elsevier, 2001, pp.25-47
	hal-01547484v1  Journal articles Jakob Ruess, Heinz Koeppl, Christoph Zechner. Sensitivity estimation for stochastic models of biochemical reaction networks in the presence of extrinsic variability Journal of Chemical Physics, American Institute of Physics, 2017, 146 (12), pp.124122. ⟨10.1063/1.4978940⟩
	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