This book constitutes the refereed proceedings of the 7th International Conference on Computer Science and Mathematics , CMSC 2024, held in Trier, Germany, during October 7–10, 2024.The 17 full and short papers included in this book were carefully reviewed and selected from 26 submissions. They were organized in topical sections as follows: Invited Papers; Tactile Learning: Unplugged Graphs, Trees, and Patterns; Teaching Advanced Concepts Using Tangible Machines; Curricular Desicio...

A rich, narrative explanation of the mathematics that has brought us machine learning and the ongoing explosion of artificial intelligenceMachine learning systems are making life-altering decisions for us: approving mortgage loans, determining whether a tumor is cancerous, or deciding if someone gets bail. They now influence developments and discoveries in chemistry, biology, and physics—the study of genomes, extrasolar planets, even the intricacies of quantum syst...

This open access book brings together the latest developments from industry and research on automated driving and artificial intelligence.Environment perception for highly automated driving heavily employs deep neural networks, facing many challenges. How much data do we need for training and testing? How to use synthetic data to save labeling costs for training? How do we increase robustness and decrease memory usage? For inevitably poor conditions: How do we know that the network...

This open access book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2020, held virtually in September 2020, associated with ECAI 2020, the 24th European Conference on Artificial Intelligence.The 7 revised full papers presented together with 2 invited contributions were reviewed and selected from 9 submissions. The contributions address various issues for knowledge...

Providing the most comprehensive source available, this book surveys the state of the art in artificial intelligence (AI) as it relates to architecture. This book is organized in four parts: theoretical foundations, tools and techniques, AI in research, and AI in architectural practice. It provides a framework for the issues surrounding AI and offers a variety of perspectives. It contains 24 consistently illustrated contributions examining seminal work on AI from around the world, includin...

This book constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA 2014, held in Corfu, Greece, in October 2014, and the 5th International Symposium, ISoLA 2012, held in Heraklion, Crete, Greece, in October 2012.The 9 revised full papers presented were carefully reviewed and selected from 22 submissions. This volume combines the post-conference proceedings of the 2014 Doctoral Symposium...

This book constitutes the proceedings of the 5th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2015, held as part of ESWeek 2015, in Amsterdam, The Netherlands, in October 2015.The 10 papers presented in this volume were carefully reviewed and selected from 13 submissions. They broadly interpret, from a diverse set of disciplines, the modeling, simulation, and evaluation of cyber-physical systems.

The multi-volume set LNAI 12975 until 12979 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2021, which was held during September 13-17, 2021. The conference was originally planned to take place in Bilbao, Spain, but changed to an online event due to the COVID-19 pandemic.The 210 full papers presented in these proceedings were carefully reviewed and selected from a total of 869 submissions.T...

The two-volume set LNCS 10671 and 10672 constitutes the thoroughly refereed proceedings of the 16th International Conference on Computer Aided Systems Theory, EUROCAST 2017, held in Las Palmas de Gran Canaria, Spain, in February 2017.The 117 full papers presented were carefully reviewed and selected from 160 submissions. The papers are organized in topical sections on: pioneers and landmarks in the development of information and communication technologies; systems theory, socio-eco...

This book introduces Meaningful Purposive Interaction Analysis (MPIA) theory, which combines social network analysis (SNA) with latent semantic analysis (LSA) to help create and analyse a meaningful learning landscape from the digital traces left by a learning community in the co-construction of knowledge.The hybrid algorithm is implemented in the statistical programming language and environment R, introducing packages which capture – through matrix algebra – elements of learners’ ...

The 9 papers presented in this book are revised and significantly extended versions of papers submitted to three related workshops: The 5th International Workshop on Mining Ubiquitous and Social Environments, MUSE 2014, and the First International Workshop on Machine Learning for Urban Sensor Data, SenseML 2014, which were held on September 15, 2014, in conjunction with the European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases...

This volume constitutes the refereed proceedings of the workshops held at the 35th International Conference on Database and Expert Systems Applications, DEXA 2024, which took place in Naples, Italy, in August 2024.The papers included in this book stem from the following workshops:- 9th International Workshop on Cyber-Security and Functional Safety inCyber-Physical Systems (IWCFS 2024),- 4th International Workshop on AI SystemEngineering: Math, Modelling and Software...