Phase transitions and symmetry breaking in genetic algorithms with crossover Fulltext Access 21 Pages 2006
Specification, testing and implementation relations for symbolic-probabilistic systems Fulltext Access 21 Pages 2006
An algebraic view of the relation between largest common subtrees and smallest common supertrees Fulltext Access 21 Pages 2006
Model checking for process rewrite systems and a class of action-based regular properties Fulltext Access 21 Pages 2006
A general two-sided matching market with discrete concave utility functions Fulltext Access 21 Pages 2006
Global convergence of Oja's PCA learning algorithm with a non-zero-approaching adaptive learning rate Fulltext Access 22 Pages 2006
Elimination of quantifiers and undecidability in spatial logics for concurrency Fulltext Access 22 Pages 2006
Kolmogorov complexities Kmax, Kmin on computable partially ordered sets Fulltext Access 22 Pages 2006
Two oiseau decompositions of permutations and their application to Eulerian calculus Fulltext Access 22 Pages 2006
Single machine scheduling with controllable release and processing parameters Fulltext Access 22 Pages 2006
A duality between q-multiplicities in tensor products and q-multiplicities of weights for the root systems B,C or D Fulltext Access 23 Pages 2006
Distribution of a class of divide and conquer recurrences arising from the computation of the Walsh–Hadamard transform Fulltext Access 23 Pages 2006
Injective synchronisation: An extension of the authentication hierarchy Fulltext Access 23 Pages 2006
Minimum augmentation of local edge-connectivity between vertices and vertex subsets in undirected graphs Fulltext Access 23 Pages 2006
An efficient implementation of a quasi-polynomial algorithm for generating hypergraph transversals and its application in joint generation Fulltext Access 23 Pages 2006
Automated pattern detection—An algorithm for constructing optimally synchronizing multi-regular language filters Fulltext Access 23 Pages 2006
Initializing Mutually Referential Abstract Objects: The Value Recursion Challenge Fulltext Access 23 Pages 2006
Pure future local temporal logics are expressively complete for Mazurkiewicz traces Fulltext Access 23 Pages 2006
Reasoning About Partial Functions in the Formal Development of Programs Fulltext Access 23 Pages 2006
Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names 1 Fulltext Access 23 Pages 2006
Weakly complete axiomatization of exogenous quantum propositional logic Fulltext Access 24 Pages 2006
From Theoretical e-barter Models to an Implementation Based on Web Services 1 Fulltext Access 24 Pages 2006
Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems ⋆ Fulltext Access 24 Pages 2006
Online-optimization of multi-elevator transport systems with reoptimization algorithms based on set-partitioning models Fulltext Access 24 Pages 2006