The challenges of unbounded treewidth in parameterised subgraph counting problems Fulltext Access 25 Pages 2016
Revocable hierarchical identity-based encryption via history-free approach Fulltext Access 26 Pages 2016
Adaptation impact and environment models for architecture-based self-adaptive systems Fulltext Access 26 Pages 2016
Test Scenario Generation from Natural Language Requirements Descriptions based on Petri-Nets Fulltext Access 26 Pages 2016
Global consensus through local synchronization: A formal basis for partially-distributed coordination Fulltext Access 26 Pages 2016
Finding a collective set of items: From proportional multirepresentation to group recommendation Fulltext Access 26 Pages 2016
“Keep definition, change category” - A practical approach to state-based system calculi Fulltext Access 26 Pages 2016
A framework for early design and prototyping of service-oriented applications with design patterns Fulltext Access 27 Pages 2016
An efficient algorithm to detect common ancestor genes for non-overlapping inversion and applications Fulltext Access 27 Pages 2016
Generalized nonparametric smoothing with mixed discrete and continuous data Fulltext Access 27 Pages 2016
Formal derivation of Greedy algorithms from relational specifications: A tutorial Fulltext Access 27 Pages 2016
Embedding attribute grammars and their extensions using functional zippers Fulltext Access 27 Pages 2016
A security and cost aware scheduling algorithm for heterogeneous tasks of scientific workflow in clouds Fulltext Access 27 Pages 2016
Algorithmic verification of procedural programs in the presence of code variability Fulltext Access 27 Pages 2016
Probabilistic learnability of context-free grammars with basic distributional properties from positive examples Fulltext Access 27 Pages 2016
Parameterized, concurrent session types for asynchronous multi-actor interactions Fulltext Access 27 Pages 2016
Virtual machine consolidated placement based on multi-objective biogeography-based optimization Fulltext Access 28 Pages 2016
Graft survival prediction in liver transplantation using artificial neural network models Fulltext Access 28 Pages 2016
Nonparametric estimation of a quantile density function by wavelet methods Fulltext Access 28 Pages 2016
Exploiting user metadata for energy-aware node allocation in a cloud storage system Fulltext Access 28 Pages 2016
A synthesis of automated planning and reinforcement learning for efficient, robust decision-making Fulltext Access 28 Pages 2016
Safe and efficient runtime testing framework applied in dynamic and distributed systems Fulltext Access 28 Pages 2016
Phase-field model-based simulation of two-phase fluid motion on partially wetted and textured solid surface Fulltext Access 28 Pages 2016
The generalized modified Weibull power series distribution: Theory and applications Fulltext Access 29 Pages 2016
Augmenting process elicitation with visual priming: An empirical exploration of user behaviour and modelling outcomes Fulltext Access 29 Pages 2016
Recurrent neural network based hybrid model for reconstructing gene regulatory network Fulltext Access 29 Pages 2016
Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints Fulltext Access 29 Pages 2016
Model-based testing for building reliable realtime interactive music systems Fulltext Access 30 Pages 2016
A Fuzzy Mutual Information-based Feature Selection Method for Classification Fulltext Access 30 Pages 2016
A generic framework for heap and value analyses of object-oriented programming languages Fulltext Access 30 Pages 2016
The features, hardware, and architectures of data center networks: A survey Fulltext Access 30 Pages 2016
Hypersequent rules with restricted contexts for propositional modal logics Fulltext Access 30 Pages 2016
Inertial dilute particulate fluid flow simulations with an Euler-Euler lattice Boltzmann method Fulltext Access 30 Pages 2016
Born and raised distributively: Fully distributed non-interactive adaptively-secure threshold signatures with short shares Fulltext Access 30 Pages 2016
Finite-state concurrent programs can be expressed in pairwise normal form Fulltext Access 31 Pages 2016
Computing and restoring global inverse consistency in interactive constraint satisfaction Fulltext Access 31 Pages 2016
Highly scalable Erlang framework for agent-based metaheuristic computing Fulltext Access 31 Pages 2016
Structural characterizations of the navigational expressiveness of relation algebras on a tree Fulltext Access 31 Pages 2016
Hierarchic Genetic Strategy with maturing as a generic tool for Multiobjective Optimization Fulltext Access 32 Pages 2016
Fast processing of graph queries on a large database of small and medium-sized data graphs Fulltext Access 32 Pages 2016
A procedure for splitting data-aware processes and its application to coordination Fulltext Access 32 Pages 2016
Iterated Robust kernel Fuzzy Principal Component Analysis and application to fault detection Fulltext Access 32 Pages 2016
Real-time dynamic programming for Markov decision processes with imprecise probabilities Fulltext Access 32 Pages 2016
Contextual abstraction in a type system for component-based high performance computing platforms Fulltext Access 33 Pages 2016
A meta-analysis of centrality measures for comparing and generating complex network models Fulltext Access 33 Pages 2016
Scalable and efficient whole-exome data processing using workflows on the cloud Fulltext Access 33 Pages 2016
Computer models solving intelligence test problems: Progress and implications Fulltext Access 34 Pages 2016
State transition in communication under social network: An analysis using fuzzy logic and Density Based Clustering towards big data paradigm Fulltext Access 34 Pages 2016
Domain-independent planning for services in uncertain and dynamic environments Fulltext Access 35 Pages 2016