نتایج جستجو برای: FS-domains

تعداد نتایج: 185166  

In this paper, we introduce the notion of super finitely separating functions which gives a characterization of RB-domains. Then we prove that FS-domains and RB-domains are equivalent in some special cases by the following three claims: a dcpo is an RB-domain if and only if there exists an approximate identity for it consisting of super finitely separating functions; a consistent join-semilatti...

2014
Qingyu He Luoshan Xu

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...

Journal: :Theor. Comput. Sci. 2008
Jimmie D. Lawson

In this article we give general conditions on ametric space to insure that the poset of closed formal balls is an FS-domain. © 2008 Elsevier B.V. All rights reserved.

Journal: :Molecular endocrinology 2004
Henry T Keutmann Alan L Schneyer Yisrael Sidis

Follistatin (FS) is an important regulator of pituitary FSH secretion through its potent ability to bind and bioneutralize activin. It also represents a prototype for binding proteins that control bioavailability of other TGFbeta-related growth factors such as the bone morphogenetic proteins. The 288-residue FS molecule has a distinctive structure comprised principally of three 10-cysteine FS d...

Journal: :Electronic Notes in Theoretical Computer Science 2019

Journal: :Categories and General Algebraic Structures with Application 2018

Journal: :Theor. Comput. Sci. 2001
Reinhold Heckmann

We present two characterisations of FS domains, using the upper and the lower power domain construction, respectively. These characterisations have a common structure and thus can be generalised from the two power constructions to arbitrary premonads. The resulting classes of domains are considered in general, and some special instances are studied in greater detail. They form classes of domain...

1990
Achim Jung

The long-standing problem of nding the maximal cartesian closed categories of continuous domains is solved. The solution requires the de nition of a new class of continuous domains, called FS-domains, which contains all retracts of SFPobjects. The properties of FS-domains are discussed in some detail.

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید