Further improvements on asymptotic bounds for codes using distinguished divisors Fulltext Access 21 Pages 2007
Shrinkings, structures at infinity and affine expansions, with an application to cc-extended PP- and TT-geometries Fulltext Access 21 Pages 2007
A combinatorial proof of the reduction formula for Littlewood–Richardson coefficients Fulltext Access 21 Pages 2007
Classification of the factorial functions of Eulerian binomial and Sheffer posets Fulltext Access 21 Pages 2007
Skew Hadamard difference sets from the Ree–Tits slice symplectic spreads in PG(3,32h+1) Fulltext Access 21 Pages 2007
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications Fulltext Access 22 Pages 2007
Optimizing the asymptotic convergence rate of the Diaconis–Holmes–Neal sampler Fulltext Access 22 Pages 2007
What is Itanium Memory Consistency from the Programmer's Point of View? Fulltext Access 22 Pages 2007
Three-manifolds with Heegaard genus at most two represented by crystallisations with at most 42 vertices Fulltext Access 22 Pages 2007
Transitive bislim geometries of gonality 3, part I: The geometrically homogeneous cases Fulltext Access 22 Pages 2007
The algebra of metric betweenness I: Subdirect representation and retraction Fulltext Access 22 Pages 2007
Boundary labeling: Models and efficient algorithms for rectangular maps Fulltext Access 22 Pages 2007
Symmetric functions, generalized blocks, and permutations with restricted cycle structure Fulltext Access 22 Pages 2007
Reduction and Conversion Strategies for the Calculus of (co)Inductive Constructions: Part I Fulltext Access 22 Pages 2007
Primitive Recursiveness of Real Numbers under Different Representations Fulltext Access 22 Pages 2007
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case Fulltext Access 22 Pages 2007
The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads Fulltext Access 22 Pages 2007
A Probabilistic Scheduler for the Analysis of Cryptographic Protocols 1 Fulltext Access 23 Pages 2007
Formal Sequentialization of Distributed Systems via Program Rewriting 1 Fulltext Access 23 Pages 2007
Collineation groups of translation planes admitting hyperbolic Buekenhout or parabolic Buekenhout–Metz unitals Fulltext Access 23 Pages 2007
A bijection between 2-triangulations and pairs of non-crossing Dyck paths Fulltext Access 23 Pages 2007
Normalization by Evaluation for Martin-Löf Type Theory with One Universe Fulltext Access 23 Pages 2007
Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction Fulltext Access 24 Pages 2007
On factorizing codes: Structural properties and related decision problems Fulltext Access 24 Pages 2007
Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic Fulltext Access 24 Pages 2007
Generalized reciprocals, factors of Dickson polynomials and generalized cyclotomic polynomials over finite fields Fulltext Access 24 Pages 2007
High Level Conflict Management Strategies in Advanced Access Control Models Fulltext Access 24 Pages 2007
Simulating and Compiling Code for the Sequential Quantum Random Access Machine Fulltext Access 24 Pages 2007
De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure Fulltext Access 24 Pages 2007