Two-stage scheduling on identical machines with assignable delivery times to minimize the maximum delivery completion time Fulltext Access 21 Pages 2016
Software architecture for integration of institutional and social learning environments Fulltext Access 21 Pages 2016
Performance evaluation of virtual execution environments for intensive computing on usual representations of multidimensional arrays Fulltext Access 21 Pages 2016
Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers Fulltext Access 21 Pages 2016
Conditional edge-fault hamiltonian-connectivity of restricted hypercube-like networks Fulltext Access 21 Pages 2016
Satisfying ternary permutation constraints by multiple linear orders or phylogenetic trees Fulltext Access 21 Pages 2016
Analysis of long series of longitudinal ordinal data using marginalized models Fulltext Access 21 Pages 2016
Nonlocal damage modelling in clay/epoxy nanocomposites using a multiscale approach Fulltext Access 21 Pages 2016
Composition Colored Petri Nets for the Refinement of Reaction-based Models Fulltext Access 22 Pages 2016
Heterogeneity and thermal aware adaptive heuristics for energy efficient consolidation of virtual machines in infrastructure clouds Fulltext Access 22 Pages 2016
On the finite and general implication problems of independence atoms and keys Fulltext Access 22 Pages 2016
Modular verification of chemical reaction network encodings via serializability analysis Fulltext Access 22 Pages 2016
Conformance checking and performance improvement in scheduled processes: A queueing-network perspective Fulltext Access 22 Pages 2016
Dynamic class hierarchy management for multi-version ontology-based personalization Fulltext Access 22 Pages 2016
Implementation of hybrid harmony search/random search algorithm for single area unit commitment problem Fulltext Access 22 Pages 2016
Specifying and executing optimizations for generalized control flow graphs Fulltext Access 22 Pages 2016
Tree decomposition-based indexing for efficient shortest path and nearest neighbors query answering on graphs Fulltext Access 22 Pages 2016
A provably secure non-iterative hash function resisting birthday attack Fulltext Access 22 Pages 2016
On-the-fly construction of provably correct service compositions – templates and proofs Fulltext Access 22 Pages 2016
(Prefix) reversal distance for (signed) strings with few blocks or small alphabets Fulltext Access 22 Pages 2016
Constructions of dynamic and non-dynamic threshold public-key encryption schemes with decryption consistency Fulltext Access 22 Pages 2016
On natural deduction in classical first-order logic: Curry–Howard correspondence, strong normalization and Herbrand's theorem Fulltext Access 22 Pages 2016
Parameterized verification of time-sensitive models of ad hoc network protocols Fulltext Access 22 Pages 2016
Horizon effect in the term structure of long-run risk-return trade-offs Fulltext Access 22 Pages 2016
Broken triangles: From value merging to a tractable class of general-arity constraint satisfaction problems Fulltext Access 23 Pages 2016
Predicting optimal solution costs with bidirectional stratified sampling in regular search spaces Fulltext Access 23 Pages 2016
Efficient algorithms for membership in boolean hierarchies of regular languages Fulltext Access 23 Pages 2016
Sparse convolution-based digital derivatives, fast estimation for noisy signals and approximation results Fulltext Access 23 Pages 2016
Availability modeling and analysis of a data center for disaster tolerance Fulltext Access 24 Pages 2016
Querying a graph database – language selection and performance considerations Fulltext Access 24 Pages 2016
A complete refinement procedure for regular separability of context-free languages Fulltext Access 24 Pages 2016
Finding all solutions of equations in free groups and monoids with involution Fulltext Access 24 Pages 2016
Symmetry constraints on temporal order in measurement-based quantum computation Fulltext Access 24 Pages 2016
Abstract categorical semantics for resourceful functional reactive programming Fulltext Access 24 Pages 2016
Model-driven processes and tools to design robot-based generative learning objects for computer science education Fulltext Access 24 Pages 2016
Towards a comprehensive extension of abstract state machines for aspect-oriented specification Fulltext Access 25 Pages 2016
A self-updating model driven by a higher-order hidden Markov chain for temperature dynamics Fulltext Access 25 Pages 2016
A formalization of programs in first-order logic with a discrete linear order Fulltext Access 25 Pages 2016
Busy beaver machines and the observant otter heuristic (or how to tame dreadful dragons) Fulltext Access 25 Pages 2016
A study on several combination problems of classic shop scheduling and shortest path Fulltext Access 25 Pages 2016
How organisation of architecture documentation affects architectural knowledge retrieval Fulltext Access 25 Pages 2016