Results 71 to 80 of about 198,198 (194)
ABSTRACT Recent results have shown that domain‐uniform stabilizability and detectability imply spatial exponential decay of perturbations in optimally controlled hyperbolic PDEs on one‐dimensional domains. This domain‐uniform stabilizability and detectability can be achieved only if the control domain is distributed over the whole spatial domain such ...
Benedikt Oppeneiger
wiley +1 more source
Algebras for parameterised monads [PDF]
Parameterised monads have the same relationship to adjunctions with parameters as monads do to adjunctions. In this paper, we investigate algebras for parameterised monads. We identify the Eilenberg-Moore category of algebras for parameterised monads and
Atkey, Robert
core +2 more sources
A simple characterization of commutative H*-algebras
Commutative H*-algebras are characterized without postulating the existence of Hilbert space structure.
Parfeny P. Saworotnow
doaj +1 more source
ABSTRACT Stochastic Galerkin methods offer unexplored potential for the numerical simulation of parabolic problems with random variables, in particular if they are combined with variational discretizations of the space and time variables. Due to the high dimensionality, the solution of the arising algebraic systems do not become feasible without ...
Moataz Dawor +2 more
wiley +1 more source
Let 𝐴 be a bounded Hilbert algebra and 𝑆 a ∨-closed subset of 𝐴. The Hilbert algebra of fractions 𝐴𝑆 is studied regarding maximal and irreducible deductive systems.
Christina-Theresia Dan
doaj +1 more source
Frequency‐dependent contraction rates for the Bayesian method to the inverse source problem
Abstract This paper addresses an inverse source problem for acoustic waves in a range of frequencies. Our study has two main goals. First, although the problem is severely ill‐posed with a logarithmic stability estimate, we demonstrate, through careful analysis of the forward map's singular values, that increasing the frequency range enhances stability,
Pu‐Zhao Kow, Jenn‐Nan Wang
wiley +1 more source
Hilbert 90 for algebras with conjugation
We show a version of Hilbert 90 that is valid for a large class ofalgebras many of which are not commutative, distributive orassociative. This class contains the n:th iteration of theConway-Smith doubling procedure.
Lundström, Patrik,
core +1 more source
On Involutive Weak Exchange Algebras
In this paper, involutive weak exchange algebras (for short, involutive WE algebras) are introduced and studied. Their properties and characterizations are investigated. Some important results and examples are given.
Andrzej Walendziak
doaj +1 more source
Local multiplicativity of perverse filtrations
Abstract Let f:S→C$f:S\rightarrow C$ be a proper surjective morphism from a smooth Kähler surface to a smooth curve. We show that the local perverse filtration associated with the induced map S[n]→C(n)$S^{[n]}\rightarrow C^{(n)}$ is multiplicative on each fiber if and only if f$f$ is an elliptic fibration.
Zili Zhang
wiley +1 more source
A Common External Framework for Kleene and McCarthy Algebras
ABSTRACT Algebras of disjoint alternatives (ADAs), introduced by Manes, are extensions of McCarthy algebras by a unary operator acting as an oracle for the halting problem, and provide a semantics for the equational theory of the if–then–else construct.
Gandolfo Vergottini +2 more
wiley +1 more source

