The distribution of the domination number of class cover catch digraphs for non-uniform one-dimensional data Fulltext Access 18 Pages 2008
On the application of difference potential theory to active noise control Fulltext Access 18 Pages 2008
Generalizations of Khovanskiĭ's theorems on the growth of sumsets in Abelian semigroups Fulltext Access 18 Pages 2008
Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations Fulltext Access 18 Pages 2008
Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time Systems Fulltext Access 18 Pages 2008
Partial ovoids and partial spreads in symplectic and orthogonal polar spaces Fulltext Access 18 Pages 2008
On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation Fulltext Access 18 Pages 2008
Computing the Solution of the m-Korteweg-de Vries Equation on Turing Machines Fulltext Access 18 Pages 2008
Newton's method and the Computational Complexity of the Fundamental Theorem of Algebra Fulltext Access 18 Pages 2008
A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code Fulltext Access 18 Pages 2008
Pervasive Compiler Verification – From Verified Programs to Verified Systems Fulltext Access 18 Pages 2008
Constructive characterizations of 3-connected matroids of path width three Fulltext Access 19 Pages 2008
A method for efficiently computing the number of codewords of fixed weights in linear codes Fulltext Access 19 Pages 2008
Generalised dualities and maximal finite antichains in the homomorphism order of relational structures Fulltext Access 19 Pages 2008
A unified elementary approach to the Dyson, Morris, Aomoto, and Forrester constant term identities Fulltext Access 19 Pages 2008
On the code generated by the incidence matrix of points and k-spaces in PG(n,q) and its dual Fulltext Access 19 Pages 2008
A regular decomposition of the edge-product space of phylogenetic trees Fulltext Access 19 Pages 2008
Syntactical and automatic properties of sets of polynomials over finite fields Fulltext Access 19 Pages 2008
On the linear ordering of some classes of negacyclic and cyclic codes and their distance distributions Fulltext Access 19 Pages 2008
Partition inequalities for capacitated survivable network design based on directed p-cycles Fulltext Access 19 Pages 2008
Counting truth assignments of formulas of bounded tree-width or clique-width Fulltext Access 19 Pages 2008
Some results on the ordering of the Laplacian spectral radii of unicyclic graphs Fulltext Access 19 Pages 2008
Mutual exclusion scheduling with interval graphs or related classes. Part II Fulltext Access 19 Pages 2008