Dieser Tagungsband enthält die Beiträge des 31. Workshop Computational Intelligence. Die Schwerpunkte sind Methoden, Anwendungen und Tools für Fuzzy-Systeme, Künstliche Neuronale Netze, Evolutionäre Algorithmen und Data-Mining-Verfahren sowie der Methodenvergleich anhand von industriellen und Benchmark-Problemen. - The proceedings of the 31st Workshop on Computational Intelligence focus on methods, applications, and tools for fuzzy systems, artificial neural networks, deep learning, system identification, and data mining techniques.

Die Proceedings zur Konferenz „Formal Methods in Computer-Aided Design 2024“ geben aktuelle Einblicke in ein spannendes Forschungsfeld. Zum fünften Mal erscheinen die Beiträge der Konferenzreihe „Formal Methods in Computer-Aided Design“ (FMCAD) als Konferenzband bei TU Wien Academic Press. Der aktuelle Band der seit 2006 jährlich veranstalteten Konferenzreihe präsentiert in 35 Beiträgen neueste wissenschaftliche Erkenntnisse aus dem Bereich des computergestützten Entwerfens. Die Beiträge behandeln formale Aspekte des computergestützten Systemdesigns einschließlich Verifikation, Spezifikation, Synthese und Test. Die FMCAD-Konferenz findet im Oktober 2024 in Prag, Tschechische Republik, statt. Sie gilt als führendes Forum im Bereich des computer-aided design und bietet seit ihrer Gründung Forschenden sowohl aus dem akademischen als auch dem industriellen Umfeld die Möglichkeit, sich auszutauschen und zu vernetzen.

This book includes original unpublished contributions presented at the International Conference on Data Analytics and Management (ICDAM 2023), held at London Metropolitan University, London, UK, during June 2023. The book covers the topics in data analytics, data management, big data, computational intelligence, and communication networks. The book presents innovative work by leading academics, researchers, and experts from industry which is useful for young researchers and students. The book is divided into four volumes.

The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system testing.

This book presents high-quality, peer-reviewed papers from the International Conference on “Innovations in Computational Intelligence and Computer Vision (ICICV 2021),” hosted by Manipal University Jaipur, Rajasthan, India, on August 5–6, 2021. Offering a collection of innovative ideas from researchers, scientists, academics, industry professionals and students, the book covers a variety of topics, such as artificial intelligence and computer vision, image processing and video analysis, applications and services of artificial intelligence and computer vision, interdisciplinary areas combining artificial intelligence and computer vision, and other innovative practices.

The present book brings together experience, current work, and promising future trends associated with distributed computing, artificial intelligence, and their application in order to provide efficient solutions to real problems. DCAI 2023 is a forum to present applications of innovative techniques for studying and solving complex problems in artificial intelligence and computing areas. This year’s technical program presents both high quality and diversity, with contributions in well-established and evolving areas of research. Specifically, 108 papers were submitted, by authors from 31 different countries representing a truly “wide area network” of research activity. The DCAI’23 technical program has selected 50 full papers in the Special Sessions (ASET, AIMPM, AI4CS, CLIRAI, TECTONIC, PSO-ML, SmartFoF, IoTalentum) and, as in past editions, it will be special issues in ranked journals. This symposium is organized by the LASI and Centro Algoritmi of the University of Minho (Portugal). The authors like to thank all the contributing authors, the members of the Program Committee, National Associations (AEPIA, APPIA), and the sponsors (AIR Institute).