000 03795nam a22005175i 4500
001 978-3-319-31311-5
003 DE-He213
005 20220801222122.0
007 cr nn 008mamaa
008 160401s2016 sz | s |||| 0|eng d
020 _a9783319313115
_9978-3-319-31311-5
024 7 _a10.1007/978-3-319-31311-5
_2doi
050 4 _aQ342
072 7 _aUYQ
_2bicssc
072 7 _aTEC009000
_2bisacsh
072 7 _aUYQ
_2thema
082 0 4 _a006.3
_223
245 1 0 _aTheoretical Information Reuse and Integration
_h[electronic resource] /
_cedited by Thouraya Bouabana-Tebibel, Stuart H Rubin.
250 _a1st ed. 2016.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2016.
300 _aXII, 217 p. 61 illus., 21 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aAdvances in Intelligent Systems and Computing,
_x2194-5365 ;
_v446
505 0 _aReuse and integration of specification logics: the hybridisation perspective -- Test Reactive Systems with Büchi-Automaton-Based Temporal Requirements -- Capturing and Verifying Dynamic Systems Behavior Using UML and π-calculus -- A Real-time Concurrent Constraint Calculus for Analyzing Avionic Systems Embedded in the IMA Connected Through TTEthernet -- Case Indexing by Component, Context and Encapsulation for Knowledge Reuse -- Intelligent Decision Making for Customer Dynamics Management Based on Rule Mining and Contrast Set Mining A Segmentation Analysis Perspective -- Is Data Sampling Required When Using Random Forest for Classification on Imbalanced Bioinformatics Data? -- Concurrent Alignment of Multiple Anonymized Social Networks with Generic Stable Matching -- An Accurate Multi-sensor Multi-target Localization Method for Cooperating Vehicles.
520 _aInformation 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.
650 0 _aComputational intelligence.
_97716
650 0 _aArtificial intelligence.
_93407
650 1 4 _aComputational Intelligence.
_97716
650 2 4 _aArtificial Intelligence.
_93407
700 1 _aBouabana-Tebibel, Thouraya.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_959807
700 1 _aRubin, Stuart H.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_959808
710 2 _aSpringerLink (Online service)
_959809
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783319313092
776 0 8 _iPrinted edition:
_z9783319313108
830 0 _aAdvances in Intelligent Systems and Computing,
_x2194-5365 ;
_v446
_959810
856 4 0 _uhttps://doi.org/10.1007/978-3-319-31311-5
912 _aZDB-2-ENG
912 _aZDB-2-SXE
942 _cEBK
999 _c80418
_d80418