Cantitate/Preț
Produs

Theoretical Information Reuse and Integration: Advances in Intelligent Systems and Computing, cartea 446

Editat de Thouraya Bouabana-Tebibel, Stuart H Rubin
en Limba Engleză Paperback – 26 mai 2016
InformationReuse and Integration addresses the efficient extension and creation ofknowledge through the exploitation of Kolmogorov complexity in the extractionand application of domain symmetry. Knowledge, which seems to be novel, canmore often than not be recast as the image of a sequence of transformations,which yield symmetric knowledge. When the size of those transformations and/orthe length of that sequence of transforms exceeds the size of the image, thenthat image is said to be novel or random. It may also be that the new knowledgeis random in that no such sequence of transforms, which produces it exists, oris at least known.
Thenine chapters comprising this volume incorporate symmetry, reuse, andintegration as overt operational procedures or as operations built into theformal representations of data and operators employed. Either way, theaforementioned theoretical underpinnings of information reuse and integrationare supported.
Citește tot Restrânge

Din seria Advances in Intelligent Systems and Computing

Preț: 61804 lei

Preț vechi: 77255 lei
-20% Nou

Puncte Express: 927

Preț estimativ în valută:
11828 12478$ 9857£

Carte tipărită la comandă

Livrare economică 02-16 ianuarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783319313092
ISBN-10: 3319313096
Pagini: 217
Ilustrații: XII, 217 p. 61 illus., 21 illus. in color.
Dimensiuni: 155 x 235 x 12 mm
Greutate: 0.33 kg
Ediția:1st ed. 2016
Editura: Springer International Publishing
Colecția Springer
Seria Advances in Intelligent Systems and Computing

Locul publicării:Cham, Switzerland

Cuprins

Reuseand integration of specification logics: the hybridisation perspective.- Test Reactive Systems with Büchi-Automaton-Based Temporal Requirements.- Capturingand Verifying Dynamic Systems Behavior Using UML and π-calculus.- AReal-time Concurrent Constraint Calculus for Analyzing Avionic Systems Embeddedin the IMA Connected Through TTEthernet.- CaseIndexing by Component, Context and Encapsulation for Knowledge Reuse.- Intelligent DecisionMaking for Customer Dynamics Management Based on Rule Mining and Contrast SetMining A Segmentation Analysis Perspective.- IsData Sampling Required When Using Random Forest for Classification onImbalanced Bioinformatics Data?.- ConcurrentAlignment of Multiple Anonymized Social Networks with Generic Stable Matching.- AnAccurate Multi-sensor Multi-target Localization Method for Cooperating Vehicles.

Textul de pe ultima copertă

InformationReuse and Integration addresses the efficient extension and creation ofknowledge through the exploitation of Kolmogorov complexity in the extractionand application of domain symmetry. Knowledge, which seems to be novel, canmore often than not be recast as the image of a sequence of transformations,which yield symmetric knowledge. When the size of those transformations and/orthe length of that sequence of transforms exceeds the size of the image, thenthat image is said to be novel or random. It may also be that the new knowledgeis random in that no such sequence of transforms, which produces it exists, oris at least known.
Thenine chapters comprising this volume incorporate symmetry, reuse, andintegration as overt operational procedures or as operations built into theformal representations of data and operators employed. Either way, theaforementioned theoretical underpinnings of information reuse and integrationare supported.

Caracteristici

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