| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910450515903321 |
|
|
Autore |
Gierz Gerhard |
|
|
Titolo |
Continuous lattices and domains / / G. Gierz [and others] [[electronic resource]] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cambridge : , : Cambridge University Press, , 2003 |
|
|
|
|
|
|
|
ISBN |
|
1-107-13080-8 |
1-280-41832-X |
9786610418329 |
0-511-17882-4 |
1-139-14721-8 |
0-511-06356-3 |
0-511-05723-7 |
0-511-30598-2 |
0-511-54272-0 |
0-511-07202-3 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (xxxvi, 591 pages) : digital, PDF file(s) |
|
|
|
|
|
|
Collana |
|
Encyclopedia of mathematics and its applications ; ; volume 93 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Title from publisher's bibliographic system (viewed on 05 Oct 2015). |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (p. 523-567) and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Foreword to A Compendium of Continuous Lattices -- Introduction to A Compendium of Continuous Lattices -- A Primer on Ordered Sets and Lattices -- I. Order Theory of Domains -- II. The Scott Topology -- III. The Lawson Topology -- IV. Morphisms and Functors -- V. Spectral Theory of Continuous Lattices -- VI. Compact Posets and Semilattices -- VII. Topological Algebra and Lattice Theory: Applications -- Dissertation and Master's Theses -- Memos Circulated in the Seminar on Continuity in Semilattices (SCS). |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Information content and programming semantics are just two of the applications of the mathematical concepts of order, continuity and domains. The authors develop the mathematical foundations of partially ordered sets with completeness properties of various degrees, in particular directed complete ordered sets and complete lattices. |
|
|
|
|
|
|
|
|
|
|
|
|
|
Uniquely, they focus on partially ordered sets that have an extra order relation, modelling the notion that one element 'finitely approximates' another, something closely related to intrinsic topologies linking order and topology. Extensive use is made of topological ideas, both by defining useful topologies on the structures themselves and by developing close connections with numerous aspects of topology. The theory so developed not only has applications to computer science but also within mathematics to such areas as analysis, the spectral theory of algebras and the theory of computability. This authoritative, comprehensive account of the subject will be essential for all those working in the area. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910450398503321 |
|
|
Titolo |
Wearable ehealth systems for personalised health management [[electronic resource] ] : state of the art and future challenges / / [edited by] Andreas Lymberis, Danilo de Rossi |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Amsterdam ; ; Washington, DC, : IOS Press, 2004 |
|
|
|
|
|
|
|
ISBN |
|
1-280-50472-2 |
9786610504725 |
1-4294-0237-7 |
1-60750-104-X |
600-00-0605-5 |
1-60129-085-3 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (368 p.) |
|
|
|
|
|
|
Collana |
|
Studies in health technology and informatics ; ; v. 108 |
|
|
|
|
|
|
Altri autori (Persone) |
|
LymberisAndreas |
De RossiDanilo E |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Medical innovations |
Medical innovations - Forecasting |
Medical care - Technological innovations - Forecasting |
Medical technology - Forecasting |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Title page; Preface; Message from the organizers; Acknowledgments; Contents; Health in the Information and Knowledge Economy Age - A European Perspective; Introduction to User Needs, Technological Concepts and Market Trends; World-Wide Technical Overview; Smart Wearable Monitoring and Diagnostic Systems; Smart Wearable and Implantable Disease Management Systems; Biomedical Clothing; Round Table Debate; Smart Fibers and Fabrics: The Challenges to Wearable Health; Author Index |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book consists of papers describing developments and trends all over the world in the areas of smart wearable monitoring and diagnostic systems, smart treatment systems, biomedical clothing and smart fibres and fabrics. |
|
|
|
|
|
|
|
| |