Search

This book constitutes the refereed proceedings of the 6th International Conference on Tools and Methods of Program Analysis, TMPA 2021, held in Tomsk, Russia, during November 25–27, 2021.The 15 full papers and 3 short papers included in this book were carefully reviewed and selected from 45 submissions. They focus on various aspects of application of modern methods of data science to the analysis of software quality.

This book contains the revised and extended versions of selected papers from the 15th International Conference on Agents and Artificial Intelligence, ICAART 2023, held in Lisbon, Portugal, during February 22–24, 2023. The 23 full papers included in this book were carefully reviewed and selected from 306 submissions. The conference was organized in 2 tracks as follows: One track focuses on Agents, Multi-Agent Systems and Software Platforms, Distributed Problem Solving and Distributed AI in general. The other track focuses mainly on Artificial Intelligence, Knowledge Representation, Planning, Learning, Scheduling, Perception Reactive AI Systems, and Evolutionary Computing and other topics related to Intelligent Systems and Computational Intelligence.

This book constitutes the revised selected papers of the 5th International Workshop on Dynamic Logic. New Trends and Applications, DaLí 2023, held in Tbilisi, Georgia, during September 15–16, 2023. The 8 full papers in this book were carefully reviewed and selected from 10 submissions. They deal with new trends and applications in the area of Dynamic Logic.

This book constitutes the refereed post proceedings of the 18th International Conference on Advances in Computer Games, ACG 2023, held online, during November 28–30, 2023.The 14 full papers included in this book were carefully reviewed and selected from 29 submissions. They were organized in topical sections as follows: Chess and its Variants, Solving Games, Board Games, Card Games, Player Investigation, Math, Games, and Puzzles.

This book constitutes the refereed proceedings of the 31st International Conference on Inductive Logic Programming, ILP 2022, held during September 28-30, 2022.The 11 regular papers presented in this book were carefully reviewed and selected from 26 submissions The papers in these proceedings represent the diversity and vitality in present ILP research, including statistical relational learning, transfer learning, scientific reasoning, learning temporal models, synthesis and planning, and argumentation and language.

This is an open access book.2023 International Conference on Data Science, Advanced Algorithm and Intelligent Computing (DAI 2023) will take place on November 24–26, 2023 in Shanghai, China. DAI 2023 will provide an insight into the unique world stemming from the interaction between the fields of data science, advanced algorithm and intelligent computing. DAI 2023 will provide an international technical forum for experts from industry and academia to exchange ideas and present results of on-going research in the areas of data science, advanced algorithm and intelligent computing.​DAI 2023 focuses on high quality presentations and papers that address contemporary issues on fundamental research leading to new methods, or adaptation of existing methods for new applications related to the topics of data science, advanced algorithm and intelligent computing. It will feature keynote speeches given by renowned scholars, and oral/poster presentations with broad coverage and popular topics. Accepted papers will be included in the DAI 2023 Conference Proceedings, which will be subject to independent peer-review procedures for quality.

This LNCS conference volume constitutes the proceedings of the MICCAI Workshop GRAIL 2023 and MICCAI Challenge OCELOT 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, September 23, and October 4, 2023. The 9 full papers (GRAIL 2023) and 6 full papers (OCELOT 2023) included in this volume were carefully reviewed and selected from GRAIL 14 (GRAIL 2023) and 6 (OCELOT 2023) submissions. The conference GRAIL 2023 a wide set of methods and application and OCELOT 2023 focuses on the cover a wide range of methods utilizing tissue information for better cell detection, in the sense of training strategy, model architecture, and especially how to model cell-tissue relationships.

This book constitutes the post-conference proceedings of the First International Conference on Advanced Computational Applications of Geometric Algebra, ICACGA 2022, held in Denver, CO, USA, during October 2-5, 2022. The 18 full papers presented in this book together with 12 abstracts of invited talks were carefully reviewed and selected from 24 submissions. The papers are grouped in the following topical sections: geometric applications; computer science applications; technological applications; and applications to physics and mathematics.

This book constitutes the proceedings of the Second International Conference on Human and Artificial Rationalities, HAR 2023, which took place in Paris, France, in September 2023. The 18 full and 5 short papers included in this book were carefully reviewed and selected from 39 submissions. They were organized in topical sections as follows: Human and artificial thinking; human thinking and reasoning; neuropsychology and interaction; artificial agents and interaction; and applied reasoning. This volume also contains 2 invited talks in full-paper length.

This book constitutes the proceedings of the 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, held in Cochem, Germany, in February 2024. The 33 full papers presented in this book were carefully reviewed and selected from 81 submissions. The book also contains one invited talk in full paper length. They focus on original research and challenges in foundations of computer science including algorithms, AI-based methods, computational complexity, and formal models.

The two-volume proceedings constitutes the refereed proceedings of the 24th International Conference on Progress in Cryptology, INDOCRYPT 2023, Goa, India, in December 2023. The 26 full papers were carefully reviewed and selected from 74 submissions. They are organized in topical sections as follows: Part One: Symmetric-key cryptography, Hash functions, Authenticated Encryption Modes; Elliptic curves, Zero-knowledge proof, Signatures; Attacks.Part Two: Secure computation, Algorithm hardness, Privacy; Post-quantum cryptography.

The two-volume proceedings constitutes the refereed proceedings of the 24th International Conference on Progress in Cryptology, INDOCRYPT 2023, Goa, India, in December 2023. The 26 full papers were carefully reviewed and selected from 74 submissions. They are organized in topical sections as follows: Part One: Symmetric-key cryptography, Hash functions, Authenticated Encryption Modes; Elliptic curves, Zero-knowledge proof, Signatures; Attacks. Part Two: Secure computation, Algorithm hardness, Privacy; Post-quantum cryptography.

This volume constitutes the refereed proceedings presented at the international workshops of the 26th European Conference on Artificial Intelligence, ECAI 2023, which was held in Kraków, Poland, in September-October 2023. The papers in this volume were presented at the following workshops: XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI.

This volume constitutes the refereed proceedings presented at the international workshops of the 26th European Conference on Artificial Intelligence, ECAI 2023, which was held in Kraków, Poland, in September-October 2023. The papers in this volume were presented at the following workshops: XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI.

This is an open access book.The 2022 3rd International Conference on Artificial Intelligence and Education（ICAIE 2022） will be held in Chengdu, China during June 24-26, 2022. The meeting focused on the new trends in the development of'artificial intelligence'and'education'under the new situation, and jointly discussed how to empower and promote the high-quality development of'artificial intelligence'and'education'. An ideal platform to share views and experiences with industry experts.The conference invites experts and scholars in the field to conduct wonderful exchanges based on their own research results based on the development of the times. The themes are around artificial intelligence technology and applications; intelligent and knowledge-based systems; information-based education; intelligent learning; advanced information theory and neural network technology ; software computing and algorithms; intelligent algorithms and computing and many other topics.

This conference LNAI 14502 volume constitutes the workshop proceedings of 22nd Mexican International Conference on Artificial Intelligence, held in November 2023 in Mérida, Yucatán, México. The total of 34 papers presented in this volume was carefully reviewed and selected from 54 submissions.The proceedings of MICAI 2023 workshops are structured into three sections: – WILE 2023: 16th Workshop on Intelligent Learning Environments – HIS 2023: 16th Workshop of Hybrid Intelligent Systems – CIAPP 2023: 5th Workshop on New Trends in Computational Intelligence and Applications

This book focuses in detail on data science and data analysis and emphasizes the importance of data engineering and data management in the design of big data applications. The author uses patterns discovered in a collection of big data applications to provide design principles for hypothesis generation, integrating big data processing and management, machine learning and data mining techniques. The book proposes and explains innovative principles for interpreting hypotheses by integrating micro-explanations (those based on the explanation of analytical models and individual decisions within them) with macro-explanations (those based on applied processes and model generation). Practical case studies are used to demonstrate how hypothesis-generation and -interpretation technologies work. These are based on “social infrastructure” applications like in-bound tourism, disaster management, lunar and planetary exploration, and treatment of infectious diseases. The novel methods and technologies proposed in Hypothesis Generation and Interpretation are supported by the incorporation of historical perspectives on science and an emphasis on the origin and development of the ideas behind their design principles and patterns. Academic investigators and practitioners working on the further development and application of hypothesis generation and interpretation in big data computing, with backgrounds in data science and engineering, or the study of problem solving and scientific methods or who employ those ideas in fields like machine learning will find this book of considerable interest.

Uncover the secrets of cutting-edge research in “Infrared Small Target Detection,” a crucial resource that delves into the dynamic world of infrared imaging and detection algorithms. This comprehensive book is an indispensable gem for the research community, offering a profound introduction to the theory, methods, and algorithms underlying infrared small object detection. As an invaluable guide, this book explores diverse models and categories of infrared small object detection algorithms, providing meticulous descriptions and comparisons of their strengths and limitations. Perfectly tailored for researchers, practitioners, and students with a passion for infrared imaging and detection, this book equips readers with the necessary knowledge to embark on groundbreaking investigations in this field.Readers can particularly be drawn to the book's methods, results, and topics, encompassing diverse categories of infrared small object detection algorithms and their corresponding advantages and disadvantages. The book also imparts foundational knowledge in mathematical morphology, tensor decomposition, and deep learning, enabling readers to grasp the underlying principles of these advanced algorithms. Experience the key benefits of “Infrared Small Target Detection” as readers gain a profound understanding of theory, methods, and algorithms tailored to infrared small object detection. The comprehensive descriptions and comparisons of various algorithm categories empower readers to select the perfect algorithms for their specific applications. Unlock the potential of this groundbreaking resource with a basic understanding of mathematics, statistics, and image processing. Some familiarity with infrared imaging and detection proves advantageous in fully immersing oneself in the wealth of knowledge presented within these pages.

This is an open access book. The focus of the conference is to provide a unique platform for exchange of ideas and synergy among researchers, academicians and industrial experts across the globe belonging to emerging electrical engineering domains. It also provides a premier platform for the people to present and discuss the most recent innovations and solutions in solving complex and challenging problems related to intelligent electrical engineering systems. Such a blend of various research-oriented minds will lead to productive results and further advancements in electrical engineering research.The book invites submission of novel, recent area of innovation and previously unpublished research work/idea in the field of modern applications of artificial intelligence techniques to electrical engineering systems. The applications of artificial intelligence related to various fields of electrical engineering are mentioned in the conference tracks. The conference is meant to discuss the challenges and applications of latest evolutionary computing techniques, neural networks, fuzzy logic, machine learning and data analytics in the fields of power systems, power electronics, robotics, automation, instrumentation, control systems, mechatronics and photonics. It provides a platform to the students, researchers, scientists, faculty members, professionals and practitioners to interact, present and get innovative ideas in the field of electrical engineering. As a part of AITEES-2022, many keynote sessions are planned to enhance the research and innovation skills of participants. Eminent professors from academic institutions and world renowned industrial experts from India and abroad will deliver keynote sessions.

This is an open access book.We are delighted to invite you to participate in the 2023 1st International Conference on Advanced Informatics and Intelligent Information Systems (ICAI3S 2023), which will be held in Yogyakarta, Indonesia from November 29 to 30, 2023. ICAI3S 2023 is an international seminar that carries the theme'Leveraging Intelligent Information System and Advanced Informatics in Empowering Society 5.0'. This international seminar is organized by the Department of Informatics, Faculty of Industrial Engineering, Universitas Pembangunan Nasional Veteran Yogyakarta with a technical sponsorship form IEEE Indonesia Section.Society 5.0 is a human-centered society that balances economic advancement with the resolution of social problems by a system that highly integrates cyberspace and physical space. Society 5.0 achieves a high degree of convergence between cyberspace (virtual space) and physical space (real space). In Society 5.0, a huge amount of information from sensors in physical space is accumulated in cyberspace. In cyberspace, this big data is analyzed by artificial intelligence (AI), and the analysis results are fed back to humans in physical space in various forms. Interconnectivity is the key here, in order for this processes to brings new value to industry and society in ways not previously possible. New circumstances and lifestyles will undoubtedly have a significant impact on the development of global society in the future. In this seminar, participants are expected to gain an understanding of the concept and implementation of Advanced Informatics and Intelligent Information Systems in human-centered society, so that they can play a major role in the empowerement of human-centered society towards the Society 5.0.ICAI3S 2023 is expected to be attended by various stakeholders, including academics, practitioners, industry players, government officials, and end-users. Furthermore, this seminar is expected to serve as a platform for exchanging information and knowledge, particularly related to research conducted by academics. The issues discussed are related to the application of Advanced Informatics and Intelligent Information Systems in empowering Society 5.0. The diverse perspectives from various stakeholders are expected to stimulate comprehensive and intensive discussions to develop new concepts and discourses that support the Society 5.0 empowerment and future periods in relation to the implementation of new digital habits that offer various conveniences and challenges in various fields.ICAI3S 2023 will organize a series of plenary/main seminar sessions and parallel panel sessions for each track offered. Please join us for ICAI3S 2023 to create indelible memories for a lifetime!