Solution to the Mean King's Problem in Prime Power Dimensions Using Discrete Tomography Fulltext Access 13 Pages 2005
Vertex-disjoint 4-cycles containing specified edges in a bipartite graph Fulltext Access 13 Pages 2005
Acute triangles in triangulations on the plane with minimum degree at least 4 Fulltext Access 13 Pages 2005
A Framework for the Integration of Functional and Non-functional Analysis of Software Architectures Fulltext Access 14 Pages 2005
Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking Fulltext Access 14 Pages 2005
A Computable Version of the Daniell-Stone Theorem on Integration and Linear Functionals Fulltext Access 14 Pages 2005
Characteristic μ-Calculus Formulas for Underspecified Transition Systems Fulltext Access 14 Pages 2005
Model-checking the Preservation of Temporal Properties upon Feature Integration Fulltext Access 14 Pages 2005
Optimal algorithms for constructing knight's tours on arbitrary nÃm chessboards Fulltext Access 14 Pages 2005
Expected number of inversions after a sequence of random adjacent transpositions-An exact expression Fulltext Access 14 Pages 2005
Enumerating branched orientable surface coverings over a non-orientable surface Fulltext Access 14 Pages 2005
Towards a Complete Static Analyser for Java: an Abstract Interpretation Framework and its Implementation Fulltext Access 14 Pages 2005
Probabilistic Approach to the Lambda Definability for Fourth Order Types Fulltext Access 14 Pages 2005
k-th order symmetric SAC boolean functions and bisecting binomial coefficients Fulltext Access 14 Pages 2005
A coordinate ascent approach to tomographic reconstruction of label images from a few projections Fulltext Access 14 Pages 2005
Exact Image Reconstruction from a Single Projection through Real Computation Fulltext Access 14 Pages 2005