How the (1+1) ES using isotropic mutations minimizes positive definite quadratic forms Fulltext Access 19 Pages 2006
The first order definability of graphs: Upper bounds for quantifier depth Fulltext Access 19 Pages 2006
Using source transformation to test and model check implicit-invocation systems Fulltext Access 19 Pages 2006
The complexity of membership problems for circuits over sets of integers Fulltext Access 19 Pages 2006
A general approach to comparing infinite-state systems with their finite-state specifications Fulltext Access 19 Pages 2006
Processes as formal power series: A coinductive approach to denotational semantics Fulltext Access 19 Pages 2006
Combining partial evaluation and staged interpretation in the implementation of domain-specific languages Fulltext Access 19 Pages 2006
A comparison of three methods for principal component analysis of fuzzy interval data Fulltext Access 19 Pages 2006
Heterogeneous demand responses to discrete price changes: an application to the purchase of lottery tickets Fulltext Access 19 Pages 2006
Exact maximum likelihood estimation of partially nonstationary vector ARMA models Fulltext Access 19 Pages 2006
Modified censored moment estimation for the two-parameter Birnbaum–Saunders distribution Fulltext Access 19 Pages 2006
Quadrature using 64-bit IEEE arithmetic for integrands over [0,1] with a singularity at 1 Fulltext Access 19 Pages 2006
Proof-carrying code from certified abstract interpretation and fixpoint compression Fulltext Access 19 Pages 2006
Formal and incremental construction of distributed algorithms: On the distributed reference counting algorithm Fulltext Access 20 Pages 2006
Compositionality of Hennessy–Milner logic by structural operational semantics Fulltext Access 20 Pages 2006
Operator Algebras and the Operational Semantics of Probabilistic Languages Fulltext Access 20 Pages 2006
Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation Fulltext Access 20 Pages 2006
The vehicle routing problem with flexible time windows and traveling times Fulltext Access 20 Pages 2006
A branch-and-bound algorithm to solve the linear ordering problem for weighted tournaments Fulltext Access 20 Pages 2006
Fully dynamic recognition algorithm and certificate for directed cographs Fulltext Access 20 Pages 2006
Investigating omitted variable bias in regression parameter estimation: A genetic algorithm approach Fulltext Access 20 Pages 2006
An improved Akaike information criterion for state-space model selection Fulltext Access 20 Pages 2006
Flexible distributions for triple-goal estimates in two-stage hierarchical models Fulltext Access 20 Pages 2006
Approximate power of score test for variance heterogeneity under local alternatives in nonlinear models Fulltext Access 20 Pages 2006
Fractal: A mobile code-based framework for dynamic application protocol adaptation Fulltext Access 20 Pages 2006
Sequential inference with reliable observations: Learning to construct force-dynamic models Fulltext Access 20 Pages 2006
Completeness and Counter-Example Generations of a Basic Protocol Logic: (Extended Abstract) Fulltext Access 20 Pages 2006
Exact and Portable Profiling for the JVM Using Bytecode Instruction Counting Fulltext Access 20 Pages 2006
A Functional Programming Framework for Latency Insensitive Protocol Validation Fulltext Access 20 Pages 2006