Computational prediction of nucleic acid secondary structure: Methods, applications, and challenges Fulltext Access 8 Pages 2009
Scheduling with families of jobs and delivery coordination under job availability Fulltext Access 8 Pages 2009
Polynomial algorithms for approximating Nash equilibria of bimatrix games Fulltext Access 8 Pages 2009
Computational complexity of computing a partial solution for the Graph Automorphism problems Fulltext Access 8 Pages 2009
What does it mean to say that a physical system implements a computation? Fulltext Access 8 Pages 2009
The Erdős–Ko–Rado properties of set systems defined by double partitions Fulltext Access 8 Pages 2009
The parallel complexity of signed graphs: Decidability results and an improved algorithm Fulltext Access 8 Pages 2009
Computing the longest topological common subsequence of a symbol-wise totally ordered directed acyclic graph and a sequence Fulltext Access 8 Pages 2009
Parameterized computational complexity of control problems in voting systems Fulltext Access 8 Pages 2009
Online scheduling to minimize modified total tardiness with an availability constraint Fulltext Access 8 Pages 2009
Error-correcting pooling designs associated with some distance-regular graphs Fulltext Access 8 Pages 2009
Partial characterizations of clique-perfect and coordinated graphs: Superclasses of triangle-free graphs Fulltext Access 8 Pages 2009
Analyzing quadratic unconstrained binary optimization problems via multicommodity flows Fulltext Access 8 Pages 2009
Bounds relating the weakly connected domination number to the total domination number and the matching number Fulltext Access 8 Pages 2009
Positive circuits and maximal number of fixed points in discrete dynamical systems Fulltext Access 8 Pages 2009
Relation between powers of factors and the recurrence function characterizing Sturmian words Fulltext Access 8 Pages 2009
The equality problem for infinite words generated by primitive morphisms Fulltext Access 8 Pages 2009
System Description: Delphin – A Functional Programming Language for Deductive Systems Fulltext Access 8 Pages 2009
The Asian contribution to the Turkish population with respect to the Balkans: Y-chromosome perspective Fulltext Access 8 Pages 2009
PathFinder: A Visualization eMathTeacher for Actively Learning Dijkstra's Algorithm Fulltext Access 8 Pages 2009
Kick-Start Activation to Novice Programming — A Visualization-Based Approach Fulltext Access 8 Pages 2009
Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code Fulltext Access 8 Pages 2009
On the combinatorial structure of a class of [m2,m−12,3] shortened Hamming codes and their dual-codes Fulltext Access 8 Pages 2009
Minimum cycle cover and Chinese postman problems on mixed graphs with bounded tree-width Fulltext Access 8 Pages 2009