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 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 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 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 volume comprises selected papers from the SIAM International Meshing Roundtable Workshop 2023, SIAM IMR 2023, held in Amsterdam, the Netherlands, March 6-9, 2023. The IMR was started by Sandia National Laboratories in 1992 and, since 2021, it has been held under the umbrella of the Society for Industrial and Applied Mathematics (SIAM). The SIAM IMR 2023 was the first in-situ conference to be held since 2019, after two online conferences. It consisted of short courses, technical presentations from keynotes, contributed talks and research notes, a poster session and meshing contest, and discussion panels. The papers in these proceedings present novel contributions that range from theoretical advances to technical applications in engineering, geometric modeling, computer graphics, visualization, and machine learning.

This volume records and disseminates selected papers from the Stinson66 conference, including surveys, prospectives, and papers presenting original and current research. It contains four accessible surveys of topics in combinatorial designs and related topics, ranging from a tutorial survey of connections to classical group theory, to surveys of'hot topics'in current research. It also contains a prospective paper identifying topics for future research efforts, co-authored by one of the elder statesmen of the field, Alex Rosa. Finally, the research papers examine topics ranging from pure mathematics to applied work in computing, networking, communications, and cryptography. For students and newcomers to these topics, the volume provides accessible survey material that does not have onerous prerequisites. The breadth of topics reflects the vibrancy of the field in a way that can be appreciated by all researchers. The papers present important advances on theory and applications,which also benefit advanced researchers.

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.

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 book constitutes the refereed proceedings of the 26th International Conference on Practical Aspects of Declarative Languages, PADL 2024, held in London, UK, during January 17–19, 2024.The 13 full papers included in this book were carefully reviewed and selected from 25 submissions. The accepted papers span a range of topics related to functional and logic programming, including reactive programming, hardware implementations, implementation of marketplaces, query languages, and applications of declarative programming techniques to artificial intelligence and machine learning.

In his 1979 essay The Postmodern Condition: A Report on Knowledge philosopher Jean-François Lyotard noted that the advent of the computer opened up a stage of progress in which knowledge has become a commodity. Modernity and postmodernity appear as two stages of a process resulting from the conflict of science and narrative. As science attempts to distance itself from narrative, it must create its own legitimacy. This paper takes up this challenge with a focus on the question of imagery. The image is precisely what modern science seeks to free itself from in its quest for absolute transparency. This transparency is examined from the perspective of architecture, drawing on arguments from philosophy, quantum mechanics, theology and information theory. Natural science in the context of postmodernism Quantum mechanics and information theory New volume in the Applied Virtuality Book Series ; In his 1979 essay The Postmodern Condition: A Report on Knowledge philosopher Jean-François Lyotard noted that the advent of the computer opened up a stage of progress in which knowledge has become a commodity. Modernity and postmodernity appear as two stages of a process resulting from the conflict of science and narrative. As science attempts to distance itself from narrative, it must create its own legitimacy. This paper takes up this challenge with a focus on the question of imagery. The image is precisely what modern science seeks to free itself from in its quest for absolute transparency. This transparency is examined from the perspective of architecture, drawing on arguments from philosophy, quantum mechanics, theology and information theory. Natural science in the context of postmodernism Quantum mechanics and information theory New volume in the Applied Virtuality Book Series, Naturwissenschaft im Zeichen der Postmoderne Quantenmechanik und Informationstheorie Neuer Band der Reihe Applied Virtuality Book Series In seinem 1979 erschienenen Essay Das postmoderne Wissen stellte Jean-François Lyotard fest, dass die Einführung des Computers ein Stadium des Fortschritts definiert, in dem Wissen zur Ware wird. Moderne und Postmoderne erscheinen als zwei Stadien eines Prozesses, der aus dem Konflikt der Wissenschaft mit den Narrativen resultiert: Während die Wissenschaft versucht, sich vom Narrativen zu distanzieren, muss sie ihre eigene Legitimation schaffen. Die vorliegende Abhandlung greift die Herausforderung im Zeichen des Bildes auf. Das Bild ist genau das, wovon sich die moderne Wissenschaft auf der Suche nach absoluter Transparenz zu befreien versucht. Diese Transparenz wird unter architektonischen Gesichtspunkten untersucht, die von der Philosophie bis zur Quantenmechanik, von der Theologie bis zur Informationstheorie reichen.

This book constitutes the proceedings of the 16th Latin American Symposium on Theoretical Informatics, LATIN 2042, which took place in Puerto Varas, Chile, in March 2024. The 44 papers presented in this volume were carefully reviewed and selected from 93 submissions. They were organized in topical sections as follows:Part I: Algorithms and Data Structures; Approximation and Online Algorithms; Complexity Theory; Part II: Combinatorics and Graph Theory; Parameterized Algorithms; Automata Theory and Formal Languages; and Game Theory and Fairness.

The book includes the contributions to the international conference “18th 3D GeoInfo”. The papers published in the book were selected through a double-blind review process. 3D GeoInfo has been the forum joining researchers, professionals, software developers, and data providers designing and developing innovative concepts, tools, and application related to 3D geo data processing, modeling, management, analytics, and simulation. A big focus is on topics related to data modeling for 3D city and landscape models as well as their many and diverse applications. This conference series is very successfully running since 2006 and has been hosted by countries in Europe, Asia, Africa, North America, and Australia. In the period 2006 to 2017, the proceedings has been published by Springer in this series with Thomas H. Kolbe being the editor of the 2010 edition of the conference proceedings. 18th 3DGeoInfo was organized by Technical University of Munich in cooperation with the German Society for Photogrammetry, Remote Sensing and Geoinformation (DGPF), the local associations Runder Tisch GIS e.V. (Round Table GIS) and Leonhard Obermeyer Center—TUM Center of Digital Methods for the Built Environment, and the City of Munich. The international program committee consisted of committee members of previous 3D GeoInfo conferences and further leading scientists in the field of 3D Geoinformation Science.

The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg.The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows:Part I: STA and SMT solving; synthesis; logic and decidability; program analysis and proofs; proof checking; Part II: Model Checking; automata and learning; software verification; probabilistic systems; simulations; Part III: Neural networks; testing and verification; games; concurrency; SV-Comp 2024.

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.

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 constitutes the refereed proceedings of the 18th International Conference and Workshops on Algorithms and Computation, WALCOM 2024, held in Kanazawa, Japan, during March 18–20, 2024. The 28 full papers presented in this book, together with two extended abstracts of invited talks, were carefully reviewed and selected from 80 submissions. They cover diverse areas of algorithms and computation, that is, approximation algorithms, algorithmic graph theory and combinatorics, combinatorial algorithms, combinatorial optimization, computational biology, combinatorial reconfiguration, computational complexity, computational geometry, discrete geometry, data structures, experimental algorithm methodologies, graph algorithms, graph drawing, parallel and distributed algorithms, parameterized algorithms, parameterized complexity, network optimization, online algorithms, randomized algorithms, and string algorithms.

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 is an open access book.With the rapid development of society and the continuous progress of computer science and technology, when entering the information age, design has also been integrated into the new media age in time.The application of computer technology in design has broken the limitations of traditional design, achieved a huge breakthrough in the field of design, provided more innovative forms of expression for design, and also achieved subversive changes in design methods.We need to note that design comes from life, and then it is a matter of applying tools and crafting techniques to realize it. For designers, maintaining innovation is still the first and foremost in creation. How to use technology to enable design without relying on technology is still a dilemma.Therefore, it is necessary to create a space for the researchers, practitioners, and enthusiasts in the field of computing and design to gather and discuss this current issue.The International Conference on Computer Technology and Media Convergence Design aims to accommodate this need, as well as to:1. Advance the academic field by exploring cutting-edge research and applications.2. Open up new horizons, broaden the horizons of computer technology research and design,3. Create academic forums to provide opportunities for academic resource sharing and research exchanges.2022 2nd International Conference on Computer Technology and Media Convergence Design (CTMCD 2022) will be held in Dali, China during May 13-15, 2022. CTMCD2022 invites the researchers, practitioners, and enthusiasts in the field of computing and design to participate and share knowledge. We also accept papers on computer technology and media convergence design.

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

Javier Esparza received his primary degree in Theoretical Physics and in 1990 his PhD in Computer Science from the University of Zaragoza. After positions at the University of Hildesheim, the University of Edinburgh, and the Technical University of Munich, he then held professorships at the University of Edinburgh and the University of Stuttgart, and finally returned to TU Munich where he currently holds the Chair of Foundations of Software Reliability and Theoretical Computer Science. Javier is a leading researcher in concurrency theory, distributed and probabilistic systems, Petri nets, analysis of infinite-state models, and more generally formal methods for the verification of computer systems. He has coauthored over 200 publications, many of them highly influential. He coauthored the monographs Free Choice Petri Nets, and Unfoldings: A Partial Order Approach to Model Checking, and more recently the textbook Automata Theory: An Algorithmic Approach. The latter is an exampleof Javier's many activities as a teacher, he has supervised more than 20 PhD students, taught at more than 20 summer schools, and won many awards for his university teaching. He is regularly invited to deliver plenary talks at prestigious computer science conferences and participate in senior program committees, he has contributed as a senior member of technical working groups, society councils, and journal editorial boards, and in 2021 he became a founding Editor-in-Chief of the open-access TheoretiCS journal. This Festschrift celebrates Javier's contributions on the occasion of his 60th birthday, the contributions reflect the breadth and depth of his successes in Petri nets, concurrency in general, distributed and probabilistic systems, games, formal languages, logic, program analysis, verification, and synthesis.

Structures of Computing explains the behavioral meaning of fundamental concepts of computing from a practical viewpoint and in generic terms, unrestricted by specific computing devices or programming languages. To compute is understood as processing structures by a set of cooperating agents each of which executes an algorithm assigned to it and interacts with the other agents. Part I of the book defines the conceptual constituents of interactive processes: (i) data, i.e. structured objects with associated properties, relations and functions the algorithmic processes operate upon, (ii) basic operations that affect the data in single execution steps, and (iii) control mechanisms that determine the combination of single steps in multi-agent computations where the interaction happens via communication or other forms of data sharing. Part II analyses these constituents concerning (i) methods to achieve process correctness (inspection, experimental validation, reasoning), (ii) principal computational paradigms (architectures, programming styles, communication structures, control patterns from sequential and reflective to concurrent, mixed synchronous/asynchronous and data flow control), and (iii) complexity (power and limits of computing structures). The book is mainly addressed to students and professionals who want to understand the conceptual foundation of computing. It does not assume any specific programming experience but only a basic understanding of what are mechanically executable processes and their descriptions. Any unnecessary formalism is thus avoided, and definitions are formulated as much as possible in natural language, using common mathematical notation only where needed to prevent ambiguities. Numerous examples and exercises serve as comprehension checkpoints.

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 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 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 is the first book that sums up test-related modeling of digital circuits and systems by a new structural-decision-diagrams model. The model represents structural and functional information jointly and opens a new area of research.The book introduces and discusses applications of two types of structural decision diagrams (DDs): low-level, structurally synthesized binary DDs (SSBDDs) and high-level DDs (HLDDs) that enable diagnostic modeling of complex digital circuits and systems.Topics and features:Provides the definition, properties and techniques for synthesis, compression and optimization of SSBDDs and HLDDsProvides numerous working examples that illustrate the key points of the textDescribes applications of SSBDDs and HLDDs for various electronic design automation (EDA) tasks, such as logic-level fault modeling and simulation, multi-valued simulation, timing-critical path identification, and test generationDiscusses the advantages of the proposed model to traditional binary decision diagrams and other traditional design representationsCombines SSBDDs with HLDDs for multi-level representation of digital systems for enabling hierarchical and cross-level solving of complex test-related tasksThis unique book is aimed at researchers working in the fields of computer science and computer engineering, focusing on test, diagnosis and dependability of digital systems. It can also serve as a reference for graduate- and advanced undergraduate-level computer engineering and electronics courses.Three authors are affiliated with the Dept. of Computer Systems at the Tallinn University of Technology, Estonia: Raimund Ubar is a retired Professor, Jaan Raik and Maksim Jenihhin are tenured Professors. Artur Jutman, PhD, is a researcher at the same university and the CEO of Testonica Lab Ltd., Estonia.

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.

This book offers an introduction to quantum technology that is specifically tailored to economists, students of economics, and professionals in the financial and payments industries. The book reviews quantum speedups that have been identified for algorithms used to solve and estimate economic models, including function approximation, linear systems analysis, graphical modeling, Monte Carlo simulation, matrix inversion, principal component analysis, linear regression, dynamic programming, interpolation, numerical differentiation, and true random number generation. It also provides an overview of quantum financial technology and its potential applications in economics and finance. Written by an interdisciplinary team with backgrounds in economics, computer science, and physics, this book offers a valuable guide for researchers and practitioners who want to understand the implications and possibilities of quantum technology for the field of economics.

This is an open access book.Computation should be a good blend of theory and practice. Researchers in the field should create algorithms to address real world problems putting equal weight to analysis and implementation. Experimentation and simulation can be viewed as yielding to refined theories or improved applications.WCTP 2023 is the twelfth workshop organized by the Tokyo Institute of Technology, The Institute of Scientific and Industrial Research-Osaka University, Chitose Institute of Science and Technology, University of the Philippines-Diliman and De La Salle University-Manila that is devoted to theoretical and practical approaches to computation. It aims to present the latest developments by theoreticians and practitioners in academe and industry working to address computational problems that can directly impact the way we live in society.WCTP 2023 will feature work-in-progress presentations of prominent researchers selected by members of its Program Committee who come from highly distinguished institutions in Japan and the Philippines. The presentation at the workshop will certainly provide high quality comments and discussion that future research can benefit from.WCTP 2023 is supported by Chitose Institute of Science and Technology, and Photonics World Consortium.

Politische Themen mit wissenschaftlichem Bezug werden medial immer präsenter. In Talkshows, Zeitungen und politischen Beratungsgremien finden oft Expertinnen und Experten mit Physikausbildung Gehör. Egal, ob es um Klimawandel, Finanzmarktcrashs, Pandemiepolitik oder erneuerbare Energien geht: wir müssen den Aussagen dieser Expertinnen und Experten blind vertrauen, wenn wir selbst kein Fachwissen besitzen. In diesem Buch werden physikalische Grundlagen hinter gesellschaftlich relevanten Themen auf eine allgemeinverständliche Weise erklärt. Dabei geht es vor allem darum, die für die Physik typischen Denkweisen klar zu machen. Auf welchen Grundlagen (Mechanik, Elektrodynamik, Quantentheorie, Feldtheorien, Relativitätstheorien, Statistische Physik) beruhen eigentlich physikalische Aussagen? Wie sind diese Grundlagen entstanden? Wie erstellt man in der Physik Modelle zur Beschreibung komplexer Themen? Was ist „Wahrheit'in Wissenschaften?Wie ist das Verhältnis von Modellen zur Wirklichkeit? Beim Beantworten dieser und vieler weiterer Fragen hat der Autor darauf geachtet, nur Mathematik vorauszusetzen, die das Niveau der Mittelstufe nicht überschreitet. Der vorliegende Band richtet sich an alle, die für Entscheidungen und Urteile ein einfaches aber solides Verständnis des physikalischen Denkens suchen: sei es im Alltag, in Unternehmen oder in der Politik.

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?

Solve all your Spring Boot 3 micro-framework problems using complete, real-world Java-based code snippets and examples inspired by various problems and corresponding solutions to those problems. When you start a new project, you'll be able to copy the code and configuration files from this book, and then modify them for your own specific software programming needs. This can save you a great deal of work over creating a project from scratch.Spring Boot 3 Recipes has been revised to include new features like the new Spring Native, newly repackaged Spring Data, Spring Kafka for messaging and more on Kubernetes/deployment than in the previous edition. It includes Java 17 long term support code and Jakarta EE 9+ code as a base for Spring Boot 3. This handy code reference takes advantage of these things as it introduces you to VMWare's Spring Boot 3 and Spring Native. Quickly, it dives into code snippets on how to apply and integrate SpringBoot 3 with the Spring MVC web framework, web sockets and WebFlux for the rapid development of web applications, web services, microservices and more. You'll also get solutions to common problems with data persistence, integrating Spring Boot with batch processing, algorithmic programming via Spring Batch, and much more. These enable you to enhance or round out your web applications or microservices with a data and/or transaction-tier to boot. Other recipes cover topics such as using and integrating Boot with Spring's enterprise services, Spring Integration, testing, monitoring and more.At the end of the book, you'll have the code snippets and packages to deploy your Spring Boot-created microservices or applications on a cloud platform like Amazon using the popular Kubernetes container. Finally, this code reference is a must have for your Spring library. What You'll LearnGet reusable code recipes and snippets for the Spring Boot 3 micro-framework Discover how Spring Boot 3 integrates with other Spring APIs, tools, and frameworksAccess Spring MVC, web sockets and WebFlux for easier web developmentWork with microservices for web services development and integration with your Spring Boot applicationsAdd persistence and a data tier seamlessly to make your Spring Boot web application do moreIntegrate enterprise services via Spring Integration and Jakarta EE to create a more complex Java application using Spring BootWho This Book Is ForThis book is for experienced Java and Spring software programmers, developers.

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

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

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.

Learn the basics of C, the C standard library, and modern C standards. Complete with modern, up-to-date examples and screenshots, this new edition is fully updated and reworked with the latest C23 standards and features. C is a language that is as popular today as it was decades ago. It can be used to program a microcontroller or to develop an entire operating system. Author Slobodan Dmitrović takes you on a journey through the C programming language, the standard library, and the C standards basics. Each chapter is the right balance of theory and code examples. Written in a concise and easy-to-follow manner, this book will provide you all the essentials needed to start programming in modern C. What You Will LearnUnderstand C programming language and C standard library fundamentalsWork with new C standards featuresStudy the basics of types, operators, statements, arrays, functions, and structsReview the fundamentals of pointers, memory allocation, and memory manipulationTake advantage of best practices in CWho This Book Is For Beginner or novice programmers who wish to learn the C programming language. No prior programming experience is required.

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.