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 b...
详细信息
ISBN:
(数字)9783319994147
ISBN:
(纸本)9783319994130
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 appl.ed in specific domains. Next, Part IIprovides 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 appl.cations 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 appl.cations, 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.
If a functionf (x) on a compact setB satisfies an identityf (Tx)=±f (x) whereT stands for a transformation ofB in itself, sometimes this invariance property goes over to some best approximations in the Čebysev se...
详细信息
If a functionf (x) on a compact setB satisfies an identityf (Tx)=±f (x) whereT stands for a transformation ofB in itself, sometimes this invariance property goes over to some best approximations in the Čebysev sense. In this paper a theorem of this kind in the case of rational approximations is proved. There the fixed point theorem of Brouwer is the main tool.
Problem I (or respectively II) is concerned with the problem of finding a real diagonal matrixV (orW), such thatA+V (orW B) has prescribed real eigenvalues, whereA (orB) is any given real symmetric (or positive defini...
详细信息
Problem I (or respectively II) is concerned with the problem of finding a real diagonal matrixV (orW), such thatA+V (orW B) has prescribed real eigenvalues, whereA (orB) is any given real symmetric (or positive definite) matrix. Sufficient conditions are given for the problem II to have a solution. Methods to solve problems I and II are given. Connection between the both problems in the case of 2×2 matrices is discussed.
This book is intended for Engineers and appl.ed Scientists who are not specialising in electronics or computing, but who are using microcomputers in experimental or project work. It provides a very practical guide to ...
详细信息
This book is intended for Engineers and appl.ed Scientists who are not specialising in electronics or computing, but who are using microcomputers in experimental or project work. It provides a very practical guide to the use of micros for measurement and control of signals in both industrial and laboratory appl.cations. The book also provides circuit diagrams and component specifications for a wealth of proven signal conditioning and transducer circuits, together with the necessary interfacing information. The fundamental principles behind data acquisition, signal conditioning and interfacing are clearly explained so that readers will be able to appl. them effectively to their own measurement problems.
is for those who are planning a digital asset management system or interested in becoming digital asset managers. This book explains both the purpose of digital asset management systems and why an organization might n...
详细信息
ISBN:
(数字)9781430263777
ISBN:
(纸本)9781430263760
is for those who are planning a digital asset management system or interested in becoming digital asset managers. This book explains both the purpose of digital asset management systems and why an organization might need one. The text then walks readers step-by-step through the concerns involved in selecting, staffing, and maintaining a DAM. This book is dedicated to providing you with a solid base in the common concerns, both legal and technical, in launching a complex DAM capable of providing visual search results and workflow options.
After the lesson learned during last years and following the successful edition of EC-Web 2009, for its 11th edition EC-Web tried to provide a clearer description of the electronic commerce universe focusing on some r...
详细信息
ISBN:
(数字)9783642152085
ISBN:
(纸本)9783642152078
After the lesson learned during last years and following the successful edition of EC-Web 2009, for its 11th edition EC-Web tried to provide a clearer description of the electronic commerce universe focusing on some relevant topics. The main focus was not only on Internet-related techniques and approaches. The aim of EC-Web 2010 was to also cover aspects related to theoretical foundations of e-commerce, business processes as well as new approaches exploiting recently emerged technologies and scenarios such as the Semantic Web, Web services, SOA architectures, mobile and ubiquitous computing, just to cite a few. Due to their central role in any realistic e-commerce infrastructure, security and privacy issues were widely considered, without excluding legal and regulatory aspects. The choice of the above relevant topics directly reflects the fact that electronic commerce (EC), in the last few years, has changed and evolved into a well-established and founded reality both from a technological point of view and from a scientific one. Nevertheless, together with its evolution, new challenges and topics have emerged as well as new questions have been raised related to many aspects of EC. Keeping in mind the experience of the last edition of EC-Web, we maintained, for its 11th edition, the structure and the scientific organization of EC-Web 2009, aiming to highlight the autonomous role of the different (sometimes heterogeneous) aspects of EC, without missing their interdisciplinary scope.
The most known existence theorem in optimization theory: "A continous function assumes its minimum and maximum on a compact set" is generalized. It turns out, that this criteria is not only sufficiant but al...
详细信息
暂无评论