Approximating minimum coloring and maximum independent set in dotted interval graphs Fulltext Access 5 Pages 2006
Nondeterministic ordered binary decision diagrams with repeated tests and various modes of acceptance Fulltext Access 5 Pages 2006
Comparative analysis of core promoter region: Information content from mono and dinucleotide substitution matrices Fulltext Access 5 Pages 2006
Improved generalized Atkin algorithm for computing square roots in finite fields Fulltext Access 5 Pages 2006
An RNA folding algorithm including pseudoknots based on dynamic weighted matching Fulltext Access 5 Pages 2006
Analysis of subsynchronous resonance in a multi-machine power system using series compensation Fulltext Access 5 Pages 2006
An approximate solution to lower tap changing or capacitors regulator times in reactive power control in distribution systems Fulltext Access 5 Pages 2006
Prediction of protein subcellular location using hydrophobic patterns of amino acid sequence Fulltext Access 5 Pages 2006
Modelling variations in corallite morphology of Galaxea fascicularis coral colonies with depth and light on coastal fringing reefs in the Wakatobi Marine National Park (S.E. Sulawesi, Indonesia) Fulltext Access 5 Pages 2006
Cost distribution of the Chang–Roberts leader election algorithm and related problems Fulltext Access 6 Pages 2006
The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems Fulltext Access 6 Pages 2006
Efficient lower and upper bounds of the diagonal-flip distance between triangulations Fulltext Access 6 Pages 2006
A differential approach to solve the inverse eigenvalue problem derived from a neural network Fulltext Access 6 Pages 2006
AMROEBA: Computational astrophysics modeling enabled by dynamic lambda switching Fulltext Access 6 Pages 2006
High-definition multimedia for multiparty low-latency interactive communication Fulltext Access 6 Pages 2006
A Framework for Stochastic System Modelling and Analysis: Work in Progress Fulltext Access 6 Pages 2006
On the Use of Automata-based Techniques in Symbolic Model Checking: Invited Address Fulltext Access 6 Pages 2006
Efficient algorithm for placing a given number of base stations to cover a convex region Fulltext Access 6 Pages 2006
Topological Aspects of Hybrid Processes: A Proposed Treatment Using Non-standard Analysis Fulltext Access 6 Pages 2006