Running time analysis of Ant Colony Optimization for shortest path problems Fulltext Access 16 Pages 2012
Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators Fulltext Access 16 Pages 2012
On Nash equilibria and improvement cycles in pure positional strategies for Chess-like and Backgammon-like nn-person games Fulltext Access 17 Pages 2012
An analogue of the Harer–Zagier formula for unicellular maps on general surfaces Fulltext Access 17 Pages 2012
Exact interdiction models and algorithms for disconnecting networks via node deletions Fulltext Access 17 Pages 2012
Faster bit-parallel algorithms for unordered pseudo-tree matching and tree homeomorphism Fulltext Access 17 Pages 2012
Minimal enclosing discs, circumcircles, and circumcenters in normed planes (Part I) Fulltext Access 17 Pages 2012
The symmetric and unimodal expansion of Eulerian polynomials via continued fractions Fulltext Access 17 Pages 2012
Properties of the automorphism group and a probabilistic construction of a class of countable labeled structures Fulltext Access 17 Pages 2012
Characterization of some 4-gonal configurations of Ahrens-Szekeres type Fulltext Access 17 Pages 2012
Tropical Geometries and Dynamics of Biochemical Networks Application to Hybrid Cell Cycle Models Fulltext Access 17 Pages 2012
A Rewriting Logic Approach to Static Checking of Units of Measurement in C Fulltext Access 17 Pages 2012
Matching preclusion and conditional matching preclusion problems for tori and related Cartesian products Fulltext Access 18 Pages 2012
Tight bounds on the maximum size of a set of permutations with bounded VC-dimension Fulltext Access 18 Pages 2012
A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting Fulltext Access 18 Pages 2012
A linear algorithm for string reconstruction in the reverse complement equivalence model Fulltext Access 18 Pages 2012
A tight upper bound on the (2,12,1)-total labeling number of outerplanar graphs Fulltext Access 18 Pages 2012
Towers of function fields over finite fields corresponding to elliptic modular curves Fulltext Access 18 Pages 2012
An asymptotic formula for counting subset sums over subgroups of finite fields Fulltext Access 18 Pages 2012
Enumerative g-theorems for the Veronese construction for formal power series and graded algebras Fulltext Access 19 Pages 2012
Correlation decay and deterministic FPTAS for counting colorings of a graph Fulltext Access 19 Pages 2012
A case study in formalizing projective geometry in Coq: Desargues theorem Fulltext Access 19 Pages 2012
The equations satisfied by GGS-groups and the abelian group structure of the Gupta-Sidki group Fulltext Access 19 Pages 2012
A shortest path-based approach to the multileaf collimator sequencing problem Fulltext Access 19 Pages 2012
Partitions of finite vector spaces over GF(2) into subspaces of dimensions 2 and s Fulltext Access 19 Pages 2012
Quantitative Model Refinement as a Solution to the Combinatorial Size Explosion of Biomodels Fulltext Access 19 Pages 2012
Pairs of forbidden induced subgraphs for homogeneously traceable graphs Fulltext Access 19 Pages 2012