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
|
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
|
||
Le projet ACTION : Accompagnement au Changement vers la TransitION agro-écologique pour une performance globale des exploitations agricoles, Rapport final scientifiqueINRAE. 2023, pp.49
Rapport
hal-04175492v1
|
|||
|
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
|
||
|
Listen to me! Public announcements to agents that pay attention - or not4th International Workshop on Logic, Rationality and Interaction (LORI IV), Oct 2013, Hangzhou, China. pp.96-109, ⟨10.1007/978-3-642-40948-6_8⟩
Communication dans un congrès
hal-01187760v1
|
||
|
Quantifying over Asynchronous Information ChangeInternational Conference on Advances in Modal Logic (AiML 2020), University of Helsinki, Finland, Aug 2020, Helsinki, Finland. pp.33-52
Communication dans un congrès
hal-02936428v1
|
||
|
Subset space logic with arbitrary announcements5th Indian Conference on Logics and its Applications (ICLA 2013), Jan 2013, Chennai, India. pp.233-244, ⟨10.1007/978-3-642-36039-8_21⟩
Communication dans un congrès
hal-01202518v1
|
||
|
Announcements to Attentive AgentsJournal of Logic, Language and Information, 2015, vol. 25 (n° 1), pp. 1-35. ⟨10.1007/s10849-015-9234-3⟩
Article dans une revue
hal-01585237v1
|
||
RTNS '19: Proceedings of the 27th International Conference on Real-Time Networks and SystemsACM. RTNS 2019: 27th International Conference on Real-Time Networks and Systems, Nov 2019, Toulouse, France. ACM Press, 2019, RTNS '19: Proceedings of the 27th International Conference on Real-Time Networks and Systems, 978-1-4503-7223-7. ⟨10.1145/3356401⟩
Proceedings/Recueil des communications
hal-02972213v1
|
|||
|
Formal Ontology Driven Model Refactoring2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS), Dec 2018, Melbourne, Australia. pp.136-145, ⟨10.1109/ICECCS2018.2018.00022⟩
Communication dans un congrès
hal-02353400v1
|
||
|
Tirer parti au mieux des cas sources en raisonnement à partir de cas : approximation, interpolation et extrapolationJIAF 2018 - 12èmes Journées d'Intelligence Artificielle Fondamentale, Jun 2018, Amiens, France. pp.1-9
Communication dans un congrès
hal-01906519v1
|
||
|
An introduction to multichannel NMF for audio source separationAudio Source Separation, Springer, 2018, Signals and Communication Technology
Chapitre d'ouvrage
hal-01631187v2
|
||
|
Consideration of decision-making processes in agent-based models of social-ecological systems8th International Environmental Modelling and Software Society (iEMSs 2016), Open Archive TOULOUSE Archive Ouverte., Jul 2016, Toulouse, France. pp. 1083-1090
Communication dans un congrès
hal-01739991v1
|
||
|
Information Systems for Crisis Response and Management in Mediterranean Countries: First International Conference, ISCRAM-med 2014, Toulouse, France, October 15-17, 2014. ProceedingsChihab Hanachi; Frédérick Bénaben; François Charoy. First International Conference on Information Systems for Crisis Response and Management in Mediterranean Countries (ISCRAM-Med 2014), Oct 2014, Toulouse, France. 196, Springer, 2014, Lecture Notes in Business Information Processing book series (LNBIP), 978-3-319-11817-8. ⟨10.1007/978-3-319-11818-5⟩
Proceedings/Recueil des communications
hal-01076444v1
|
||
|
Bibliometric delineation of scientific fieldsWolfgang Glänzel; Henk F. Moed; Ulrich Schmoch; Mike Thelwall. Handbook of Science and Technology Indicators, Springer International Publishing, pp.25-68, 2019, Handbook of Science and Technology Indicators, 978-3-030-02510-6. ⟨10.1007/978-3-030-02511-3_2⟩
Chapitre d'ouvrage
hal-01942528v1
|
||
|
Douze ans de lives au Monde : la progressive stabilisation d’un format emblématique du journalisme numériqueLes Enjeux de l'information et de la communication, 2022, Vingt-cinq ans d’information en ligne : une exploration des transformations structurelles des médias, 23 (1), pp.53-66. ⟨10.3917/enic.032.0053⟩
Article dans une revue
hal-04342105v1
|
||
Actualité de la question interdisciplinaire en sciences de l'information et de la communication. Expériences de recherches situéesColloque international L'interdisciplinarité en question dans les Sciences de l'Information et de la Communication, Nov 2012, Toulouse, France. 32, Presses universitaires de Nancy - Éditions universitaires de Lorraine, pp.232, 2016, Questions de communication, série actes, 978-2-8143-0272-3
Proceedings/Recueil des communications
hal-01314480v1
|
|||
|
Satisfiability of General Intruder Constraints with and without a Set ConstructorJournal of Symbolic Computation, 2017, Special issue: SI: Program Verification, 80, pp.27-61. ⟨10.1016/j.jsc.2016.07.009⟩
Article dans une revue
hal-01405842v1
|