تحسين النتائح
ترتيب حسب
من
الى
الصفحة 17
الصفحة 17
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.
A first course in differential equations with modeling applications
A comprehensive treatment of ordinary differential equations, concisely presenting basic and essential results in a rigorous manner. Including various examples from physics, mechanics, natural sciences, engineering and automatic theory, Differential Equations is a bridge between the abstract theory of differential equations and applied systems theory.
A Classical Introduction to Cryptography Exercise Book
A Classical Introduction to Cryptography Exercise Book for A Classical Introduction to Cryptography: Applications for Communications Security covers a majority of the subjects that make up today's cryptology, such as symmetric or public-key cryptography, cryptographic protocols, design, cryptanalysis, and implementation of cryptosystems. Exercises do not require a large background in mathematics, since the most important notions are introduced and discussed in many of the exercises.
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.
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.
Anesthesia Considerations for the Oral and Maxillofacial Surgeon
Strengthens the margin of safety of office-based anesthesia administration by helping practitioners determine whether the patients they treat are good candidates for office-based anesthesia. This book is organized into three sections. The first section provides a review of the principles of anesthesia, including the pharmacology of anesthetic agents, local anesthesia, patient monitoring, preoperative evaluation, the airway, and management of emergencies and complications. The major organ systems of the body are reviewed in section two, and the most common comorbid conditions that affect these systems are described in terms of their pathophysiology, diagnosis, management, and anesthesia-related considerations. Section three reviews patient groups that warrant special consideration in the administration of office-based anesthesia, such as geriatric, pediatric, pregnant, and obese patients. Spiral-bound and featuring tabs for quick and easy reference, this important book belongs on the shelf of every clinician who provides anesthesia in the office setting.
Aligner systems in invisible orthodontics: basic concepts and clinical management
Describes the processes, techniques and biomechanics involved in providing aligner treatment for different types of malocclusions. It opens with an overview of the material characteristics and the basic concepts of aligner therapy including topics like biocompatibility and intraoral deterioration. The main part of the book is dedicated to the various types of aligners, the methods used in their application and the practical aspects of delivery. It is structured based on the type of malocclusion being managed giving the reader a systematic pattern and a practical way of progressing through the book. The book closes with a discussion of the scientific data available.
Adhesive restoration of endodontically treated teeth
Dentine bonding systems, composite resins and fibre posts have widely replaced cast posts and amalgam as core materials; all-ceramic and composite crowns have also replaced metal ceramic crowns in many aesthetic cases. The aim of this book is to provide the general practitioner with some principles and techniques for the adhesive restoration of root filled teeth.
Materials for civil and construction engineers in SI Units
For courses in Civil Engineering Materials, Construction Materials, and Construction Methods & Materials offered in Civil, Environmental, or Construction engineering departments. Civil and Construction Engineering Materials: Properties, Uses, and Evaluations Materials for Civil and Construction Engineers helps students understand and select the materials involved in supporting the infrastructure needs of society--from buildings, to water and treatment distribution systems, to dams, highways, and airport pavements. By gaining a deep understanding of material behavior and the material selectio
Martin Waldseemüller’s 'Carta marina' of 1516 : Study and transcription of the long legends
This book presents the first detailed study of one of the most important masterpieces of Renaissance cartography, Martin Waldseemüller’s Carta marina of 1516. By transcribing, translating into English, and detailing the sources of all of the descriptive texts on the map, as well as the sources of many of the images, the book makes the map available to scholars in a wholly unprecedented way.
Managing Socio-ecological Production Landscapes and Seascapes for Sustainable Communities in Asia : Mapping and Navigating Stakeholders, Policy and Action
This book presents up-to-date analyses of community-based approaches to sustainable resource management of SEPLS (socio-ecological production landscapes and seascapes) in areas where a harmonious relationship between the natural environment and the people who inhabit it is essential to ensure community and environmental well-being as well as to build resilience in the ecosystems that support this well-being.
Machine Learning Applications in Civil Engineering
Discusses machine learning and deep learning models for different civil engineering applications. These models work for stochastic methods wherein internal processing is done using randomized prototypes. The book explains various machine learning model designs that will assist researchers to design multi domain systems with maximum efficiency. It introduces Machine Learning and its applications to different Civil Engineering tasks, including Basic Machine Learning Models for data pre-processing, models for data representation, classification models for Civil Engineering Applications, Bioinspired Computing models for Civil Engineering, and their case studies.
Landslide risk assessment
Over the past decade there has been a gradual shift away from simply relying on engineering solutions to individual landslide problems, to the use of a variety of strategies to manage the problems over a broad area. Such alternative strategies include the use of building codes, land use planning controls, preventing water leakage, early warning systems and insurance schemes. This book addresses these developments and provides a multidisciplinary perspective on landslide management.
Composite materials : sustainable and eco-friendly materials and application
Covers innovations in the field of composite materials with a specific focus on eco-friendly and environmentally sustainable systems. All composite fields are explored, including polymer, metal, and ceramic matrix composites with an emphasis on sourcing raw materials in a sustainable way as well as the development of composite materials for environmental sustainability.
Building construction methods and systems : principles, requirements and application details
Presents practical information about the design and construction of building projects by addressing the principles of each method, unveiling background factors for requirements, and state-of-the-art application details, and presents general design and application principles of construction methods and technologies without diving into engineering calculations and formulas to keep the content easily understandable by all AEC practitioners and participants.
Bio-based Building Skin
This book provides a compendium of material properties, demonstrates several successful examples of bio-based materials’ application in building facades, and offers ideas for new designs and novel solutions. It features a state-of-the-art review, addresses the latest trends in material selection, assembling systems, and innovative functions of facades in detail. Selected case studies on buildings from diverse locations are subsequently presented to demonstrate the successful implementation of various biomaterial solutions, which defines unique architectural styles and building functions. The structures, morphologies and aesthetic impressions related to bio-based building facades are discussed from the perspective of art and innovation; essential factors influencing the performance of materials with respect to functionality and safety are also presented. Special emphasis is placed on assessing the performance of a given facade throughout the service life of a building, and after its end.
Automation in construction toward resilience : Robotics, smart materials and intelligent systems
Presents all aspects of automation in construction pertaining to the use of information technologies in design, engineering, construction technologies, and maintenance and management of constructed facilities. The broad scope encompasses all stages of the construction life cycle from initial planning and design, through the construction of the facility, its operation, and maintenance, to the eventual dismantling and recycling of buildings and engineering structures
Artificial intelligence in mechatronics and civil engineering : Bridging the gap
Recent studies highlight the application of artificial intelligence, machine learning, and simulation techniques in engineering. This book covers the successful implementation of different intelligent techniques in various areas of engineering focusing on common areas between mechatronics and civil engineering. The power of artificial intelligence and machine learning techniques in solving some examples of real-life problems in engineering is highlighted in this book. The implementation process to design the optimum intelligent models is discussed in this book.
Appraisal and repair of of building structures
This book is a practical guide to the detection and remedy of faults in claddings and fixings on buildings. It sets out the problems involved in common cladding systems for buildings, and relates these problems to all the materials used: stone, masonry, concrete and glass-reinforced composites.
Applied geotechnics for construction projects ; Vol. 3 : Behavior and Design of Project Foundations and Eurocode Validation
Applied Geotechnics for Construction Projects 3 first presents the basic theoretical principles and rules governing the designing and validation of foundations; shallow, semi-deep and deep, then presents real foundation projects with a detailed comparison of the approaches and methods of calculating foundations in relation to the reference systems and rules in force, closely compared to and validated by the Eurocodes. The third chapter presents examples of foundation projects, covering high-side building rafts, strip footings, piles and embankments, enriched by an unprecedented level of experience in the field of foundations for civil and industrial construction projects.
