A unified framework for differential aggregations in Markovian process algebra Fulltext Access 21 Pages 2015
Parameter identification of chaotic systems using artificial raindrop algorithm Fulltext Access 21 Pages 2015
Decision and approximation complexity for identifying codes and locating-dominating sets in restricted graph classes Fulltext Access 21 Pages 2015
Leader election and gathering for asynchronous fat robots without common chirality Fulltext Access 22 Pages 2015
A new order-theoretic characterisation of the polytime computable functions Fulltext Access 22 Pages 2015
Scheduling and control framework for distribution-level systems containing multiple energy carrier systems: Theoretical approach and illustrative example Fulltext Access 22 Pages 2015
Comprehensive characterization of the behaviors of estimation of distribution algorithms Fulltext Access 23 Pages 2015
System design of stochastic models using robustness of temporal properties Fulltext Access 23 Pages 2015
Data gathering and personalized broadcasting in radio grids with interference Fulltext Access 23 Pages 2015
Grammar-based model transformations: Definition, execution, and quality properties Fulltext Access 23 Pages 2015
Grey Wolf Optimizer algorithm for the two-stage assembly flow shop scheduling problem with release time Fulltext Access 23 Pages 2015
Efficient nonconvex sparse group feature selection via continuous and discrete optimization Fulltext Access 23 Pages 2015
Simple super-matrix processor: Implementation and performance evaluation Fulltext Access 23 Pages 2015
Institution-based foundations for verification in the context of model-driven engineering Fulltext Access 23 Pages 2015
Many-to-many two-disjoint path covers in cylindrical and toroidal grids Fulltext Access 24 Pages 2015
Dealing with change in process choreographies: Design and implementation of propagation algorithms Fulltext Access 24 Pages 2015
Large-scale machine learning based on functional networks for biomedical big data with high performance computing platforms Fulltext Access 24 Pages 2015
Synchronous context-free grammars and optimal linear parsing strategies Fulltext Access 24 Pages 2015
A multi-domain incremental analysis engine and its application to incremental resource analysis Fulltext Access 24 Pages 2015
Restricted default theories: Expressive power and outlier detection tasks Fulltext Access 24 Pages 2015
Approximate analysis of biological systems by hybrid switching jump diffusion Fulltext Access 24 Pages 2015
Improved periodic data retrieval in asynchronous rings with a faulty host Fulltext Access 24 Pages 2015
Optimized distributed implementation of multiparty interactions with Restriction Fulltext Access 24 Pages 2015
Evaluating and comparing language workbenches: Existing results and benchmarks for the future Fulltext Access 24 Pages 2015
On the commutative equivalence of bounded context-free and regular languages: The semi-linear case Fulltext Access 24 Pages 2015
Modelling structured societies: A multi-relational approach to context permeability Fulltext Access 25 Pages 2015
Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation Fulltext Access 25 Pages 2015
Integrating deployment architectures and resource consumption in timed object-oriented models Fulltext Access 25 Pages 2015
Playing with knowledge: A virtual player for “Who Wants to Be a Millionaire?” that leverages question answering techniques Fulltext Access 25 Pages 2015
An ontological framework for situation-aware access control of software services Fulltext Access 25 Pages 2015
Structural operational semantics for continuous state stochastic transition systems Fulltext Access 25 Pages 2015
Integrating representation learning and skill learning in a human-like intelligent agent Fulltext Access 25 Pages 2015