This book is devoted to the study of the semantics and assuring the efficient execution of database query languages, where the database contains semistructured and time-varying information. The primary focus of the work presented is the definition of an effective graph-based approach to the formalization of query languages for semistructured and temporal information; as a result, query execution can be reduced to searching the database for subgraphs that are similar to the given query graph and thus can be supported through bisimualtion. By integrating and refining graph-based methods and bisimulation, the author develops a powerful and flexible paradigm. The second research challenge solved is that of efficient implementation by modeling graphical queries as formulas in modal logic and interpreting database instance graphs as Kripke transition systems.

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Database Programming Languages, DBPL 2001, held in Frascati, Italy, in September 2001. The 18 revised full papers presented together with an invited paper were carefully selected during two rounds of reviewing and revision. The papers are organized in topical sections on semistructured data; OLAP and data mining; systems, schema integration, and index concurrency; XML; spatial databases; user languages; and rules.

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Database Programming Languages, DBPL 2001, held in Frascati, Italy, in September 2001. The 18 revised full papers presented together with an invited paper were carefully selected during two rounds of reviewing and revision. The papers are organized in topical sections on semistructured data; OLAP and data mining; systems, schema integration, and index concurrency; XML; spatial databases; user languages; and rules.

One of the grand challenges in our digital world are the large, complex and often weakly structured data sets, and massive amounts of unstructured information. This “big data” challenge is most evident in biomedical informatics: the trend towards precision medicine has resulted in an explosion in the amount of generated biomedical data sets. Despite the fact that human experts are very good at pattern recognition in dimensions of = 3; most of the data is high-dimensional, which makes manual analysis often impossible and neither the medical doctor nor the biomedical researcher can memorize all these facts. A synergistic combination of methodologies and approaches of two fields offer ideal conditions towards unraveling these problems: Human–Computer Interaction (HCI) and Knowledge Discovery/Data Mining (KDD), with the goal of supporting human capabilities with machine learning./ppThis state-of-the-art survey is an output of the HCI-KDD expert network and features 19 carefully selected and reviewed papers related to seven hot and promising research areas: Area 1: Data Integration, Data Pre-processing and Data Mapping; Area 2: Data Mining Algorithms; Area 3: Graph-based Data Mining; Area 4: Entropy-Based Data Mining; Area 5: Topological Data Mining; Area 6 Data Visualization and Area 7: Privacy, Data Protection, Safety and Security.

This book constitutes the refereed proceedings of the 16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2007, held in Aix en Provence, France. It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and dynamic logics), from many-valued logics to nonmonotonic logics, and from classical first-order logic to description logics.

This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2003, held in College Station, Texas, USA, in October 2003. The 35 revised full papers presented were selected from 48 submissions during two rounds of reviewing and improvement upon presentation at the workshop. The papers are organized in topical sections on adaptive optimization, data locality, parallel languages, high-level transformations, embedded systems, distributed systems software, low-level transformations, compiling for novel architectures, and optimization infrastructure.

Almost all pathologists face legal issues when dealing with the specimens they work with on a day-to-day basis, whether it involves quality control and assurance in handling the specimens, facing the possibility of malpractice suits, or serving as an expert witness in a trial. Written in an easy to read, conversational tone, with a dose of good humor, this book fills the need for a handbook that discusses the full spectrum of legal issues that many pathologists face, written from a pathologist's point of view. Organized in 12 user-friendly chapters, the book begins with a comparison of Law and Medicine and explains the basics of the American Legal System. It continues with discussions of the impact of law on the practice of pathology, including such topics as specimens with potential legal implications, the controversy of saving organs for teaching, procuring and saving specimens for toxicology testing and DNA confirmation in identity testing. A must-have section on malpractice suits covers reasons why patients sue, what to do if sued, and reducing the chance of being sued. The author addresses expert witness testimony, including how to be an expert witness, conflicts of interest, conduct in a courtroom, what to say and what not to say. Quality control and assurance as it applies to the pathologist is also discussed. Legal implications for the information age, including the use of internet and e-mail with regard to patient confidentiality is discussed in detail. Case samples are scattered throughout the text to illustrate the principles discussed. Every term is defined in the glossary.

A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises. Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a given system satisfies a desired property such as deadlock freedom, invariants, and request-response properties. This automated technique for verification and debugging has developed into a mature and widely used approach with many applications. Principles of Model Checking offers a comprehensive introduction to model checking that is not only a text suitable for classroom use but also a valuable reference for researchers and practitioners in the field. The book begins with the basic principles for modeling concurrent and communicating systems, introduces different classes of properties (including safety and liveness), presents the notion of fairness, and provides automata-based algorithms for these properties. It introduces the temporal logics LTL and CTL, compares them, and covers algorithms for verifying these logics, discussing real-time systems as well as systems subject to random phenomena. Separate chapters treat such efficiency-improving techniques as abstraction and symbolic manipulation. The book includes an extensive set of examples (most of which run through several chapters) and a complete set of basic results accompanied by detailed proofs. Each chapter concludes with a summary, bibliographic notes, and an extensive list of exercises of both practical and theoretical nature.