• Filters
• language_s  ×
• All  ×

92253 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-00747647v1  Conference papers Anne-Cécile Orgerie, Paulo Gonçalves, Matthieu Imbert, J. Ridoux, D. Veitch. Survey of network metrology platforms SAINT 2012 - 12th IEEE/IPSJ International Symposium on Applications and the INTernet, 3rd Workshop on High Speed Network and Computing Environments, Jul 2012, Izmir, Turkey. pp.220-225, ⟨10.1109/SAINT.2012.41⟩
	hal-02392997v1  Conference papers Cosimo Laneve, Claudio Coen, Adele Veschetti. On the Prediction of Smart Contracts' Behaviours SG65 - Colloquium in Honour of Stefania Gnesi, Oct 2019, Porto, Portugal. pp.397--415, ⟨10.1007/978-3-030-30985-5_23⟩
	hal-02271268v1  Conference papers Romain Postoyan, Mathieu Granzotto, Lucian Buşoniu, Bruno Scherrer, Dragan Nešić et al.  Stability guarantees for nonlinear discrete-time systems controlled by approximate value iteration 58th IEEE Conference on Decision and Control, CDC 2019, Dec 2019, Nice, France
	hal-00987475v1  Conference papers Denny Oetomo, David Daney, Kanako Harada, Jean-Pierre Merlet, Arianna Menciassi et al.  Topology design of surgical reconfigurable robots by interval analysis IEEE International Conference on Robotics and Automation (ICRA), 2009, Kobe, Japan. pp.3085--3090, ⟨10.1109/ROBOT.2009.5152407⟩
	hal-00987549v1  Conference papers Denny Oetomo, David Daney, Bijan Shirinzadeh, Jean-Pierre Merlet. Certified workspace analysis of 3RRR planar parallel flexure mechanism IEEE International Conference on Robotics and Automation (ICRA), 2008, Pasadena, United States. pp.3838--3843, ⟨10.1109/ROBOT.2008.4543800⟩
	hal-02409672v1  Conference papers Evariste Ntaryamira, Cristian Maxim, Liliana Cucu-Grosjean. Data consistency and temporal validity under the circular buffer communication paradigm RACS '19 - Conference on Research in Adaptive and Convergent Systems, Sep 2019, Chongqing, China. pp.51-56, ⟨10.1145/3338840.3355682⟩
	hal-02157081v1  Conference papers Alessandro Montaldo, Luca Fronda, Ihsen Hedhli, Gabriele Moser, Sebastiano B. Serpico et al.  Causal Markov mesh hierarchical modeling for the contextual classification of multiresolution satellite images ICIP 2019 - IEEE International Conference on Image Processing, Sep 2019, Taipei, Taiwan
	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-01508495v1  Preprints, Working Papers, ... Aurélie Lagoutte, Sébastien Tavenas. The complexity of Shortest Common Supersequence for inputs with no identical consecutive letters 2017
	ensl-00850791v2  Reports Pascal Koiran, Natacha Portier, Sébastien Tavenas, Stéphan Thomassé. A tau-conjecture for Newton polygons 2014, pp.14
	hal-01135558v1  Preprints, Working Papers, ... Ignacio García-Marco, Pascal Koiran, Sébastien Tavenas. Log-concavity and lower bounds for arithmetic circuits 2015
	ensl-01991239v1  Conference papers Ignacio García-Marco, Pascal Koiran, Sébastien Tavenas. Log-Concavity and Lower Bounds for Arithmetic Circuits Mathematical Foundations of Computer Science (MFCS), 2015, Milan, Italy. pp.361-371
	hal-02366723v1  Conference papers Shihong Ren, Stéphane Letz, Yann Orlarey, Romain Michon, Dominique Fober et al.  Develop WebAudio Plugins in a Web Browser WAC 2019 - Web Audio Conference, Dec 2019, Trindheim, Norway
	hal-02381115v1  Conference papers Shikang Yu, Hu Han, Shiguang Shan, Antitza Dantcheva, Xilin Chen. Improving Face Sketch Recognition via Adversarial Sketch-Photo Transformation FG 2019 - 14th IEEE International Conference on Automatic Face and Gesture Recognition, May 2019, Lille, France
	hal-00681929v1  Conference papers Pietro Marco Congedo, Christophe Eric Corre, Remi Abgrall. Robust performance assessment for an oscillating airfoil using a Time-Spectral Method and a non-intrusive uncertainty propagation method ICCFD7 - International Conference on Computational Fluid Dynamics, Jul 2012, Island of Hawaii, United States
	inria-00567292v1  Conference papers Pietro Marco Congedo, Christophe Eric Corre. Optimization under uncertainty of tear substitute rheological properties International modeFRONTIER® Users' Meeting 2010, ESTECO, May 2010, Trieste, Italy
	inria-00561882v1  Conference papers Pietro Marco Congedo, Guillaume Balarac, Christophe Eric Corre, Cédric Duprat. Effects of inlet uncertainties on prediction of turbulent flows using RANS and LES simulations 20th AIAA Computational Fluid Dynamics Conference, AIAA, Jun 2011, Honolulu, Hawaii, USA, United States
	inria-00549376v1  Conference papers Pietro Marco Congedo, Christophe Eric Corre. Simulation d'écoulements de gaz denses en turbines Congrés Français de Mécanique, 2009, Marseille, France
	inria-00538076v1  Conference papers Remi Abgrall, Pietro Marco Congedo, Christophe Eric Corre, Stéphane Galera. A simple semi-intrusive method for Uncertainty Quantification of shocked flows, comparison with a non-intrusive Polynomial Chaos method ECCOMAS CFD, Jun 2010, Lisbonne, Portugal
	inria-00549331v1  Conference papers Pietro Marco Congedo, Remi Abgrall, Christophe Eric Corre, Stéphane Galera. A simple semi-intrusive method for uncertainty quantification of shocked flows, comparison with a non-intrusive polynomial choas method ECCOMAS CFD 2010, 2010, Lisbone, Portugal
	inria-00549335v1  Conference papers Pietro Marco Congedo, Christophe Eric Corre, Piero Colonna, Gianluca Iaccarino, Jeroen Witteveen. Robust simulation of nonclassical gasdynamics phenomena Proceedings of Summer Program, 2010, Stanford, United States
	hal-02132461v1  Conference papers Konstantin Avrachenkov, Jasper Goseling, Berksan Serbetci. Distributed Cooperative Caching for VoD with Geographic Constraints WiOpt 2019 - 17th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks, Jun 2019, Avignon, France
	hal-02404755v1  Conference papers Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer, Fraser Brown, Riad Wahby et al.  FaCT: A DSL for Timing-Sensitive Computation PLDI 2019 - 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, Jun 2019, Phoenix, United States. ⟨10.1145/3314221.3314605⟩
	inria-00591576v1  Conference papers Pietro Marco Congedo, Paola Cinnella, Samuel Hercus, Christophe Eric Corre. Efficient robust optimization techniques for uncertain dense gas flows CFD & Optimization - ECCOMAS Thematic Conference, ECCOMAS, May 2011, Antalya, Turkey
	inria-00599321v1  Conference papers Pietro Marco Congedo, Christophe Eric Corre, Jean-Paul Thibault, Gianluca Iaccarino. Global analysis of Organic Rankine cycles integrating local CFD simulations and uncertainty First International Seminar on ORC Power Systems, Sep 2011, Delft, Netherlands
	hal-01416981v1  Conference papers Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov. Set-Consensus Collections are Decidable OPODIS, Dec 2016, MADRID, Spain
	hal-01888607v1  Conference papers Vitalii Aksenov, Petr Kuznetsov, Anatoly Shalyto. On Helping and Stacks The International Conference on Networked Systems, May 2018, Essaouira, Morocco
	hal-01887733v1  Conference papers Vitalii Aksenov, Dan Alistarh, Petr Kuznetsov. Brief Announcement: Performance Prediction for Coarse-Grained Locking PODC 2018 - ACM Symposium on Principles of Distributed Computing, Jul 2018, Egham, United Kingdom. ⟨10.1145/3212734.3212785⟩
	hal-02387483v1  Conference papers Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro. Optimal and Automated Deployment for Microservices FASE 2019 - 22nd International Conference on Held as Part of the European, Apr 2019, Prague, Czech Republic. ⟨10.1007/978-3-030-16722-6_21⟩
	hal-02063396v1  Conference papers Samuel Deslauriers-Gauthier, Rachid Deriche. Estimation of Axonal Conduction Speed and the Inter Hemispheric Transfer Time using Connectivity Informed Maximum Entropy on the Mean SPIE Medical Imaging 2019, Feb 2019, San Diego, United States
	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