The formalism underlying EASYMAP: A precompiler for refinement-based exploration of hierarchical data organizations Fulltext Access 65 Pages 2008
A note on emptiness for alternating finite automata with a one-letter alphabet Fulltext Access 4 Pages 2007
An improved approximation ratio for the minimum linear arrangement problem Fulltext Access 4 Pages 2007
Fast and simple algorithms to count the number of vertex covers in an interval graph Fulltext Access 4 Pages 2007
A new algorithm for testing if a regular language is locally threshold testable Fulltext Access 4 Pages 2007
Semantic and logical foundations of global computing: Papers from the EU-FET global computing initiative (2001-2005) Fulltext Access 4 Pages 2007
An example of a misclassification problem applied to Australian equity data Fulltext Access 4 Pages 2007
A new expertness index for assessment of secondary structure prediction engines Fulltext Access 4 Pages 2007
PreSSAPro: A software for the prediction of secondary structure by amino acid properties Fulltext Access 4 Pages 2007
Computational simulation of interactions between SARS coronavirus spike mutants and host species-specific receptors Fulltext Access 4 Pages 2007
Global warming and coral reefs: Modelling the effect of temperature on Acropora palmata colony growth Fulltext Access 4 Pages 2007
Each maximal planar graph with exactly two separating triangles is Hamiltonian Fulltext Access 4 Pages 2007
An Eclipse-based Integrated Environment for Developing Executable Structural Operational Semantics Specifications Fulltext Access 5 Pages 2007
Edit distance for a run-length-encoded string and an uncompressed string Fulltext Access 5 Pages 2007
Analysis of noise-induced phase synchronization in nervous systems: from algorithmic perspective Fulltext Access 5 Pages 2007
Hardness of approximating the Minimum Solutions of Linear Diophantine Equations Fulltext Access 5 Pages 2007