Page 10
Page 10
Long-Term Preservation of Digital Documents : Principles and Practices
Key to our culture is that we can disseminate information, and then maintain and access it over time. While we are rapidly advancing from vulnerable physical solutions to superior, digital media, preserving and using data over the long term involves complicated research challenges and organization efforts. Uwe Borghoff and his coauthors address the problem of storing, reading, and using digital data for periods longer than 50 years. They briefly describe several markup and document description languages like TIFF, PDF, HTML, and XML, explain the most important techniques such as migration and emulation, and present the OAIS (Open Archival Information System) Reference Model. To complement this background information on the technology issues the authors present the most relevant international preservation projects, such as the Dublin Core Metadata Initiative, and experiences from sample projects run by the Cornell University Library and the National Library of the Netherlands. A rated survey list of available systems and tools completes the book.
Logics of Specification Languages
Dedicated chapters address : the use of ASM (Abstract State Machines) in the classroom; the Event-B modelling method; a methodological guide to CafeOBJ logic; CASL, the Common Algebraic Specification Language; the Duration Calculus; the logic of the RAISE specification language (RSL); the specification language TLA+; the typed logic of partial functions and the Vienna Development Method (VDM); and Z logic and its applications. Each chapter is self-contained, with references, and symbol and concept indexes. Finally, in a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development.
Logica Universalis : Towards a General Theory of Logic
Signifies the arrival of a new renaissance in logic, a new revival not only of logic, but of the vision of logic as a unifying tool for science as a whole, including mathematics, physics, cosmology, computer science and AI. The book and the vision behind it give logic, conceived as a scientific study of rationality, new unifying power, new perspectives, and new horizons.Universal Logic is not a new logic, but a general theory of logics, considered as mathematical structures. The name was introduced about ten years ago, but the subject is as old as the beginning of modern logic: Alfred Tarski and other Polish logicians such as Adolf Lindenbaum developed a general theory of logics at the end of the 1920s based on consequence operations and logical matrices. The subject was revived after the flowering of thousands of new logics during the last thirty years: there was a need for a systematic theory of logics to put some order in this chaotic multiplicity.
Levinas Concordance
The concrete impact of the Levinasian philosophy upon the variousdirections of thinking – from ontology and ethics to Jewish thought, theolo-gy, aesthetics or feminism – attests moreover the great significance of thissingular figure of our times.For more than three decades now his philosophy has come to be thesubject of many doctoral theses, articles and books. The complete “Levinasbibliography” counts currently thousands of titles in more than ten lan-guages. The important contribution that a Levinas Concordancewould bring asa valuable instrument for exegetes,
Lectures on Algebraic Geometry I : Sheaves, Cohomology of Sheaves, and Applications to Riemann Surfaces
This book and the following second volume is an introduction into modern algebraic geometry. In the first volume the methods of homological algebra, theory of sheaves, and sheaf cohomology are developed. These methods are indispensable for modern algebraic geometry, but they are also fundamental for other branches of mathematics and of great interest in their own.In the last chapter of volume I these concepts are applied to the theory of compact Riemann surfaces. In this chapter the author makes clear how influential the ideas of Abel, Riemann and Jacobi were and that many of the modern methods have been anticipated by them.
Le raisonnement bayésien : Modélisation et inférence = Bayesian reasoning : Modeling and inference
Describes in detail the practice of the Bayesian statistical approach using many examples chosen for their educational interest. The first part gives the general principles of statistical modeling making it possible to supervise but also to come to the aid of the imagination of the apprentice modeler. By examining examples of increasing difficulty, the reader forges the keys to building their own model. The second part presents the most useful calculation algorithms for estimating the unknowns of the model. Each inference method is presented and illustrated by numerous application cases.
Lapproccio e la gestione per processi in pneumologia = The process-based approach and management in pulmonology
The topics covered are highly relevant to the application of the methods and tools outlined in quality improvement programs. This is in an effort to enhance the specific skills of the pulmonologist, thus making him an effective and independent liaison with the relevant strategic management. With great sensitivity, the SIMeR (Italian Society of Respiratory Medicine) has chosen to sponsor this edition, the only one to date in the field of Pulmonology, whose contents are based on the proposals and work of the leaders of one of its most recently established Study Groups, the "Continuous Quality Improvement in Pulmonology" Study Group.
Landscape as Urbanism : A General Theory
Traces the roots of landscape as a form of urbanism from its origins in the Renaissance through the twentieth century. Growing out of progressive architectural culture and populist environmentalism, the concept was further informed by the nineteenth-century invention of landscape architecture as a "new art" charged with reconciling the design of the industrial city with its ecological and social conditions. In the late twentieth and early twenty-first centuries, as urban planning shifted from design to social science, and as urban design committed to neotraditional models of town planning, landscape urbanism emerged to fill a void at the heart of the contemporary urban project.
La réanimation neurochirurgicale = Neurosurgical resuscitation
«decade of the brain », s’est ajouté en clinique humaine le développement des nouvelles techniques d’imagerie. Ceci a permis d'enterrer enfin certaines idées anciennes et de développer de nouvelles stratégies thérapeutiques fondées sur une meilleure compréhension des mécanismes physiopathologiques de l’agression cérébrale en transposant les résultats de la recherche fondamentale dans la pratique de tous les jours. Il ne fait aucun doute que le médecin, qu'il soit anesthésiste, réanimateur, urgentiste, qui serait passé « à côté » de cette période concernant la prise en charge globale du cerveau agressé se retrouverait distancé face à la prise en charge actuelle et n’aurait pas en main les moyens d’en comprendre sa justification. L’association de neuro-anesthésie réanimation de langue Française
Knowledge management : Systems and processes in the AI era
Aimed at students and managers who seek detailed insights into contemporary knowledge management (KM). It explains the concepts, theories, and technologies that provide the foundation for knowledge management; the systems and structures that constitute KM solutions; and the processes for developing, deploying, and evaluating these KM solutions. It serves as a complete introduction to the subject of knowledge management, incorporating technical and social aspects, as well as concepts, practical examples, traditional KM approaches, and emerging topics. This third edition has been revised and expanded to include more coverage of emergent trends such as cloud computing, online communities, crowdsourcing and artificial intelligence.
Kid land
الفكرة التي تقوم عليها مدينة الطفل هي تعزيز العمل الجماعي لدى الأطفال ومحاولة دمجهم في بيئة تحفز على الابتكار والخيال والتطبيق العملي للدراسات النظرية ، خروجاً من الأساليب التقليدية في الإلقاء والتعليم واستخدام الحواس الخمس في عملية التعلييهدف هذا البحث إلى دارسة مشروع تخرج (مدينة الطفل) وفق جميع جوانبه العلمية، الثقافية، الاجتماعية والمعمارية .وصولاً إلى نتيجة نهائية تحقق بذلك مشروعاً متكاملاً للطفل ، ويخلق له بيئة مريحة و أمنة تحفزه على الإبداع وتوسع آفاقه و مداركه ، و تتجسد الأهمية الكبرى للمشروع أيضاً بالهدف الذي تسعى إليه فكرة المشروع وهي تعليم الطفل وتثقيفه عن طريق اللعب و ممارسة الأنشطة التفاعلية التي تعزز من العملية التعليمية بشكل ممتع و فعال كما توضح الدراسة أنواع الفعاليات و الأقسام الترفيهية والثقافية والتعليمية التي يحتويها فضاء المشروع من متحف الطفل ، كيدزانيا ، المكتبة والمدرج، إلى القاعات والورش والأنشطة الخدمية والتفاعلية الأخرى
KI 2008 : Advances in Artificial Intelligence ; 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings
This book constitutes the thoroughly refereed proceedings of the 31th Annual German Conference on Artificial Intelligence, KI 2008, held in Kaiserslautern, Germany, September 2008.The 15 revised full papers presented together with 2 invited contributions and 30 posters were carefully reviewed and selected from 77 submissions. The papers cover important areas such as pattern recognition, multi-agent systems, machine learning, natural language processing, constraint reasoning, knowledge representation and management, planning, and temporal reasoning.
Key Clinical Trials in Erectile Dysfunction
Represents a critical appraisal of the major clinical trials that have had a significant impact on clinical research and practice during the last decade. Each trial follows a strict format, starting with reference to the original source of publication, details on the key investigators and their methods of research. The strengths and weaknesses of each trial are discussed as well as their influence on clinical practice. Articles are complemented by a diagrammatic summary of the trial design and the key findings.
John Dee : Interdisciplinary Studies in English Renaissance Thought
This volume records the diversity of scholarly approaches to John Dee which have emerged since the synthetic accounts of I. R. F. Calder, Frances Yates and Peter French. If these approaches have not succeeded in resolving the problematic multiplicity of Dee’s activities, they will at least deepen our understanding of specific and local areas of his intellectual life, and render them more historiographically legible.
Jacopo da Firenze’s Tractatus Algorismi and Early Italian Abbacus Culture
In the city republics of Renaissance Italy, it was a common practice among the merchant class to send sons for a two-year course of study at an "abbacus school", where they learned practical, mostly commercial mathematics, known as abbaco. From this school institution, several hundred manuscripts survive, all in Italian, often containing not only what the masters needed in their teaching but also algebra or other advanced mathematical material. A signal feature of the book by Jens Høyrup is the first translation of one of these abbacus manuscripts into English.
ISSE 2006 — Securing Electronic Busines Processes : Highlights of the Information Security Solutions Europe 2006 Conference
Presents the most interesting talks given at ISSE 2006 - the forum for the interdisciplinary discussion of how to adequately secure electronic business processes. The topics include: Smart Token and e-ID-Card Developments and their Application - Secure Computing and how it will change the way we trust computers - Risk Management and how to quantify security threats - Awareness raising, Data Protection and how we secure corporate information. Adequate information security is one of the basic requirements of all electronic business processes. It is crucial for effective solutions that the possibilities offered by security technology can be integrated with the commercial requirements of the applications. The reader may expect state-of-the-art: best papers of the Conference ISSE 2006.
Complex dental implant complications
This book offers up-to-date guidance in the diagnosis and management of the various complex complications that may be encountered during or after the placement of dental implants. The aim is to raise the awareness of clinicians regarding such complications and to equip them with the knowledge needed in order to deal with complications promptly and effectively.
Compendium for Early Career Researchers in Mathematics Education
The book provides a state-of-the-art overview of important theories from mathematics education and the broad variety of empirical approaches currently widely used in mathematics education research.
Claude-Nicolas Ledoux : Architecture and uopia in the era of the French revolution
Claude-Nicolas Ledoux (1736-1806) is today regarded as chief representative of French revolutionary architecture. With his extraordinary inventiveness he projected the architectural ideals of his era. Ledoux's influential buildings and projects are presented and interpreted both aesthetically and historically in this book. His best-known projects - the Royal Saltwords of Arc-et-Senans, the tollgates of Paris, the ideal city of Chaux - reveal the architect's allegiance to the principles of antiquity and Renaissance but also illustrate the evolution of his own utopian language. With the French Revolution, Ledoux ceased building as his contemporaries perceived him as a royal architect. He focused on the development of his architectural theory and redefined the vision of the modern architect
Classification of covid-19 in lung images
The novel coronavirus 2019 (COVID-2019), which first appeared in Wuhan city of China in December 2019, spread rapidly around the world and became a pandemic. It has caused a devastating effect on both daily lives, public health, and the global economy. It is critical to detect the positive cases as early as possible so as to prevent the further spread of this epidemic and to quickly treat affected patients. The need for auxiliary diagnostic tools has increased as there are no accurate automated toolkits available. Recent findings obtained using radiology imaging techniques suggest that such images contain salient information about the COVID-19 virus. Application of advanced artificial intelligence (AI) techniques coupled with radiological imaging can be helpful for the accurate detection of this disease, and can also be assistive to overcome the problem of a lack of specialized physicians in remote villages.
