A constructive Borel–Cantelli lemma. Constructing orbits with required statistical properties Fulltext Access 16 Pages 2009
A prolongation–projection algorithm for computing the finite real variety of an ideal Fulltext Access 16 Pages 2009
Optimal construction of k-nearest-neighbor graphs for identifying noisy clusters Fulltext Access 16 Pages 2009
Multiple pass streaming algorithms for learning mixtures of distributions in Rd Fulltext Access 16 Pages 2009
The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete Fulltext Access 16 Pages 2009
An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols Fulltext Access 17 Pages 2009
A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks Fulltext Access 17 Pages 2009
A new linear time algorithm to compute the genomic distance via the double cut and join distance Fulltext Access 17 Pages 2009
A combinatorial geometrical approach to two-dimensional robust pattern matching with scaling and rotation Fulltext Access 17 Pages 2009
Characteristics of discrete transfinite time Turing machine models: Halting times, stabilization times, and Normal Form theorems Fulltext Access 17 Pages 2009
Recovering Relationships between Documentation and Source Code based on the Characteristics of Software Engineering Fulltext Access 17 Pages 2009
Improvement of a Result on Sequencing Elementary Cellular Automata Rules for Solving the Parity Problem Fulltext Access 17 Pages 2009
Automatic, Model-Based Software Performance Improvement for Component-based Software Designs Fulltext Access 17 Pages 2009
Developing the Method of Server Controlled Outcomes Management and Variance Analysis Fulltext Access 17 Pages 2009
Conformance Testing of Hybrid Systems with Qualitative Reasoning Models Fulltext Access 17 Pages 2009
Enumerating edge-constrained triangulations and edge-constrained non-crossing geometric spanning trees Fulltext Access 17 Pages 2009
Simplified Reducibility Proofs of Church-Rosser for β- and βη-reduction Fulltext Access 17 Pages 2009
A Logical Framework for Debugging in Declarative Constraint Programming Fulltext Access 17 Pages 2009
Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks Fulltext Access 17 Pages 2009
Mutual exclusion scheduling with interval graphs or related classes, Part I Fulltext Access 17 Pages 2009
Abstract Interpretation of Functional Programs using an Attribute Grammar System Fulltext Access 17 Pages 2009