Refine Results
Sort By
From
To
Page 9
Page 9
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.
.NET Test Automation Recipes : A Problem-Solution Approach
If you develop, test, or manage .NET software, you will find .NET Test Automation Recipes: A Problem-Solution Approach very useful. The book presents practical techniques for writing lightweight software test automation in a .NET environment and covers API testing thoroughly. It also discusses lightweight, custom Windows application user interface automation and teaches you low-level web application user interface automation. Additional material covers SQL stored procedure testing techniques.
.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.
Autistic people in dental and medical clinics: challenges and Solutions
Gives university students as well as established healthcare professionals an understanding of how they can assist autistic patients in clinical settings. This book providing strategies that aspiring and established healthcare professionals can use to make their clinical workplaces more accommodatingfor autistics and their familiesand present a synopsis of the literature about the challenges and experiences that autistic patients have had in dental and medical settings.
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.
Advanced Nanomaterials
Covers synthesis, characterization, and applications of diverse types of nanomaterials. Specifically, it describes carbon, graphene, and graphene oxide-based nanomaterials and their use for environmental remediation. Nanomaterials for concrete coating applications and advances in the processing of high-entropy alloys by means of mechanical alloying are also covered. Subsequently, the use of nanomaterials in endodontics and the use of nanotechnology strategies to enhance restorative resin-based dental nanomaterials are reported.
Adhesion in Pharmaceutical, Biomedical, and Dental Fields
The phenomenon of adhesion is of cardinal importance in the pharmaceutical, biomedical and dental fields. A few eclectic examples will suffice to underscore the importance/relevance of adhesion in these three areas. For example, the adhesion between powdered solids is of crucial importance in tablet manufacture. The interaction between biodevices (e.g., stents, bio-implants) and body environment dictates the performance of such devices, and there is burgeoning research activity in modifying the surfaces of such implements to render them compatible with bodily components. In the field of dentistry, the modern trend is to shift from retaining of restorative materials by mechanical interlocking to adhesive bonding.
Los Angeles and the Summer Olympic Games : Planning Legacies
This book describes the three planning approaches and legacy impacts for the Olympic Games in one locale: the city of Los Angeles, USA.
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
Materials & sustainability building a circular future
Examines sustainable manufacturing, from the extraction of materials to processing, use, and disposal, and argues that significant changes in all of the above are needed for the world to progress toward a more circular economy. Materials and processing methods are usually chosen with performance as the key metric.
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.
Management of Research Infrastructures : A South African Funding Perspective
This book provides an overview of the building blocks necessary for managing, steering and guiding the establishment of a research infrastructure (RI). It offers valuable insights into RI investment, access and management at the academic, grants management, agency and policy level, and serves as a useful guide for the research community, students, and those in the private sector wishing to understand the approaches and opportunities involved in the establishment, maintenance and management of research infrastructure platforms.
Machine learning for civil and environmental engineers : A practical approach to data-driven analysis, explainability, and causality
Introduces engineers and engineering students to the applications of artificial intelligence (AI), machine learning (ML), and machine intelligence (MI) in relation to civil and environmental engineering projects and problems, presenting state-of-the-art methodologies and techniques to develop and implement algorithms in the engineering domain.
Knowing the Salween River : Resource Politics of a Contested Transboundary River
Focuses on the Salween River, shared by China, Myanmar, and Thailand, that is increasingly at the heart of pressing regional development debates. The basin supports the livelihoods of over 10 million people, and within it there is great socio-economic, cultural and political diversity. The basin is witnessing intensifying dynamics of resource extraction, alongside large dam construction, conservation and development intervention, that is unfolding within a complex terrain of local, national and transnational governance. With a focus on the contested politics of water and associated resources in the Salween basin, this book offers a collection of empirical case studies that highlights local knowledge and perspectives. Given the paucity of grounded social science studies in this contested basin, this book provides conceptual insights at the intersection of resource governance, development, and politics of knowledge relevant to researchers, policy-makers and practitioners at a time when rapid change is underway.
Composites for building assembly : connections, members and structures
Pesents buildings developed using modular assembly approaches based on lightweight and corrosion-resistant fiber reinforced polymer (FRP) composites. Construction methods and the choice of building materials offer great opportunities for more productive and environmentally friendly solutions. This book includes valuable experimental data on large-scale structural components (beams, slabs, amd columns), connections (shear connections, wall stud connections, beam-column connections, column-column connections) and structures (composite floor system, structural sandwich assemblies, and full-scale structural demonstrations), supported with detailed numerical modelling and analytical methods.
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.
Civil engineering for disaster risk reduction
Brings together all diverse disciplines of civil engineering and related areas (for example, geotechnical engineering, water resources engineering, structural engineering, transportation engineering, environmental engineering, construction management, GIS, and remote sensing) towards a common goal of disaster resilience through an interdisciplinary approach. It contains methods and case studies focusing on civil engineering solutions to reduce the disaster risk. The book contents are aligned in line with the priorities set by UN-Sendai Framework for Disaster Risk Reduction and UN-SDGs to promote a global culture of risk-awareness and disaster reduction. The book will be a useful comprehensive reference for disaster risk reduction beneficial for engineering students, teaching faculty, researchers, industry professionals and policymakers.
Civil and Environmental Engineering for the Sustainable Development Goals : Emerging Issues
This volume collects emerging issues in Environmental and Civil Engineering, originating from outstanding doctoral dissertations discussed at Politecnico di Milano in 2021. The advanced innovative insights provided are presented with reference to the relevant sustainable development goals (SDGs), hoping that scientists, technicians and decision makers will find them as a valid support to face future sustainability challenges.
Building services engineering for construction T level: core
Provides complete coverage of the Building Services Engineering for Construction qualification's core units and will equip you with the skills you need to shape your career. - Break down complex topics with summary tables and hundreds of images and artworks - Apply your knowledge in real-world case studies and discover some of the dilemmas you can.
