Theoretical Information Reuse and Integration - Advances in Intelligent Systems and Computing
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319313092, 9783319313115

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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

Theoretical Information Reuse and Integration - Advances in Intelligent Systems and Computing ◽

10.1007/978-3-319-31311-5_4 ◽

2016 ◽

pp. 85-111

Author(s):

Sardaouna Hamadou ◽

John Mullins ◽

Abdelouahed Gherbi

Keyword(s):

Real Time

Reuse and Integration of Specification Logics: The Hybridisation Perspective

Theoretical Information Reuse and Integration - Advances in Intelligent Systems and Computing ◽

10.1007/978-3-319-31311-5_1 ◽

2016 ◽

pp. 1-30 ◽

Cited By ~ 1

Author(s):

Luis S. Barbosa ◽

Manuel A. Martins ◽

Alexandre Madeira ◽

Renato Neves

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

Theoretical Information Reuse and Integration - Advances in Intelligent Systems and Computing ◽

10.1007/978-3-319-31311-5_2 ◽

2016 ◽

pp. 31-57 ◽

Cited By ~ 1

Author(s):

Bolong Zeng ◽

Li Tan

Keyword(s):

Reactive Systems ◽

Büchi Automaton

Capturing and Verifying Dynamic Systems Behavior Using UML and $$\pi $$ π -Calculus

Theoretical Information Reuse and Integration - Advances in Intelligent Systems and Computing ◽

10.1007/978-3-319-31311-5_3 ◽

2016 ◽

pp. 59-84 ◽

Cited By ~ 1

Author(s):

Aissam Belghiat ◽

Allaoua Chaoui ◽

Mokhtar Beldjehem

Keyword(s):

Dynamic Systems ◽

Π Calculus

Concurrent Alignment of Multiple Anonymized Social Networks with Generic Stable Matching

Theoretical Information Reuse and Integration - Advances in Intelligent Systems and Computing ◽

10.1007/978-3-319-31311-5_8 ◽

2016 ◽

pp. 173-196 ◽

Cited By ~ 1

Author(s):

Jiawei Zhang ◽

Qianyi Zhan ◽

Philip S. Yu

Keyword(s):

Social Networks ◽

Stable Matching

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

Theoretical Information Reuse and Integration - Advances in Intelligent Systems and Computing ◽

10.1007/978-3-319-31311-5_9 ◽

2016 ◽

pp. 197-217 ◽

Cited By ~ 1

Author(s):

Sepideh Afkhami Goli ◽

Behrouz H. Far ◽

Abraham O. Fapojuwo

Keyword(s):

Target Localization ◽

Localization Method

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

Theoretical Information Reuse and Integration - Advances in Intelligent Systems and Computing ◽

10.1007/978-3-319-31311-5_7 ◽

2016 ◽

pp. 157-171 ◽

Cited By ~ 1

Author(s):

David J. Dittman ◽

Taghi M. Khoshgoftaar ◽

Amri Napolitano

Keyword(s):

Random Forest ◽

Data Sampling

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

Theoretical Information Reuse and Integration - Advances in Intelligent Systems and Computing ◽

10.1007/978-3-319-31311-5_5 ◽

2016 ◽

pp. 113-134 ◽

Cited By ~ 1

Author(s):

Asmaa Chebba ◽

Thouraya Bouabana-Tebibel ◽

Stuart H. Rubin ◽

Kadaouia Habib

Keyword(s):

Knowledge Reuse

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

Theoretical Information Reuse and Integration - Advances in Intelligent Systems and Computing ◽

10.1007/978-3-319-31311-5_6 ◽

2016 ◽

pp. 135-155 ◽

Cited By ~ 2

Author(s):

Elham Akhond Zadeh Noughabi ◽

Behrouz H. Far ◽

Amir Albadvi

Keyword(s):

Decision Making ◽

Rule Mining ◽

Intelligent Decision Making ◽

Intelligent Decision ◽

Customer Dynamics

Theoretical Information Reuse and Integration - Advances in Intelligent Systems and ComputingLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

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

Reuse 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 $$\pi $$ π -Calculus

Concurrent Alignment of Multiple Anonymized Social Networks with Generic Stable Matching

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

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

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

Theoretical Information Reuse and Integration - Advances in Intelligent Systems and Computing
Latest Publications