Der vorliegende Band enthalt die Beitrage zur Fachtagung "Informationsbedarfsermittlung und -analyse fur den Entwurf " "von Informationssystemen," die von der Fachgruppe EMISA der Gesellschaft fur Informatik (GI) an der Universitat Linz im Juli 1987 durchgefuhrt wurde. Die Fachgruppe EMISA beschaftigt sich mit Methoden und Werkzeugen fur den Entwurf von Informationssystemen. Dabei haben verschiedene Tagungen der Fachgruppe spezielle Phasen oder Probleme des Entwurfsvorganges detailliert untersucht. Die Linzer Fachtagung ist vor allem denjenigen Fragen gewidmet, die am Beginn des Entwurfs von Informationssystemen stehen. Obwohl der Phase der Informationsbedarfsermittlung und -analyse im Lebenszyklus eines Informationssystems zentrale Bedeutung zukommt, wird sie bislang noch immer wesentlich weniger beherrscht als die nachfolgenden Entwicklungsschritte. Die Fachtagung sollte daher Praktikern und Wissenschaftlern Gelegenheit geben, die zur Losung anstehenden Probleme zu identifizieren und existierende Ansatze zu diskutieren. Das Tagungsprogramm uberdeckt die gesamte Bandbreite von Erfahrungen mit bereits in der Praxis eingesetzten Verfahren bis zur Prasentation des aktuellen Standes der Entwicklung neuer Methoden."

The present volume contains edited versions of the communications presented at an International Workshop on "Expert Systems in Production Engineering," held in Spa, Belgium, in 1986. Introductory papers on Artificial Intelligence and Expert Systems are complemented by case studies of Expert Systems in practice, primarily, in the area of Mechanical Engineering and discussions of the possibilities and the limitations of Expert Systems.

With this book, Christopher Kormanyos delivers a highly practical guide to programming real-time embedded microcontroller systems in C++. It is divided into three parts plus several appendices. Part I provides a foundation for real-time C++ by covering language technologies, including object-oriented methods, template programming and optimization. Next, part II presents detailed descriptions of a variety of C++ components that are widely used in microcontroller programming. It details some of C++'s most powerful language elements, such as class types, templates and the STL, to develop components for microcontroller register access, low-level drivers, custom memory management, embedded containers, multitasking, etc. Finally, part III describes mathematical methods and generic utilities that can be employed to solve recurring problems in real-time C++. The appendices include a brief C++ language tutorial, information on the real-time C++ development environment and instructions for building GNU GCC cross-compilers and a microcontroller circuit. For this fourth edition, the most recent specification of C++20 is used throughout the text. Several sections on new C++20 functionality have been added, and various others reworked to reflect changes in the standard. Also several new example projects ranging from introductory to advanced level are included and existing ones extended, and various reader suggestions have been incorporated. Efficiency is always in focus and numerous examples are backed up with runtime measurements and size analyses that quantify the true costs of the code down to the very last byte and microsecond. The target audience of this book mainly consists of students and professionals interested in real-time C++. Readers should be familiar with C or another programming language and will benefit most if they have had some previous experience with microcontroller electronics and the performance and size issues prevalent in embedded systems programming.

The Seventh International Conference on Automated Deduction was held May 14-16, 19S4, in Napa, California. The conference is the primary forum for reporting research in all aspects of automated deduction, including the design, implementation, and applications of theorem-proving systems, knowledge representation and retrieval, program verification, logic programming, formal specification, program synthesis, and related areas. The presented papers include 27 selected by the program committee, an invited keynote address by Jorg Siekmann, and an invited banquet address by Patrick Suppes. Contributions were presented by authors from Canada, France, Spain, the United Kingdom , the United States, and West Germany. The first conference in this series was held a decade earlier in Argonne, Illinois. Following the Argonne conference were meetings in Oberwolfach, West Germany (1976), Cambridge, Massachusetts (1977), Austin, Texas (1979), Les Arcs, France (19S0), and New York, New York (19S2). Program Committee P. Andrews (CMU) W.W. Bledsoe (U. Texas) past chairman L. Henschen (Northwestern) G. Huet (INRIA) D. Loveland (Duke) past chairman R. Milner (Edinburgh) R. Overbeek (Argonne) T. Pietrzykowski (Acadia) D. Plaisted (U. Illinois) V. Pratt (Stanford) R. Shostak (SRI) chairman J. Siekmann (U. Kaiserslautern) R. Waldinger (SRI) Local Arrangements R. Schwartz (SRI) iv CONTENTS Monday Morning Universal Unification (Keynote Address) Jorg H. Siekmann (FRG) .

The Illiac IV was the first large scale array computer. As the fore runner of today's advanced computers, it brought whole classes of scientific computations into the realm of practicality. Conceived initially as a grand experiment in computer science, the revolutionary architecture incorporated both a high level of parallelism and pipe lining. After a difficult gestation, the Illiac IV became operational in November 1975. It has for a decade been a substantial driving force behind the develooment of computer technology. Today the Illiac IV continues to service large-scale scientific aoolication areas includ ing computational fluid dynamics, seismic stress wave propagation model ing, climate simulation, digital image processing, astrophysics, numerical analysis, spectroscopy and other diverse areas. This volume brings together previously published material, adapted in an effort to provide the reader with a perspective on the strengths and weaknesses of the Illiac IV and the impact this unique computa tional resource has had on the development of technology. The history and current status of the Illiac system, the design and architecture of the hardware, the programming languages, and a considerable sampling of applications are all covered at some length. A final section is devoted to commentary."

With the proliferation of GPS devices in daily life, trajectory data that records where and when people move is now readily available on a large scale. As one of the most typical representatives, it has now become widely recognized that taxi trajectory data provides rich opportunities to enable promising smart urban services. Yet, a considerable gap still exists between the raw data available, and the extraction of actionable intelligence. This gap poses fundamental challenges on how we can achieve such intelligence. These challenges include inaccuracy issues, large data volumes to process, and sparse GPS data, to name but a few. Moreover, the movements of taxis and the leaving trajectory data are the result of a complex interplay between several parties, including drivers, passengers, travellers, urban planners, etc. In this book, we present our latest findings on mining taxi GPS trajectory data to enable a number of smart urban services, and to bring us one step closer to the vision of smart mobility. Firstly, we focus on some fundamental issues in trajectory data mining and analytics, including data map-matching, data compression, and data protection. Secondly, driven by the real needs and the most common concerns of each party involved, we formulate each problem mathematically and propose novel data mining or machine learning methods to solve it. Extensive evaluations with real-world datasets are also provided, to demonstrate the effectiveness and efficiency of using trajectory data. Unlike other books, which deal with people and goods transportation separately, this book also extends smart urban services to goods transportation by introducing the idea of crowdshipping, i.e., recruiting taxis to make package deliveries on the basis of real-time information. Since people and goods are two essential components of smart cities, we feel this extension is bot logical and essential. Lastly, we discuss the most important scientific problems and open issues in mining GPS trajectory data.

Artificial Intelligence and Data Science in Environmental Sensing provides state-of-the-art information on the inexpensive mass-produced sensors that are used as inputs to artificial intelligence systems. The book discusses the advances of AI and Machine Learning technologies in material design for environmental areas. It is an excellent resource for researchers and professionals who work in the field of data processing, artificial intelligence sensors and environmental applications.

Acclaimed by various content platforms (books, music, movies) and auction sites online, recommendation systems are key elements of digital strategies. If development was originally intended for the performance of information systems, the issues are now massively moved on logical optimization of the customer relationship, with the main objective to maximize potential sales. On the transdisciplinary approach, engines and recommender systems brings together contributions linking information science and communications, marketing, sociology, mathematics and computing. It deals with the understanding of the underlying models for recommender systems and describes their historical perspective. It also analyzes their development in the content offerings and assesses their impact on user behavior.

This book introduces the Internet access for vehicles as well as novel communication and computing paradigms based on the Internet of vehicles. To enable efficient and reliable Internet connection for mobile vehicle users, this book first introduces analytical modelling methods for the practical vehicle-to-roadside (V2R) Internet access procedure, and employ the interworking of V2R and vehicle-to-vehicle (V2V) to improve the network performance for a variety of automotive applications. In addition, the wireless link performance between a vehicle and an Internet access station is investigated, and a machine learning based algorithm is proposed to improve the link throughout by selecting an efficient modulation and coding scheme. This book also investigates the distributed machine learning algorithms over the Internet access of vehicles. A novel broadcasting scheme is designed to intelligently adjust the training users that are involved in the iteration rounds for an asynchronous federated learning scheme, which is shown to greatly improve the training efficiency. This book conducts the fully asynchronous machine learning evaluations among vehicle users that can utilize the opportunistic V2R communication to train machine learning models. Researchers and advanced-level students who focus on vehicular networks, industrial entities for internet of vehicles providers, government agencies target on transportation system and road management will find this book useful as reference. Network device manufacturers and network operators will also want to purchase this book.

Dokumentenmanagementprojekte sind ganzheitliche Projekte. Organisatorische, technische und menschliche Faktoren entscheiden uber Erfolg oder Mierfolg. Das DMS-Handbuch hilft fruhzeitig Fehler zu erkennen und zu vermeiden. Es ist eine Pflichtlekture fur jeden, der sich mit dem Gedanken tragt, ein Dokumentenmanagementsystem einzufuhren. Schritt fur Schritt wird der Leser durch die einzelnen Projektstufen gefuhrt. Mit Hilfe von Tabellen, Charts und Diagrammen wird eine komplexe Materie ubersichtlich dargestellt. Ein ausfuhrliches Glossar mit Begriffserklarungen der Fachtermini und eine Fulle von Checklisten machen das Buch zum unentbehrlichen Begleiter.

A Handbook of Artificial Intelligence in Drug Delivery explores the use of Artificial Intelligence (AI) in drug delivery strategies. The book covers pharmaceutical AI and drug discovery challenges, Artificial Intelligence tools for drug research, AI enabled intelligent drug delivery systems and next generation novel therapeutics, broad utility of AI for designing novel micro/nanosystems for drug delivery, AI driven personalized medicine and Gene therapy, 3D Organ printing and tissue engineering, Advanced nanosystems based on AI principles (nanorobots, nanomachines), opportunities and challenges using artificial intelligence in ADME/Tox in drug development, commercialization and regulatory perspectives, ethics in AI, and more. This book will be useful to academic and industrial researchers interested in drug delivery, chemical biology, computational chemistry, medicinal chemistry and bioinformatics. The massive time and costs investments in drug research and development necessitate application of more innovative techniques and smart strategies.

Embedded systems take over complex control and data processing tasks in diverse application ?elds such as automotive, avionics, consumer products, and telec- munications. They are the primary driver for improving overall system safety, ef?ciency, and comfort. The demand for further improvement in these aspects can only be satis?ed by designing embedded systems of increasing complexity, which in turn necessitates the development of new system design methodologies based on speci?cation, design, and veri?cation languages. The objective of the book at hand is to provide researchers and designers with an overview of current research trends, results, and application experiences in c- puter languages for embedded systems. The book builds upon the most relevant contributions to the 2008 conference Forum on Design Languages (FDL), the p- mier international conference specializing in this ?eld. These contributions have been selected based on the results of reviews provided by leading experts from - search and industry. In many cases, the authors have improved their original work by adding breadth, depth, or explanation.

This book describes methods and tools that empower information providers to build and maintain knowledge graphs, including those for manual, semi-automatic, and automatic construction; implementation; and validation and verification of semantic annotations and their integration into knowledge graphs. It also presents lifecycle-based approaches for semi-automatic and automatic curation of these graphs, such as approaches for assessment, error correction, and enrichment of knowledge graphs with other static and dynamic resources. Chapter 1 defines knowledge graphs, focusing on the impact of various approaches rather than mathematical precision. Chapter 2 details how knowledge graphs are built, implemented, maintained, and deployed. Chapter 3 then introduces relevant application layers that can be built on top of such knowledge graphs, and explains how inference can be used to define views on such graphs, making it a useful resource for open and service-oriented dialog systems. Chapter 4 discusses applications of knowledge graph technologies for e-tourism and use cases for other verticals. Lastly, Chapter 5 provides a summary and sketches directions for future work. The additional appendix introduces an abstract syntax and semantics for domain specifications that are used to adapt schema.org to specific domains and tasks. To illustrate the practical use of the approaches presented, the book discusses several pilots with a focus on conversational interfaces, describing how to exploit knowledge graphs for e-marketing and e-commerce. It is intended for advanced professionals and researchers requiring a brief introduction to knowledge graphs and their implementation.

This book constitutes the refereed proceedings of the 12th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2022, held in Helsinki, Finland, in June 2022. The 13 full papers presented were carefully reviewed and selected from 21 submissions. The papers address various topics such as information and knowledge systems, including submissions that apply ideas, theories or methods from specific disciplines to information and knowledge systems. Examples of such disciplines are discrete mathematics, logic and algebra, model theory, databases, information theory, complexity theory, algorithmics and computation, statistics and optimization.

This book constitutes the refereed proceedings of the 22nd International Conference on Innovations for Community Services, I4CS 2022, held in Delft, The Netherlands, in June 2022. The 15 full papers and 5 short papers presented in this volume were carefully reviewed and selected from 43 submissions. Three invited papers were also included in the volume. The papers focus on topics such as services for critical infrastructure; network architecture for communities; applications and services supporting work and life; community data and visualization; technology empowers industry processes; and future community support.

Dieses Lehrbuch bietet eine umfassende EinfA1/4hrung in Grundlagen und Methoden der Computerlinguistik und stellt die wichtigsten Anwendungsgebiete in der Sprachtechnologie vor. Es richtet sich gleichermaAen an Studierende der Computerlinguistik und verwandter FAcher mit Bezug zur Verarbeitung natA1/4rlicher Sprache wie an Entwickler sprachverarbeitender Systeme.

FA1/4r die dritte Auflage wurden sAmtliche Kapitel A1/4berarbeitet und aktualisiert sowie zum Teil zu eigenstAndigen, neuen Kapiteln zusammengefA1/4hrt. Insbesondere trAgt die dritte Auflage der rasanten Entwicklung in der Computerlinguistik und Sprachtechnologie durch eine stArkere Fokussierung auf statistische Grundlagen und Methoden Rechnung.

This two-volume set LNCS 11581 and 11582 constitutes the thoroughly refereed proceedings of the 10th International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management, DHM 2019, which was held as part of the 21st HCI International Conference, HCII 2019, in Orlando, FL, USA, in July 2019. The total of 1275 papers and 209 posters included in the 35 HCII 2019 proceedings volumes were carefully reviewed and selected from 5029 submissions. DHM 2019 includes a total of 77 papers; they were organized in topical sections named: Part I, Human Body and Motion: Anthropometry and computer aided ergonomics; motion prediction and motion capture; work modelling and industrial applications; risk assessment and safety. Part II, Healthcare Applications: Models in healthcare; quality of life technologies; health dialogues; health games and social communities.

This book comprises theoretical foundations to deep learning, machine learning and computing system, deep learning algorithms, and various deep learning applications. The book discusses significant issues relating to deep learning in data analytics. Further in-depth reading can be done from the detailed bibliography presented at the end of each chapter. Besides, this book's material includes concepts, algorithms, figures, graphs, and tables in guiding researchers through deep learning in data science and its applications for society. Deep learning approaches prevent loss of information and hence enhance the performance of data analysis and learning techniques. It brings up many research issues in the industry and research community to capture and access data effectively. The book provides the conceptual basis of deep learning required to achieve in-depth knowledge in computer and data science. It has been done to make the book more flexible and to stimulate further interest in topics. All these help researchers motivate towards learning and implementing the concepts in real-life applications.

This book presents a guide to navigating the complicated issues of quality and process improvement in enterprise software implementation, and the effect these have on the software development life cycle (SDLC). Offering an integrated approach that includes important management and decision practices, the text explains how to create successful automated solutions that fit user and customer needs, by mixing different SDLC methodologies. With an emphasis on the realities of practice, the book offers essential advice on defining business requirements, and managing change. This revised and expanded second edition includes new content on such areas as cybersecurity, big data, and digital transformation. Features: presents examples, case studies, and chapter-ending problems and exercises; concentrates on the skills needed to distinguish successful software implementations; considers the political and cultural realities in organizations; suggests many alternatives for how to manage and model a system.

Including contributions from leading experts in the field, this book covers applications and developments of heuristic search methods for solving complex optimization problems. The book covers various local search strategies including genetic algorithms, simulated annealing, tabu search and hybrids thereof. These methods have proved extraordinarily successful by solving some of the most difficult, real-world problems. At the interface between Artificial Intelligence and Operational Research, research in this exciting area is progressing apace spurred on by the needs of industry and commerce. The introductory chapter provides a clear overview of the basic techniques and useful pointers to further reading and to current research. The second section of the book covers some of the most recent and exciting developments of the basic techniques, with suggestions not only for extending and improving these but also for hybridizing and incorporating automatic adaption. The third section contains a number of case studies, surveys and comparative studies which span a wide range of application areas ranging from the classic Steiner tree problem to more practical problems arising in telecommunications and data analysis. The coverage of the latest research and the illustrative case studies will ensure that the book is invaluable for researchers and professionals with an interest in heuristic search methods.

The book is the complete introduction and applications guide to this new technology. This book introduces the reader to features and gives an overview of geometric modeling techniques, discusses the conceptual development of features as modeling entities, illustrates the use of features for a variety of engineering design applications, and develops a set of broad functional requirements and addresses high level design issues.