Parametric modeling of protein–DNA binding kinetics: A discrete event based simulation approach Fulltext Access 21 Pages 2009
The effects of misspecified marginals and copulas on computing the value at risk: A Monte Carlo study Fulltext Access 21 Pages 2009
Bialgebraic methods and modal logic in structural operational semantics Fulltext Access 21 Pages 2009
Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract) Fulltext Access 21 Pages 2009
The three-color and two-color Tantrix™ rotation puzzle problems are NP-complete via parsimonious reductions Fulltext Access 21 Pages 2009
A Port Graph Calculus for Autonomic Computing and Invariant Verification Fulltext Access 22 Pages 2009
The structure and complexity of Nash equilibria for a selfish routing game Fulltext Access 22 Pages 2009
Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems Fulltext Access 22 Pages 2009
On an algorithm determining direct superclasses in Java and similar languages with inner classes—Its correctness, completeness and uniqueness of solutions Fulltext Access 22 Pages 2009
Approximate hierarchical facility location and applications to the bounded depth Steiner tree and range assignment problems Fulltext Access 22 Pages 2009
Faster computation of maximum independent set and parameterized vertex cover for graphs with maximum degree 3 Fulltext Access 22 Pages 2009
A Petri net approach for the design and analysis of Web Services Choreographies Fulltext Access 22 Pages 2009
Verifying the CICS File Control API with Z/Eves: An experiment in the verified software repository Fulltext Access 22 Pages 2009
Focusing and polarization in linear, intuitionistic, and classical logics Fulltext Access 22 Pages 2009
Balancing modular transfer lines with serial–parallel activation of spindle heads at stations Fulltext Access 22 Pages 2009
Some Investigations About Synchronization and Density Classification Tasks in One-dimensional and Two-dimensional Cellular Automata Rule Spaces Fulltext Access 22 Pages 2009
Robotic vocabulary building using extension inference and implicit contrast Fulltext Access 22 Pages 2009
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves Fulltext Access 23 Pages 2009
Intensional dynamic programming. A Rosetta stone for structured dynamic programming Fulltext Access 23 Pages 2009
Evaluating continuous KK-nearest neighbor query on moving objects with uncertainty Fulltext Access 23 Pages 2009
Modeling and Reasoning about an Attacker with Cryptanalytical Capabilities Fulltext Access 23 Pages 2009
Characterization of Single Cycle CA and its Application in Pattern Classification Fulltext Access 23 Pages 2009
Comparison and evaluation of back-translation algorithms for static single assignment forms Fulltext Access 23 Pages 2009
Estimating stochastic volatility models using daily returns and realized volatility simultaneously Fulltext Access 23 Pages 2009
Overall and pairwise segregation tests based on nearest neighbor contingency tables Fulltext Access 23 Pages 2009
A methodological approach for user interface development of collaborative applications: A case study Fulltext Access 23 Pages 2009
A characterization of regular circular languages generated by marked splicing systems Fulltext Access 24 Pages 2009
The Parikh counting functions of sparse context-free languages are quasi-polynomials Fulltext Access 24 Pages 2009
A novel sequence representation for unsupervised analysis of human activities Fulltext Access 24 Pages 2009
Data reductions, fixed parameter tractability, and random weighted d-CNF satisfiability Fulltext Access 24 Pages 2009
On the consistent rewriting of conjunctive queries under primary key constraints Fulltext Access 24 Pages 2009
Multimedia group and inter-stream synchronization techniques: A comparative study Fulltext Access 24 Pages 2009
jLab: Integrating a scripting interpreter with Java technology for flexible and efficient scientific computation Fulltext Access 24 Pages 2009