✦ LIBER ✦

Powerdomains and zero finding

✍ Scribed by Keye Martin

Book ID: 104444686
Publisher: Elsevier Science
Year: 2002
Tongue: English
Weight: 262 KB
Volume: 59
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)00287-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Universality and Powerdomains

✍ K.J. Nüßler 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 840 KB

In this paper we i n vestigate the Plotkin powerdomain under order-theoretical aspects. We answer a problem of G. Plotkin whether any bi nite domain can be embedded (with embedding-projection pairs) into the Plotkin powerdomain of a Scott-domain. Here we obtain counter-examples. There is a 9-element

Finding Zero

✍ Aczel, Amir D 📂 Fiction 📅 2014 🏛 St. Martin's Press 🌐 English ⚖ 2 MB

The invention of numerals is perhaps the greatest abstraction the human mind has ever created. Virtually everything in our lives is digital, numerical, or quantified. The story of how and where we got these numerals, which we so depend on, has for thousands of years been shrouded in mystery. _Findin

On powerdomains and modality

✍ Glynn Winskel 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 620 KB

Finding The Zero

✍ Kelly, Sahara 📂 Fiction 🌐 English ⚖ 170 KB

Weierstrass formula and zero-finding met

Weierstrass formula and zero-finding methods

✍ Miodrag S. Petkovi'c; Carsten Carstensen; Miroslav Trajkov'i c 📂 Article 📅 1995 🏛 Springer-Verlag 🌐 English ⚖ 243 KB

Measuring the probabilistic powerdomain

✍ Keye Martin; Michael Mislove; James Worrell 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 377 KB

In this paper we initiate the study of measurements on the probabilistic powerdomain. We show how measurements on an underlying domain naturally extend to its probabilistic powerdomain, so that the kernel of the extension consists of exactly those normalized measures on the kernel of the measurement