A novel upper power domain construction is deened by means of strongly compact sets. Its power domains contain less elements than the classical ones in terms of compact sets, but still admit all necessary operations, i.e. they contain less junk. The notion of strong compactness allows a proof of stronger properties than compactness would, e.g. an intrinsic universal property of the upper power ...

We pose the problem of whether every FS-domain is a retract of abifinite domain purely in terms of quasi-uniform spaces. 6.1 The problem and its historyEver since domains were introduced by Dana Scott [Sco70] and Yuri Er-shov [Ers75], a question in the centre of interest was to find suitable cartesianclosed categories of domains and the quest for cartesian closed categories ...

We are mainly concerned with some special kinds of semicontinuous domains and relationships between them. New concepts of strongly semicontinuous domains, meet semicontinuous domains and semi-FS domains are introduced. It is shown that a dcpo L is strongly semicontinuous if and only if L is semicontinuous and meet semicontinuous. It is proved that semi-FS domains are strongly semicontinuous. So...

The initial lower and upper power domain constructions P _ and P ^ commute under composition for all cpos. The common result P _ (P ^ X) and P ^ (P _ X) is the free frame over the cpo X.

Stably compact spaces Xs can be described as being derived from compact ordered spaces X by weakening their topology to the open upper sets. In this paper the probabilistic powerdomain of a stably compact space Xs is investigated using the compact ordered space X and classical tools from measure theory and functional analysis. This allows to derive in a unified and elegant way known and new res...

We prove that the Berezin transform is $L^p$ regular on a large class of domains in $\mathbb{C}^n$ and not $L^2$ Hartogs triangle.

We present a general theory tha t captures the re la t ionship between certain domains and nego t ia t ion mechanisms. T h e analysis makes i t possible to categorize precisely the k inds of domains in wh ich agents f ind themselves, and to use the category to choose appropr ia te negot i a t ion mechanisms. T h e theory presented here bo th generalizes previous results, and al lows agent desig...

In order to get estimates on the solutions of the equation ∂̄u = ω on Stein manifold, we introduce a new method the ”raising steps method”, to get global results from local ones. In particular it allows us to transfer results form open sets in C to open sets in a Stein manifold. Using it we get L − L results for solutions of equation ∂̄u = ω with a gain, s > r, in strictly pseudo convex domains i...

Delta-lysin is a linear, 26-residue peptide that adopts an alpha-helical, amphipathic structure upon binding to membranes. Delta-lysin preferentially binds to mammalian cell membranes, the outer leaflets of which are enriched in sphingomyelin, cholesterol, and unsaturated phosphatidylcholine. Mixtures including these lipids have been shown to exhibit separation between liquid-disordered (l(d)) ...