Refine Results
Sort By
From
To
Page 3
Page 3
Adaptive Autonomous Secure Cyber Systems
Establishes scientific foundations for adaptive autonomous cyber systems and ultimately brings about a more secure and reliable Internet. The recent advances in adaptive cyber defense (ACD) have developed a range of new ACD techniques and methodologies for reasoning in an adaptive environment.
Accelerated SQL Server 2008
The expert tuition and approach to rapid learning in Accelerated SQL Server 2008, one of the first SQL Server 2008 books available, will enable SQL Server and other database professionals to make the leap to the 2008 release of Microsoft's flagship database management system quickly. Take full advantage of the features of SQL Server 2008, know what tools are available, and quickly realize the power and ease of use that SQL Server 2008 has to offer.
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 Graph-Theoretic Approach to Enterprise Network Dynamics
This monograph treats the application of numerous graph-theoretic algorithms to a comprehensive analysis of dynamic enterprise networks. Network dynamics analysis yields valuable information about network performance, efficiency, fault prediction, cost optimization, indicators and warnings.
Materials science for dentistry
A standard resource for undergraduate and postgraduate courses in dentistry. It provides fundamental coverage of the materials on which dentistry depends, covering the structure and chemistry that govern the behavior and performance of materials. Particular classes of materials include gypsum, polymers, acrylic, cements, waxes, ceramics and metals. Other chapters review surfaces, corrosion, mixing, casting, cutting and bonding, and mechanical testing. This updated edition, which includes substantial chapters on chemistry, has been extensively revised with new material on temporary restoration resins, hydraulic silicate cements and the practical aspects of wetting surfaces. Mindfully written to provide explanations for behavior, formulation, clinical and laboratory instructions and procedures, there is no comparable resource for researchers, students, teachers and practitioners in the field of dentistry.
Bioactive Materials in Dentistry : Remineralization and Biomineralization
Addresses the use of different bioactive materials in dentistry, considering the performance of these biomaterials in the hard tissues of the tooth, and the response of the dental pulp, as well as the influence of the composition of these materials and of the individual’s systemic alterations in bioactivity and in antimicrobial activity. The several in vivo and in vitro tests to evaluate the bioactivity of a biomaterial will also be addressed.
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.
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.
Civil engineering materials : From theory to practice ; 1st ed.
Presents the state-of-the-art in civil engineering materials, including the fundamental theory of materials needed for civil engineering projects and unique insights from decades of large-scale construction in China. The title includes the latest advances in new materials and techniques for civil engineering, showing the relationship between composition, structure and properties, and covering ultra-high-performance concrete and self-compacting concrete developed in China. This book provides comprehensive coverage of the most commonly used, most advanced materials for use in civil engineering. This volume consists of eight chapters covering the fundamentals of materials, inorganic cementing materials, Portland cement concrete, bricks, blocks and building mortar, metal, wood, asphalt and polymers.
Cathodic protection for reinforced concrete structures
For specialist contractors, large consultants and owners of corrosion damaged structures, and looks at international experience with this technique. It examines why corrosion is occurring, the differences in the application of CP with the stark dichotomy in its success and failure, and finally ways in which its performance can be improved on future installations.
Building Physics : Heat, Ventilation, Moisture, Light, Sound, Fire, and Urban Microclimate
Presents the theoretical background of building physics, dealing with the evaluation of physical phenomena related to heat transfer and energy use in buildings, water and water vapour transfer in building structures, daylighting and electric lighting of buildings, sound transmission in building structures and protection against noise, the occurrence and spread of fires in buildings and the thermal response of cities. It contains numerical and computational evaluation methods, numerous computational case studies and examples of experimental analyses. The book demonstrates that the considered physical processes affect the quality of living and working comfort in indoor and outdoor environment.
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.
Behaviour and design of steel and composite connections in fire
The only dedicated book on fire performance of connections in steel and composite structures. Recent experimental and numerical studies indicate that connections are among the most vulnerable and critical parts of these structures. This book synthesises these research findings and explains the essential features in one single source.
Barry's Introduction to Construction of Buildings ; 4th ed.
Based mainly on domestic and residential buildings—and filled with extensive illustrations throughout—this concise text is the ideal introduction to the subject of building construction. It provides the basic material that readers need in order to understand the construction process for the majority of low rise buildings. The book explains construction technology through the key functional and performance requirements for the main elements common to all buildings. With a strong focus on building efficiency and meeting the challenges posed by limiting the environmental impact of buildings, and new “at a glance” summaries allowing you to grasp the salient points of each chapter, readers will find the text fully up to date with the latest building regulations and construction technology. Deals with design, technology, site assembly, and environmental issues of domestic and residential buildings. Thoroughly updated, with particular attention paid to the concept of building efficiency and improved integration of the topics covered to match current student needs. New “at a glance” summaries at the beginning of each chapter.
Analysis, design and construction of steel space frames
Space frames provide a lightweight solution to the problem of creating large span enclosures free from obstructions. They are employed in many major constrcution projects across the world, as documented in this authoritatively written volume.This is the first in-depth book to present all instances and applications of space frames in various engineering schemes. It uses case studies and numerous illustrations to examine steel space frames from their design to their structural engineering performance.
Aging, shaking, and cracking of infrastructures : From mechanics to concrete dams and nuclear structures
Focuses on the safety assessment of existing structures subjected to multi-hazard scenarios through advanced numerical methods. Whereas the focus is on concrete dams and nuclear containment structures, the presented methodologies can also be applied to other large-scale ones. This book is composed of seven sections: Fundamentals: theoretical coverage of solid mechnics, plasticity, fracture mechanics, creep, / seismology, dynamic analysis, probability and statistics / Damage: that can affect concrete structures, such as cracking of concrete, AAR, chloride ingress, and rebar corrosion, / Finite Element: formulation for both linear and nonlinear analysis including stress, heat and fracture mechanics, / Engineering Models: for soil/fluid-structure interaction, uncertainty quantification, probablilistic and random finite element analysis, machine learning, performance based earthquake engineering, ground motion intensity measures, seismic hazard analysis, capacity/fragility functions and damage indeces, / Applications to dams through potential failure mode analyses, risk-informed decision making, deterministic and probabilistic examples, / Applications to nuclear structures through modeling issues, aging management programs, critical review of some analyses, / Other applications and case studies: massive RC structures and bridges, detailed assessment of a nuclear containment structure evaluation for license renewal.
Material Flow Management : Improving Cost Efficiency and Environmental Performance
The implementation of material flow management offers enterprises a high potential for realizing new economic competitive advantages. The eco-efficient optimization of material flows aims at reducing costs while simultaneously achieving long-term sustainability with regard to ecological and societal aspects. Knowledge of existing methods and the latest trends is a key prerequisite for successfully implementing, refining and disseminating material flow management approaches.
Marketing the Arts : Breaking Boundaries
The importance of arts consumption and its socio-cultural, political, and economic dimensions The impact of new technologies, platforms, and alternative artforms on the art market The importance of the aesthetic experience itself and how to research it The value of arts-based methods The art versus commerce debate The artist as entrepreneur The role of the arts marketer as market-maker
Marketing communications in emerging economies ; Vol. II : Conceptual issues and empirical evidence
Aims to share fascinating perspectives on marketing communications by discussing the shift in the power of public relations, and highlighting how the small and local use communication effectively to improve performance and shares useful lessons on how to communicate hope by responding to customer emotions during uncertainties. The book contains valuable lessons and insights on communicating corporate social responsibility, effective social media communication, enacting brand purpose through communication, and using aesthetics in point-of-purchase advertising to drive purchase intention.
Mapping Sustainability : Knowledge e-Networking and the Value Chain
Our underlying objectives are to contribute to the provision, mana- ment, and sharing of knowledge, and to enhance the value of knowledge and its uses by different constituencies in diverse contexts and at different stages of development. The central theme of this book, connecting its different parts, is about ways of transcending critical barriers to the effective uses of knowledge and e-networking. Of special relevance is the development of new approaches to the provision and transmission – from local sources to global networks and from global sources to local networks. In many ways, this is a book of theory and methods, as well as policy and performance.
