Sampling methods for shortest vectors, closest vectors and successive minima Fulltext Access 18 Pages 2009
Characterizations and recognition of circular-arc graphs and subclasses: A survey Fulltext Access 18 Pages 2009
Some identities on the Bernoulli, Euler and Genocchi polynomials via power sums and alternate power sums Fulltext Access 18 Pages 2009
Computability of probability measures and Martin-Löf randomness over metric spaces Fulltext Access 18 Pages 2009
The galaxies of nonstandard enlargements of infinite and transfinite graphs Fulltext Access 18 Pages 2009
Empire of colonies: Self-stabilizing and self-organizing distributed algorithm Fulltext Access 19 Pages 2009
Universal algebra and hardness results for constraint satisfaction problems 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
On the representability of totally unimodular matrices on bidirected graphs 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
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
Parallel and Distributed Invariant Checking of Microcontroller Software Fulltext Access 19 Pages 2009
Denotational Semantics of Call-by-name Normalization in Lambda-mu Calculus Fulltext Access 19 Pages 2009
Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs 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
Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA 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