A model to optimize placement operations on dual-head placement machines Fulltext Access 25 Pages 2007
Application of the factorization method to the characterization of weak inclusions in electrical impedance tomography Fulltext Access 25 Pages 2007
Expected lengths and distribution functions for Young diagrams in the hook Fulltext Access 25 Pages 2007
Dagger Compact Closed Categories and Completely Positive Maps: (Extended Abstract) Fulltext Access 25 Pages 2007
A Local Graph-rewriting System for Deciding Equality in Sum-product Theories Fulltext Access 25 Pages 2007
Observational Equivalence for the Interaction Combinators and Internal Separation Fulltext Access 25 Pages 2007
A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs Fulltext Access 25 Pages 2007
Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures Fulltext Access 25 Pages 2007
An efficiently computed lower bound on the number of recombinations in phylogenetic networks: Theory and empirical study Fulltext Access 25 Pages 2007
Constructions of general polynomial lattice rules based on the weighted star discrepancy Fulltext Access 26 Pages 2007
Explicit evaluation of certain exponential sums of binary quadratic functions Fulltext Access 26 Pages 2007
A general graphical procedure for finding motion centers of planar mechanisms Fulltext Access 26 Pages 2007
Scheduling orders for multiple product types to minimize total weighted completion time Fulltext Access 26 Pages 2007
The generating rank of the symplectic grassmannians: Hyperbolic and isotropic geometry Fulltext Access 27 Pages 2007
The two-way rewriting in action: Removing the mystery of Euler–Glaisher's map Fulltext Access 27 Pages 2007
Computable Analysis of the Abstract Cauchy Problem in a Banach Space and Its Applications (I) Fulltext Access 27 Pages 2007
Linear-programming design and analysis of fast algorithms for Max 2-CSP Fulltext Access 28 Pages 2007
Primitive normal polynomials with the first two coefficients prescribed: A revised p-adic method Fulltext Access 28 Pages 2007
Asymptotic expected number of base pairs in optimal secondary structure for random RNA using the Nussinov–Jacobson energy model Fulltext Access 29 Pages 2007
The (f,g)-inversion formula and its applications: The (f,g)-summation formula Fulltext Access 31 Pages 2007
On the decomposition of self-dual codes over F2+uF2 with an automorphism of odd prime order Fulltext Access 32 Pages 2007
Boolean operations on 3D selective Nef complexes: Data structure, algorithms, optimized implementation and experiments Fulltext Access 36 Pages 2007
Characterization of some subgraphs of point-collinearity graphs of building geometries Fulltext Access 37 Pages 2007
Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic Fulltext Access 43 Pages 2007