Search

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 open access book presents the mathematical methods for huge data and network analysis.The automotive industry has made steady progress in technological innovations under the names of Connected Autonomous-Shared-Electric (CASE) and Mobility as a Service (MaaS). Needless to say, mathematics and informatics are important to support such innovations. As the concept of cars and movement itself is diversifying, they are indispensable for grasping the essence of the future mobility society and building the foundation for the next generation. Based on this idea, Research unit named'Advanced Mathematical Science for Mobility Society'was established at Kyoto University as a base for envisioning a future mobility society in collaboration with researchers led by Toyota Motor Corporation and Kyoto University.This book contains three main contents.1. Mathematical models of flow2. Mathematical methodsfor huge data and network analysis3. Algorithm for mobility societyThe first one discusses mathematical models of pedestrian and traffic flow, as they are important for preventing accidents and achieving efficient transportation. The authors mainly focus on global dynamics caused by the interaction of particles. The authors discuss many-body particle systems in terms of geometry and box-ball systems. The second one consists of four chapters and deals with mathematical technologies for handling huge data related to mobility from the viewpoints of machine learning, numerical analysis, and statistical physics, which also includes blockchain techniques. Finally, the authors discuss algorithmic issues on mobility society. By making use of car-sharing service as an example of mobility systems, the authors consider how to construct and analyze algorithms for mobility system from viewpoints of control, optimization, and AI.

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 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 4-volume set of LNCS 14495-14498 constitutes the proceedings of the 40th Computer Graphics International Conference, CGI 2023, held in Shanghai, China, August 28 – September 1, 2023. The 149 papers in this set were carefully reviewed and selected from 385 submissions. They are organized in topical sections as follows: Detection and Recognition; Image Analysis and Processing; Image Restoration and Enhancement; Image Attention and Perception; Reconstruction; Rendering and Animation; Synthesis and Generation; Visual Analytics and Modeling; Graphics and AR/VR; Medical Imaging and Robotics; Theoretical Analysis; Image Analysis and Visualization in Advanced Medical Imaging Technology; Empowering Novel Geometric Algebra for Graphics and Engineering.

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 explores a dynamic landscape where cutting-edge technologies are revolutionizing various domains. This captivating book delves into the advancements in security, communication, and environmental management, highlighting their profound impact on society. The developments bridge the gap between human needs and technological innovation. Readers will uncover the fascinating world of IoT-driven devices that seamlessly integrate into our lives, ensuring enhanced safety and communication efficiency. This book is a must-read for technology enthusiasts, researchers, and anyone curious about the transformative power of technology in shaping our present and future.

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 book will teach you how to use the Spring Framework to build Java-based applications, web applications, and microservices. Aimed at beginners, it has been revised and expanded to reflect the latest features and best practices for Spring 6. Authors Joseph Ottinger and Andrew Lombardi will get you started using Spring Framework 6 and its ecosystem, walking you through all the best practices in modern application development. You'll see how Spring has drastically and positively affected the way applications are designed and programmed in Java, and how to build apps with the Spring mindset. Along the way, you will learn many aspects of the Spring ecosystem with easy-to-understand applications designed to teach you not only the technology, but also the practices that benefit the most from Spring. Starting with the basics, you'll learn gradually, including topics such as the configuration and declaration of beans, the application lifecycle, how todeploy a Spring application into a Java EE application, Spring Reactive, Spring Web, Spring Boot, and Spring Cloud. After completing this book, you'll be prepared to develop your own scalable, modular Spring-based applications. What You Will Learn Discover the most common use cases encountered in the real worldLearn the proper way of testing with the Spring frameworkCreate reliable, modular softwareBuild skills that will translate well across all languages and environmentsIntegrate and use data access and persistence frameworks such as Hibernate, JPA, and MongoDBGet started with the most common, most-used Spring features Who This Book Is For Those who are new to Spring or for those who have experience with Spring but want to learn what's new in Spring 6. This book assumes you have some prior coding experience inJava, but many core concepts in Java are discussed as they're encountered.

This unique book provides a self-contained exposition of the theory of cellular automata on groups and explores its deep connections with recent developments in geometric and combinatorial group theory, amenability, symbolic dynamics, the algebraic theory of group rings, and other branches of mathematics and theoretical computer science. The topics treated include the Garden of Eden theorem for amenable groups, the Gromov–Weiss surjunctivity theorem, and the solution of the Kaplansky conjecture on the stable finiteness of group rings for sofic groups. Entirely self-contained and now in its second edition, the volume includes 10 appendices and more than 600 exercises, the solutions of which are presented in the companion book Exercises in Cellular Automata and Groups (2023) by the same authors. It will appeal to a large audience, including specialists and newcomers to the field.

This book focuses on and prioritizes a practical approach, minimizing theoretical concepts to deliver algorithms effectively. With deep learning emerging as a vibrant field of research and development in numerous industrial applications, there is a pressing need for accessible resources that provide comprehensive examples and quick guidance. Unfortunately, many existing books on the market tend to emphasize theoretical aspects, leaving newcomers scrambling for practical guidance. This book takes a different approach by focusing on practicality while keeping theoretical concepts to a necessary minimum. The book begins by laying a foundation of basic information on deep learning, gradually delving into the subject matter to explain and illustrate the limitations of existing algorithms. A dedicated chapter is allocated to evaluating the performance of multiple algorithms on specific datasets, highlighting techniques and strategies that can address real-world challenges when deep learning is employed. By consolidating all necessary information into a single resource, readers can bypass the hassle of scouring scattered online sources, gaining a one-stop solution to dive into deep learning for object detection and classification. To facilitate understanding, the book employs a rich array of illustrations, figures, tables, and code snippets. Comprehensive code examples are provided, empowering readers to grasp concepts quickly and develop practical solutions. The book covers essential methods and tools, ensuring a complete and comprehensive coverage that enables professionals to implement deep learning algorithms swiftly and effectively.This book is designed to equip professionals with the necessary skills to thrive in the active field of deep learning, where it has the potential to revolutionize traditional problem-solving approaches. This book serves as a practical companion, enabling readers to grasp concepts swiftly and embark on building practical solutions.

Digital signal processing deals with extraction of useful information from signals. Signal processing algorithms help observe, analyse and transform signals. The objective of this book is to develop signal processing algorithms using Python. Python is an interpreted, object-oriented high-level programming language widely used in various software development fields such as data science, machine learning, web development and more. Digital Signal Laboratory is playing an important role in realizing signal processing algorithms, utilizing different software solutions. The intention of this textbook is to implement signal processing algorithms using Python. Since Python is an open-source language, students, researchers, and faculty can install and work with it without spending money, reducing the financial burden on institutions. Each chapter in this book begins with prelab questions, a set of Python examples to illustrate the concepts, exercises to strengthen the understanding of the concepts, and objective questions to help students prepare for competitive examinations. This book serves as an undergraduate textbook, it can be used for individual study, and it can also be used as the textbook for related courses.

Contemporary macroeconomics is built upon microeconomic principles, with its most recent advance featuring dynamic stochastic general equilibrium models. The textbook by Heer and Maußner acquaints readers with the essential computational techniques required to tackle these models and employ them for quantitative analysis. This third edition maintains the structure of the second, dividing the content into three separate parts dedicated to representative agent models, heterogeneous agent models, and numerical methods. At the same time, every chapter has been revised and two entirely new chapters have been added. The updated content reflects the latest advances in both numerical methods and their applications in macroeconomics, spanning areas like business-cycle analysis, economic growth theory, distributional economics, monetary and fiscal policy. The two new chapters delve into advanced techniques, including higher-order perturbation, weighted residual methods, and solutions to high-dimensional nonlinear problems. In addition, the authors present further insights from macroeconomic theory, complemented by practical applications like the Smolyak algorithm, Gorman aggregation, rare disaster models and dynamic Laffer curves. Lastly, the new edition places special emphasis on practical implementation across various programming languages; accordingly, its accompanying web page offers examples of computer code for languages such as MATLAB®, GAUSS, Fortran, Julia and Python.

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.

The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024.The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows: Part I: Infinite games; categorical semantics; automata and synthesis; Part II: Types and programming languages; logic and proofs; infinite-state systems.

This book focuses on FPGA EDA tools, the very foundation of FPGA technology. Instead of illustrating how to use them, this book dives into the tools themselves, revealing how these tools are being designed and how they may improve. Unlike other semiconductors, FPGA has a distinctive two-stage EDA system: chip design EDA and application design EDA.State-of-the-art algorithms, data models and design methodologies/standards are the main concerns of this book, and these will be very helpful for FPGA EDA engineers and researchers to obtain a bird's eye view of this complicated knowledge system. In the chip design EDA part, full-custom and semicustom methodologies bring up ASIC-like EDA tools, and in the application design EDA side, typical topics including high-level synthesis, logic synthesis, physical implementation, bitstream configuration, etc., are well discussed.

This open access book constitutes the proceedings of the 27th International Conference on Fundamental Approaches to Software Engineering, FASE 2024, held in conjunction with ETAPS 2024 which took place in Luxembourg in April 2024. The 14 full papers included in this book were carefully reviewed and selected from 41 submission. The proceedings also include 5 short papers from the Test-Comp 2024 event that was hosted by FASE. They deal with the broad field of software engineering, focusing on requirements, design, architecture, modeling, applications of AI to software engineering and software engineering for AI-based systems, quality, model-driven engineering, processes, and software evolution.

This two-volume set LNCS 14465-14466 constitutes the proceedings of the 31st International Symposium on Graph Drawing and Network Visualization, GD 2023, held in Isola delle Femmine, Palermo, Italy, in September 2023. The 31 full papers, 7 short papers, presented together with 2 invited talks, and one contest report, were thoroughly reviewed and selected from the 100 submissions. The abstracts of 11 posters presented at the conference can be found in the back matter of the volume. The contributions were organized in topical sections as follows: beyond planarity; crossing numbers; linear layouts; geometric aspects; visualization challenges; graph representations; graph decompositions; topological aspects; parameterized complexity for drawings; planar graphs; frameworks; algorithmics.

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.

Software engineering can help people create sustainable, extensible programs that solve problems people care about.I won’t tell you how to be a software engineer; you’ll learn that over time by doing it. Instead, this book is about software engineering methods: Ways people achieve specific objectives in software engineering—that can save your project. My hope is that, after reading this book (or parts of it), you’ll feel better equipped for software engineering.

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 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.

Mobile crowdsensing (MCS) is emerging as a novel sensing paradigm in the Internet of Things (IoTs) due to the proliferation of smart devices (e.g., smartphones, wearable devices) in people's daily lives. These ubiquitous devices provide an opportunity to harness the wisdom of crowds by recruiting mobile users to collectively perform sensing tasks, which largely collect data about a wide range of human activities and the surrounding environment. However, users suffer from resource consumption such as battery, processing power, and storage, which discourages users'participation. To ensure the participation rate, it is necessary to employ an incentive mechanism to compensate users'costs such that users are willing to take part in crowdsensing. This book sheds light on the design of incentive mechanisms for MCS in the context of game theory. Particularly, this book presents several game-theoretic models for MCS in different scenarios. In Chapter 1, the authors present an overview of MCS and state the significance of incentive mechanism for MCS. Then, in Chapter 2, 3, 4, and 5, the authors propose a long-term incentive mechanism, a fair incentive mechanism, a collaborative incentive mechanism, and a coopetition-aware incentive mechanism for MCS, respectively. Finally, Chapter 6 summarizes this book and point out the future directions. This book is of particular interest to the readers and researchers in the field of IoT research, especially in the interdisciplinary field of network economics and IoT.

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.

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.

Für den stabilen und sicheren Betrieb des Internets ist die US-amerikanische gemeinnützige Organisation Internet Corporation for Assigned Names and Numbers (ICANN) verantwortlich, wozu die Koordination der Vergabe von Domain-Namen gehört. Die Europäische Datenschutz-Grundverordnung (EU-DSGVO) dient der Vereinheitlichung des Datenschutzrechts und schützt die Verarbeitung von personenbezogenen Daten. Dies hat einen Einfluss auf die öffentlich zugänglichen Informationen von registrierten Domain-Namen, deren Veröffentlichung die ICANN in ihren Richtlinien vorschreibt. Diese Informationen umfassen personenbezogene Daten wie den Namen, die Postanschrift und die E-Mail-Adresse der Domain-innehabenden Person. Die ICANN änderte ihre Richtlinien, jedoch ist weiterhin die Veröffentlichung dieser Angaben möglich. In dem vorliegenden Buch werden die Auswirkungen der EU-DSGVO auf das E-Mail-Marketing und die Verwendung von E-Mail-Adressen für E-Mail-Kampagnen untersucht, insbesondere in Bezug aufunerwünschte E-Mail-Werbung. Dazu wird die folgende Forschungsfrage gestellt: Welchen Effekt hat die Veröffentlichung der E-Mail-Adresse der Domain-innehabenden Person in den WHOIS-Datenbanken auf die Anzahl eingehender unerwünschter Marketing-E-Mails?