De Bruijn's syntax and reductional behaviour of λ-terms: the untyped case Fulltext Access 23 Pages 2005
Î additive and Î ultra-additive maps, Gromov's trees, and the Farris transform Fulltext Access 23 Pages 2005
A comparative study of the finite-sample performance of some portmanteau tests for randomness of a time series Fulltext Access 23 Pages 2005
Regression trees for analysis of count data with extra Poisson variation Fulltext Access 23 Pages 2005
Relevance measures for subset variable selection in regression problems based on k-additive mutual information Fulltext Access 23 Pages 2005
On reasoning about structural equality in XML: a description logic approach Fulltext Access 23 Pages 2005
New operations and regular expressions for two-dimensional languages over one-letter alphabet Fulltext Access 24 Pages 2005
Sensitivity analysis of constrained linear L1 regression: perturbations to response and predictor variables Fulltext Access 24 Pages 2005
An extended redundancy analysis and its applications to two practical examples Fulltext Access 24 Pages 2005
How many principal components? stopping rules for determining the number of non-trivial axes revisited Fulltext Access 24 Pages 2005
One-dimensional layout optimization, with applications to graph drawing by axis separation Fulltext Access 24 Pages 2005
A functional correspondence between monadic evaluators and abstract machines for languages with computational effects Fulltext Access 24 Pages 2005
Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs Fulltext Access 24 Pages 2005
Name-passing style GUI programming in the Ï-calculus-based language Nepi Fulltext Access 24 Pages 2005
Tagged Systems: A Framework for the Specification of History-dependent Properties Fulltext Access 24 Pages 2005
An architecture for workflow scheduling under resource allocation constraints Fulltext Access 24 Pages 2005
Real number computation with committed choice logic programming languages Fulltext Access 24 Pages 2005
Analysing input/output-capabilities of mobile processes with a generic type system Fulltext Access 24 Pages 2005
How the design of JML accommodates both runtime assertion checking and formal verification Fulltext Access 24 Pages 2005
Fuzzy context-free languages-Part 1: Generalized fuzzy context-free grammars Fulltext Access 24 Pages 2005
Iterative-improvement-based declustering heuristics for multi-disk databases Fulltext Access 24 Pages 2005
Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes Fulltext Access 25 Pages 2005
Property-preserving subnet reductions for designing manufacturing systems with shared resources Fulltext Access 25 Pages 2005
Modelling hypermedia and web applications: the Ariadne Development Method Fulltext Access 25 Pages 2005
Multi-hop cellular networks: Architecture and protocols for best-effort and real-time communication Fulltext Access 25 Pages 2005
PSPACE-completeness of sliding-block puzzles and other problems through the nondeterministic constraint logic model of computation Fulltext Access 25 Pages 2005
Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types Fulltext Access 25 Pages 2005
Response modeling methodology (RMM)-maximum likelihood estimation procedures Fulltext Access 25 Pages 2005
Formal description and analysis of a distributed location service for mobile ad hoc networks Fulltext Access 25 Pages 2005