AI*IA 99:Advances in Artificial Intelligence
AI*IA 99:Advances in Artificial Intelligence

Author: Evelina Lamma

Publisher: Springer

Published: 2003-06-26

Total Pages: 400

ISBN-13: 3540462384

DOWNLOAD EBOOK

This book contains the extended versions of 33 papers selected among those originally presented at the Sixth Congress of the Italian Association for Artificial Intelligence (AI*IA). The congress of the AI*IA is the most relevant Italian event in the field of Artificial Intelligence, and has been receiving much attention from many researchers and practitioners of different countries. The sixth congress was held in Bologna, 14-17 September 1999, and was organized in twelve scientific sessions and one demo session. The papers here collected report on significant work carried out in different areas of artificial intelligence, in Italy and other countries. Areas such as automated reasoning, knowledge representation, planning, and machine learning continue to be thoroughly investigated. The collection also shows a growing interest in the field of multi-agent systems, perception and robotics, and temporal reasoning. Many people contributed in different ways to the success of the congress and to this volume. First of all, the members of the program committee who efficiently handled the reviewing of the 64 papers submitted to the congress, and later on the reviewing of the 41 papers submitted for publication in this volume. They provided three reviews for each manuscript, by relying on the support of valuable additional reviewers. The members of the organizing committee, namely Rosangela Barruffi, Paolo Bellavista, Anna Ciampolini, Marco Cremonini, Enrico Denti, Marco Gavanelli, Mauro Gaspari, Michela Milano, Rebecca Montanari, Andrea Omicini, Fabrizio Riguzzi, Cesare Stefanelli, and Paolo Torroni, worked hardy supporting at solving problems during and after the congress.

Conformance Checking
Conformance Checking

Author: Josep Carmona

Publisher: Springer

Published: 2018-11-11

Total Pages: 285

ISBN-13: 331999414X

DOWNLOAD EBOOK

This book introduces readers to the field of conformance checking as a whole and outlines the fundamental relation between modelled and recorded behaviour. Conformance checking interrelates the modelled and recorded behaviour of a given process and provides techniques and methods for comparing and analysing observed instances of a process in the presence of a model, independent of the model’s origin. Its goal is to provide an overview of the essential techniques and methods in this field at an intuitive level, together with precise formalisations of its underlying principles. The book is divided into three parts, that are meant to cover different perspectives of the field of conformance checking. Part I presents a comprehensive yet accessible overview of the essential concepts used to interrelate modelled and recorded behaviour. It also serves as a reference for assessing how conformance checking efforts could be applied in specific domains. Next, Part II provides readers with detailed insights into algorithms for conformance checking, including the most commonly used formal notions and their instantiation for specific analysis questions. Lastly, Part III highlights applications that help to make sense of conformance checking results, thereby providing a necessary next step to increase the value of a given process model. They help to interpret the outcomes of conformance checking and incorporate them by means of enhancement and repair techniques. Providing the core building blocks of conformance checking and describing its main applications, this book mainly addresses students specializing in business process management, researchers entering process mining and conformance checking for the first time, and advanced professionals whose work involves process evaluation, modelling and optimization.

Logic Programs, Norms and Action
Logic Programs, Norms and Action

Author: Alexander Artikis

Publisher: Springer

Published: 2012-04-25

Total Pages: 444

ISBN-13: 3642294146

DOWNLOAD EBOOK

This book is dedicated to Marek Sergot, Professor in Computational Logic at Imperial College London, on the occasion of his 60th birthday. Professor Sergot’s scientific contributions range over many different fields. He has developed a series of novel ideas and formal methods bridging areas including artificial intelligence, computational logic, philosophical logic, legal theory, artificial intelligence and law, multi-agent systems and bioinformatics. By combining his background in logic and computing with his interest in the law, deontic logic, action, and related areas, and applying to all his capacity to understand the subtleties of social interaction and normative reasoning, Professor Sergot has opened up new directions of research, and has been a reference, an inspiration, and a model for many researchers in the fields to which he has contributed. The Festschrift includes several reminiscences and introductory essays describing Professor Sergot's achievements, followed by a series of articles on logic programming, temporal reasoning and action languages, artificial intelligence and law, deontic logic and norm-governed systems, and logical approaches to policies.

Business Process Management Workshops
Business Process Management Workshops

Author: Marcello La Rosa

Publisher: Springer

Published: 2013-01-26

Total Pages: 837

ISBN-13: 3642362850

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of 12 international workshops held in Tallinn, Estonia, in conjunction with the 10th International Conference on Business Process Management, BPM 2012, in September 2012. The 12 workshops comprised Adaptive Case Management and Other Non-Workflow Approaches to BPM (ACM 2012), Business Process Design (BPD 2012), Business Process Intelligence (BPI 2012), Business Process Management and Social Software (BPMS2 2012), Data- and Artifact-Centric BPM (DAB 2012), Event-Driven Business Process Management (edBPM 2012), Empirical Research in Business Process Management (ER-BPM 2012), Process Model Collections (PMC 2012), Process-Aware Logistics Systems (PALS 2012), Reuse in Business Process Management (rBPM 2012), Security in Business Processes (SBP 2012), and Theory and Applications of Process Visualization (TAProViz 2012). The 56 revised full papers presented were carefully reviewed and selected from 141 submissions.

ABC Transporters: Biochemical, Cellular, and Molecular Aspects
ABC Transporters: Biochemical, Cellular, and Molecular Aspects

Author: Suresh V. Ambudkar

Publisher: Gulf Professional Publishing

Published: 1998-07-31

Total Pages: 902

ISBN-13: 9780121821937

DOWNLOAD EBOOK

The critically acclaimed laboratory standard for more than forty years, Methods in Enzymology is one of the most highly respected publications in the field of biochemistry. Since 1955, each volume has been eagerly awaited, frequently consulted, and praised by researchers and reviewers alike. More than 285 volumes have been published (all of them still in print) and much of the material is relevant even today-truly an essential publication for researchersin all fields of life sciences. Prokaryotic ABC Transporters Eukaryotic ABC Transporters Nonmammalian ABC Transport Systems Mammalian P-Glycoproteins Multidrug Resistance Associated Protein Cystic Fibrosis Transmembrane Conductance Regulator Sulfonylurea Receptor Intracellular ABC Transporters

Acoustic Emission
Acoustic Emission

Author: Sotirios J. Vahaviolos

Publisher: ASTM International

Published: 1999

Total Pages: 257

ISBN-13: 0803124988

DOWNLOAD EBOOK

Sixteen papers originally presented at the symposium of the same name held on January 22-23, 1998 explore the use of acoustic emission (AE) for the location and evaluation of materials strengths and faults in a variety of industrial applications. Specific topics include the characterization of focal

Abelian Groups, Module Theory, and Topology
Abelian Groups, Module Theory, and Topology

Author: Dikran Dikranjan

Publisher: CRC Press

Published: 1998-08-21

Total Pages: 472

ISBN-13: 9780824719371

DOWNLOAD EBOOK

Features a stimulating selection of papers on abelian groups, commutative and noncommutative rings and their modules, and topological groups. Investigates currently popular topics such as Butler groups and almost completely decomposable groups.