Overview
- Latest research on Formal Methods Integration
- Best papers of the IEEE International Workshop on Formal Methods Integration - IEEE FMi 2015, held at San Francisco, USA, August 13-15 2015
- Written by experts in the field
- Includes supplementary material: sn.pub/extras
Part of the book series: Advances in Intelligent Systems and Computing (AISC, volume 446)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (9 papers)
Keywords
About this book
Information Reuse and Integration addresses the efficient extension and creation of knowledge through the exploitation of Kolmogorov complexity in the extraction and application of domain symmetry. Knowledge, which seems to be novel, can more often than not be recast as the image of a sequence of transformations, which yield symmetric knowledge. When the size of those transformations and/or the length of that sequence of transforms exceeds the size of the image, then that image is said to be novel or random. It may also be that the new knowledge is random in that no such sequence of transforms, which produces it exists, or is at least known.
The nine chapters comprising this volume incorporate symmetry, reuse, and integration as overt operational procedures or as operations built into the formal representations of data and operators employed. Either way, the aforementioned theoretical underpinnings of information reuse and integration are supported.
Editors and Affiliations
Bibliographic Information
Book Title: Theoretical Information Reuse and Integration
Editors: Thouraya Bouabana-Tebibel, Stuart H. Rubin
Series Title: Advances in Intelligent Systems and Computing
DOI: https://doi.org/10.1007/978-3-319-31311-5
Publisher: Springer Cham
eBook Packages: Engineering, Engineering (R0)
Copyright Information: Springer International Publishing Switzerland 2016
Softcover ISBN: 978-3-319-31309-2Published: 26 May 2016
eBook ISBN: 978-3-319-31311-5Published: 02 April 2016
Series ISSN: 2194-5357
Series E-ISSN: 2194-5365
Edition Number: 1
Number of Pages: XII, 217
Number of Illustrations: 40 b/w illustrations, 21 illustrations in colour