Comprehensive characterization of the behaviors of estimation of distribution algorithms Fulltext Access 23 Pages 2015
On the commutative equivalence of bounded context-free and regular languages: The semi-linear case Fulltext Access 24 Pages 2015
Improved periodic data retrieval in asynchronous rings with a faulty host Fulltext Access 24 Pages 2015
Approximate analysis of biological systems by hybrid switching jump diffusion Fulltext Access 24 Pages 2015
Length lower bounds for reflecting sequences and universal traversal sequences Fulltext Access 24 Pages 2015
A multi-domain incremental analysis engine and its application to incremental resource analysis Fulltext Access 24 Pages 2015
Many-to-many two-disjoint path covers in cylindrical and toroidal grids Fulltext Access 24 Pages 2015
Restricted default theories: Expressive power and outlier detection tasks Fulltext Access 24 Pages 2015
The packing radius of a code and partitioning problems: The case for poset metrics on finite vector spaces Fulltext Access 25 Pages 2015
Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure Fulltext Access 25 Pages 2015
Characterising the complexity of constraint satisfaction problems defined by 2-constraint forbidden patterns Fulltext Access 25 Pages 2015
Energy-efficient Checkpointing in High-throughput Cycle-stealing Distributed Systems Fulltext Access 26 Pages 2015
A canonical automaton for one-rule length-preserving string rewrite systems Fulltext Access 26 Pages 2015
Forbidden minors for graphs with no first obstruction to parametric Feynman integration Fulltext Access 27 Pages 2015
Minimum vertex degree threshold for loose Hamilton cycles in 3-uniform hypergraphs Fulltext Access 27 Pages 2015
Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics Fulltext Access 27 Pages 2015
Parametric multisingular hybrid Petri nets: Formal definitions and analysis techniques Fulltext Access 28 Pages 2015
A framework for co-optimization algorithm performance and its application to worst-case optimization Fulltext Access 28 Pages 2015
Reasoning about memoryless strategies under partial observability and unconditional fairness constraints Fulltext Access 29 Pages 2015
Applications of an expressive statistical model checking approach to the analysis of genetic circuits Fulltext Access 30 Pages 2015
Multi-wise and constrained fully weighted Davenport constants and interactions with coding theory Fulltext Access 31 Pages 2015
Permutations sortable by two stacks in parallel and quarter plane walks Fulltext Access 34 Pages 2015
Results and conjectures on the number of standard strong marked tableaux Fulltext Access 34 Pages 2015
Rule-based transformation of graph rewriting rules: Towards higher-order graph grammars Fulltext Access 39 Pages 2015