A complete solution to the chromatic equivalence class of graph Bn-7,1,3¯ Fulltext Access 17 Pages 2008
Equidistribution of negative statistics and quotients of Coxeter groups of type B and D Fulltext Access 17 Pages 2008
Lengths, periods and expansions of elements written with respect to a digit system over Fq[x] Fulltext Access 17 Pages 2008
On the moments of Kloosterman sums and fibre products of Kloosterman curves Fulltext Access 17 Pages 2008
Strong valid inequalities for the resource-constrained scheduling problem with uniform resource requirements Fulltext Access 17 Pages 2008
Analysis of sharp polynomial upper estimate of number of positive integral points in a five-dimensional tetrahedra Fulltext Access 17 Pages 2008
Approximation of an open polygonal curve with a minimum number of circular arcs and biarcs Fulltext Access 17 Pages 2008
Monochromatic Hamiltonian Berge-cycles in colored complete uniform hypergraphs Fulltext Access 17 Pages 2008
A partition bijection related to the Rogers–Selberg identities and Gordon's theorem Fulltext Access 17 Pages 2008
A Compositional Automata-based Approach for Model Checking Multi-Agent Systems Fulltext Access 17 Pages 2008
An identity of Andrews and a new method for the Riordan array proof of combinatorial identities Fulltext Access 17 Pages 2008
A distributional study of the path edge-covering numbers for random trees Fulltext Access 17 Pages 2008
Phil: A Lazy Implementation of a Language for Approximate Filtering of XML Documents Fulltext Access 17 Pages 2008
Systems of sets such that each set properly intersects at most one other set—Application to cluster analysis Fulltext Access 17 Pages 2008
Unification of lower-bound analyses of the lift-and-project rank of combinatorial optimization polyhedra Fulltext Access 17 Pages 2008
Coloring graphs by iterated local search traversing feasible and infeasible solutions Fulltext Access 17 Pages 2008
Heyting algebras with Boolean operators for rough sets and information retrieval applications Fulltext Access 17 Pages 2008
Multi-group support vector machines with measurement costs: A biobjective approach Fulltext Access 17 Pages 2008
Facet defining inequalities among graph invariants: The system GraPHedron Fulltext Access 17 Pages 2008
Performance of Reactive Interfaces in Stimulus Rich Environments, Applying Formal Methods and Cognitive Frameworks Fulltext Access 17 Pages 2008
Engineering of An Assertion-based PSLSimple-Verilog Dynamic Verifier by Alternating Automata Fulltext Access 17 Pages 2008
Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees ⋆ Fulltext Access 17 Pages 2008
Schedulability Criteria and Analysis for Dynamic and Flexible Resource Management Fulltext Access 17 Pages 2008
A Model-Based Approach to the Verification and Adaptation of WF/.NET Components Fulltext Access 17 Pages 2008
Fair cost allocations under conflicts — a game-theoretic point of view — Fulltext Access 18 Pages 2008
A Branch and Price algorithm for the kk-splittable maximum flow problem Fulltext Access 18 Pages 2008
Inhomogeneous Diophantine approximation over the field of formal Laurent series Fulltext Access 18 Pages 2008
Levels of multi-continued fraction expansion of multi-formal Laurent series Fulltext Access 18 Pages 2008
Elliptic curves and explicit enumeration of irreducible polynomials with two coefficients prescribed Fulltext Access 18 Pages 2008
Asymptotic behavior of the number of solutions for non-Archimedean Diophantine approximations with restricted denominators Fulltext Access 18 Pages 2008