Approximate robust optimization for the Connected Facility Location problem Fulltext Access 15 Pages 2016
Reconstructing Markov processes from independent and anonymous experiments Fulltext Access 15 Pages 2016
Scheduling under a non-reversible energy source: An application of piecewise linear bounding of non-linear demand/cost functions Fulltext Access 16 Pages 2016
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic Fulltext Access 16 Pages 2016
Formal Attributes Traceability in Modular Language Development Frameworks Fulltext Access 16 Pages 2016
Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory Fulltext Access 16 Pages 2016
An O(nm) algorithm for the weighted stable set problem in {claw, net}-free graphs with α(G)≥4α(G)≥4 Fulltext Access 16 Pages 2016
Scheduling co-operating stacking cranes with predetermined container sequences Fulltext Access 16 Pages 2016
Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing Fulltext Access 17 Pages 2016
On the Real-state Processing of Regular Operations and The Sakoda-Sipser Problem Fulltext Access 17 Pages 2016
Test Data Generation for Cyclic Executives with CBMC and Frama-C: A Case Study Fulltext Access 17 Pages 2016
Into the Square: On the Complexity of Some Quadratic-time Solvable Problems Fulltext Access 17 Pages 2016
Polyhedral results and a branch-and-cut algorithm for the double traveling Salesman problem with multiple stacks Fulltext Access 17 Pages 2016
Consistent notation for presenting complex optimization models in technical writing Fulltext Access 17 Pages 2016
Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations Fulltext Access 17 Pages 2016
Algorithms to approximately count and sample conforming colorings of graphs Fulltext Access 17 Pages 2016
A duality transform for constructing small grid embeddings of 3d polytopes Fulltext Access 18 Pages 2016
Multitasking via alternate and shared processing: Algorithms and complexity Fulltext Access 18 Pages 2016
A sufficient local degree condition for Hamiltonicity in locally finite claw-free graphs Fulltext Access 18 Pages 2016
The Decision Problem for a Three-sorted Fragment of Set Theory with Restricted Quantification and Finite Enumerations Fulltext Access 18 Pages 2016
An improvement over the GVW algorithm for inhomogeneous polynomial systems Fulltext Access 19 Pages 2016
Conditional Monte Carlo With Intermediate Estimations for Simulation of Markovian Systems Fulltext Access 19 Pages 2016
A survey-based approach for designing the lines of a rapid transit network Fulltext Access 21 Pages 2016
Connectivity with directional antennas in the symmetric communication model Fulltext Access 25 Pages 2016