Remodularizing Java programs for improved locality of feature implementations in source code Fulltext Access 21 Pages 2012
Bayesian panel data analysis for exploring the impact of subprime financial crisis on the US stock market Fulltext Access 21 Pages 2012
Simple VARs cannot approximate Markov switching asset allocation decisions: An out-of-sample assessment Fulltext Access 21 Pages 2012
Trustworthy-based efficient data broadcast model for P2P interaction in resource-constrained wireless environments Fulltext Access 21 Pages 2012
View-based query answering in Description Logics: Semantics and complexity Fulltext Access 21 Pages 2012
Characterizations of locally testable linear- and affine-invariant families Fulltext Access 21 Pages 2012
Foundational aspects of multiscale modeling of biological systems with process algebras Fulltext Access 21 Pages 2012
Direct fitting of dynamic models using integrated nested Laplace approximations — INLA Fulltext Access 21 Pages 2012
Maxima-finding algorithms for multidimensional samples: A two-phase approach Fulltext Access 21 Pages 2012
A log-linear regression model for the ββ-Birnbaum–Saunders distribution with censored data Fulltext Access 21 Pages 2012
Towards mobile intelligence: Learning from GPS history data for collaborative recommendation Fulltext Access 21 Pages 2012
Confidence interval construction for disease prevalence based on partial validation series Fulltext Access 21 Pages 2012
Maintaining awareness using policies; Enabling agents to identify relevance of information Fulltext Access 22 Pages 2012
Designing and proving correct a convex hull algorithm with hypermaps in Coq Fulltext Access 22 Pages 2012
On inter-deriving small-step and big-step semantics: A case study for storeless call-by-need evaluation Fulltext Access 22 Pages 2012
Servilla: A flexible service provisioning middleware for heterogeneous sensor networks Fulltext Access 22 Pages 2012
Algorithmic paradigms for stability-based cluster validity and model selection statistical methods, with applications to microarray data analysis Fulltext Access 22 Pages 2012
On truth-gaps, bipolar belief and the assertability of vague propositions Fulltext Access 22 Pages 2012
Computational aspects of fitting mixture models via the expectation–maximization algorithm Fulltext Access 22 Pages 2012
A new similarity measure for nonlocal filtering in the presence of multiplicative noise Fulltext Access 22 Pages 2012
On the model-checking of monadic second-order formulas with edge set quantifications Fulltext Access 22 Pages 2012
Approximate counting for complex-weighted Boolean constraint satisfaction problems Fulltext Access 22 Pages 2012
An Introduction to the Topological Theory of Distributed Computing with Safe-consensus Fulltext Access 23 Pages 2012
The Bayesian method for causal discovery of latent-variable models from a mixture of experimental and observational data Fulltext Access 23 Pages 2012
Distribution-free exponentially weighted moving average control charts for monitoring unknown location Fulltext Access 23 Pages 2012
Performance analysis of the simultaneous perturbation stochastic approximation algorithm on the noisy sphere model Fulltext Access 23 Pages 2012
Weighted automata and multi-valued logics over arbitrary bounded lattices Fulltext Access 23 Pages 2012
Localized level crossing random walk test robust to the presence of structural breaks Fulltext Access 23 Pages 2012
An iterative approach to synthesize business process templates from compliance rules Fulltext Access 23 Pages 2012
Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs Fulltext Access 23 Pages 2012
An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints Fulltext Access 23 Pages 2012
A multi-dimensional quality assessment of state-of-the-art process discovery algorithms using real-life event logs Fulltext Access 23 Pages 2012
Robust periodic solutions and evolution from seeds in one-dimensional edge cellular automata Fulltext Access 23 Pages 2012
Testing the simultaneous embeddability of two graphs whose intersection is a biconnected or a connected graph Fulltext Access 23 Pages 2012
A model-driven process for the modernization of component-based systems Fulltext Access 23 Pages 2012
An adaptive mode control algorithm of a scalable intrusion tolerant architecture Fulltext Access 24 Pages 2012
A study of the neutrality of Boolean function landscapes in genetic programming Fulltext Access 24 Pages 2012
Applications of the characteristic function-based continuum GMM in finance Fulltext Access 24 Pages 2012