Ekspertsystemer og vidensbaserede systemer

This book provides a comprehensive overview of core concepts and technological foundations for continuous engineering of Web streams. It presents various systems and applications and includes real-world examples. Last not least, it introduces the readers to RSP4J, a novel open-source project that aims to gather community efforts in software engineering and empirical research.The book starts with an introductory chapter that positions the work by explaining what motivates the design of specific techniques for processing data streams using Web technologies. Chapter 2 briefly summarizes the necessary background concepts and models needed to understand the remaining content of the book. Subsequently, chapter 3 focuses on processing RDF streams, taming data velocity in an open environment characterized by high data variety. It introduces query answering algorithms with RSP-QL and analytics functions over streaming data. Chapter 4 presents the life cycle of streaming linked data, it focuses on publishing streams on the Web as a prerequisite aspect to make data findable and accessible for applications. Chapter 5 touches on the problems of benchmarks and systems that analyze Web streams to foster technological progress. It surveys existing benchmarks and introduces guidelines that may support new practitioners in approaching the issue of continuous analytics. Finally, chapter 6 presents a list of examples and exercises that will help the reader to approach the area, get used to its practices and become confident in its technological possibilities.Overall, this book is mainly written for graduate students and researchers in Web and stream data management. It collects research results and will guide the next generation of researchers and practitioners.

This book constitutes the proceedings of the 15th Italian Workshop on Artificial Life and Evolutionary Computation, WIVACE 2021, held in Winterthur, Switzerland, in September 2022. The 14 full papers and 10 short papers presented in this volume were carefully reviewed and selected from 25 submissions. The papers are organized in the following topical sections: Networks; Droplets, Fluids, and Synthetic Biology; Robot Systems; Computer Vision and Computational Creativity; Semantic Search; Artificial Medicine and Pharmacy; Trade and Finance; Ethics in Computational Modelling.Chapters 4, 5, 6, 7, 22, and 24 are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This volume presents techniques and theories drawn from mathematics, statistics, computer science, and information science to analyze problems in business, economics, finance, insurance, and related fields. The authors present proposals for solutions to common problems in related fields. To this end, they are showing the use of mathematical, statistical, and actuarial modeling, and concepts from data science to construct and apply appropriate models with real-life data, and employ the design and implementation of computer algorithms to evaluate decision-making processes. This book is unique as it associates data science - data-scientists coming from different backgrounds - with some basic and advanced concepts and tools used in econometrics, operational research, and actuarial sciences. It, therefore, is a must-read for scholars, students, and practitioners interested in a better understanding of the techniques and theories of these fields.

This book constitutes the proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, which took place in Boston, USA, in January 2023. The 17 full papers presented in this book were carefully reviewed and selected from 34 submissions. The contributions deal with program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.

This book constitutes the refereed proceedings of the 22nd International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2022, which was held in October 2022. Due to COVID-19 pandemic the conference was held virtually. The 33 full papers and 10 short papers, presented were carefully reviewed and selected from 91 submissions. The papers cover many dimensions of parallel algorithms and architectures, encompassing fundamental theoretical approaches, practical experimental projects, and commercial components and systems

T¿his book constitutes the refereed proceedings of the 11th EAI International Conference on Game Theory for Networks, GameNets 2022, held as a virtual event in July 7¿8, 2022.The 25 papers presented were reviewed and selected from 64 submissions. They are organized in the following topical sections: Wireless Networks; Internet of Things; and Game Theory.

This book constitutes the proceedings of the 19th International Conference on Distributed Computing and Intelligent Technology, ICDCIT 2023, which was held in Bhubaneswar, India, in January 2023.The 20 full papers and 9 short papers presented in this volume were carefully reviewed and selected from 55 submissions. The papers are organized in the following topical sections: Invited Talks; Distributed Computing; Intelligent Technology.

This book constitutes the proceedings of the 25th International Symposium on Practical Aspects of Declarative Languages, PADL 2023, which was held in Boston, MA, USA, in January 2023.The 15 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 36 submissions. The papers are organized in the following topical sections: Functional Programming; Logic Programming.

This book constitutes the proceedings of the 14th IFIP WG 8.5 International Conference on Electronic Participation, ePart 2022, held in Linköping, Sweden, during September 6¿8, 2022, in conjunction with IFIP WG 8.5 Electronic Government (EGOV 2022), and the Conference for E-Democracy and Open Government Conference (CeDEM 2022).The 12 full papers presented were carefully reviewed and selected from 26 submissions. The papers are clustered under the following topical sections: E-democracy and e-participation; ICT & sustainability; digital and social media; legal informatics; and digital society.

The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical and mathematical foundations, through all aspects of rough set theory and its applications, such as data mining, knowledge discovery, and intelligent information processing, to relations between rough sets and other approaches to uncertainty, vagueness, and incompleteness, such as fuzzy sets and theory of evidence. Volume XXIII in the series is a continuation of a number of research streams that have grown out of the seminal work of Zdzislaw Pawlak during the first decade of the 21st century.

The new edition of this textbook presents a practical, updated approach to predictive analytics for classroom learning. The authors focus on using analytics to solve business problems and compares several different modeling techniques, all explained from examples using the SAS Enterprise Miner software. The authors demystify complex algorithms to show how they can be utilized and explained within the context of enhancing business opportunities. Each chapter includes an opening vignette that provides real-life examples of how business analytics have been used in various aspects of organizations to solve issues or improve their results. A running case provides an example of a how to build and analyze a complex analytics model and utilize it to predict future outcomes. The new edition includes chapters on clusters and associations and text mining to support predictive models. An additional case is also included that can be used with each chapter or as a semester project.

This book constitutes the refereed post-conference proceedings of the 7th Russian Supercomputing Days, RuSCDays 2021, held in Moscow, Russia, in September 2021.The 37 revised full papers and 3 short papers presented were carefully reviewed and selected from 99 submissions. The papers are organized in the following topical sections: supercomputer simulation; HPC, BigData, AI: architectures, technologies, tools; and distributed and cloud computing.

This book constitutes the proceedings of the 19th International Conference on Web Information Systems and Applications, WISA 2022, held in Dalian, China, in September 2022.The 45 full papers and 19 short papers presented were carefully reviewed and selected from 212 submissions. The papers are grouped in topical sections on knowledge graph, natural language processing, world wide web, machine learning, query processing and algorithm, recommendation, data privacy and security, and blockchain.