An efficient implementation of a quasi-polynomial algorithm for generating hypergraph transversals and its application in joint generation Fulltext Access 23 Pages 2006
Nearest neighbors search using point location in balls with applications to approximate Voronoi decompositions Fulltext Access 23 Pages 2006
Minimum augmentation of local edge-connectivity between vertices and vertex subsets in undirected graphs Fulltext Access 23 Pages 2006
From Theoretical e-barter Models to an Implementation Based on Web Services 1 Fulltext Access 24 Pages 2006
Efficient memory management for concurrent programs that use message passing Fulltext Access 24 Pages 2006
Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework Fulltext Access 24 Pages 2006
Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems ⋆ Fulltext Access 24 Pages 2006
Weakly complete axiomatization of exogenous quantum propositional logic Fulltext Access 24 Pages 2006
Interpretability of first-order linear temporal logics in fork algebras Fulltext Access 24 Pages 2006
Expand, Enlarge and Check: New algorithms for the coverability problem of WSTS Fulltext Access 24 Pages 2006
On the mean number of encryptions for tree-based broadcast encryption schemes Fulltext Access 24 Pages 2006
HeteroMPI: Towards a message-passing library for heterogeneous networks of computers Fulltext Access 24 Pages 2006
Online-optimization of multi-elevator transport systems with reoptimization algorithms based on set-partitioning models Fulltext Access 24 Pages 2006
An application of the TRAMO-SEATS automatic procedure; direct versus indirect adjustment Fulltext Access 24 Pages 2006
Efficient calculation of the NPMLE of a mixing distribution for mixtures of exponentials Fulltext Access 24 Pages 2006
A semiparametric model selection criterion with applications to the marginal structural model Fulltext Access 24 Pages 2006
Nearest neighbours in least-squares data imputation algorithms with different missing patterns Fulltext Access 24 Pages 2006
Integrating XML and CORBA to support collaborative writing using off-the-shelf editing software Fulltext Access 24 Pages 2006
Complete axiomatization and decidability of Alternating-time temporal logic Fulltext Access 25 Pages 2006
The HASCASL prologue: Categorical syntax and semantics of the partial λ-calculus Fulltext Access 25 Pages 2006
Optimizing locality and scalability of embedded Runge–Kutta solvers using block-based pipelining Fulltext Access 25 Pages 2006
Marcus t-contextual grammars and cut hierarchies and monotonicity for restarting automata Fulltext Access 25 Pages 2006
Interfaces as functors, programs as coalgebras—A final coalgebra theorem in intensional type theory Fulltext Access 25 Pages 2006
Boolean operations and inclusion test for attribute–element constraints Fulltext Access 25 Pages 2006
A characterization theorem for injective model classes axiomatized by general rules Fulltext Access 25 Pages 2006
Testing for random effects in panel data under cross sectional error correlation—A bootstrap approach to the Breusch Pagan test Fulltext Access 25 Pages 2006
Cut-and-solve: An iterative search strategy for combinatorial optimization problems Fulltext Access 25 Pages 2006
Preliminary Phi-divergence test estimator for multinomial probabilities Fulltext Access 25 Pages 2006
On some predictors of times to failure of censored items in progressively censored samples Fulltext Access 25 Pages 2006
Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation Fulltext Access 25 Pages 2006
Mumbo: A Rule-Based Implementation of a Run-time Program Generation Language Fulltext Access 25 Pages 2006