A flexible model and efficient solution strategies for discrete location problems Fulltext Access 18 Pages 2009
A topological sampling theorem for Robust boundary reconstruction and image segmentation Fulltext Access 18 Pages 2009
Formal Verification and Validation of UML 2.0 Sequence Diagrams using Source and Destination of Messages Fulltext Access 18 Pages 2009
On empirical Bayes penalized quasi-likelihood inference in GLMMs and in Bayesian disease mapping and ecological modeling Fulltext Access 18 Pages 2009
Testing volatility autocorrelation in the constant elasticity of variance stochastic volatility model Fulltext Access 18 Pages 2009
Generalized Cramér–von Mises goodness-of-fit tests for multivariate distributions Fulltext Access 18 Pages 2009
Parameterized complexity of candidate control in elections and related digraph problems Fulltext Access 18 Pages 2009
Integration testing of Object-Oriented and Aspect-Oriented programs: A structural pairwise approach for Java Fulltext Access 18 Pages 2009
Vertex and edge covers with clustering properties: Complexity and algorithms Fulltext Access 19 Pages 2009
Strengths and synergies of evolved and designed controllers: A study within collective robotics Fulltext Access 19 Pages 2009
Universal algebra and hardness results for constraint satisfaction problems Fulltext Access 19 Pages 2009
One-shot learners using negative counterexamples and nearest positive examples Fulltext Access 19 Pages 2009
Direct chosen-ciphertext secure identity-based key encapsulation without random oracles Fulltext Access 19 Pages 2009
Finite n-tape automata over possibly infinite alphabets: Extending a theorem of Eilenberg et al. Fulltext Access 19 Pages 2009
A barred operational semantics for a subset of WS-CDL with time restrictions Fulltext Access 19 Pages 2009
Past–future separation and normal forms in temporal predicate logic specifications Fulltext Access 19 Pages 2009
Toward the interpretation of non-constructive reasoning as non-monotonic learning Fulltext Access 19 Pages 2009
Approximating the longest path length of a stochastic DAG by a normal distribution in linear time Fulltext Access 19 Pages 2009
Performance Analysis of the ARIA Adaptive Media Processing Workflows using Colored Petri Nets Fulltext Access 19 Pages 2009
Operational Termination of Membership Equational Programs: the Order-Sorted Way Fulltext Access 19 Pages 2009
Exploratory Functions on Nondeterministic Strategies, up to Lower Bisimilarity Fulltext Access 19 Pages 2009
The EOQ problem with decidable warehouse capacity: Analysis, solution approaches and applications Fulltext Access 19 Pages 2009
Polyhedral analysis for the two-item uncapacitated lot-sizing problem with one-way substitution Fulltext Access 19 Pages 2009
Leverage, heavy-tails and correlated jumps in stochastic volatility models Fulltext Access 19 Pages 2009
Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA Fulltext Access 19 Pages 2009
BAS: A Case Study for Modeling and Verification in Trustable Model Driven Development Fulltext Access 19 Pages 2009
Using Heuristics to Automate Parameter Generation for Benchmarking of Java Methods Fulltext Access 19 Pages 2009