Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations
A Linear-Time Algorithm for the Perfect Phylogeny Haplotyping (PPH) Problem
Modeling the Combinatorial Functions of Multiple Transcription Factors
Amino Acid Sequence Control of the Folding of the Parallel beta-Helix, the Simplest beta-Sheet Fold
Using Multiple Alignments to Improve Gene Prediction
EigenMS: De Novo Analysis of Peptide Tandem Mass Spectra by Spectral Graph Partitioning
Multi Class Adult Image Classification Using Neural Networks
Integrating Web Content Clustering into Web Log Association Rule Mining
Queuing Local Solutions in Distributed Constraint Satisfaction Systems
ARES 2: A Tool for Evaluating Cooperative and Competitive Multi-agent Systems
FDS+Evac: Modelling Pedestrian Movement in Crowds
Evacuation Planning Tool (EPT) for Emergency, Event and Space Planning
Implementing a Hybrid Space Discretisation within an Agent Based Evacuation Model
Five Grand Challenges in Pedestrian and Evacuation Dynamics
Maximum Likelihood of Evolutionary Trees Is Hard
RIBRA - An Error-Tolerant Algorithm for the NMR Backbone Assignment Problem
Real-Time Decision Making for Large POMDPs
Error Bounds in Reinforcement Learning Policy Evaluation