Results 261 to 270 of about 2,223 (301)

Extreme solutions of equations

1987
In the previous chapter we have encountered a number of statements S, for which the predicate transformers wlp(S,?) and wp(S,?) were given in closed form. In the next chapter we shall encounter a statement for which the predicates wlp(S,X) and wp(S,X) are given as solutions of equations of the form $${\text{Y }}:{\text{ }}\left[ {{\text{b}}.\left( {
openaire   +1 more source

Extremal Properties of Solutions of Stochastic Equations

Theory of Probability & Its Applications, 1985
Translation from Teor. Veroyatn. Primen. 29, No.2, 209-221 (Russian) (1984; Zbl 0543.60064).
openaire   +1 more source

Extremal Solutions of Multivalued Differential Equations

Results in Mathematics, 1988
Consider an initial value problem (1) \(u'\in F(t,u)\) a.e. on J, \(u(0)=x_ 0\) where \(J=[0,a]\subset R\), \(X=R\) n and F:J\(\times X\to 2\) \(X\setminus \phi\) is a multivalued map. Let \(K\subset R\) n be a cone and \(\leq\) the partial ordering defined by K, i.e. \(x\leq y\) iff y-x\(\in K\).
openaire   +1 more source

Equations in predicates and their extreme solutions

1990
In the previous chapter we have encountered a number of statements S for which the predicate transformers wlp.S and wp.S were given in closed form. In the next chapter we shall encounter the statement DO, for which the predicates wlp.DO.X and wp.DO.X will be defined as solutions of equations of the ...
Edsger W. Dijkstra, Carel S. Schölten
openaire   +1 more source

On V-Extremal Solutions of the Moment Problem

Mathematical Notes, 2002
A nondecreasing function \(\sigma(u)\), \(-\infty 0\), and \(\sigma_1(u)\) and \(\sigma_2(u)\) are solutions of the same moment problem different from \(\sigma(u)\). The set of all solutions of the indeterminate moment problem (1) is described be the Nevanlinna representation: Let the class of Nevanlinna functions \(N\) supplemented with the constant \
openaire   +1 more source

Bioenergetics and solute uptake under extreme conditions

Extremophiles, 2001
The ion and particularly the proton and sodium ion permeabilities of cytoplasmic membranes play crucial roles in the bioenergetics of microorganisms. The proton and sodium permeabilities of membranes increase with temperature. Psychrophilic and mesophilic bacteria and mesophilic, (hyper)thermophilic, and halophilic archaea are capable of adjusting the ...
Albers, Sonja Verena, Vossenberg, Jack L., Driessen, Arnold J. M., Konings, Wil N.   +3 more
openaire   +4 more sources

The solution to an extremal problem on balanced extensions of graphs

Journal of Graph Theory, 1993
AbstractFor n sufficiently large the order of a smallest balanced extension of a graph of order n is, in the worst case, ⌊(n + 3)2/8⌋. © 1993 John Wiley & Sons, Inc.
Andrzej Rucinski 0001, Andrew Vince
openaire   +2 more sources

On the Components of Extremal Solutions of Second Order Systems

SIAM Journal on Mathematical Analysis, 1977
Sign properties of components of extremal solutions of the linear system \[ x'' + A(t)x = 0, \] where $A(t)$ is a continuous $n \times n$ matrix, are investigated. For most of the considerations, $A(t)$ is assumed to be symmetric. The proofs are based on variational arguments.
Ahmad, Shair, Lazer, Alan C.
openaire   +1 more source

Solution of an extremal problem in operator theory

1983
Let \(E_ 1,E_ 2\) be normed linear spaces of 2\(\pi\)-periodic integrable functions, \(\Pi_ n\) be the set of all trygonometric polynomials of the order \(\leq n\). The author gives a complete solution of the problem of constructing an extremal operator in the class \(\Omega_ n^{(k)}\) of all linear operators \(u_ n(f,x):E_ 1\to E_ 2\) such that \(u_ n(
openaire   +2 more sources

Existence of solutions of extremal problems

Cybernetics and Systems Analysis, 1995
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source