Super-simple, pan-orientable and pan-decomposable GDDs with block size 4 Fulltext Access 14 Pages 2010
Factorization forests for infinite words and applications to countable scattered linear orderings Fulltext Access 14 Pages 2010
Deterministic solutions to QSAT and Q3SAT by spiking neural P systems with pre-computed resources Fulltext Access 14 Pages 2010
A shorter proof that palindromes are not a Church–Rosser language, with extensions to almost-confluent and preperfect Thue systems Fulltext Access 14 Pages 2010
Efficient frequent connected subgraph mining in graphs of bounded tree-width Fulltext Access 14 Pages 2010
Density versions of Schur's theorem for ideals generated by submeasures Fulltext Access 14 Pages 2010
On the equivalence between real mutually unbiased bases and a certain class of association schemes Fulltext Access 14 Pages 2010
Generalized incidence theorems, homogeneous forms and sum–product estimates in finite fields Fulltext Access 14 Pages 2010
Vertex partition of a complete multipartite graph into two kinds of induced subgraphs Fulltext Access 14 Pages 2010
Path and cycle decompositions of complete equipartite graphs: 3 and 5 parts Fulltext Access 14 Pages 2010
Transitive bislim geometries of gonality 3, Part II: The group theoretic cases Fulltext Access 14 Pages 2010
Hamilton cycle decompositions of the tensor products of complete bipartite graphs and complete multipartite graphs Fulltext Access 14 Pages 2010
CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity Fulltext Access 14 Pages 2010
Some Experience on the Software Engineering of Abstract Interpretation Tools Fulltext Access 14 Pages 2010
From Such Simple a Beginning: The Momentous Consequences of Physics' Microscopic Reversibility for Communication and Computation—and Almost Anything Else Fulltext Access 14 Pages 2010
Effect of BDD Optimization on Synthesis of Reversible and Quantum Logic Fulltext Access 14 Pages 2010
Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical Inputs Fulltext Access 14 Pages 2010
A Strict-Observational Interface Theory for Analysing Service Orchestrations Fulltext Access 15 Pages 2010
Flexible adjustment of the short-term correlation of LRD M/G/∞-based processes Fulltext Access 15 Pages 2010
Cost Analysis for Embedded Systems: Experiments with Priced Timed Automata Fulltext Access 15 Pages 2010
Combining Architecture-based Software Reliability Predictions with Financial Impact Calculations Fulltext Access 15 Pages 2010
Static Analysis by Abstract Interpretation: A Mathematical Programming Approach Fulltext Access 15 Pages 2010
Modular Verification of Interactive Systems with an Application to Biology Fulltext Access 15 Pages 2010