Search - Université de Lorraine Access content directly

Filter your results

86 results
Image document

A simple proof of the completeness of APAL

Philippe Balbiani , Hans van Ditmarsch
Studies in Logic, 2015, 8, pp.65-78
Journal articles 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⟩
Conference papers hal-01668229v1

Guarded Variable Automata over Infinite Alphabets

Walid Belkhir , Yannick Chevalier , Michael Rusinowitch
2013
Preprints, Working Papers, ... hal-00914779v1
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 hal-03478540v3
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⟩
Conference papers 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
Books 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 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 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⟩
Books 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⟩
Journal articles 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
Conference papers hal-01937119v1
Image document

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

Rime Fetnan , Louise Barrière , Emmanuelle Bruneel
2023
Videos 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
Conference papers hal-02375248v1
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⟩
Conference papers 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
Reports hal-03777257v1

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
Reports hal-04175492v1

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
Conference papers 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⟩
Conference papers 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
Book section 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
Conference papers 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⟩
Journal articles 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
Conference papers 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⟩
Journal articles 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
Conference papers hal-03159069v1

Homoparentalité et assistance médicale à la procréation (AMP)

Benoit Schneider , Chantal Zaouche Gaudron , Olivier Vecho
Colloque FAMEVI, 2018, Angers (FR), France
Conference papers 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 communications hal-04233988v1
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
Conference papers 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⟩
Journal articles hal-01509808v1

Giono. Les Âmes fortes

Sylvie Vignes , Sophie Milcent-Lawson
Editions Atlande, 2016, Clefs concours Lettres, 978-2-35030-398-7
Books hal-01503401v1
Image document

Evaluation of environmental contamination by toxic trace elements in Kazakhstan based on reviews of available scientific data

Almagul Baubekova , Ainisa Akindykova , Aigerim Mamirova , Camille Dumat , Stefan Jurjanz
Environmental Science and Pollution Research, 2021, 28 (32), pp.43315-43328. ⟨10.1007/s11356-021-14979-z⟩
Journal articles hal-03275103v2