Chapman & Hall/CRC Studies in Informatics Series – serie

Collecting information previously scattered throughout the vast literature, including the author’s own research, Stochastic Relations: Foundations for Markov Transition Systems develops the theory of stochastic relations as a basis for Markov transition systems.After an introduction to the basic mathematical tools from topology, measure theory, and categories, the book examines the central topics of congruences and morphisms, applies these to the monoidal structure, and defines bisimilarity and behavioral equivalence within this framework. The author views developments from the general theory of coalgebras in the context of the subprobability functor. These tools show that bisimilarity and behavioral and logical equivalence are the same for general modal logics and for continuous time stochastic logic with and without a fixed point operator. With numerous problems and several case studies, this book is an invaluable study of an important aspect of computer science theory.

Swarm-based multi-agent simulation leads to better modeling of tasks in biology, engineering, economics, art, and many other areas. It also facilitates an understanding of complicated phenomena that cannot be solved analytically. Agent-Based Modeling and Simulation with Swarm provides the methodology for a multi-agent-based modeling approach that integrates computational techniques such as artificial life, cellular automata, and bio-inspired optimization.Each chapter gives an overview of the problem, explores state-of-the-art technology in the field, and discusses multi-agent frameworks. The author describes step by step how to assemble algorithms for generating a simulation model, program, method for visualization, and further research tasks. While the book employs the commonly used Swarm system, readers can model and develop the simulations with their own simulator. To encourage hands-on exploration of emergent systems, Swarm-based software and source codes are available for download from the author’s website. A thorough overview of multi-agent simulation and supporting tools, this book shows how this type of simulation is used to acquire an understanding of complex systems and artificial life. It carefully explains how to construct a simulation program for various applications.

Computing is ubiquitous and if you think otherwise, that in itself might be the best evidence that it is so. Computers are omnipresent in modern life and the multimedia computing environment of today is becoming more and more seamless.Bringing together contributions from dozens of leading experts, Ubiquitous Multimedia Computing educates readers on Ubi-Media Computing on three levels: infrastructures, where fundamental technologies are being developed; middleware, where the integration of technologies and software systems continues to be defined; and applications, where its concepts are evolving into real-world products and processes. In presenting a wealth of new directions and new technology that is changing the way we communicate, learn, play, and live day by day, this book – Examines various architectures for delivering multimedia content including streaming devices , wireless networks, and various hybridsLooks at rapidly developing sensor technology including wearable computers Demonstrates the use of advanced HCI devices that allow the simplest body gestures to govern increasingly complex tasks Introduces newsputers that take the use of embedded image information in a host of practical directionsLooks at how ubiquitous computing can eliminate traffic congestion and improve the efficiency and quality of medical careLooks at how computing is personalizing learning environments and revolutionizing our approach to the three R’s.While these pages serve as a timely reference for researchers working in all areas of product development and human computer interaction, they also provide engineers, doctors, and many other professionals, as well as educators and graduate students with a view that reveals the otherwise invisible seams of this age of ubi-media computing.

Covering the authors’ own state-of-the-art research results, Mathematical Aspects of Logic Programming Semantics presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventional methods from mathematical analysis that depend on topology, domain theory, generalized distance functions, and associated fixed-point theory.The book covers topics spanning the period from the early days of logic programming to current times. It discusses applications to computational logic and potential applications to the integration of models of computation, knowledge representation and reasoning, and the Semantic Web. The authors develop well-known and important semantics in logic programming from a unified point of view using both order theory and new, nontraditional methods. They closely examine the interrelationships between various semantics as well as the integration of logic programming and connectionist systems/neural networks.For readers interested in the interface between mathematics and computer science, this book offers a detailed development of the mathematical techniques necessary for studying the semantics of logic programs. It illustrates the main semantics of logic programs and applies the methods in the context of neural-symbolic integration.

Exploring fundamental research questions, Conceptual Structures in Practice takes you through the basic yet nontrivial task of establishing conceptual relations as the foundation for research in knowledge representation and knowledge mining. It includes contributions from leading researchers in both the conceptual graph and formal concept analysis (FCA) communities.This accessible, self-contained book begins by providing the formal background in FCA and conceptual graphs. It then describes various software tools for analysis and computation, including the ToscanaJ suite. Written by the original visionaries of the field, the next section discusses the history and future directions of conceptual structures. The final chapters explore prominent application areas in computer science, including text analysis, web semantics, and intelligent systems.An unprecedented, state-of-the-art overview from innovators in the field, this volume discusses how FCA and conceptual graphs can be used in many computer science areas. It serves as a benchmark of research on conceptual structures, inspiring further exploration in this discipline.

Exploring fundamental research questions, Conceptual Structures in Practice takes you through the basic yet nontrivial task of establishing conceptual relations as the foundation for research in knowledge representation and knowledge mining. It includes contributions from leading researchers in both the conceptual graph and formal concept analysis (FCA) communities.This accessible, self-contained book begins by providing the formal background in FCA and conceptual graphs. It then describes various software tools for analysis and computation, including the ToscanaJ suite. Written by the original visionaries of the field, the next section discusses the history and future directions of conceptual structures. The final chapters explore prominent application areas in computer science, including text analysis, web semantics, and intelligent systems.An unprecedented, state-of-the-art overview from innovators in the field, this volume discusses how FCA and conceptual graphs can be used in many computer science areas. It serves as a benchmark of research on conceptual structures, inspiring further exploration in this discipline.

Swarm-based multi-agent simulation leads to better modeling of tasks in biology, engineering, economics, art, and many other areas. It also facilitates an understanding of complicated phenomena that cannot be solved analytically. Agent-Based Modeling and Simulation with Swarm provides the methodology for a multi-agent-based modeling approach that integrates computational techniques such as artificial life, cellular automata, and bio-inspired optimization.Each chapter gives an overview of the problem, explores state-of-the-art technology in the field, and discusses multi-agent frameworks. The author describes step by step how to assemble algorithms for generating a simulation model, program, method for visualization, and further research tasks. While the book employs the commonly used Swarm system, readers can model and develop the simulations with their own simulator. To encourage hands-on exploration of emergent systems, Swarm-based software and source codes are available for download from the author’s website. A thorough overview of multi-agent simulation and supporting tools, this book shows how this type of simulation is used to acquire an understanding of complex systems and artificial life. It carefully explains how to construct a simulation program for various applications.

Computing is ubiquitous and if you think otherwise, that in itself might be the best evidence that it is so. Computers are omnipresent in modern life and the multimedia computing environment of today is becoming more and more seamless.Bringing together contributions from dozens of leading experts, Ubiquitous Multimedia Computing educates readers on Ubi-Media Computing on three levels: infrastructures, where fundamental technologies are being developed; middleware, where the integration of technologies and software systems continues to be defined; and applications, where its concepts are evolving into real-world products and processes. In presenting a wealth of new directions and new technology that is changing the way we communicate, learn, play, and live day by day, this book – Examines various architectures for delivering multimedia content including streaming devices , wireless networks, and various hybridsLooks at rapidly developing sensor technology including wearable computers Demonstrates the use of advanced HCI devices that allow the simplest body gestures to govern increasingly complex tasks Introduces newsputers that take the use of embedded image information in a host of practical directionsLooks at how ubiquitous computing can eliminate traffic congestion and improve the efficiency and quality of medical careLooks at how computing is personalizing learning environments and revolutionizing our approach to the three R’s.While these pages serve as a timely reference for researchers working in all areas of product development and human computer interaction, they also provide engineers, doctors, and many other professionals, as well as educators and graduate students with a view that reveals the otherwise invisible seams of this age of ubi-media computing.

Covering the authors’ own state-of-the-art research results, Mathematical Aspects of Logic Programming Semantics presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventional methods from mathematical analysis that depend on topology, domain theory, generalized distance functions, and associated fixed-point theory.The book covers topics spanning the period from the early days of logic programming to current times. It discusses applications to computational logic and potential applications to the integration of models of computation, knowledge representation and reasoning, and the Semantic Web. The authors develop well-known and important semantics in logic programming from a unified point of view using both order theory and new, nontraditional methods. They closely examine the interrelationships between various semantics as well as the integration of logic programming and connectionist systems/neural networks.For readers interested in the interface between mathematics and computer science, this book offers a detailed development of the mathematical techniques necessary for studying the semantics of logic programs. It illustrates the main semantics of logic programs and applies the methods in the context of neural-symbolic integration.

Managing vagueness/fuzziness is starting to play an important role in Semantic Web research, with a large number of research efforts underway. Foundations of Fuzzy Logic and Semantic Web Languages provides a rigorous and succinct account of the mathematical methods and tools used for representing and reasoning with fuzzy information within Semantic Web languages. The book focuses on the three main streams of Semantic Web languages: Triple languages RDF and RDFSConceptual languages OWL and OWL 2, and their profiles OWL EL, OWL QL, and OWL RLRule-based languages, such as SWRL and RIFWritten by a prominent researcher in this area, the book is the first to combine coverage of fuzzy logic and Semantic Web languages. The first part of the book covers all the theoretical and logical aspects of classical (two-valued) Semantic Web languages. The second part explains how to generalize these languages to cope with fuzzy set theory and fuzzy logic.With an extensive bibliography, this book provides in-depth insight into fuzzy Semantic Web languages for non-fuzzy set theory and fuzzy logic experts. It also helps researchers of non-Semantic Web languages get a better understanding of the theoretical fundamentals of Semantic Web languages.