A Computable Version of the Daniell-Stone Theorem on Integration and Linear Functionals Fulltext Access 14 Pages 2005
Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking Fulltext Access 14 Pages 2005
A Framework for the Integration of Functional and Non-functional Analysis of Software Architectures Fulltext Access 14 Pages 2005
Optimal algorithms for constructing knight's tours on arbitrary nÃm chessboards Fulltext Access 14 Pages 2005
Model-checking the Preservation of Temporal Properties upon Feature Integration Fulltext Access 14 Pages 2005
Characteristic μ-Calculus Formulas for Underspecified Transition Systems Fulltext Access 14 Pages 2005
A coordinate ascent approach to tomographic reconstruction of label images from a few projections Fulltext Access 14 Pages 2005
k-th order symmetric SAC boolean functions and bisecting binomial coefficients Fulltext Access 14 Pages 2005
Evaluating scheduling policies for fine-grain communication protocols on a cluster of SMPs Fulltext Access 15 Pages 2005
Wireless real-time on-demand data broadcast scheduling with dual deadlines Fulltext Access 15 Pages 2005
Variable selection in neural network regression models with dependent data: a subsampling approach Fulltext Access 15 Pages 2005
Performance analysis of dynamic load balancing algorithms with variable number of processors Fulltext Access 15 Pages 2005
VoD on steroids : Optimized content delivery using distributed video servers over best-effort Internet Fulltext Access 15 Pages 2005
Message-based cellular peer-to-peer grids: foundations for secure federation and autonomic services Fulltext Access 15 Pages 2005
DINCast: a hop efficient dynamic multicast infrastructure for P2P computing Fulltext Access 15 Pages 2005
The super connectivity of the pancake graphs and the super laceability of the star graphs Fulltext Access 15 Pages 2005
A robust algorithm for bisecting a triconnected graph with two resource sets Fulltext Access 15 Pages 2005
On the approximability of the range assignment problem on radio networks in presence of selfish agents Fulltext Access 15 Pages 2005
Discrete tomography by convex-concave regularization and D.C. programming Fulltext Access 15 Pages 2005
The reconstruction of a subclass of domino tilings from two projections Fulltext Access 15 Pages 2005
An algorithm for the reconstruction of discrete sets from two projections in presence of absorption Fulltext Access 15 Pages 2005
SAT distributions with planted assignments and phase transitions between decision and optimization problems Fulltext Access 15 Pages 2005
Coloured Tutte polynomials and Kauffman brackets for graphs of bounded tree width Fulltext Access 15 Pages 2005
Mixture decomposition of distributions by copulas in the symbolic data analysis framework Fulltext Access 15 Pages 2005
Design, implementation, and evaluation of the Resilient Smalltalk embedded platform Fulltext Access 15 Pages 2005
A data-based method for selecting tuning parameters in minimum distance estimators Fulltext Access 15 Pages 2005
Estimation of parameters for exponentiated-Weibull family under type-II censoring scheme Fulltext Access 15 Pages 2005
Extremal point queries with lines and line segments and related problems Fulltext Access 15 Pages 2005
Approximately matching polygonal curves with respect to the Fréchet distance Fulltext Access 15 Pages 2005
An upper bound for the largest Lyapunov exponent of a Markovian product of nonnegative matrices Fulltext Access 15 Pages 2005