Inverse Hamiltonian Cycle and inverse 3Dimensional Matching are coNP-complete Fulltext Access 17 Pages 2012
New algorithms on wavelet trees and applications to information retrieval Fulltext Access 17 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
Syntactic complexity of prefix-, suffix-, bifix-, and factor-free regular languages 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
The symmetric and unimodal expansion of Eulerian polynomials via continued fractions Fulltext Access 17 Pages 2012
Degree distributions of evolving alphabetic bipartite networks and their projections Fulltext Access 17 Pages 2012
Computing the moments of k-bounded pseudo-Boolean functions over Hamming spheres of arbitrary radius in polynomial time 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
Tight bounds on the maximum size of a set of permutations with bounded VC-dimension Fulltext Access 18 Pages 2012
On families of categorial grammars of bounded value, their learnability and related complexity questions Fulltext Access 18 Pages 2012
Parameterized complexity in multiple-interval graphs: Domination, partition, separation, irredundancy Fulltext Access 18 Pages 2012
A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting Fulltext Access 18 Pages 2012
Matching preclusion and conditional matching preclusion problems for tori and related Cartesian products Fulltext Access 18 Pages 2012
Deciding regularity of hairpin completions of regular languages in polynomial time Fulltext Access 19 Pages 2012
Quantitative Model Refinement as a Solution to the Combinatorial Size Explosion of Biomodels Fulltext Access 19 Pages 2012
The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types Fulltext Access 19 Pages 2012
Pairs of forbidden induced subgraphs for homogeneously traceable graphs Fulltext Access 19 Pages 2012
A shortest path-based approach to the multileaf collimator sequencing problem Fulltext Access 19 Pages 2012
Analysis of a clock synchronization protocol for wireless sensor networks Fulltext Access 19 Pages 2012
PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling Fulltext Access 19 Pages 2012
An Abstract Interpretation framework for genotype elimination algorithms Fulltext Access 19 Pages 2012