Systems of word equations, polynomials and linear algebra: A new approach Fulltext Access 14 Pages 2015
Alphabet-independent algorithms for finding context-sensitive repeats in linear time Fulltext Access 14 Pages 2015
On the separation of split inequalities for non-convex quadratic integer programming Fulltext Access 14 Pages 2015
Using Binary Patterns for Counting Falsifying Assignments of Conjunctive Forms Fulltext Access 14 Pages 2015
On coefficient constraints and evaluation restrictions for linearized polynomials Fulltext Access 14 Pages 2015
Asymptotic Behavior and Performance Constraints of Replication Policies Fulltext Access 15 Pages 2015
Correcting gene tree by removal and modification: Tractability and approximability Fulltext Access 15 Pages 2015
On the complexity of determining the irregular chromatic index of a graph Fulltext Access 15 Pages 2015
Algorithms and bounds for drawing non-planar graphs with crossing-free subgraphs Fulltext Access 15 Pages 2015
A probabilistic approach to value sets of polynomials over finite fields Fulltext Access 15 Pages 2015
The isotopism problem of a class of 6-dimensional rank 2 semifields and its solution Fulltext Access 15 Pages 2015
Resistance distance-based graph invariants of subdivisions and triangulations of graphs Fulltext Access 15 Pages 2015
The Minimum Flow Cost Hamiltonian Cycle Problem: A comparison of formulations Fulltext Access 15 Pages 2015
On the approximability of covering points by lines and related problems Fulltext Access 15 Pages 2015
Higher-order triangular-distance Delaunay graphs: Graph-theoretical properties Fulltext Access 15 Pages 2015
Exact algorithms for dominating induced matching based on graph partition Fulltext Access 16 Pages 2015
Enumeration and construction of additive cyclic codes over Galois rings Fulltext Access 16 Pages 2015
Optimal ternary constant-composition codes with weight four and distance six Fulltext Access 16 Pages 2015
The structure and metric dimension of the power graph of a finite group Fulltext Access 16 Pages 2015
Dynamical Diophantine approximation of beta expansions of formal Laurent series Fulltext Access 16 Pages 2015
On the Canonical Representation of Order 3 Discrete Phase Type Distributions Fulltext Access 16 Pages 2015
Steps in Modular Specifications for Concurrent Modules (Invited Tutorial Paper) Fulltext Access 16 Pages 2015
Open Maps in Concrete Categories and Branching Bisimulation for Prefix Orders 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
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
Minimizing maximum weight of subsets of a maximum matching in a bipartite graph 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
Parameterized complexity of spare capacity allocation and the multicost Steiner subgraph problem Fulltext Access 16 Pages 2015
Constructing permutations and complete permutations over finite fields via subfield-valued polynomials Fulltext Access 16 Pages 2015
Maximal surface area of polytopes with respect to log-concave rotation invariant measures Fulltext Access 16 Pages 2015
Bijections for pairs of non-crossing lattice paths and walks in the plane Fulltext Access 17 Pages 2015
Using dual feasible functions to construct fast lower bounds for routing and location problems Fulltext Access 17 Pages 2015
Performance guarantees for scheduling algorithms under perturbed machine speeds Fulltext Access 17 Pages 2015
A Framework for the Analysis of Access Control Policies with Emergency Management Fulltext Access 17 Pages 2015
Ramanujan's Master Theorem applied to the evaluation of Feynman diagrams Fulltext Access 17 Pages 2015