Parameterized complexity of spare capacity allocation and the multicost Steiner subgraph problem Fulltext Access 16 Pages 2015
An expert survey on kinds, influence factors and documentation of design decisions in practice Fulltext Access 16 Pages 2015
Preserving architectural pattern composition information through explicit merging operators Fulltext Access 16 Pages 2015
Formalisation in Constructive Type Theory of Stoughton's Substitution for the Lambda Calculus Fulltext Access 16 Pages 2015
Multivariate Normal Approximation for the Stochastic Simulation Algorithm: Limit Theorem and Applications Fulltext Access 16 Pages 2015
Exact algorithms for dominating induced matching based on graph partition Fulltext Access 16 Pages 2015
Using imbalance metrics to optimize task clustering in scientific workflow executions Fulltext Access 16 Pages 2015
Quantum Markov chains: Description of hybrid systems, decidability of equivalence, and model checking linear-time properties Fulltext Access 16 Pages 2015
Bayesian estimation of a discrete response model with double rules of sample selection Fulltext Access 16 Pages 2015
Tree-based varying coefficient regression for longitudinal ordinal responses Fulltext Access 16 Pages 2015
Assessing the role of mini-applications in predicting key performance characteristics of scientific and engineering applications Fulltext Access 16 Pages 2015
Pars network: A multistage interconnection network with fault-tolerance capability Fulltext Access 16 Pages 2015
Approximation algorithms for sorting by length-weighted prefix and suffix operations Fulltext Access 16 Pages 2015
Analysis of fully distributed splitting and naming probabilistic procedures and applications Fulltext Access 16 Pages 2015
Power and exponential sums for generalized coding systems by a measure theoretic approach Fulltext Access 16 Pages 2015
Improved methods for the imputation of missing data by nearest neighbor methods Fulltext Access 16 Pages 2015
Analysis of dependent competing risks in the presence of progressive hybrid censoring using Marshall–Olkin bivariate Weibull distribution Fulltext Access 16 Pages 2015
A robust possibilistic mixed-integer programming method for planning municipal electric power systems Fulltext Access 16 Pages 2015
High Frequency Analysis of Macro News Releases on the Foreign Exchange Market: A Survey of Literature Fulltext Access 16 Pages 2015
A multi-objective short term hydropower scheduling model for peak shaving Fulltext Access 16 Pages 2015
Convergent stochastic Expectation Maximization algorithm with efficient sampling in high dimension. Application to deformable template model estimation Fulltext Access 16 Pages 2015
Minimizing maximum weight of subsets of a maximum matching in a bipartite graph Fulltext Access 16 Pages 2015
How Many Times do We Need an Assumption to Prove a Tautology in Minimal Logic? Examples on the Compression Power of Classical Reasoning Fulltext Access 16 Pages 2015
Open Maps in Concrete Categories and Branching Bisimulation for Prefix Orders Fulltext Access 16 Pages 2015
Steps in Modular Specifications for Concurrent Modules (Invited Tutorial Paper) Fulltext Access 16 Pages 2015
On the Canonical Representation of Order 3 Discrete Phase Type Distributions Fulltext Access 16 Pages 2015
Informative path planning as a maximum traveling salesman problem with submodular rewards Fulltext Access 16 Pages 2015
The precedence constrained knapsack problem: Separating maximally violated inequalities Fulltext Access 16 Pages 2015
A lightweight approach to component-level exception mechanism for robust android apps Fulltext Access 16 Pages 2015
Bayesian threshold selection for extremal models using measures of surprise Fulltext Access 16 Pages 2015
Estimation and inference on central mean subspace for multivariate response data Fulltext Access 16 Pages 2015
Hardness results, approximation and exact algorithms for liar's domination problem in graphs Fulltext Access 17 Pages 2015
A unified approach to computing the nearest complex polynomial with a given zero Fulltext Access 17 Pages 2015
Parameterized and approximation algorithms for maximum agreement forest in multifurcating trees Fulltext Access 17 Pages 2015
Feasibility checking in Horn constraint systems through a reduction based approach Fulltext Access 17 Pages 2015
Speeding up operations on feature terms using constraint programming and variable symmetry Fulltext Access 17 Pages 2015
Network regularised Cox regression and multiplex network models to predict disease comorbidities and survival of cancer Fulltext Access 17 Pages 2015
A secure data sharing and query processing framework via federation of cloud computing Fulltext Access 17 Pages 2015
Metrics for measuring complexity and completeness for social goal models Fulltext Access 17 Pages 2015
A Framework for the Analysis of Access Control Policies with Emergency Management Fulltext Access 17 Pages 2015
A Calculus for Automatic Verification of Petri Nets Based on Resolution and Dynamic Logics Fulltext Access 17 Pages 2015
Incentive-based resource assignment and regulation for collaborative cloud services in community networks Fulltext Access 17 Pages 2015
Hardness of conjugacy, embedding and factorization of multidimensional subshifts Fulltext Access 17 Pages 2015
Variable and value elimination in binary constraint satisfaction via forbidden patterns Fulltext Access 17 Pages 2015
An efficient approach for the prediction of ion channels and their subfamilies Fulltext Access 17 Pages 2015
Two approximation algorithms for bipartite matching on multicore architectures Fulltext Access 17 Pages 2015
An approach to multicore parallelism using functional programming: A case study based on Presburger Arithmetic Fulltext Access 17 Pages 2015
Local event boundary detection with unreliable sensors: Analysis of the majority vote scheme Fulltext Access 17 Pages 2015