Results 61 to 70 of about 2,673 (127)
Formal analysis of control and termination of distributed computation in weaker spaces
The control and termination detection of a distributed computation involving large-scale distributed database is difficult in the presence of concurrency, random network delays, and varying reliability of computing nodes. The formal modeling and analysis
Susmit Bagchi
doaj +1 more source
Graphical models for topological groups: A case study on countable Stone spaces
Abstract By analogy with the Cayley graph of a group with respect to a finite generating set or the Cayley–Abels graph of a totally disconnected, locally compact group, we detail countable connected graphs associated to Polish groups that we term Cayley–Abels–Rosendal graphs.
Beth Branman +3 more
wiley +1 more source
Metrization of idempotent semiring of topological rings
In this paper, we have introduced natural H+ - pseudovaluation and H+ -norm on a completely regular semiring making it a topological completely regular (algebraic) semiring and established some necessary and sufficient conditions of metrizability of a ...
Sunil Kumar Maity, Gopal Adak
doaj +1 more source
Abstract We formulate the problem of material identification as a problem of optimal control in which the deformation of the specimen is the state variable and the unknown material law is the control variable. We assume that the material obeys finite elasticity and that the deformation of the specimen is in static equilibrium with prescribed boundary ...
Sergio Conti, Michael Ortiz
wiley +1 more source
$\omega$-Jointly Metrizable Spaces [PDF]
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
We study supervised learning problems that have significant effects on individuals from two demographic groups, and we seek predictors that are fair with respect to a group fairness criterion such as statistical parity (SP). A predictor is SP-fair if the distributions of predictions within the two groups are close in Kolmogorov distance, and fairness ...
Rychener, Yves +2 more
openaire +2 more sources
Hausdorff dimensions of irreducible Markov hom tree‐shifts
Abstract This paper features a Cramér's theorem for finite‐state Markov chains indexed by rooted d$d$‐trees, obtained via the method of types in the classical analysis of large deviations. Along with the theorem comes two applications: an almost‐sure type convergence of sample means and a formula for the Hausdorff dimension of the symbolic space ...
Jung‐Chao Ban +2 more
wiley +1 more source
Metrizability and pattern recognition [PDF]
Metrizability and pattern ...
Duran, P.
core +1 more source
Metrizations of Projective Spaces [PDF]
A two-dimensional G-space,1 in which the geodesic through two distinct points is unique, is either homeomorphic to the plane E2 and all geodesics are isometric to a straight line, or it is homeomorphic to the projective plane p2 and all geodesics are isometric to the same circle, see [1, ??10 and 31]. Two problems arise in either case: (1) To determine
openaire +1 more source
Metrizability of Adjunction Spaces [PDF]
In a recent conversation with E. A. Michael and D. Hyman the following natural question was raised: Are the M-spaces of Hyman (see Definition 3.1) metrizable whenever they are first countable? We will answer this question affirmatively. Indeed, we will prove the somewhat stronger result that the M-spaces of Hyman are metrizable whenever they are of ...
openaire +2 more sources

