Recherche - Université de Lorraine Accéder directement au contenu

Filtrer vos résultats

87 résultats
Image document

A simple proof of the completeness of APAL

Philippe Balbiani , Hans van Ditmarsch
Studies in Logic, 2015, 8, pp.65-78
Article dans une revue hal-01740004v1
Image document

Enhancing the expressive power of Sugeno integrals for qualitative data analysis

Miguel Couceiro , Didier Dubois , Henri Prade , Agnès Rico
EUSFLAT 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 Alphabets

Walid Belkhir , Yannick Chevalier , Michael Rusinowitch
2013
Pré-publication, Document de travail hal-00914779v1

Le projet ACTION : Accompagnement au Changement vers la TransitION agro-écologique pour une performance globale des exploitations agricoles, Rapport final scientifique

Frédéric Zahm , Inês Rodrigues , Sydney Girard , Jeanne Angot , Adeline Alonso , et al.
INRAE. 2023, pp.49
Rapport hal-04175492v1
Image document

Making the best of cases by approximation, interpolation and extrapolation

Jean Lieber , Emmanuel Nauer , Henri Prade , Gilles Richard
26th 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

Kilwa

Saba Farès , Yves Gleize , Yann Callot , Maël Crépy , Patrick Ferreira , et al.
PUN - Éditions Universitaires de Lorraine, In press, Archéologie, Espaces, Patrimoines, Gérard Giuliato
Ouvrage (y compris édition critique et traduction) halshs-02513207v1
Image document

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 TAL

Christophe Benzitoun , Chloé Braud , Laurine Huber , David Langlois , Slim Ouni , et al.
3 : Rencontre des Étudiants Chercheurs en Informatique pour le TAL, ATALA; AFCP, pp.1-230, 2020
Proceedings/Recueil des communications hal-02786181v3
Image document

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 internationaux

Christophe Benzitoun , Chloé Braud , Laurine Huber , David Langlois , Slim Ouni , et al.
4 : 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 Systems

Yamine Aït-Ameur , Shin Nakajima , Dominique Méry
Springer Singapore, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6⟩
Ouvrage (y compris édition critique et traduction) hal-02910199v1
Image document

Le lien social dans les bibliothèques universitaires à l’ère des réseaux sociaux numériques.

Maher Slouma , Emmanuelle Chevry Pebayle
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
Image document

Maintaining Diversity in Robot Swarms with Distributed Embodied Evolution

Iñaki Fernández Pérez , Amine Boumaza , François Charpillet
ANTS 2018 - International Conference on Swarm Intelligence, Oct 2018, Rome, Italy
Communication dans un congrès hal-01937119v1
Image document

Les centres d’art contemporain et l’intersectionnalité : enjeux, discours, appropriations (InterCAC)

Rime Fetnan , Louise Barrière , Emmanuelle Bruneel
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 internationales

Benoît Schneider , O. Vecho , Chantal Zaouche Gaudron
Colloque International FAMÉVI "La famille aux différentes étapes de la vie", Jun 2018, Angers, France
Communication dans un congrès hal-02375248v1
Image document

Actes du colloque international et interdisciplinaire de recherche

Camille Dumat , Didier Busca , Sophie Sobanska , Salma Loudiyi , Christine C. Aubry , et al.
2021
Proceedings/Recueil des communications hal-03478540v3
Image document

On the importance of explicit domain modelling in refinement-based modelling design: experiments with Event-B

Yamine Aït-Ameur , Idir Ait-Sadoune , Pierre Castéran , John Paul Gibson , Kahina Hacid , et al.
6th 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
Image document

Impacts des produits phytopharmaceutiques sur la biodiversité et les services écosystémiques. Rapport de l’expertise scientifique collective

Laure Mamy , Stéphane Pesce , Wilfried Sanchez , Marcel Amichot , Joan Artigas , et al.
[Rapport de recherche] INRAE; IFREMER. 2022, 1408 p
Rapport hal-03777257v1

RUC-APS: Enhancing and implementing knowledge based ICT solutions within high Risk and Uncertain Conditions for Agriculture Production Systems

Jorge Hernandez , Martin Mortimer , Edoardo Patelli , Shaofeng Liu , Caroline Drummond , et al.
11th 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
Image document

Certification of Breadth-First Algorithms by Extraction

Dominique Larchey-Wendling , Ralph Matthes
13th 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 Systems

Manamiary Bruno Andriamiarina , Dominique Méry , Neeraj Kumar Singh
Trustworthy 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 journalistiques

Marie Chagnoux , Julien Aligon
Rencontre 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-documentation

Viviane Couzinet , Widad Mustafa El Hadi , Fabrice Papy
Les 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 Composition

Walid Belkhir , Yannick Chevalier , Michael Rusinowitch
SYNASC 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
Image document

Intruder deducibility constraints with negation. Decidability and application to secured service compositions

Tigran Avanesov , Yannick Chevalier , Michael Rusinowitch , Mathieu Turuani
Journal of Symbolic Computation, 2017, 80, pp.4 - 26. ⟨10.1016/j.jsc.2016.07.008⟩
Article dans une revue hal-01405851v1
Image document

Parameters for Epistemic Gossip Problems

Hans Van Ditmarsch , Davide Grossi , Andreas Herzig , Wiebe van Der Hoek , Louwe B. Kuijer
LOFT 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)

Benoit Schneider , Chantal Zaouche Gaudron , Olivier Vecho
Colloque FAMEVI, 2018, Angers (FR), France
Communication dans un congrès hal-04208760v1

Risk assessment of soil-plant transfer of pollutants in urban agriculture

Céline Laurent , Laure Genies , Camille Dumat , Stéphanie Ouvrard , C. Schwartz , et al.
16th International Conference of biochemistry of Trace Elements, Sep 2023, Wuppertal, Germany
Poster hal-04233988v1

Giono. Les Âmes fortes

Sylvie Vignes , Sophie Milcent-Lawson
Editions Atlande, 2016, Clefs concours Lettres, 978-2-35030-398-7
Ouvrage (y compris édition critique et traduction) hal-01503401v1
Image document

Evaluation de la qualité des plantes potagères : guide d’échantillonnage et bases de données

Camille Dumat , Elodie-Denise Chenot , Bertrand Pourrut , Christophe Schwartz , Pierre Leglize , et al.
3. 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.fr

Emmanuel Marty , Nathalie Pignard-Cheynel , Brigitte Sebbah
New Media and Society, 2017, 19 (12), pp.1964-1982. ⟨10.1177/1461444816650641⟩
Article dans une revue hal-01509808v1
Image document

Impacts des produits phytopharmaceutiques sur la biodiversité et les services écosystémiques. Synthèse de l’expertise scientifique collective

Sophie Leenhardt , Laure Mamy , Stéphane Pesce , Wilfried Sanchez , Anne Laure Achard , et al.
INRAE; IFREMER Institut Francais de Recherche pour l'Exploitation de la Mer. 2022, 136 p
Rapport hal-03759553v1