Autonomy oriented computing : From problem solving to complex systems modeling
Autonomy Oriented Computing explores the important theoretical and practical issues in AOC, by analyzing methodologies and presenting experimental case studies. The book serves as a comprehensive reference source for researchers, scientists, engineers, and professionals in all fields concerned with this promising new development in computer science. It can also be used as a main or supplementary text in graduate and undergraduate programs across a broad range of computer-related disciplines, including Robotics and Automation, Amorphous Computing, Image Processing and Computer Vision, Programming Paradigms, Computational Biology, and many others. The first part of the book, Fundamentals, describes the basic concepts and characteristics of an AOC system, and then it enumerates the critical design and engineering issues faced in AOC system development. The second part of the book, AOC in Depth, provides a detailed analysis of methodologies and case studies to evaluate the use of AOC in problem solving and complex system modeling. The final chapter reviews the essential features of the AOC paradigm and outlines a number of possibilities for future research and development.
Autonomes fahren : Technische, rechtliche und gesellschaftliche aspekte = Autonomous driving : Technical, legal and social aspects
This book provides answers to a wide range of these and other questions. Experts from Germany and the USA describe central topics related to the automation of vehicles on public roads from an engineering and social science perspective. They show which "decisions" are required of an autonomous vehicle or which "ethics" must be programmed. The authors discuss expectations and concerns that characterize the individual and societal acceptance of autonomous driving. An increased safety potential through autonomous vehicles is compared to the challenges and solution approaches that play a role in securing the safety concept. In addition, they explain what possibilities for change and opportunities arise for our mobility and the reorganization of traffic, not least for freight traffic. The book thus offers an up-to-date, comprehensive and scientifically sound examination of the topic of "autonomous driving".
Automatic speech recognition on mobile devices and over communication networks
This book brings together leading academic researchers and industrial practitioners to address the issues in this emerging realm and presents the reader with a comprehensive introduction to the subject of speech recognition in devices and networks.
Automated machine learning : Methods, systems, challenges
This book presents the first comprehensive overview of general methods in Automated Machine Learning (AutoML), collects descriptions of existing systems based on these methods, and discusses the first series of international challenges of AutoML systems. The recent success of commercial ML applications and the rapid growth of the field has created a high demand for off-the-shelf ML methods that can be used easily and without expert knowledge. However, many of the recent machine learning successes crucially rely on human experts, who manually select appropriate ML architectures (deep learning architectures or more traditional ML workflows) and their hyperparameters. To overcome this problem, the field of AutoML targets a progressive automation of machine learning, based on principles from optimization and machine learning itself.
Assistive technologies, robotics, and automated machines in the health domain
The field of healthcare is constantly evolving and advancing with new technologies and innovations. Among these, assistive technologies, robotics, and automated machines are rapidly gaining ground as powerful tools to improve the quality of care and enhance patient outcomes. From wearable devices that monitor vital signs to surgical robots that assist in complex procedures, these technologies have the potential to revolutionize the way we deliver healthcare. The development and the integration of assistive technologies, care robots, and automated machines are strategic both as single components, when paired together, and when interconnected in the health domain.This reprint explores the latest developments in assistive technologies, robotics, and automated machines in the health domain, providing a comprehensive overview of their applications and potential impact. The reprint is for the benefit of healthcare professionals, researchers, engineers, and students interested in these rapidly evolving fields.
Artificial intelligence for customer relationship management : Keeping customers informed
Providing a forum for the exchange of ideas in AI, this book provides a concise yet comprehensive coverage of methodologies, tools, issues, applications, and future trends for professionals, managers, and researchers in the CRM field together with AI and IT professionals.
Artificial intelligence and machine learning in health care and medical sciences : Best practices and pitfalls
Provides a detailed review of the latest methods and applications of artificial intelligence (AI) and machine learning (ML) in medicine. With chapters focusing on enabling the reader to develop a thorough understanding of the key concepts in these subject areas along with a range of methods and resulting models that can be utilized to solve healthcare problems, the use of causal and predictive models are comprehensively discussed. Care is taken to systematically describe the concepts to facilitate the reader in developing a thorough conceptual understanding of how different methods and resulting models function and how these relate to their applicability to various issues in health care and medical sciences. Guidance is also given on how to avoid pitfalls that can be encountered on a day-to-day basis and stratify potential clinical risks.
Analysis and Design of Information Systems : Third ed.
This third edition of the successful Analysis and Design of Information Systems provides a comprehensive introduction and user-friendly survey to all aspects of business transformation and analysis, and aims to provide the complex set of tools covering all types of systems, including legacy, transactional, database, and web/e-commerce topics.
An introduction to ontology engineering
Provides the reader with a comprehensive introductory overview of ontology engineering. A secondary aim is to provide hands-on experience in ontology development that illustrate the theory. The book is divided into three blocks: Block I: logic foundations for ontologies both regarding the languages (mainly First Order predicate Logic, Description Logics, and OWL) and automated reasoning. Block II: developing good ontologies with methods and methodologies, the top-down approach with foundational ontologies, and the bottom-up approach to extract as much useful content as possible from legacy material. Block III: advanced topics with a selection of areas of specialisation, including Ontology-Based Data Access, the interaction between ontologies and natural languages (multilingual ontologies, controlled natural language), and advanced modelling with additional language features (fuzzy and temporal ontologies)
An Introduction to Kolmogorov Complexity and Its Applications
Written by two experts in the field, this book is ideal for advanced undergraduate students, graduate students, and researchers in all fields of science. It is self-contained: it contains the basic requirements from mathematics, probability theory, statistics, information theory, and computer science. Included are history, theory, new developments, a wide range of applications, numerous (new) problem sets, comments, source references, and hints to solutions of problems. This is the only comprehensive treatment of the central ideas of Kolmogorov complexity and their applications.
Algorithms on Trees and Graphs : With Python Code
Introduces graph algorithms on an intuitive basis followed by a detailed exposition using structured pseudocode, with correctness proofs as well as worst-case analyses. Centered around the fundamental issue of graph isomorphism, the content goes beyond classical graph problems of shortest paths, spanning trees, flows in networks, and matchings in bipartite graphs. Advanced algorithmic results and techniques of practical relevance are presented in a coherent and consolidated way. Numerous illustrations, examples, problems, exercises, and a comprehensive bibliography support students and professionals in using the book as a text and source of reference. Furthermore, Python code for all algorithms presented is given in an appendix. Topics and features: Algorithms are first presented on an intuitive basis, followed by a detailed exposition using structured pseudocode / Correctness proofs are given, together with a worst-case analysis of the algorithms / Full implementation of all the algorithms in Python / An extensive chapter is devoted to the algorithmic techniques used in the book / Solutions to all the problems
Algorithms in Bioinformatics : Theory and Implementation
Explores a comprehensive and insightful treatment of the practical application of bioinformatic algorithms in a variety of fields. Delivers a fulsome treatment of some of the main algorithms used to explain biological functions and relationships. It introduces readers to the art of algorithms in a practical manner which is linked with biological theory and interpretation. The book covers many key areas of bioinformatics, including global and local sequence alignment, forced alignment, detection of motifs, Sequence logos, Markov chains or information entropy. Other novel approaches are also described, such as Self-Sequence alignment, Objective Digital Stains (ODSs) or Spectral Forecast and the Discrete Probability Detector (DPD) algorithm. Readers will also benefit from the inclusion of: A detailed presentation of new methods, such as Self-sequence alignment, Objective Digital Stains and Spectral Forecast ; A treatment of sequence alignment, including local sequence alignment, global sequence alignment and forced sequence alignment with full implementations ; Discussions of position-specific weight matrices, including the count, weight, relative frequencies, and log-likelihoods matrices ; A detailed presentation of the methods related to Markov Chains as well as a description of their implementation in Bioinformatics and adjacent fields ; An examination of information and entropy, including sequence logos and explanations related to their meaning ; A chapter on philosophical transactions that allows the reader a broader view of the prediction process ; Extensive worked examples with detailed case studies that point out the meaning of different results
Advances in Biometrics: Sensors, Algorithms and Systems
This book presents a comprehensive treatment of biometrics and offers coverage of the entire gamut of topics in the field, including data acquisition, pattern-matching algorithms, and issues that impact at the system level, such as standards, security, networks, and databases.
Advances in Biologically Inspired Information Systems : Models, Methods, and Tools
A comprehensive overview of the most promising research directions in the area of bio-inspired computing. According to the broad spectrum addressed by the different book chapters, a rich variety of biological principles and their application to ICT systems are presented.
Advances in Big Data Analytics : Theory, Algorithms and Practices
Provides a comprehensive and cutting-edge study on big data analytics, based on the research findings and applications developed by the author and his colleagues in related areas. It addresses the concepts of big data analytics and/or data science, multi-criteria optimization for learning, expert and rule-based data analysis, support vector machines for classification, feature selection, data stream analysis, learning analysis, sentiment analysis, link analysis, and evaluation analysis. The book also explores lessons learned in applying big data to business, engineering and healthcare. Lastly, it addresses the advanced topic of intelligence-quotient (IQ) tests for artificial intelligence.
Advances and applications of DSmT for information fusion: Collected works ; Vol.3
One of the most comprehensive and flexible fusion theory based on belief functions. It can work in all fusion spaces: power set, hyper-power set, and super-power set, and has various fusion and conditioning rules that can be applied depending on each application. Some new generalized rules are introduced in this volume with codes for implementing some of them. For the qualitative fusion, the DSm Field and Linear Algebra of Refined Labels (FLARL) is proposed which can convert any numerical fusion rule to a qualitative fusion rule. When one needs to work on a refined frame of discernment, the refinement is done using Smarandache s algebraic codification. New interpretations and implementations of the fusion rules based on sampling techniques and referee functions are proposed, including the probabilistic proportional conflict redistribution rule.
Advances and applications of DSmT for information fusion ; Vol. 4
One of the most comprehensive and flexible fusion theory based on belief functions. It can work in all fusion spaces: power set, hyper-power set, and super-power set, and has various fusion and conditioning rules that can be applied depending on each application. Some new generalized rules are introduced in this volume with codes for implementing some of them. For the qualitative fusion, the DSm Field and Linear Algebra of Refined Labels (FLARL) is proposed which can convert any numerical fusion rule to a qualitative fusion rule. When one needs to work on a refined frame of discernment, the refinement is done using Smarandache s algebraic codification. New interpretations and implementations of the fusion rules based on sampling techniques and referee functions are proposed, including the probabilistic proportional conflict redistribution rule.
Advanced Autonomic Networking and Communication
This book presents a comprehensive reference of state-of-the-art efforts and early results in the area of autonomic networking and communication.
A Programmers Introduction to C#2.0
A Programmer's Introduction to C# 2.0, Third Edition is a critical update to the highly successful second edition. It is written by a member of the original C# language-design team and a C# program manager, so you can be certain this book contains the expertise you're looking for. This third edition covers the elements of C# 2005 that you'll soon embrace. This comprehensive tutorial explains features like generics, iterators, anonymous types, and partial classes. It is sure to be a key resource for all you C# programmers!
A High-Performance Logical Framework -- All About Maude : How to Specify, Program, and Verify Systems in Rewriting Logic
This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used throughout the book to illustrate the main ideas and features of Maude, and its many possible uses. Maude modules are rewrite theories. Computation with such modules is - cient deduction by rewriting. Because of its logical basis and its initial model semantics,aMaude module defines a precise mathematical model.This means that Maude and its formal tool environment can be used in three, mutually reinforcing ways: • as a declarative programming language; • as an executable formal specification language; and • as a formal verification system. Maude’s rewriting logic is simple, yet very expressive. This gives Maude good representational capabilities as a semantic framework to formally represent a wide range of systems, including models of concurrency, distributed al- rithms, network protocols, semantics of programming languages, and models of cell biology. Rewriting logic is also an expressive universal logic,making Maude a fiexible logical framework in which many difierent logics and - ference systems can be represented and mechanized. This makes Maude a useful metatool to build many other tools, including those in its own formal tool environment. Thanks to the logic’s simplicity and the use of advanced semi-compilation techniques, Maude has a high-performance implementation, making it competitive with other declarative programming languages.



















