Skip to Main content Skip to Navigation

hal-02972664v1  Book sections
Nicolas SimonazziJean-Marc SalottiCaroline DuboisDominique Seminel. Emotion Detection Based on Smartphone Using User Memory Tasks and Videos
Tareq Ahram; Redha Taiar; Karine Langlois; Arnaud Choplin. Advances in Intelligent Systems and Computing 1253, Human Interaction, Emerging Technologies and Future Applications III, proceedings of the 3rd International Conference on Human Interaction and Emerging Technologies: Future Applications (IHIET 2020), August 27–29, 2020, Paris, France, 1253, Springer, pp.244-249, 2021, AISC, ⟨10.1007/978-3-030-55307-4_37⟩
hal-03250787v1  Book sections
Yamine Aït-AmeurRégine LaleauDominique MéryNeeraj Kumar Singh. Towards Leveraging Domain Knowledge in State-Based Formal Methods
Raschke, Alexander; Riccobene, Elvinia; Schewe, Klaus-Dieter. Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Brger on the Occasion of His 75th Birthday", Lecture Notes in Computer Science (12750), Springer, pp.1-13, 2021, Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Brger on the Occasion of His 75th Birthday, 978-3-030-76020-5. ⟨10.1007/978-3-030-76020-5_1⟩
hal-02269640v1  Book sections
Maxime AmblardMichel MusiolManuel Rebuschi. Discourse coherence - From psychology to linguistics and back again
Amblard, Maxime; Musiol, Michel; Rebuschi, Manuel. (In)coherence of discourse - Formal and Conceptual issues of Language, Springer, 2021
hal-02269631v1  Book sections
Maria BoritchevMaxime Amblard. Picturing Questions and Answers - a formal approach to SLAM
Amblard, Maxime; Musiol, Michel; Rebuschi, Manuel. (In)coherence of discourse - Formal and Conceptual issues of Language, Springer, 2021, (In)coherence of discourse Formal and Conceptual issues of Language
hal-03237653v1  Book sections
Raja ChatilaMohamed ChetouaniRenaud DebaillyKarën FortFerdinand Dhombres et al.  L’éthique de la recherche en temps de pandémie : un retour d’expérience
Pierre-Marie Chauvin et Annick Clement. Sorbonnavirus - Regards sur la crise du coronavirus, 2021
hal-03242055v1  Book sections
Nicolas P. Rougier. Préface
Xavier Olive. Programmation Python avancée, Dunod, 2021, 9782100815982
hal-03215280v1  Book sections
Patrick TaillandierNicolas SalliouRallou Thomopoulos. Coupling Agent-Based Models and Argumentation Framework to Simulate Opinion Dynamics: Application to Vegetarian Diet Diffusion
Ahrweiler P.; Neumann M. Advances in Social Simulation : Proceedings of the 15th Social Simulation Conference: 23–27 September 2019, Springer, pp.341-353, 2021, 978-3-030-61502-4. ⟨10.1007/978-3-030-61503-1_33⟩
hal-03251445v1  Book sections
Abir DerouicheAbdesslem LayebZineb Habbas. Mining Interesting Association Rules with a Modified Genetic Algorithm
Mediterranean Conference on Pattern Recognition and Artificial Intelligence, pp.274-285, 2021, ⟨10.1007/978-3-030-71804-6_20⟩
hal-02925156v1  Book sections
Xavier Pennec. Statistical analysis of organs' shapes and deformations: the Riemannian and the affine settings in computational anatomy
Jean-François Uhl; Joaquim Jorge; Daniel Simoes Lopes; Pedro F Campos. Digital Anatomy - Applications of Virtual, Mixed and Augmented Reality, Springer Nature, In press, Human–Computer Interaction Series
hal-03211031v1  Book sections
Bertrand BraunschweigMalik Ghallab. Reflections on AI for Humanity: Introduction
Reflections on Artificial Intelligence for Humanity Editors: Braunschweig, Bertrand, Ghallab, Malik (Eds.), pp.1-12, 2021, 978-3-030-69128-8. ⟨10.1007/978-3-030-69128-8⟩
hal-02269622v1  Book sections
Maxime AmblardManuel RebuschiMichel Musiol. Corpus et pathologie mentale : particularités dans la constitution et l'analyse d'une ressource
Manuel Rebuschi; Christophe Benzitoun. Les corpus en sciences humaines et sociales, Presses Universitaires de Nancy, 2021
hal-03129791v1  Book sections
Iñaki EsnaolaSamir PerlazaKe Sun. Data-Injection Attacks
Advanced Data Analytics for Power Systems, 2021
hal-02957270v1  Book sections
Margarida RomeroThierry ViévilleLaurent Heiser. Analyse d’activités d’apprentissage médiatisées en robotique pédagogique
B. Alberto; J.Thievenaz. Traité de méthodologie de la recherche en Sciences de l’Éducation et de la Formation., A paraître
hal-03131685v1  Book sections
Shridhar DandinMireille Ducassé. ComVisMD—Compact 2D Visualization of Multidimensional Data: Experimenting with Two Different Datasets
H. Sharma et al. Intelligent Learning for Computer Vision, 61, Springer Nature Singapore Pte Ltd, 2021, Lecture Notes on Data Engineering and Communications Technologies
hal-03094873v1  Book sections
Madalena ChavesHidde de Jong. Qualitative modeling, analysis, and control of synthetic regulatory circuits
Filippo Menolascina. Synthetic Gene Circuits: Methods and Protocols, 2229, Humana Press, pp.1-40, In press, Methods in Molecular Biology, ⟨10.1007/978-1-0716-1032-9_1⟩
hal-02540067v1  Book sections
Clément CancèsJerome DroniouCindy GuichardGianmarco ManziniManuela Bastidas Olivares et al.  Error estimates for the gradient discretisation of degenerate parabolic equation of porous medium type
Daniele Di Pietro; Roland Masson; Luca Formaggia. Polyhedral methods in geosciences, Springer, In press, SEMA-SIMAI
hal-03133790v1  Book sections
Wenbo ZhouPhilippe DagueLei LiuLina YeFatiha Zaïdi. A Coloured Petri Nets Based Attack Tolerance Framework
the 27th Asia-Pacific Software Engineering Conference, In press
hal-01948934v1  Book sections
Sophie Dabo-NiangCristian PredaVincent Vandewalle. Clustering spatial functional data
J. Mateu and R. Giraldo. Geostatistical Functional Data Analysis : Theory and Methods. Editors: Jorge Mateu, Ramon Giraldo, John Wiley and Sons, Chichester. ISBN : 978-1-119-38784-8, 2021, Geostatistical Functional Data Analysis : Theory and Methods
hal-02113248v2  Book sections
Pierre DragicevicYvonne JansenAndrew Vande Moere. Data Physicalization
Jean Vanderdonckt. Springer Handbook of Human Computer Interaction, Springer, 2021, Springer Reference, ISBN 978-3-319-73228-2
hal-02401399v1  Book sections
Michael ChapwanyaYves Dumont. Application of Mathematical Epidemiology to crop vector-borne diseases. The cassava mosaic virus disease case
Miranda I. Teboh-Ewungkem; Gideon Akumah Ngwa. Infectious Diseases and our Planet, 7, Springer, 2021, Mathematics of Planet Earth, 978-3-030-50825-8. ⟨10.1007/978-3-030-50826-5_4⟩
hal-03128409v1  Book sections
Frédérique ClémentPascale CrepieuxRomain YvinecNathalie GallayLaurine Gagniac et al.  The Follicle-Stimulating Hormone Signaling Network in Gonadal Cells.
Cellular Endocrinology in Health and Disease, Second Edition, In press
hal-03199748v1  Book sections
Dominique MérySouad Kherroubi. Contextual Dependency in State-based Modelling
Implicit and explicit semantics integration in proof based developments of discrete systems, Springer, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6_9⟩
hal-03085541v1  Book sections
Marta AvalosHélène TouchaisMarcela Henríquez-Henríquez. Optimising criteria for manual smear review following automated blood count analysis: A machine learning approach
Ajith Abraham; Hide Sasaki; Ricardo Rios; Niketa Gandhi; Umang Singh; Kun Ma. Proceedings of the 11th International Conference on Innovations in Bio-Inspired Computing and Applications (IBICA 2020) held during December 16-18, 2020, 1372, Springer, 2021, Advances in Intelligent Systems and Computing