منابع مشابه
Shosaku Numa - 7 February 1929--15 February 1992.
Email alerting service here box at the top right-hand corner of the article or click Receive free email alerts when new articles cite this article-sign up in the
متن کاملDavid Smyth
David Smyth is a plant developmental geneticist. He began his independent career at Monash University in Melbourne in 1974, where he investigated the basis of the very large genomes of the true lilies (Lilium species) when DNA cloning methods became available. Two abundant dispersed elements turned out to be retrotransposons, revealing their important role in bulking up some plant genomes. In 1...
متن کاملClifford D . Smyth
My research interests lie in discrete mathematics and complexity theory (MSC 05, 52, 60, 68) and my research falls mostly into one or more of the following topics: combinatorial probability, computational complexity, combinatorial geometry, random structures, and extremal problems. After a brief overview of my completed research, I will give a more detailed summary of some of its aspects and fu...
متن کاملResolution in the Smyth powerdomain
The purposes of this paper are (i) to give a new, eecient representation of Smyth powerdomains as 0-inhabited information systems, following the style of Scott; (ii) to introduce, as a consequence of this representation, a generalized resolution method for an arbitrary Smyth powerdomain and show the soundness and completeness of this method. The connection of (i) with (ii) comes from the observ...
متن کاملA Note on the Smyth Powerdomain Construction
Powerdomains are the order-theoretic analogue of powersets and are used to model non-determinism and concurrency [9, 8, 3, 10]. There exist three standard kinds of order-theoretic powerdomain: the Plotkin, Smyth and Hoare powerdomain. To obtain a powerdomain from a given !-algebraic cpo D, one constructs the collection F(D) of finite, non-empty sets of finite elements from D (for necessary defi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Laryngology & Otology
سال: 1992
ISSN: 0022-2151,1748-5460
DOI: 10.1017/s0022215100120262