- Sergio Mover:
Abstraction Techniques for Symbolic Model Checking of Infinite-state Discrete and Continuous Systems. Polytechnic Institute of Paris, Palaiseau, France, 2024 - Adel Noureddine:
Observing and Understanding Green Software Ecosystems. University of Pau and Pays de l'Adour, France, 2024 - Anna Pappa:
Contributions à la création de corpus et de modèles d'apprentissage profond pour les données textuelles multilingues. (Contributions to corpus creation and deep learning models for multilingual textual data). University Paris 8, France, 2024 - Verónika Peralta:
Leveraging users' behavior, intentions and interests for enhancing Exploratory Data Analysis and Data Narration. University of Tours, France, 2024 - Clément Quinton:
Evolving, Adapting and Optimizing Configurable Software Systems. (Faire évoluer, adapter et optimiser des logiciels configurables). University of Lille, France, 2024 - Lina M. Rojas-Barahona:
Talking to Machines: do you read me? (Parler aux Machines: Me suivez-vous?). University of Lorraine, France, 2024 - Thomas Seiller:
Mathematical Informatics: Outline of a mathematical theory of computer science. University Sorbonne Paris Nord, France, 2024 - Franck Silvestre:
Évaluation formative et génération de feedbacks soutenues par la technologie. Toulouse Capitole University, France, 2024 - Pierre Sutra:
Contributions to the practice and theory of state-machine replication. (Contributions pratiques et théoriques à la réplication de machine à états). Institut Polytechnique Paris, France, 2024 - Nicolas Tremblay:
Graph signals, structures and sketches. Grenoble Alpes University, France, 2024 - Vineeth S. Varma:
Control, optimization and games for networked dynamical systems. University of Lorraine, Nancy, France, 2024 - Mohammad Amir Khusru Akhtar, Mohit Kumar, Anand Nayyar:
Towards Ethical and Socially Responsible Explainable AI - Challenges and Opportunities. Springer 2024, ISBN 978-3-031-66488-5, pp. 1-363 - Mohamed Ahmed Alloghani:
Artificial Intelligence and Sustainability. Springer 2024, ISBN 978-3-031-45213-0, pp. 1-210 - Gennaro Ariante, Umberto Papa:
Embedded Platforms for UAS Landing Path and Obstacle Detection II - Navigation Support Systems for Urban Air Mobility Operations, Second Edition. Springer 2024, ISBN 978-3-031-59753-4, pp. 1-108 - Jacob Benesty, Gongping Huang, Jingdong Chen, Ningning Pan:
Microphone Arrays. Springer 2024, ISBN 978-3-031-36973-5, pp. 1-223 - Eike Best, Raymond R. Devillers:
Petri Net Primer - A Compendium on the Core Model, Analysis, and Synthesis. Springer 2024, ISBN 978-3-031-48277-9, pp. 1-504 - Pramod Chandra P. Bhatt, Naresh Kumar Sehgal:
Project Management in Cloud Applications. Springer 2024, ISBN 978-3-031-53889-6, pp. 1-176 - Svetlana Bialkova:
The Rise of AI User Applications - Chatbots Integration Foundations and Trends. Springer 2024, ISBN 978-3-031-56470-3, pp. 3-213 - Francesco Bianconi:
Data and Process Visualisation for Graphic Communication - A Hands-on Approach with Python. Springer 2024, ISBN 978-3-031-57050-6, pp. 3-191 - Christopher M. Bishop, Hugh Bishop:
Deep Learning - Foundations and Concepts. Springer 2024, ISBN 978-3-031-45467-7, pp. 1-607 - Christian Blum:
Construct, Merge, Solve & Adapt - A Hybrid Metaheuristic for Combinatorial Optimization. Springer 2024, ISBN 978-3-031-60102-6, pp. 1-179 - Egon Börger, Vincenzo Gervasi:
Structures of Computing - A Guide to Practice-Oriented Theory. Springer 2024, ISBN 978-3-031-54357-9, pp. 1-281 - Sebastian Bruch:
Foundations of Vector Retrieval. Springer 2024, ISBN 978-3-031-55181-9, pp. 3-185 - Giorgio Buttazzo:
Hard Real-Time Computing Systems - Predictable Scheduling Algorithms and Applications, 4th Edition. Springer 2024, ISBN 978-3-031-45409-7, pp. 1-492 - Longbing Cao:
Global COVID-19 Research and Modeling - A Historical Record, 1. Springer 2024, ISBN 978-981-99-9914-9, pp. 1-342 - Francisco Castillo:
Managing Information Technology, Second Edition. Springer 2024, ISBN 978-3-031-39015-9, pp. 1-295 - Tin-Chih Toly Chen:
Explainable Ambient Intelligence (XAmI) - Explainable Artificial Intelligence Applications in Smart Life. Springer 2024, ISBN 978-3-031-54934-2, pp. 1-109 - Qingfeng Chen:
Association Analysis Techniques and Applications in Bioinformatics. Springer 2024, ISBN 978-981-99-8250-9, pp. 1-388 - Jinyin Chen, Ximin Zhang, Haibin Zheng:
Attacks, Defenses and Testing for Deep Learning. Springer 2024, ISBN 978-981-97-0424-8, pp. 5-399 - Shenghui Cheng:
Web 3.0: Concept, Content and Context. Springer 2024, ISBN 978-981-99-6318-8, pp. 1-217