Computer-based support for clinical guidelines and protocols [[electronic resource] ] : proceedings of the symposium on computerized guidelines and protocols (CGP 2004) / / edited by Katharina Kaiser, Silvia Miksch, and Samson W. Tu

• Record Nr.: UNINA9910449788003321
• Pubbl/distr/stampa: Burke, VA, : IOS Press, c2004
• ISBN: 1-280-50603-2; 9786610506033; 1-60750-944-X; 1-4175-9014-9; 600-00-0374-9; 1-60129-411-5
• Descrizione fisica: 1 online resource (194 p.)
• Collana: Studies in health technology and informatics, , 0926-9630 ; ; v. 101
• Altri autori (Persone): KaiserKatharina; MikschSilvia; TuSamson W
• Disciplina: 610/.285
• Soggetti: Medicine - Data processing; Medical care - Data processing; Electronic books.
• Lingua di pubblicazione: Inglese
• 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: Cover; Title page; Preface; Conference Organization; Contents; Communicating the Logic of a Treatment Plan Formulated in Asbru to Domain Experts; Decision Support and Knowledge Management in Oncology Using Hierarchical Classification; Modelling Clinical Goals: A Corpus of Examples and a Tentative Ontology; Standardized Terminology for Clinical Trial Protocols Based on Top-Level Ontological Categories; TimeWrap - A Method for Automatic Transformation of Structured Guideline Components into Formal Process-Representations; Non-Compliance with Guidelines: Motivations and Consequences in a Case StudyAdvanced Temporal Data Abstraction for Guideline Execution; Protocure: Supporting the Development of Medical Protocols ; Through Formal Methods; Towards a Flexible Integration of Clinical Guideline Systems with Medical Ontologies and Medical Information Systems; Adaptive Guideline-based Treatment Workflows with AdaptFlow; A Generic Interface to XML Documents for Guidance Information; Transforming Written Guidelines into Electronic Formats - International Perspectives; A Multiple-ontology Customizable Search Interface for Retrieval of Clinical GuidelinesMark-up Based Analysis of Narrative Guidelines with the Stepper Tool; A Description Logics Approach to CGPs; Reminder-based or On-demand Decision Support Systems: A Preliminary Study in Primary Care with the Management of Hypertension; The Digital Electronic Guideline Library (DeGeL): A Hybrid Framework for Representation and Use of Clinical Guidelines; Using a Guideline-centered Approach for the Design of a Clinical Decision Support System to Promote Smoking Cessation; Analysis of Guideline Compliance - A Data Mining ApproachThe GLARE Approach to Clinical Guidelines: Main Features; The SAGE Guideline Modeling: Motivation and Methodology; Tracing the Formalization Steps of Textual Guidelines; Translating Arden MLMs into GLIF Guidelines - A Case Study of Hyperkalemia Patient Screening; Author Index
• Sommario/riassunto: In recent years, guidelines and protocols have gained support as the vehicles for promoting best practices in clinical medicine. They offer the possibilities of reducing unwarranted practice variations, of containing cost while maintaining quality of care, and of defining standards of care for quality assurance purposes.

Prime-detecting sieves [[electronic resource] /] / Glyn Harman

• Record Nr.: UNINA9910452847303321
• Autore: Harman G (Glyn), <1956->
• Pubbl/distr/stampa: Princeton, : Princeton University Press, c2007
• ISBN: 0-691-20299-0; 1-283-84829-5; 1-4008-4593-9
• Edizione: [Course Book]
• Descrizione fisica: 1 online resource (379 p.)
• Collana: London Mathematical Society monographs series ; ; v. 33
• Classificazione: SK 180
• Disciplina: 512.7/3
• Soggetti: Sieves (Mathematics); Numbers, Prime; Number theory; Electronic books.
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Description based upon print version of record.
• Nota di bibliografia: Includes bibliographical references (p. [349]-359) and index.
• Nota di contenuto: Frontmatter -- Contents -- Preface -- Notation -- Chapter 1. Introduction -- Chapter 2. The Vaughan Identity -- Chapter 3. The Alternative Sieve -- Chapter 4. The Rosser-Iwaniec Sieve -- Chapter 5. Developing the Alternative Sieve -- Chapter 6. An Upper-Bound Sieve -- Chapter 7. Primes in Short Intervals -- Chapter 8. The Brun-Titchmarsh Theorem on Average -- Chapter 9. Primes in Almost All Intervals -- Chapter 10. Combination with the Vector Sieve -- Chapter 11. Generalizing to Algebraic Number Fields -- Chapter 12. Variations on Gaussian Primes -- Chapter 13. Primes of the Form x3 + 2y3 -- Chapter 14. Epilogue -- Appendix -- Bibliography -- Index
• Sommario/riassunto: This book seeks to describe the rapid development in recent decades of sieve methods able to detect prime numbers. The subject began with Eratosthenes in antiquity, took on new shape with Legendre's form of the sieve, was substantially reworked by Ivan M. Vinogradov and Yuri V. Linnik, but came into its own with Robert C. Vaughan and important contributions from others, notably Roger Heath-Brown and Henryk Iwaniec. Prime-Detecting Sieves breaks new ground by bringing together several different types of problems that have been tackled with modern sieve methods and by discussing the ideas common to ; each, in particular the use of Type I and Type II information. No other book has undertaken such a systematic treatment of prime-detecting sieves. Among the many topics Glyn Harman covers are primes in short intervals, the greatest prime factor of the sequence of shifted primes, Goldbach numbers in short intervals, the distribution of Gaussian primes, and the recent work of John Friedlander and Iwaniec on primes that are a sum of a square and a fourth power, and Heath-Brown's work on primes represented as a cube plus twice a cube. This book contains much that is accessible to beginning graduate students, yet also provides insights that will benefit established researchers.