1679 search results - page 21 / 336 » Strong order equivalence |
JSYML
2011
13 years 4 months ago
2011
Abstract. Louveau and Rosendal [5] have shown that the relation of biembeddability for countable graphs as well as for many other natural classes of countable structures is complet...
BIRTHDAY
2003
Springer
14 years 3 months ago
2003
Springer
Equivalence between designs is a fundamental notion in verification. The linear and branching approaches to verification induce different notions of equivalence. When the designs...
ICLP
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. In recent work, a general framework for specifying program correspondences under the answer-set semantics has been defined. The framework allows to define different not...
ASPDAC
2006
ACM
2006
ACM
Equivalent circuit modeling of guard ring structures for evaluation of substrate crosstalk isolation
14 years 3 months ago
— A substrate-coupling equivalent circuit can be derived for an arbitrary guard ring test structure by way of F-matrix computation. The derived netlist represents a unified impe...
AMC
2011
13 years 1 months ago
2011
We study regularity of mild and strong solutions for an abstract mathematical model of a flexible space structure under appropriate initial conditions. We apply our results showin...