Concept
Computability theory
Related publications (48)
An operator-splitting approach to nonoverlapping domain decomposition methods
The Robin-Robin method is an iterative substructuring method to solve boundary-value problems (b.v.p.) on domains partitioned into nonoverlapping subdomains. It involves mixed-type boundary conditions on the interface, which depend on suitable weighting co ...
2004Failure Detection vs. Group Membership in Fault-Tolerant Distributed Systems: Hidden Trade-Offs
Failure detection and group membership are two important components of fault-tolerant distributed systems. Understanding their role is essential when developing efficient solutions, not only in failure-free runs, but also in runs in which processes do cras ...
Springer Verlag2002Computing Bounds for the Star Discrepancy
We observe that the time required to compute the star discrepancy of a sequence of points in a multidimensional unit cube is prohibitive and that the best known upper bounds for the star discrepancy of (t,s)-sequences and (t,m,s)-nets are useful only for s ...
2000Exact results for non-holomorphic masses in softly broken supersymmetric gauge theories
We consider strongly coupled supersymmetric gauge theories softly broken by the addition of gaugino masses m(lambda) and (non-holomorphic) scalar masses m(2), taken to be small relative to the dynamical scale Lambda. For theories with a weakly coupled dual ...
1999Recursive linear estimation in Krein spaces. II. Applications
We show that several applications considered in the context of Hoo filtering and game theory, risk sensitive control and estimation, follow as special cases of the Krein space Kalman filter. We show that these problems can be cast into the problem of calcu ...
IEEE1993