An Evaluation of the Effortless Approach to Build Algorithm Animations with WinHIPE Fulltext Access 11 Pages 2007
Visualization of Spatial Data Structures on Different Levels of Abstraction Fulltext Access 11 Pages 2007
Tissue P Systems and (Mem)Brane Systems with Mate and Drip Operations Working on Strings Fulltext Access 11 Pages 2007
Semantics for a Basic Relevant Logic with Intensional Conjunction and Disjunction Fulltext Access 11 Pages 2007
A Quantitative Analysis of Implicational Paradoxes in Classical Mathematical Logic Fulltext Access 11 Pages 2007
The Traveling Salesman Problem in Circulant Weighted Graphs With Two Stripes Fulltext Access 11 Pages 2007
On approximation algorithms of k-connected m-dominating sets in disk graphs Fulltext Access 11 Pages 2007
On the complexity of dominating set problems related to the minimum all-ones problem Fulltext Access 11 Pages 2007
Swapping a failing edge of a shortest paths tree by minimizing the average stretch factor Fulltext Access 11 Pages 2007
On the complexity of the sandwich problems for strongly chordal graphs and chordal bipartite graphs Fulltext Access 11 Pages 2007
Scheduling jobs with agreeable processing times and due dates on a single batch processing machine Fulltext Access 11 Pages 2007
An external-memory depth-first search algorithm for general grid graphs Fulltext Access 11 Pages 2007
Ranks of graphs: The size of acyclic orientation cover for deadlock-free packet routing Fulltext Access 11 Pages 2007
A Spectral Order for Infinite Dimensional Quantum Spaces: A Preliminary Report Fulltext Access 11 Pages 2007
Software Evolution from the Field: An Experience Report from the Squeak Maintainers Fulltext Access 11 Pages 2007
Necessary conditions for multistationarity in discrete dynamical systems Fulltext Access 11 Pages 2007
Connected (n,m)(n,m)-graphs with minimum and maximum zeroth-order general Randić index Fulltext Access 11 Pages 2007
New classes of facets of the cut polytope and tightness of Imm22Imm22 Bell inequalities Fulltext Access 11 Pages 2007
On the Use of Functional Test Generation in Diagnostic Test Generation for Synchronous Sequential Circuits Fulltext Access 11 Pages 2007
Towards the Construction of Attack Resistant and Efficient Overlay Streaming Topologies Fulltext Access 11 Pages 2007
Polynomial time algorithm for an optimal stable assignment with multiple partners Fulltext Access 12 Pages 2007
A method of finding automorphism groups of endomorphism monoids of relational systems Fulltext Access 12 Pages 2007
A linear-time 2-approximation algorithm for the watchman route problem for simple polygons Fulltext Access 12 Pages 2007
Self-improved gaps almost everywhere for the agnostic approximation of monomials Fulltext Access 12 Pages 2007
Quantifier elimination for the reals with a predicate for the powers of two Fulltext Access 12 Pages 2007
On the dualization of hypergraphs with bounded edge-intersections and other related classes of hypergraphs Fulltext Access 12 Pages 2007
Partial and Fuzzy Constraint Satisfaction to Support Coalition Formation Fulltext Access 12 Pages 2007
A Petri Net Based Method for Refining Object Oriented System Specifications Fulltext Access 12 Pages 2007
Data Flow Analysis as a General Concept for the Transport of Verifiable Program Annotations 1 Fulltext Access 12 Pages 2007
Modal Logic Characterization of Markovian Testing and Trace Equivalences Fulltext Access 12 Pages 2007
Package Duplication in Interaction Nets and Weak Head Reduction in the lambda-calculus Fulltext Access 12 Pages 2007
Specification and Generation of Environment for Model Checking of Software Components Fulltext Access 12 Pages 2007
On Well-Foundedness and Expressiveness of Promoted Tyft: Being Promoted Makes a Difference Fulltext Access 12 Pages 2007
Exponential lower bounds for the number of words of uniform length avoiding a pattern Fulltext Access 12 Pages 2007