Elsevier science mai 2023 (13 risultati)

Taschenbuch. Condizione: Neu. Neuware - Formal Verification: An Essential Toolkit for Modern VLSI Design, Second Edition presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these techniques into their work. Formal Verification (FV) enables a designer to directly analyze and mathematically explore the quality or other aspects of a Register Transfer Level (RTL) design without using simulations. This can reduce time spent validating designs and more quickly reach a final design for manufacturing. Building on a basic knowledge of SystemVerilog, this book demystifies FV and presents the practical applications that are bringing it into mainstream design and validation processes. Every chapter in the second edition has been updated to reflect evolving FV practices and advanced techniques. In addition, a new chapter, Formal Signoff on Real Projects, provides guidelines for implementing signoff quality FV, completely replacing some simulation tasks with significantly more productive FV methods. After reading this book, readers will be prepared to introduce FV in their organization to effectively deploy FV techniques that increase design and validation productivity. …

Taschenbuch. Condizione: Neu. Neuware - Precision Agriculture: Evolution, Insights and Emerging Trends presents a complete guide from foundational concepts to the economic, commercial and environmental implications of the approach. Showcasing recent research improvements, future trends, and highlighting innovative use of machine vision, artificial intelligence, UAVs, drones, IoT and data analytics to promote sustainable agriculture, the book brings the reader up-to-date with understanding and implementing this targeted practice. From the basic elements of agronomy to insights on reflectance and remote sensing indices, chapters use summary abstracts, case studies and real-world examples of implementing the tools of precision agriculture (PA) to demonstrate the latest advances. It includes explanations on the origin of the intra-plot variability of a culture (spatial and temporal), different types of existing sensors, controllers and site-specific management. The book further explores yield monitoring, weed, disease and pest control, automated irrigation systems, PA tools for variable rate application of inputs within the field, and data processing methods. By also exploring the economic profitability of precision farming approaches, and its utility for sustainable agriculture, Precision Agriculture: Evolution, Insights and Emerging Trends is a truly comprehensive view of this important approach to improving global agriculture production. Scientists, researchers, policymakers, graduate and postgraduate students, and engineers in the related fields of agriculture, computer science and engineering will benefit from this book.…

Taschenbuch. Condizione: Neu. Neuware - With the rapidly growing demand for mental health care there is a need for efficient and effective psychological treatment options. Low Intensity Psychological Therapy has become well established in the England Improving Access to Psychological Therapies (IAPT) programme as a beneficial and versatile treatment option for mild-moderate symptoms of depression and anxiety. A Pragmatic Guide to Low Intensity Psychological Therapy: Care in High Volume, provides a guide to Low Intensity Psychological Therapy from the perspective of the Low Intensity Practitioner. This book describes the Low Intensity role as part of a multi-disciplinary approach to psychological care. The authors use a series of case vignettes, personal experience and current literature to help navigate the context of the role and its potential for ethical and safe expansion.…

Taschenbuch. Condizione: Neu. Neuware - Athlete's Heart: A Multimodal Approach - From Physiological to Pathological Cardiac Adaptations provides a complete overview of all adaptations of the heart to sport practice by highlighting the different diagnosis between athlete's heart and pathological remodeling. Written by international experts in the field, chapters discuss ECG findings, echocardiogram data, cardiac magnetic resonance and new forms of multimodality imaging, providing readers with evidence-based guidance on how to differentiate athlete's heart from cardiomyopathies. Athlete's heart is the term given to a constellation of cardiac structural, functional and electrical remodeling that accompanies regular athletic training. Due to the substantial phenotypic overlap between electrical and structural changes observed in the physiological athletic heart remodeling and pathological changes resulted from inherited or acquired cardiomyopathies, distinguishing between adaptive and maladaptive cardiovascular response to exercise is a challenging task.…

Taschenbuch. Condizione: Neu. Neuware - Real-Time Simulation Technology for Modern Power Electronics provides an invaluable foundation and state-of-the-art review on the most advanced implementations of real-time simulation as it appears poised to revolutionize the modeling of power electronics. The book opens with a discussion of power electronics device physic modeling, component modeling, and power converter modeling before addressing numerical methods to solve converter model, emphasizing speed and accuracy. It discusses both CPU-based and FPGA-based real-time implementations and provides an extensive review of current applications, including hardware-in-the-loop and its case studies in the micro-grid and electric vehicle applications. The book closes with a review of the near and long-term outlooks for the evolving technology. Collectively, the work provides a systematic resource for students, researchers, and engineers in the electrical engineering and other closely related fields.…

Taschenbuch. Condizione: Neu. Neuware - For the first time, in this atlas nuclear physicians and radiologists cover the entire hybrid nuclear medicine (PET/CT, SPECT/CT and PET/MRI), based on their own case studies. The structure in three volumes represents an user friendly guide for interpreting PET and SPECT in relation to co-registered CT and/or MRI. Three companion volumes with a practical structure in two-page unit offer to the reader a navigational tool, based on anatomical districts, with labeled and explained low-dose multiplanar CT or MRI views merged with PET fusion imaging on the right hand and contrast enhanced CT or MRI on the other side. This new format enables rapid identification of hybrid nuclear medicine findings which are now routine at leading medical centers. Volume 1 is focused on brain and neck PET imaging, with emphasis on PET/MRI; Volume 2 concerns thorax, abdomen and pelvis, with particular attention on lung and liver segmental anatomy and evaluation of peritoneum. Special chapters on heart, lymph nodes and musculoskeletal system, are collected in the Volume 3. Each chapter begins with three-dimensional CT and/or MRI views of the evaluated anatomical region, bringing forward sectional tables. Clinical cases, tricks and pitfalls linked to several PET or SPECT radiopharmaceuticals help to introduce the reader to peculiar molecular pathways and to improve confidence in cross-sectional imaging, that is vital for the accurate diagnosis and treatment of diseases.…

Taschenbuch. Condizione: Neu. Neuware - Atlas of Hybrid Imaging of the Heart, Lymph Nodes and Musculoskeletal System, Volume Three: Sectional Anatomy for PET/CT, PET/MRI and SPECT/CT provides a guide for interpreting PET and SPECT in relation to co-registered CT and/or MRI. In this atlas, exclusively dedicated to heart, lymph nodes and musculoskeletal system, nuclear physicians and radiologists cover hybrid nuclear medicine based on their own case studies. The practical structure in two-page unit offers readers a navigational tool based on anatomical districts, with labeled and explained low-dose multiplanar CT or MRI views merged with PET fusion imaging on one side and enhanced CT or MRI on the other. This new format enables the rapid identification of hybrid nuclear medicine findings which are now routine at leading medical centers. Each chapter begins with three-dimensional CT and/or MRI views of the evaluated anatomical region, bringing forward sectional tables. Clinical cases, tricks and pitfalls linked to several PET or SPECT radiopharmaceuticals help introduce the reader to peculiar molecular pathways and improve confidence in cross-sectional imaging that is vital for accurate diagnosis and treatments. …

Taschenbuch. Condizione: Neu. Neuware - Metamaterial Design and Additive Manufacturing covers optimization design, manufacturing, microstructure, mechanical properties, acoustic properties, mass-transport properties and application examples of PMs fabricated by selective laser melting additive manufacturing technology. The book introduces the definition and concept of pentamode metamaterials and then describes their characterization, including manufacturing fidelity, mechanical response, acoustic properties and so on. Final sections analyze research situations, problems and applications of additive manufacturing pentamode metamaterials.…

Buch. Condizione: Neu. Neuware - Anesthesia and Analgesia in Laboratory Animals focuses on the special anesthetic, analgesic and postoperative care requirements associated with experimental interventions. Fully revised and updated, this new edition provides the reader with agents, methods and techniques for anesthesia and analgesia that ensure humane, reproducible, and successful procedural outcomes. Sections cover ethical, regulatory and scientific considerations, principles of anesthesia and analgesia, anesthetic equipment and monitoring, periprocedural care, including dedicated chapters to the assessment and management of pain in laboratory species, and practical considerations by species, including relevant anatomy, physiology, and behavior of a broad range of lab animal species. This will be a complete reference for veterinarians involved in lab animal research as well as senior graduate, graduate students, post-docs and researchers who utilize animals in biomedical research.…

Buch. Condizione: Neu. Neuware - Haschek and Rousseaux's Handbook of Toxicologic Pathology, recognized by many as the most authoritative single source of information in the field of toxicologic pathology, has been extensively updated to continue its comprehensive and timely coverage. The fourth edition has been expanded tofive separate volumes due to an explosion of information in this field requiring new and updated chapters. Completely revised with a number of new chapters, Volume 2: Toxicologic Pathology in Safety Assessment is an essential part of the most authoritative reference on toxicologic pathology principles and techniques for assessing product safety and human risk. Volume 2 describes the integration of product-induced structural and functional changes in tissues and the interpretation of their biological implications. Completely revised with many new chapters, Volume 2 of the Fourth Edition covers product safety assessment from many angles including current and emerging issues in toxicologic pathology for many product classes. Volume 2 of the Handbook of Toxicologic Pathology is a key resource for pathologists, toxicologists, research scientists, and regulators who use toxicologic pathology methods to study and make decisions on product safety.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Micro Fluidization: Fundamentals and Applications provides background and history on micro fluidized bed research and development, summarizes and analyzes the hydrodynamic characteristics of gas-solid micro fluidized beds, and delves into areas such as research results of delayed onsets of minimum, bubbling and slugging fluidization regimes, as well as of the advanced transitions to turbulent and fast fluidization regimes. Based on these results, the wall effects - the key mechanism resulting in the unique behavior of micro fluidization - are analyzed. Other sections discuss gas and solid mixing characteristics in terms of gas residence time distribution, gas backmixing, and solids mixing. Final sections focus on presentations of the so-called micro fluidized bed reaction analyzer (MFBRA) - a powerful tool for catalyst screening, process development, optimization of reaction parameters, studies of reaction mechanism and kinetics, among many other purposes. The book describes, in detail, the MFBRA's system design characteristics, analytic methodologies and various applications in thermochemical and catalytic reaction analysis. 408 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Fundamental Physicochemical Properties of Germanene-related Materials: A Theoretical Perspective provides a comprehensive review of germanene-related materials to help users understand the essential properties of these compounds. The book covers various germanium complex states such as germanium oxides, germanium on Ag, germanium/silicon composites and germanium compounds. Diverse phenomena are clearly illustrated using the most outstanding candidates of the germanium/germanene-related material. Delicate simulations and analyses are thoroughly demonstrated under the first-principles method, being fully assisted by phenomenological models. Macroscopic phenomena in chemical systems, including their principles, practices and concepts of physics such as energy, structure, thermodynamics and quantum chemistry are fully covered. Germanium-based materials play critical roles in the basic and applied sciences, as clearly revealed in other group-IV and group-V condensed-matter systems. Their atomic configurations are suitable for creating the active chemical bonding among the identical and/or different nearest-neighboring atoms leading to diverse physical/chemical/material environments. 554 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Nanomaterial-Based Metal Organic Frameworks for Single Atom Catalysis covers nanoparticles and their properties, including tunable pore size, efficient reacting capability, large surface area, and morphology, which make them effective catalytic agents. In addition, the book covers catalytic systems, in which nanomaterial-based metal organic frameworks can be applied efficiently as single atom catalysis to enable enhanced functionalities and activities of the reactions in various applications. This book is an important reference source that will be of use to materials scientists, engineers, chemists and chemical engineers who want to learn more about nanomaterials are being used for catalytic applications. Metal organic frameworks (MOFs) are hybrid organic-inorganic, porous, crystalline nanomaterials, and have aroused great attention in the field of catalysis because of their crystalized nano- (lt;2 nm) or meso- (2-50 nm) porous structure, extremely high surface area, and significant chemical diversity. This nanomaterial-based metal organic framework, as a single atom catalysis, enhances the catalytic ability of dispersed single atoms. 358 pp. Englisch.…