A PTAS for parallel batch scheduling with rejection and dynamic job arrivals Fulltext Access 14 Pages 2009
On the computational complexity of the languages of general symbolic dynamical systems and beta-shifts Fulltext Access 14 Pages 2009
A shared-variable concurrency analysis of multi-threaded object-oriented programs Fulltext Access 14 Pages 2009
Distributed algorithms for partitioning a swarm of autonomous mobile robots Fulltext Access 14 Pages 2009
From exact sciences to life phenomena: Following Schrödinger and Turing on Programs, Life and Causality Fulltext Access 14 Pages 2009
Automated Customer-Centric Performance Analysis of Generalised Stochastic Petri Nets Using Tagged Tokens Fulltext Access 14 Pages 2009
Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie Project Fulltext Access 14 Pages 2009
Exact asymptotics of the characteristic polynomial of the symmetric Pascal matrix Fulltext Access 14 Pages 2009
Bijective proofs of partition identities arising from modular equations Fulltext Access 14 Pages 2009
A list of 4-valent 2-arc-transitive graphs and finite faithful amalgams of index (4, 2) Fulltext Access 14 Pages 2009
Does the lit-only restriction make any difference for the σσ-game and σ+σ+-game? Fulltext Access 14 Pages 2009
Exact and asymptotic enumeration of perfect matchings in self-similar graphs Fulltext Access 14 Pages 2009
Optimal resilient sorting and searching in the presence of memory faults Fulltext Access 14 Pages 2009
Minimal average cost of searching for a counterfeit coin: Restricted model Fulltext Access 14 Pages 2009
A generalized preimage for the digital analytical hyperplane recognition Fulltext Access 14 Pages 2009
Connectivity preserving transformations for higher dimensional binary images Fulltext Access 14 Pages 2009
Variable neighborhood search for extremal graphs. 22. Extending bounds for independence to upper irredundance Fulltext Access 14 Pages 2009
The mathematical solution of a cellular automaton model which simulates traffic flow with a slow-to-start effect Fulltext Access 14 Pages 2009
Weighted coloring on planar, bipartite and split graphs: Complexity and approximation Fulltext Access 14 Pages 2009
Properties of General Semantic Operators Determined by Logic-Based Systems Fulltext Access 14 Pages 2009
Xor-Implications and E-Implications: Classes of Fuzzy Implications Based on Fuzzy Xor Fulltext Access 14 Pages 2009
Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism Fulltext Access 14 Pages 2009
Combined Effects of Frequency Quantization and Additive Input Noise in a First-order Digital PLL Fulltext Access 14 Pages 2009
Stochastic Cellular Automata in Dynamic Environmental Modeling: Practical Applications Fulltext Access 14 Pages 2009
Partially Ordered Monads for Monadic Topologies, Rough Sets and Kleene Algebras Fulltext Access 15 Pages 2009
Category Classification and Topic Discovery of Japanese and English News Articles Fulltext Access 15 Pages 2009
Using Context-Sensitive Rewriting for Proving Innermost Termination of Rewriting Fulltext Access 15 Pages 2009