A Bayesian approach to estimate the marginal loss distributions in operational risk management Fulltext Access 21 Pages 2008
Notes on estimation of proportion ratio under a non-compliance randomized trial with missing outcomes Fulltext Access 21 Pages 2008
Simultaneous selection of variables and smoothing parameters in structured additive regression models Fulltext Access 21 Pages 2008
A test suite for the evaluation of mixed multi-unit combinatorial auctions Fulltext Access 21 Pages 2008
Volatility forecasting using threshold heteroskedastic models of the intra-day range Fulltext Access 21 Pages 2008
A minimum Hellinger distance estimator for stochastic differential equations: An application to statistical inference for continuous time interest rate models Fulltext Access 21 Pages 2008
Random sampling of colourings of sparse random graphs with a constant number of colours Fulltext Access 21 Pages 2008
Multiscale spectral analysis for detecting short and long range change points in time series Fulltext Access 21 Pages 2008
An automatic abstraction technique for verifying featured, parameterised systems Fulltext Access 21 Pages 2008
Typechecking top-down XML transformations: Fixed input or output schemas Fulltext Access 22 Pages 2008
Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus Fulltext Access 22 Pages 2008
Optimal replica placement in hierarchical Data Grids with locality assurance Fulltext Access 22 Pages 2008
Araneola: A scalable reliable multicast system for dynamic environments Fulltext Access 22 Pages 2008
Designing for user attention: A method for supporting unobtrusive routine tasks Fulltext Access 22 Pages 2008
Sound and complete computational interpretation of symbolic hashes in the standard model Fulltext Access 22 Pages 2008
Minimal non-deletable sets and minimal non-codeletable sets in binary images Fulltext Access 22 Pages 2008
Spatial-behavioral types for concurrency and resource control in distributed systems Fulltext Access 22 Pages 2008
Using bisimulation proof techniques for the analysis of distributed abstract machines Fulltext Access 22 Pages 2008
A small trip in the untranquil world of genomes: A survey on the detection and analysis of genome rearrangement breakpoints Fulltext Access 22 Pages 2008
Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic Fulltext Access 22 Pages 2008
Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems Fulltext Access 22 Pages 2008
Teachable robots: Understanding human teaching behavior to build more effective robot learners Fulltext Access 22 Pages 2008
A multiset-based model of synchronizing agents: Computability and robustness Fulltext Access 23 Pages 2008
Detection of unknown computer worms based on behavioral classification of the host Fulltext Access 23 Pages 2008
Modelling nonlinearities and heavy tails via threshold normal mixture GARCH models Fulltext Access 23 Pages 2008
Recursive geometry of the flow complex and topology of the flow complex filtration Fulltext Access 23 Pages 2008
Primitive recursive selection functions for existential assertions over abstract algebras Fulltext Access 23 Pages 2008
A two-class parallel system with general service times of the parallel class Fulltext Access 23 Pages 2008
An analysis of model-based Interval Estimation for Markov Decision Processes Fulltext Access 23 Pages 2008
A unified theory of structural tractability for constraint satisfaction problems Fulltext Access 23 Pages 2008
A Calculus for Generation, Verification and Refinement of BPEL Specifications 1 Fulltext Access 23 Pages 2008
Robustness of Fourier estimator of integrated volatility in the presence of microstructure noise Fulltext Access 24 Pages 2008
Maximizing equity market sector predictability in a Bayesian time-varying parameter model Fulltext Access 24 Pages 2008