A topological sampling theorem for Robust boundary reconstruction and image segmentation Fulltext Access 18 Pages 2009
A flexible model and efficient solution strategies for discrete location problems Fulltext Access 18 Pages 2009
Exploratory Functions on Nondeterministic Strategies, up to Lower Bisimilarity Fulltext Access 19 Pages 2009
Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA 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
The active bijection in graphs, hyperplane arrangements, and oriented matroids, 1: The fully optimal basis of a bounded region Fulltext Access 19 Pages 2009
Complementary cycles in regular multipartite tournaments, where one cycle has length five Fulltext Access 19 Pages 2009
On the representability of totally unimodular matrices on bidirected graphs Fulltext Access 19 Pages 2009
Operational Termination of Membership Equational Programs: the Order-Sorted Way Fulltext Access 19 Pages 2009
An Izergin–Korepin-type identity for the 8VSOS model, with applications to alternating sign matrices Fulltext Access 19 Pages 2009
Power sums with applications to multizeta and zeta zero distribution for Fq[t] Fulltext Access 19 Pages 2009
Vertex and edge covers with clustering properties: Complexity and algorithms Fulltext Access 19 Pages 2009
Performance Analysis of the ARIA Adaptive Media Processing Workflows using Colored Petri Nets 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
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
Denotational Semantics of Call-by-name Normalization in Lambda-mu Calculus Fulltext Access 19 Pages 2009
Strategy-Based Rewrite Semantics for Membrane Systems Preserves Maximal Concurrency of Evolution Rule Actions Fulltext Access 19 Pages 2009
A Transformational Approach to Prove Outermost Termination Automatically Fulltext Access 19 Pages 2009
Maximal Laziness: An Efficient Interpretation Technique for Purely Functional DSLs Fulltext Access 19 Pages 2009
Parallel and Distributed Invariant Checking of Microcontroller Software Fulltext Access 19 Pages 2009
Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs Fulltext Access 19 Pages 2009
Correlations between the ranks of submatrices and weights of random codes Fulltext Access 20 Pages 2009
On optimization, dynamics and uncertainty: A tutorial for gene-environment networks Fulltext Access 20 Pages 2009