Skip to main content
SpringerLink
Log in

Theoretical Information Reuse and Integration

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Thouraya Bouabana-Tebibel

    1. d'Informatique, Ecole Nationale Supérieure, Alger, Algeria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Stuart H. Rubin

    1. Code 71730, BS, SPAWAR Systems Center Pacific, San Diego, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • 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)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (9 papers)

  1. Front Matter

    Pages i-xii
    Download chapter PDF

  2. Reuse and Integration of Specification Logics: The Hybridisation Perspective

    • Luis S. Barbosa, Manuel A. Martins, Alexandre Madeira, Renato Neves
    Pages 1-30

  3. Test Reactive Systems with Büchi-Automaton-Based Temporal Requirements

    • Bolong Zeng, Li Tan
    Pages 31-57

  4. Capturing and Verifying Dynamic Systems Behavior Using UML and \(\pi \)-Calculus

    • Aissam Belghiat, Allaoua Chaoui, Mokhtar Beldjehem
    Pages 59-84

  5. A Real-Time Concurrent Constraint Calculus for Analyzing Avionic Systems Embedded in the IMA Connected Through TTEthernet

    • Sardaouna Hamadou, John Mullins, Abdelouahed Gherbi
    Pages 85-111

  6. Case Indexing by Component, Context, and Encapsulation for Knowledge Reuse

    • Asmaa Chebba, Thouraya Bouabana-Tebibel, Stuart H. Rubin, Kadaouia Habib
    Pages 113-134

  7. Intelligent Decision Making for Customer Dynamics Management Based on Rule Mining and Contrast Set Mining

    • Elham Akhond Zadeh Noughabi, Behrouz H. Far, Amir Albadvi
    Pages 135-155

  8. Is Data Sampling Required When Using Random Forest for Classification on Imbalanced Bioinformatics Data?

    • David J. Dittman, Taghi M. Khoshgoftaar, Amri Napolitano
    Pages 157-171

  9. Concurrent Alignment of Multiple Anonymized Social Networks with Generic Stable Matching

    • Jiawei Zhang, Qianyi Zhan, Philip S. Yu
    Pages 173-196

  10. An Accurate Multi-sensor Multi-target Localization Method for Cooperating Vehicles

    • Sepideh Afkhami Goli, Behrouz H. Far, Abraham O. Fapojuwo
    Pages 197-217
Back to top

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

  • d'Informatique, Ecole Nationale Supérieure, Alger, Algeria

    Thouraya Bouabana-Tebibel

  • Code 71730, BS, SPAWAR Systems Center Pacific, San Diego, USA

    Stuart H. Rubin

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

  • Topics: Computational Intelligence, Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation