Guided macro-mutation in a graded energy based genetic algorithm for protein structure prediction Fulltext Access 16 Pages 2016
Unique parallel decomposition in branching and weak bisimulation semantics Fulltext Access 16 Pages 2016
Computational complexity of solving polynomial differential equations over unbounded domains Fulltext Access 16 Pages 2016
Reducibilities among equivalence relations induced by recursively enumerable structures Fulltext Access 16 Pages 2016
An improved fault-tolerant routing algorithm for a Network-on-Chip derived with formal analysis Fulltext Access 16 Pages 2016
An output-sensitive algorithm to compute the normal vector of a digital plane Fulltext Access 16 Pages 2016
The cross-correlation measure of families of finite binary sequences: Limiting distributions and minimal values Fulltext Access 16 Pages 2016
Formal design of dynamic reconfiguration protocol for cloud applications Fulltext Access 16 Pages 2016
Stochastic-based robust dynamic resource allocation for independent tasks in a heterogeneous computing system Fulltext Access 16 Pages 2016
Steric exclusion and constraint satisfaction in multi-scale coarse-grained simulations Fulltext Access 16 Pages 2016
Unified power flow controller based reactive power dispatch using oppositional krill herd algorithm Fulltext Access 16 Pages 2016
Electricity retail market model with flexible price settings and elastic price-based demand responses by consumers in distribution network Fulltext Access 16 Pages 2016
Computational hardness of enumerating groundstates of the antiferromagnetic Ising model in triangulations Fulltext Access 16 Pages 2016
Optimal placement of switches in a radial distribution network for reliability improvement Fulltext Access 16 Pages 2016
The joint role of trimming and constraints in robust estimation for mixtures of Gaussian factor analyzers Fulltext Access 17 Pages 2016
Fast computation of reconciled forecasts for hierarchical and grouped time series Fulltext Access 17 Pages 2016
Gaussian quadrature approximations in mixed hidden Markov models for longitudinal data: A simulation study Fulltext Access 17 Pages 2016
A canonical form based decision procedure and model checking approach for propositional projection temporal logic Fulltext Access 17 Pages 2016
On the state complexity of closures and interiors of regular languages with subwords and superwords Fulltext Access 17 Pages 2016
Towards single layer quantum-dot cellular automata adders based on explicit interaction of cells Fulltext Access 17 Pages 2016
Counting graceful labelings of trees: A theoretical and empirical study Fulltext Access 17 Pages 2016
An Unsupervised Approach for Combining Scores of Outlier Detection Techniques, Based on Similarity Measures Fulltext Access 17 Pages 2016
Three-dimensional phase-field lattice Boltzmann model for incompressible multiphase flows Fulltext Access 17 Pages 2016
Symmetric adaptive smoothing regimens for estimation of the spatial relative risk function Fulltext Access 17 Pages 2016
Serialisable multi-level transaction control: A specification and verification Fulltext Access 17 Pages 2016
Large-scale system development using Abstract Data Types and refinement Fulltext Access 17 Pages 2016
Facilitating professionals' work-based learning with context-aware mobile system Fulltext Access 17 Pages 2016
On the decidability and complexity of problems for restricted hierarchical hybrid systems Fulltext Access 17 Pages 2016
More agents may decrease global work: A case in butterfly decontamination Fulltext Access 17 Pages 2016
Load frequency control of power system under deregulated environment using optimal firefly algorithm Fulltext Access 17 Pages 2016
Power and performance management for parallel computations in clouds and data centers Fulltext Access 17 Pages 2016
Polynomial inference of universal automata from membership and equivalence queries Fulltext Access 17 Pages 2016
Constraint satisfaction and semilinear expansions of addition over the rationals and the reals Fulltext Access 17 Pages 2016
Mobile crowdsensing as a service: A platform for applications on top of sensing Clouds Fulltext Access 17 Pages 2016
Secure clustering for efficient data dissemination in vehicular cyber–physical systems Fulltext Access 17 Pages 2016
Developing the Cloud-integrated data replication framework in decentralized online social networks Fulltext Access 17 Pages 2016
Hierarchical independent component analysis: A multi-resolution non-orthogonal data-driven basis Fulltext Access 17 Pages 2016
Structured variable selection via prior-induced hierarchical penalty functions Fulltext Access 17 Pages 2016
Estimation and variable selection for proportional response data with partially linear single-index models Fulltext Access 17 Pages 2016
A day ahead price sensitive reactive power dispatch with minimum control Fulltext Access 17 Pages 2016
Efficient feature selection based on correlation measure between continuous and discrete features Fulltext Access 17 Pages 2016
On the complexity of the representation of simplicial complexes by trees Fulltext Access 17 Pages 2016
Pattern-based computing via sequential phase transitions in hierarchical mean field neuropercolation Fulltext Access 17 Pages 2016
Investigating different general-purpose and embedded multicores to achieve optimal trade-offs between performance and energy Fulltext Access 17 Pages 2016
Coupled optimization of electricity and natural gas systems using augmented Lagrangian and an alternating minimization method Fulltext Access 17 Pages 2016
Diagnosis of three types of constant faults in read-once contact networks over finite bases Fulltext Access 17 Pages 2016
Closure properties and descriptional complexity of deterministic regular expressions Fulltext Access 17 Pages 2016
Evolutionary multi-objective visual cortex for object classification in natural images Fulltext Access 18 Pages 2016
Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation Fulltext Access 18 Pages 2016
Relationship between conditional diagnosability and 2-extra connectivity of symmetric graphs Fulltext Access 18 Pages 2016
Provably secure certificateless proxy signature scheme in the standard model Fulltext Access 18 Pages 2016
Efficient parallel simulation of spatially-explicit agent-based epidemiological models Fulltext Access 18 Pages 2016
Data reductions and combinatorial bounds for improved approximation algorithms Fulltext Access 18 Pages 2016
A comprehensive approach to privacy in the cloud-based Internet of Things Fulltext Access 18 Pages 2016
A trust-aware, self-organizing system for large-scale federations of utility computing infrastructures Fulltext Access 18 Pages 2016
Optimal controllers designs for automatic reactive power control in an isolated wind-diesel hybrid power system Fulltext Access 18 Pages 2016