Interval graphs, adjusted interval digraphs, and reflexive list homomorphisms Fulltext Access 11 Pages 2012
Convex Invariant Refinement by Control Node Splitting: a Heuristic Approach Fulltext Access 11 Pages 2012
A generalization of Hungarian method and Hall's theorem with applications in wireless sensor networks Fulltext Access 11 Pages 2012
Using well-solvable quadratic assignment problems for VLSI interconnect applications Fulltext Access 11 Pages 2012
A Tool for Testing Data Type Implementations from Maude Algebraic Specifications Fulltext Access 11 Pages 2012
New series representations for Jacobiʼs triple product identity and more via the q-Markov method Fulltext Access 12 Pages 2012
On the bit-parallel simulation of the nondeterministic Aho–Corasick and suffix automata for a set of patterns Fulltext Access 12 Pages 2012
A higher-dimensional Kurzweil theorem for formal Laurent series over finite fields Fulltext Access 12 Pages 2012
2-balanced flows and the inverse 1-median problem in the Chebyshev space Fulltext Access 12 Pages 2012
A tutorial on fundamental model structures for railway timetable optimization Fulltext Access 12 Pages 2012
Algorithms for computing Best Coverage Path in the presence of obstacles in a sensor field Fulltext Access 12 Pages 2012
Geodesic pancyclicity and balanced pancyclicity of the generalized base-b hypercube Fulltext Access 12 Pages 2012
Connected graphs of fixed order and size with maximal Q-index: Some spectral bounds Fulltext Access 12 Pages 2012
Exact λ-numbers of generalized Petersen graphs of certain higher-orders and on Möbius strips Fulltext Access 12 Pages 2012
Upper bounds for the Stanley-Wilf limit of 1324 and other layered patterns Fulltext Access 12 Pages 2012
GDSL: A Generic Decoder Specification Language for Interpreting Machine Language Fulltext Access 12 Pages 2012
Scheduling tasks with exponential duration on unrelated parallel machines Fulltext Access 12 Pages 2012
Static Analysis of Boolean Networks Based on Interaction Graphs: A Survey Fulltext Access 12 Pages 2012
Discovering all associations in discrete data using frequent minimally infrequent attribute sets Fulltext Access 12 Pages 2012
A mixed integer programming model for the cyclic job-shop problem with transportation Fulltext Access 12 Pages 2012
On the existence of Hamiltonian paths for history based pivot rules on acyclic unique sink orientations of hypercubes Fulltext Access 12 Pages 2012
A condensation-based application of Cramerʼs rule for solving large-scale linear systems Fulltext Access 12 Pages 2012
An algorithm for finding input–output constrained convex sets in an acyclic digraph Fulltext Access 12 Pages 2012
Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What? Fulltext Access 12 Pages 2012
Inferring Sufficient Conditions with Backward Polyhedral Under-Approximations Fulltext Access 12 Pages 2012
An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations Fulltext Access 12 Pages 2012