Filtrer vos résultats
- 54
- 32
- 37
- 18
- 9
- 9
- 4
- 3
- 2
- 1
- 1
- 1
- 1
- 2
- 52
- 25
- 10
- 7
- 1
- 7
- 3
- 10
- 12
- 7
- 11
- 13
- 10
- 5
- 4
- 4
- 54
- 32
- 53
- 47
- 29
- 10
- 9
- 8
- 8
- 7
- 6
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 9
- 8
- 8
- 7
- 7
- 7
- 7
- 6
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
86 résultats
RUC-APS: Enhancing and implementing knowledge based ICT solutions within high Risk and Uncertain Conditions for Agriculture Production Systems11th International Conference on Industrial Engineering and Industrial Management (CIO 2017), Universitat Politècnica de València (UPV); Asociación para el Desarrollo de la Ingeniería de Organización (ADINGOR); Centro de Investigación en Gestión e Ingeniería de Producción (CIGIP); Reengineering Operations GroupWork Logistics Excellence (ROGLE), Jul 2017, Valencia, Spain. pp.39-41
Communication dans un congrès
hal-02001076v1
|
|||
|
Certification of Breadth-First Algorithms by Extraction13th International Conference on Mathematics of Program Construction, MPC 2019, Oct 2019, Porto, Portugal. pp.45-75, ⟨10.1007/978-3-030-33636-3_3⟩
Communication dans un congrès
hal-02333423v1
|
||
Incremental Proof-Based Development for Resilient Distributed SystemsTrustworthy Cyber-Physical Systems Engineering, Taylor and Francis Group, 2016, Trustworthy Cyber-Physical Systems Engineering
Chapitre d'ouvrage
hal-01246669v1
|
|||
Exploration de données et journalisme : vers la spécification de narrations journalistiquesRencontre annuelle Masses de données, informations et connaissances en sciences (MaDICS) 2018. Big Data - Data Science, Groupement de recherche (GDR) MaDICS, Nov 2018, Strasbourg, France
Communication dans un congrès
hal-01928334v1
|
|||
|
Introduction. De quelques théoriciens et quelques praticiens de l’information-documentationLes Cahiers du numérique, 2020, De quelques théoriciens et quelques praticiens de l'information-documentation, 16 (1), pp.9-13. ⟨10.3166/lcn.16.1.9-13⟩
Article dans une revue
hal-02633645v1
|
||
|
Fresh-Variable Automata for Service CompositionSYNASC 2013 -15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, West University of Timisoara Department of Computer Science, Sep 2013, Timisoara, Romania
Communication dans un congrès
hal-00914778v1
|
||
|
Intruder deducibility constraints with negation. Decidability and application to secured service compositionsJournal of Symbolic Computation, 2017, 80, pp.4 - 26. ⟨10.1016/j.jsc.2016.07.008⟩
Article dans une revue
hal-01405851v1
|
||
|
Parameters for Epistemic Gossip ProblemsLOFT 2016 - 12th Conference on Logic and the Foundations of Game and Decision Theory, Jul 2016, Maastricht, Netherlands
Communication dans un congrès
hal-03159069v1
|
||
Homoparentalité et assistance médicale à la procréation (AMP)Colloque FAMEVI, 2018, Angers (FR), France
Communication dans un congrès
hal-04208760v1
|
|||
Risk assessment of soil-plant transfer of pollutants in urban agriculture16th International Conference of biochemistry of Trace Elements, Sep 2023, Wuppertal, Germany
Poster
hal-04233988v1
|
|||
|
Evaluation de la qualité des plantes potagères : guide d’échantillonnage et bases de données3. Rencontres nationales de la recherche sur les sites et sols pollués, Nov 2014, Paris, France
Communication dans un congrès
ineris-01862490v1
|
||
Internet users’ participation and news framing: The Strauss-Kahn case–related Live Blog at Le Monde.frNew Media and Society, 2017, 19 (12), pp.1964-1982. ⟨10.1177/1461444816650641⟩
Article dans une revue
hal-01509808v1
|
|||
|
Evaluation of environmental contamination by toxic trace elements in Kazakhstan based on reviews of available scientific dataEnvironmental Science and Pollution Research, 2021, 28 (32), pp.43315-43328. ⟨10.1007/s11356-021-14979-z⟩
Article dans une revue
hal-03275103v2
|
||
Giono. Les Âmes fortesEditions Atlande, 2016, Clefs concours Lettres, 978-2-35030-398-7
Ouvrage (y compris édition critique et traduction)
hal-01503401v1
|
|||
|
Impacts des produits phytopharmaceutiques sur la biodiversité et les services écosystémiques. Synthèse de l’expertise scientifique collectiveINRAE; IFREMER Institut Francais de Recherche pour l'Exploitation de la Mer. 2022, 136 p
Rapport
hal-03759553v1
|
||
|
A simple proof of the completeness of APALStudies in Logic, 2015, 8, pp.65-78
Article dans une revue
hal-01740004v1
|
||
|
Enhancing the expressive power of Sugeno integrals for qualitative data analysisEUSFLAT 2017 - 10th Conference of the European Society for Fuzzy Logic and Technology, Sep 2017, Warsaw, Poland. pp.534-547, ⟨10.1007/978-3-319-66830-7_48⟩
Communication dans un congrès
hal-01668229v1
|
||
|
Guarded Variable Automata over Infinite Alphabets2013
Pré-publication, Document de travail
hal-00914779v1
|
||
|
Making the best of cases by approximation, interpolation and extrapolation26th International Conference on Case Based Reasoning (ICCBR 2018), Jul 2018, Stockholm, Sweden. pp.580-596, ⟨10.1007/978-3-030-01081-2_38⟩
Communication dans un congrès
hal-03634973v1
|
||
KilwaPUN - Éditions Universitaires de Lorraine, In press, Archéologie, Espaces, Patrimoines, Gérard Giuliato
Ouvrage (y compris édition critique et traduction)
halshs-02513207v1
|
|||
|
Actes de la 6e conférence conjointe Journées d'Études sur la Parole (JEP, 33e édition), Traitement Automatique des Langues Naturelles (TALN, 27e édition), Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (RÉCITAL, 22e édition). Volume 3 : Rencontre des Étudiants Chercheurs en Informatique pour le TAL3 : Rencontre des Étudiants Chercheurs en Informatique pour le TAL, ATALA; AFCP, pp.1-230, 2020
Proceedings/Recueil des communications
hal-02786181v3
|
||
|
Actes de la 6e conférence conjointe Journées d'Études sur la Parole (JEP, 33e édition), Traitement Automatique des Langues Naturelles (TALN, 27e édition), Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (RÉCITAL, 22e édition). Volume 4 : Démonstrations et résumés d'articles internationaux4 : Démonstrations et résumés d'articles internationaux, ATALA; AFCP, pp.1-88, 2020
Proceedings/Recueil des communications
hal-02768750v2
|
||
|
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete SystemsSpringer Singapore, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6⟩
Ouvrage (y compris édition critique et traduction)
hal-02910199v1
|
||
|
Le lien social dans les bibliothèques universitaires à l’ère des réseaux sociaux numériques.Les Cahiers du numérique, 2017, Bénévolat, lien social et numérique, 13, pp.123-146. ⟨10.3166/LCN.12.1.25-38⟩
Article dans une revue
hal-03197570v1
|
||
|
Maintaining Diversity in Robot Swarms with Distributed Embodied EvolutionANTS 2018 - International Conference on Swarm Intelligence, Oct 2018, Rome, Italy
Communication dans un congrès
hal-01937119v1
|
||
|
Les centres d’art contemporain et l’intersectionnalité : enjeux, discours, appropriations (InterCAC)2023
Vidéo
hal-04255680v1
|
||
Homoparentalité et méthodes de procréation médicalement assistées : quel devenir pour les enfants conçus par IAD ? Questions et enjeux à partir d’un bilan des recherches internationalesColloque International FAMÉVI "La famille aux différentes étapes de la vie", Jun 2018, Angers, France
Communication dans un congrès
hal-02375248v1
|
|||
|
Actes du colloque international et interdisciplinaire de recherche2021
Proceedings/Recueil des communications
hal-03478540v3
|
||
|
On the importance of explicit domain modelling in refinement-based modelling design: experiments with Event-B6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2018), Jun 2018, Southampton, United Kingdom. pp.425--430, ⟨10.1007/978-3-319-91271-4_35⟩
Communication dans un congrès
hal-01797538v1
|
||
|
Impacts des produits phytopharmaceutiques sur la biodiversité et les services écosystémiques. Rapport de l’expertise scientifique collective[Rapport de recherche] INRAE; IFREMER. 2022, 1408 p
Rapport
hal-03777257v1
|