Bounds on the kth multi-g base index of nearly reducible sign pattern matrices Fulltext Access 15 Pages 2008
On constructions for two dimensional balanced sampling plan excluding contiguous units with block size four Fulltext Access 15 Pages 2008
Computing similarity of run-length encoded strings with affine gap penalty Fulltext Access 15 Pages 2008
Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking Fulltext Access 15 Pages 2008
Commutation-augmented pregroup grammars and push-down automata with cancellation Fulltext Access 15 Pages 2008
Semi-total graph colourings, the beta parameter, and total chromatic number Fulltext Access 15 Pages 2008
Ribbon tableaux, ribbon rigged configurations and Hall–Littlewood functions at roots of unity Fulltext Access 15 Pages 2008
The structure of the spin-embeddings of dual polar spaces and related geometries Fulltext Access 15 Pages 2008
Triangle-free distance-regular graphs with an eigenvalue multiplicity equal to their valency and diameter 3 Fulltext Access 15 Pages 2008
Some da capo directed power-sequence Zn+1Zn+1 terraces with n an odd prime power Fulltext Access 15 Pages 2008
An abundance of invariant polynomials satisfying the Riemann hypothesis Fulltext Access 15 Pages 2008
Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks Fulltext Access 15 Pages 2008
FLIC: Application to Caching of a Dynamic Dependency Analysis for a 3D Oriented CRS Fulltext Access 16 Pages 2008
The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems Fulltext Access 16 Pages 2008
Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking Fulltext Access 16 Pages 2008
Computability of the Metric Projection Onto Finite-dimensional Linear Subspaces Fulltext Access 16 Pages 2008
Towards a Systematic Method for Proving Termination of Graph Transformation Systems Fulltext Access 16 Pages 2008
Falsifying Safety Properties Through Games on Over-approximating Models Fulltext Access 16 Pages 2008
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects Fulltext Access 16 Pages 2008
Lustre as a System Modeling Language: Lussensor, a Case-Study with Sensor Networks Fulltext Access 16 Pages 2008
The max-flow min-cut property of two-dimensional affine convex geometries Fulltext Access 16 Pages 2008
The hyperplanes of the near hexagon on the 2-factors of the complete graph K8K8 Fulltext Access 16 Pages 2008
Maude as a Platform for Designing and Implementing Deep Inference Systems Fulltext Access 16 Pages 2008