Discrete tomography for reconstruction from limited view angles in non-destructive testing Fulltext Access 20 Pages 2005
Irreducible hypergraphs for Hall-type conditions, and arc-minimal digraph expanders Fulltext Access 20 Pages 2005
Activity preserving bijections between spanning trees and orientations in graphs Fulltext Access 20 Pages 2005
Adaptive Reconstruction of Discrete-Valued Objects from few Projections Fulltext Access 20 Pages 2005
Discrete tomography with a very few views, using Gibbs priors and a Marginal Posterior Mode approach Fulltext Access 20 Pages 2005
A new existence proof for large sets of disjoint Steiner triple systems Fulltext Access 20 Pages 2005
Counting and representing intersections among triangles in three dimensions Fulltext Access 20 Pages 2005
Comparison and classification of linear systems over idempotent semirings inspired by total positivity Fulltext Access 20 Pages 2005
Restricted Motzkin permutations, Motzkin paths, continued fractions, and Chebyshev polynomials Fulltext Access 20 Pages 2005
The number of part sizes of a given multiplicity in a random Carlitz composition Fulltext Access 20 Pages 2005
Relational structures having finitely many full-cardinality restrictions Fulltext Access 20 Pages 2005
Expressive power of existential first-order sentences of Büchi's sequential calculus Fulltext Access 20 Pages 2005
Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification Fulltext Access 21 Pages 2005
Estimating Non-functional Properties of Component-based Software Based on Resource Consumption Fulltext Access 21 Pages 2005
Algon: From Interchangeable Distributed Algorithms to Interchangeable Middleware Fulltext Access 21 Pages 2005
Testing Conformance of Real-Time Applications by Automatic Generation of Observers Fulltext Access 21 Pages 2005
Regular maps whose groups do not act faithfully on vertices, edges, or faces Fulltext Access 21 Pages 2005
Congruence of Bisimulation in a Non-Deterministic Call-By-Need Lambda Calculus Fulltext Access 21 Pages 2005
A Proof Calculus for Natural Semantics Based on Greatest Fixed Point Semantics Fulltext Access 21 Pages 2005
Fluid Stochastic Petri Nets for Computing Transfer Time Distributions in Peer-to-Peer File Sharing Applications Fulltext Access 21 Pages 2005
Securing Statically-verified Communications Protocols Against Timing Attacks Fulltext Access 21 Pages 2005
RBAC for Organisation and Security in an Agent Coordination Infrastructure Fulltext Access 21 Pages 2005
A compactness argument in the additive theory and the polynomial method Fulltext Access 21 Pages 2005
Two local and one global properties of 3-connected graphs on compact 2-dimensional manifolds Fulltext Access 21 Pages 2005
2-Arc-transitive regular covers of complete graphs having the covering transformation group Zp3 Fulltext Access 21 Pages 2005
Expanding selfsimilar solutions of a crystalline flow with applications to contour figure analysis Fulltext Access 21 Pages 2005