Bridging the gap between general probabilistic theories and the device-independent framework for nonlocality and contextuality Fulltext Access 35 Pages 2016
Comparative analysis of electrostatic potential maxima and minima on molecular surfaces, as determined by three methods and a variety of basis sets Fulltext Access 36 Pages 2016
On temporal logics with data variable quantifications: Decidability and complexity Fulltext Access 36 Pages 2016
Nasari: Integrating explicit knowledge and corpus statistics for a multilingual representation of concepts and entities Fulltext Access 36 Pages 2016
Mapping stream programs onto multicore platforms by local search and genetic algorithm Fulltext Access 37 Pages 2016
Energy and time constrained task scheduling on multiprocessor computers with discrete speed levels Fulltext Access 37 Pages 2016
Physical-aware predictive dynamic thermal management of multi-core processors Fulltext Access 38 Pages 2016
Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions Fulltext Access 38 Pages 2016
Numerical optimisation of the pseudopotential-based lattice Boltzmann method Fulltext Access 38 Pages 2016
Architecture of a concept-based information retrieval system for educational resources Fulltext Access 39 Pages 2016
Affect control processes: Intelligent affective interaction using a partially observable Markov decision process Fulltext Access 39 Pages 2016
Effects of Knudsen diffusivity on the effective reactivity of nanoporous catalyst media Fulltext Access 40 Pages 2016
A quantitative performance study for Stokes solvers at the extreme scale Fulltext Access 40 Pages 2016
Runtime enforcement of regular timed properties by suppressing and delaying events Fulltext Access 40 Pages 2016
Structural insight into the glucokinase-ligands interactions. Molecular docking study Fulltext Access 41 Pages 2016
Fast determination of structurally cohesive subgroups in large networks Fulltext Access 41 Pages 2016
A propensity score adjustment method for regression models with nonignorable missing covariates Fulltext Access 42 Pages 2016
Trustworthy variant derivation with translation validation for safety critical product lines Fulltext Access 43 Pages 2016
A multilayered approach for link prediction in heterogeneous complex networks Fulltext Access 45 Pages 2016
Roles of the respective loops at complementarity determining region on the antigen-antibody recognition Fulltext Access 50 Pages 2016
Improving the game theoretic analysis of electricity auctions applied in medium markets Fulltext Access 54 Pages 2016
Combined-semantics equivalence of conjunctive queries: Decidability and tractability results Fulltext Access 71 Pages 2016
On rejected arguments and implicit conflicts: The hidden power of argumentation semantics Fulltext Access 73 Pages 2016
Algorithms for computing strategies in two-player simultaneous move games Fulltext Access 88 Pages 2016
Equitable colorings of Cartesian products with balanced complete multipartite graphs Fulltext Access 4 Pages 2015
On finding orientations with the fewest number of vertices with small out-degree Fulltext Access 4 Pages 2015
On the variable common due date, minimal tardy jobs bicriteria two-machine flow shop problem with ordered machines Fulltext Access 4 Pages 2015
A note: Maximizing the weighted number of just-in-time jobs on a proportionate flowshop Fulltext Access 4 Pages 2015
Extracting reusable components: A semi-automated approach for complex structures Fulltext Access 4 Pages 2015
On the ensemble of optimal dominating and locating-dominating codes in a graph Fulltext Access 4 Pages 2015
A faster algorithm for the cluster editing problem on proper interval graphs Fulltext Access 4 Pages 2015
Convergence problem in forward/backward sweep power flow method caused by non-positive-sequence impedance of distributed generators and its solution Fulltext Access 4 Pages 2015
A note on the complexity of minimum latency data aggregation scheduling with uniform power in physical interference model Fulltext Access 4 Pages 2015
The number of steps and the final configuration of relaxation procedures on graphs Fulltext Access 4 Pages 2015
On testing single connectedness in directed graphs and some related problems Fulltext Access 5 Pages 2015
Non-deterministic transducer models of retransmission protocols over noisy channels Fulltext Access 5 Pages 2015