Refine Results
Sort By
From
To
Page 11
Page 11
A High-Performance Logical Framework -- All About Maude : How to Specify, Program, and Verify Systems in Rewriting Logic
This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used throughout the book to illustrate the main ideas and features of Maude, and its many possible uses. Maude modules are rewrite theories. Computation with such modules is - cient deduction by rewriting. Because of its logical basis and its initial model semantics,aMaude module defines a precise mathematical model.This means that Maude and its formal tool environment can be used in three, mutually reinforcing ways: • as a declarative programming language; • as an executable formal specification language; and • as a formal verification system. Maude’s rewriting logic is simple, yet very expressive. This gives Maude good representational capabilities as a semantic framework to formally represent a wide range of systems, including models of concurrency, distributed al- rithms, network protocols, semantics of programming languages, and models of cell biology. Rewriting logic is also an expressive universal logic,making Maude a fiexible logical framework in which many difierent logics and - ference systems can be represented and mechanized. This makes Maude a useful metatool to build many other tools, including those in its own formal tool environment. Thanks to the logic’s simplicity and the use of advanced semi-compilation techniques, Maude has a high-performance implementation, making it competitive with other declarative programming languages.
25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware and software engineering, and it is reaching out to new challenging areas such as system biology and hybrid systems. Model checking is extensively used in the hardware industry and has also been applied to the verification of many types of software. Model checking has been introduced into computer science and electrical engineering curricula at universities worldwide and has become a universal tool for the analysis of systems.
100 years of relativity : Space-time structure - Einstein and beyond
Contains contributions from leading researchers, worldwide, who have thought deeply about the nature and consequences of this interplay. The articles take a long-range view of the subject and distill the most important advances in broad terms, making them easily accessible to non-specialists. The first part is devoted to a summary of how relativity theories were born (J Stachel). The second part discusses the most dramatic ramifications of general relativity, such as black holes (P Chrusciel and R Price), space-time singularities (H Nicolai and A Rendall), gravitational waves (P Laguna and P Saulson), the large scale structure of the cosmos (T Padmanabhan); experimental status of this theory (C Will) as well as its practical application to the GPS system (N Ashby). The last part looks beyond Einstein and provides glimpses into what is in store for us in the 21st century.
.NET 2.0 Interoperability Recipes : A Problem-Solution Approach
.NET represents a new and improved way of developing software for the Windows platform. Given the chance, you'd probably rewrite all of your existing code in the newer managed code environment that .NET provides. But it is difficult or impossible to throw out all existing legacy code and start over when a new technology arrives. Instead, you need to find a way to move forward with new .NET development while reusing existing pieces of tested, working code. You need a way to interoperate with the existing code until you have a chance to finally rewrite all of it in .NET.
Materials, Chemicals and Methods for Dental Applications
Focuses on the materials used for dental applications looking at the fundamental issues and the developments that have taken place the past decade. While it provides a broad overview of dental materials, the chemicals that are used for the preparation and fabrication of dental materials are explained as well. Also, the desired properties of these materials are discussed and the relevance of the chemical, physical, and mechanical properties is elucidated. Methods for the characterization and classification, as well as clinical studies are reviewed here. In particular, materials for dental crowns, implants, toothpaste compositions, mouth rinses, as well as materials for toothbrushes and dental floss are discussed. For example, in toothpaste compositions, several classes of materials an chemcials are incorporated, such as abrasives, detergents, humectants, thickeners, sweeteners, coloring agents, bad breath reduction agents, flavoring agents, tartar control agents, and others. These chemicals, together with their structures, are detailed in the text.
Master Dentistry ; Vol.1 : Oral and Maxillofacial Surgery, Radiology, Pathology and Oral Medicine
Provides a comprehensive overview of the oral and maxillofacial subjects in dentistry that students will need in order to pass their final exams. This invaluable adjunct to exam preparation provides a practical synthesis of core information, reflecting real-life case scenarios. Information is structured to enhance understanding and clinical decision making, and a variety of self-assessment methods prepare students for success. Comprehensively updated, the book covers a range of essential topics in the field of contemporary oral and maxillofacial subjects, including surgical flap design, state-of-the-art surgical techniques, zygomatic implants, molecular pathology, current imaging applications and pain management. The text is integrated and evidence based throughout. Covers oral and maxillofacial surgery, radiology, pathology and oral medicine subjects Brand new chapter on facial skin broadens diagnostic ability Range of self-assessment tasks to support learning Aligns to dental school curricula globally Concise and easy to follow Designed to support recall for examination purposes Practical guidance on examination preparation and skills Perfect for BDS exam preparation and candidates taking the MFDS, MJDF, ORE or other post-graduate exams
Lecture Notes on General Medicine for Dental Practice : A System based Approach with Dental Management Considerations
Offers a system based approach covering a broad range of topics in general medicine for dental practice. The book includes chapters on history taking and patient interview, general physical examination, system specific examination, common health related complaints, systemic infections, and diseases of the gastrointestinal, cardiovascular, respiratory, neurological, immunological, renal, endocrinal, dermatological and musculoskeletal systems. Nutritional disorders, psychiatric disorders, the female patient with menstrual, menopause and pregnancy related disorders, dental management of patients taking medications for systemic conditions and medical emergencies in dental practice have also been discussed in some detail.
Composite and polymeric materials for dentistry: enhancing antimicrobial and mechanical properties
Focuses on enhancing antimicrobial and mechanical properties of polymeric materials and composites for dentistry. In recent years, special attention has been focused on the possibility of giving materials new or improved properties by the introduction of nano or submicron size additives, fibers or whiskers. Another area of research is the application of antibacterial monomers, which can be copolymerized in resins to kill oral pathogenic microflora. In addition, we are currently looking for new data regarding colonization of dental materials by pathogenic microbes and their influence on the other properties. Further, there are many new commercially available materials which should be investigated to verify their properties, which is important from the point of view of clinical practice. Original new research and reviews related to any of the topics mentioned above indicate the current directions of development of dental materials.
Complete denture prosthodontics : Planning and decision-making
Equips dental students and practitioners with all the information and guidance required in order to ensure successful implementation of complete denture treatment in edentulous patients following appropriate treatment planning.
Clinical management of salivary gland disorders
Serves as a complete reference guide for the totality of salivary gland (SG) disease. Focusing on the clues available to the practitioner during the patient examination, it will completely review and update the available data concerning all manner of SG conditions. Looking beyond the perspectives of surgery, imaging, pathology, or sialendoscopy in diagnosis and therapy, this book will provide all professionals interested in the head and neck extensive and detailed diagnostic information about each SG entity.
Clinical Implantology
Provides all the new and relevant information of basic to advanced implantology for the undergraduate as well as postgraduate dental students. Current concepts of implantology are beautifully presented with illustrations and clinical cases making this book a complete literature for the dentists to learn the basic science and various advanced techniques of implantology like sinus grafting, nasal floor grafting, block grafting, ridge splitting, distraction osteogenesis, soft tissue grafting, ‘all-on-4’/‘all-on-6’ techniques and many more.
Clinical aspects of dental materials : Theory, practice, and cases
The book’s three-part structure addresses types of dental materials in the 22 chapters of Part I, includes laboratory and clinical applications (essentially a built-in lab manual) in Part II, and presents 11 case studies in Part III that serve as an overall review and help students strengthen their critical thinking skills when providing patient care.
Career paths in oral health
This book will serve as an essential reference guide for anyone considering a career in oral health. It will be ideal for readers seeking an introductory portrait of the different career paths in oral health, such as students. It will also be a useful source for those wishing to re-examine the field.
Bone augmentation by anatomical region : Techniques and decision-making
It's a unique, evidence-based guide focusing on each specific anatomical region – anterior maxilla, posterior maxilla, anterior mandible, and posterior mandible – in order to emphasize the correct implemented procedures needed to successfully perform oral osseous reconstruction.
Biomimetic restorative dentistry ; Vol.1 : Fundamentals and basic clinical procedures
Takes the science of esthetic dental reconstruction to a new level both clinically and academically, and it offers all that a clinician could wish for in terms of indications and the classic clinical steps for tooth preparation, laboratory and CAD/CAM procedures, adhesive luting procedures, and maintenance. But above all, what makes this book so unique is the biomimetic principle—as such, restoring or mimicking the biomechanical, structural, and esthetic integrity of teeth is paramount. The core of this book centers on the application of the biomimetic principle in the form of bonded restorations using composite resins and ceramics, covering indications, treatment planning, diagnosis, tooth preparation and impression, laboratory and CAD/CAM procedures, final delivery, follow-up, maintenance, and repair. Written by a true master and artist, this book will undoubtedly inspire excellence in anyone who picks it up.
Basics of dental technology : a step by step approach
A complete reference for the current techniques and materials used in dental technology. Retains the accessible, task-based approach and step-by-step guidance. Features digital dental technology and an interactive student website to support self-assessment. Explains key competencies, concepts, instruments, and equipment, and also introduces more specialist techniques and procedures, such as denture prosthetics, fixed prosthodontics and orthodontic work. Provides essential information for trainee dental technicians and students learning about dental technology, including study tips and strategies for working effectively within a dental team
Basic guide to oral health education and promotion ; 3rd ed.
An essential guide to help dental nurses prepare for a qualification in Oral Health Education and thereafter practice as an Oral Health Educator. It will help readers confidently educate patients about diseases and conditions that affect the oral cavity, and support their prevention, treatment, and management. Offers a guide for dental nurses taking a post-registration Certificate in Oral Health Education Is fully updated to reflect changes in the industry, science, and course syllabus Incorporates information on the new classification of periodontal and peri-implant diseases Contains new information on topics including dementia, denture advice, and burning mouth syndrome Includes an expanded section on promotion
Applied pharmacology for the dental hygienist ; 9th ed.
Provides an in-depth understanding of the pharmacologic principles needed for safe and effective dental treatment and oral health care. It discusses drug properties and mechanisms of action, dosages, intended effects, interactions, and adverse reactions — both for the medications a patient may already be taking and for the drugs prescribed by the dentist.
Apical periodontitis in root-filled teeth : Endodontic retreatment and alternative approaches
A comprehensive guide to apical periodontitis in root-filled teeth that covers not only all aspects of diagnosis and management but also epidemiology, etiology, consequences, clinical decision-making, and prognosis. There is a particular focus on the available surgical and nonsurgical methods of retreatment designed to restore healthy periapical conditions.
Anesthesia for dental and oral maxillofacial surgery
Offers a comprehensive yet practical approach to anesthesiology for dentist anesthesiologists, oral and maxillofacial surgeons, and anesthesia providers in a dental environment. Taking a concise bulleted approach for fast access to information, the book covers all topics relevant to providing perioperative anesthetic management for the head and neck region. Coverage ranges from equipment, anatomy, physiology, and pharmacology to anesthetizing patients with specific conditions and for specific procedures.
