الصفحة 72
الصفحة 72
Advanced BDD Optimization
This book gives a modern presentation of the established as well as of recent concepts. Latest results in BDD optimization are given, c- ering di?erent aspects of paths in BDDs and the use of e?cient lower bounds during optimization. The presented algorithms include Branch ? and Bound and the generic A -algorithm as e?cient techniques to - plore large search spaces. ? The A -algorithm originates from Arti?cial Intelligence (AI), and the EDA community has been unaware of this concept for a long time. Re- ? cently, the A -algorithm has been introduced as a new paradigm to explore design spaces in VLSI CAD. Besides AI search techniques, the book also discusses the relation to another ?eld of activity bordered to VLSI CAD and BDD optimization: the clausal representation as a SAT problem.
Advanced Anesthesia Review
Provides a comprehensive knowledge review for all second-year US Anesthesiology residents taking the American Board of Anesthesiology's (ABA) Advanced Exam. This essential review features concise and readable chapters covering the relevant knowledge and concepts as determined by the ABA's curriculum.
Advanced Algebra : Along with a companion Vol. Basic Algebra
Basic Algebra and Advanced Algebra systematically develop concepts and tools in algebra that are vital to every mathematician, whether pure or applied, aspiring or established. Together, the two books give the reader a global view of algebra and its role in mathematics as a whole.
Advance Concepts of Image Processing and Pattern Recognition : Effective Solution for Global Challenges
Explains the important concepts and principles of image processing to implement the algorithms and techniques to discover new problems and applications. It contains numerous fundamental and advanced image processing algorithms and pattern recognition techniques to illustrate the framework. It presents essential background theory, shape methods, texture about new methods, and techniques for image processing and pattern recognition. It maintains a good balance between a mathematical background and practical implementation. This book also contains the comparison table and images that are used to show the results of enhanced techniques. This book consists of novel concepts and hybrid methods for providing effective solutions for society. It also includes a detailed explanation of algorithms in various programming languages like MATLAB, Python, etc.
Adhesive Bonding of Aircraft Composite Structures: Non-destructive Testing and Quality Assurance Concepts
This book is under a CC BY 4.0 license. It presents the results of the ComBoNDT European project, which aimed at the development of more secure, time- and cost-saving extended non-destructive inspection tools for carbon fiber reinforced plastics, adhered surfaces and bonded joints. The book reports the optimal use of composite materials to allow weight savings, reduction in fuel consumptions, savings during production and higher cost efficiency for ground operations.
Addressing Global Challenges and Quality Education ; 15th European Conference on Technology Enhanced Learning, EC-TEL 2020, Heidelberg, Germany, September 14–18, 2020, Proceedings
The chapters: “Designing an Online Self-Assessment for Informed Study Decisions: The User Perspective”; “Living with Learning Difficulties: Two Case Studies Exploring the Relationship Between Emotion and Performance in Students With Learning Difficulties”; “Applying Instructional Design Principles on Augmented Reality Cards for Computer Science Education”; and “Teaching Simulation Literacy With Evacuations - Concept, Technology, and Material for a Novel Approach” are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Addition Reactions with Unsaturated Hydrocarbons
Addition Reactions with Unsaturated Hydrocarbons presents an up-to-date overview of modern methods that utilize reactions of unsaturated hydrocarbons as building blocks of organic synthesis, covering the conceptual and practical knowledge required for designing atom-efficient reactions to synthesize functionalized molecules. This authoritative volume discusses homo-dimerization and cross-dimerization of alkynes and/or alkenes, synthesis of carbonyl compounds from the hydration of alkynes, cycloadditions of alkynes and alkenes for the synthesis of carbocycles and heterocycles.
Adaptive Techniques for Mixed Signal System on Chip
Adaptive Techniques for Mixed Signal Sytem on Chip discusses the concept of adaptation in the context of analog and mixed signal design along with different adaptive architectures used to control any system parameter. The first part of the book gives an overview of the different elements that are normally used in adaptive designs including tunable elements as well as voltage, current, and time references with an emphasis on the circuit design of specific blocks such as voltage-controlled transconductors, offset comparators, and a novel technique for accurate implementation of on chip resistors. While the first part of the book addresses adaptive techniques at the circuit and block levels, the second part discusses adaptive equalization architectures employed to minimize the impact of ISI (Intersymbol Interference) on the quality of received data in high-speed wire line transceivers. It presents the implementation of a 125Mbps transceiver operating over a variable length of Category 5 (CAT-5) Ethernet cable as an example of adaptive equalizers.
Adaptive Filtering : Algorithms and Practical Implementation
The book presents basic concepts of adaptive signal processing and filtering in a concise and straightforward manner. It concentrates on on-line algorithms whose adaptation occurs whenever a new sample of each environment signal is available. The material also illustrates block algorithms using a sub-band filtering framework whose adaptation occurs when a new block of data is available.
Adaptive and Integrated Water Management : Coping with Complexity and Uncertainty
Includes selected contributions on conceptual and methodological innovations and empirical insights from case studies on important themes such as multi-level governance, change management, vulnerability assessment, environmental flows, uncertainty analysis and the impacts of climate change. The book addresses a wide interdisciplinary audience of scientists and professionals from academia, industry, and involved in policy making.
Acute Myelogenous Leukemia
The focus is on selected critical molecular determinants of AML pathogenesis and pathophysiology and the exploitation of these factors by diverse therapeutic agents and modalities. Bringing together new concepts and findings in the basic and clinical science of AML, the book emphasizes the molecular basis for new therapies that stand to have the greatest potential impact on the clinical face of these diseases. The text provides insights into selected novel strategies currently and prospectively being developed, including interruption of specific signal transduction pathways, modulation of gene expression, attempts to reinstate differentiation, and immunomodulation.
Active Conceptual Modeling of Learning : Next Generation Learning-Base System Development
This volume contains a collection of the papers presented during the 1st International ACM-L Workshop, which was held on November 8, 2006 during the 25th International Conference on Conceptual Modeling, ER 2006, held November 6–9,2006, in Tucson, Arizona, plus several invited papers.These papers plus the invited papers represent the current thinking in conceptual modeling research, The active model can only be realized through technology integration (e.g., AI, software engineering, information technology,cognitive science, art and sciences, philosophy, etc.)
Across the Sahara : Tracks, trade and cross-cultural exchange in Libya
Provides a multi-perspective approach to the caravan trade in the Sahara during the 19th century. Based on travelogues from European travelers, recently found Arab sources, historical maps and results from several expeditions, the book gives an overview of the historical periods of the caravan trade as well as detailed information about the infrastructure which was necessary to establish those trade networks.
Achieving the Paris Climate Agreement goals ; Part 2 : Science-based target setting for the finance industry — Net-Zero Sectoral 1.5˚C pathways for real economy sectors
Provides an in-depth analysis of industry sectors globally, and its purpose is to present emission reduction targets in 5-year steps (2025 to 2050) for the main twelve finance sectors per the Global Industry Classification System. This scientific analysis aims to support the United Nations Principles for Responsible Investment initiative to give sustainability guidance for the global finance industry. The industry sector pathways presented here are based on the latest global and regional 100% renewable energy and non-energy greenhouse gas Representative Concentration Pathways in order to keep climate change significantly under +1.5 C and thereby achieve the Paris Climate Agreement goals. The heart of this book is three chapters presenting the results of industry scenario modelling. These chapters cover twelve industry and service sectors as well as transportation and buildings. The specific energy demand and specific emissions are presented based on the emission accounting concept of “Scope 1, Scope 2 and Scope 3” emission pathways. This methodology has been developed to measure the climate and sustainability index for companies, and this research project expands the methodology to apply it to entire industry sectors ...
Accounting Principles
Accounting Principles provides students with a clear overview of fundamental financial and managerial accounting concepts with a focus on learning the accounting cycle from the sole proprietor perspective. Through a primary review of accounting transactions, integrated real-world examples, and a variety of practice opportunities, students develop a thorough understanding of how to apply accounting principles and techniques in practice.
Accounting and auditing small and medium-sized practices : Transformative capabilities in a rapidly changing society
Addresses recent trends, developments, and future of accounting and auditing of small and medium-sized practices (AASMPs) in the public and private sectors.the book has three main objectives: firstly, to provide an analysis of how different societal trends, including digitalization, impact AASMPs and what role education and training play in proactive adaptation to those trends; secondly, to outline major scenarios for global AASMP development by 2035; and thirdly, to offer a conceptual framework for better understanding of AASMPs' dynamic and transformative capabilities that are necessary to create sustained competitive advantage in a rapidly changing society. beyond presenting a conceptual framework, this book also offers a discussion of future scenarios for AASMPs' development and their role in the global economic development.
Access to online resources : A guide for the modern librarian
The book offers a concise guide for librarians, helping them understand the challenges, processes and technologies involved in managing access to online resources. After an introduction the book presents cases of general authentication and authorisation. It helps readers understand web based authentication and provides the fundamentals of IP address recognition in an easy to understand manner. A special chapter is dedicated to Security Assertion Markup Language (SAML), followed by an overview of the key concepts of OpenID Connect. The book concludes with basic troubleshooting guidelines and recommendations for further assistance. Librarians will benefit from this quick and easy read, which demystifies the technologies used, features real-life scenarios, and explains how to competently employ authentication and access management.
Access Control Models and Architectures For IoT and Cyber Physical Systems
Presents cybersecurity aspects of ubiquitous and growing IoT and Cyber Physical Systems. It also introduces a range of conceptual, theoretical, and foundational access control solutions. This was developed by the authors to provide an overall broader perspective and grounded approach to solve access control problems in IoT and CPS.
Acceptance- and Mindfulness-Based Approaches to Anxiety : Conceptualization and Treatment
Chapter authors clearly place mindfulness and acceptance into the clinical lexicon, establishing links with established traditions, including emotion theory and experiential therapy. In addition, separate chapters discuss specific anxiety disorders, the current state of treatment for each, and practical ways of integrating acceptance and mindfulness approaches into therapy.
Accelerated VB 2008
Visual Basic 2008 offers powerful new features, and Accelerated VB 2008 is the fastest path to mastering them, and the rest of Visual Basic, for both experienced Visual Basic programmers moving to VB 2008 and programmers moving to Visual Basic from another object–oriented language. Many books introduce VB, but very few also explain how to use it optimally with the .NET common language runtime (CLR). This book teaches both core Visual Basic language concepts and how to wisely employ VB idioms and object–oriented design patterns to exploit the power of VB and the CLR.
