الصفحة 77
الصفحة 77
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.
Adrenomedullin in Cardiovascular Disease
Adrenomedullin in Cardiovascular Disease is an up-to-date review of the most relevant aspects of adrenomedullin. It encompasses a broad range of fields including biochemistry, molecular biology, physiology, pharmacology, pathophysiology of cardiovascular disease and clinical applications of adrenomedullin to cardiovascular disease.
Adrenal Glands : Diagnostic Aspects and Surgical Therapy
Surgery of the Adrenal Glands is a comprehensive medical textbook that includes everything that a surgeon, but for all purposes any physicain or medical student, may want to find on adrenal surgery in a friendly, up to date, evidence based manner. 30 of the most renowned names in the field of adrenal surgery from the US and Europe draw on their experience in exploring diagnosis, indications for surgery, choice of operation and operative techniques, and surgical outcomes for every major adrenal condition. Over 200 exquisite illustrations, ranging from intraoperative photographs, line drawings, diagnostic images, pathology slides, tables and graphs are available to make each case discussed comprehensible and easy to follow. Traditional and novel therapeutic recommendations are introduced and the latest developments in minimal-access operative techniques are discussed and reviewed. Finally, the best approaches in dealing with challenging conditions such as adrenal incidentaloma, subclinical Cushing's syndrom, Congenital Adrenal Hyperplasia, Mineralcorticoid Express Syndrome, Extraadrenal and Malignant Pheochromocytoma are discussed.
Adipose Tissue and Adipokines in Health and Disease
The aim of Adipose Tissue and Adipokines in Health and Disease is to provide comprehensive information regarding adipose tissue, its physiological functions and its role in disease. This volume contains a collection of information spanning the entire range of adipose tissue studies, from basic anatomical and physiological research to epidemiology and clinical aspects, in one place. This book is indispensable for basic researchers and clinicians interested in the fields of obesity, metabolic diseases, inflammation and immunity, and specialists in each of the pathologies associated with obesity.
Ad-Hoc, mobile, and wireless networks ; 6th International Conference, ADHOC-NOW 2007, Morelia, Mexico, September 24-26, 2007, Proceedings
The sixth international conference on AD-HOC NetwOrks and Wireless was held in the city of Morelia, Michoacan State, Mexico. It follows the tradition of a multidisciplinary research program on all aspects of ad hoc networks that aims to create a collaborative forum between mathematicians, computer scientists and engineers. Previous Ad-Hoc Networks and Wireless conferences were held.
Ad-Hoc Networking ; IFIP 19th World Computer Congress, TC-6, IFIP Interactive Conference on Ad-Hoc Networking, August 20-25, 2006, Santiago, Chile
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Adaptive agents and multi-agent systems II : Adaptation and multi-agent learning
Adaptive agents and multi-agent systems is an emerging and exciting interdisciplinary area of research and development involving artificial intelligence, software engineering, and developmental biology, as well as cognitive and social science. This book presents 17 revised and carefully reviewed papers taken from two workshops on the topic as well as 2 invited papers by leading researchers in the area. The papers deal with various aspects of machine learning, adaptation, and evolution in the context of agent systems and autonomous agents.
Adaptable Architecture : Theory and practice
provides thought-provoking and inquisitive insights into how we can prolong the useful life of buildings by designing them to be more adaptable, and hence create a more sustainable built environment. The book provides a theoretical foundation counterpointed by the experiences and ideas of those involved in the design and use of buildings. It explains many approaches to designing for change, with lessons from history, and case studies including The Cedar Rapids Public Library, Kentish Town Health Centre and Folkestone Performing Arts Centre, which stretch our thinking beyond the conventional notions of adaptability. The authors reveal the many conditions that make it a complex design phenomenon, by considering the purpose, design and business case of buildings as well as the physical product. Full of summaries, diagrams, reference charts, tables, and photos of exemplar solutions for use as conversational tools or working aids, this book is for any professional or student who wants to research, question, imagine, illustrate - and ultimately design for - adaptation.
Activist Business Ethics
Examines international aspects, the personification of stakeholders, the predominance of values and ethics for CEOs and the inefficient safeguards of the stakeholders' interests. The book presents new vehicles for the safeguard of those interests, such as the Internet, Transparency, Ethical Funds and Activist Associations, and future activist vehicles, such as the Supervision Board and the Institute of Ethics.
Accounting and Financial System Reform in Eastern Europe and Asia
Accounting and Financial System Reform in Eastern Europe and Asia is the second in a series to examine accounting and financial system reform in transition economies. The first book used Russia as a case study. The present volume in the series examines some additional aspects of the reform in Russia and also looks at the accounting and financial system reform efforts that are being made in Ukraine, Bosnia & Herzegovina, Armenia and five Central Asian republics.
Accounting and Financial System Reform in a Transition Economy: A Case Study of Russia
Much has been written about the economic and political problems of countries that are in the process of changing from centrally planned systems to market systems. Most studies have focused on the economic, legal, political and sociological problems these economies have had to face during the transition period. However, not much has been written about the dramatic changes that have to be made to the accounting and financial system of a transition economy. This book was written to help fill that gap. Using Russia as a case study the authors examined all the major aspects of accounting reform, starting with problems of implementation. They also examined the current state of auditing in Russia. They also devote chapters to corporate governance issues, the Russian tax system and the problems Russian enterprises face when they try to attract foreign direct investment.
Access to medicines and vaccines : Implementing flexibilities under intellectual property law
This book is the outcome of a Global Forum on Innovation, Intellectual Property and Access to Medicines held in December 2019 at the Max Plank Instititute in Munich, organised by the South Centre and the Max Plank Institute. The academics and experts from international organisations participating have contributed chapters to this book. The book is for policy makers (in Ministries of Health, Ministries of Trade, Ministries of Foreign Affairs, patent offices), but also relevant for academics (law, trade, public health), on the flexibilities available in the Agreement on Trade Related Aspects of Intellectual Property Rights (TRIPS) of the World Trade Organization to promote access to medicines.
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 Usage of Technology through the Digital User Experience
Sheds light on the challenges and solutions for companies when dealing with the online consumer on social media and in the era of Web 4.0. It investigates the digital transformation in terms of customer experience, customer empowerment, resistance, influencer marketing, and trust. The volume shows how consumers perceive, react and behave towards brands’ digital marketing strategies in addition to the barriers, constraints, advantages and modes of action of online consumers.
Academic Scientists at Work
This book focuses on the three aspects of promotion in an academic setting: Scholarship, Teaching, and Service. Templates and worksheets designed to help you navigate your career with point-by-point instructions on how to complete them are provided. In addition to updating the contents of the previous version, this second edition includes a dozen articles written by the authors on managing your career that first appeared in Science's Next Wave.
Academic Integrity in Canada : An Enduring and Essential Challenge
Firmly grounded in the scholarly literature globally, it engages with the experience of local practicioners. It presents aspects of academic integrity that is specific to Canada, such as the existence of an "honour culture", rather than relying on an "honour code". It also includes Indigenous voices and perspectives that challenge traditional understandings of intellectual property, as well as new understandings that have arisen as a consequence of Covid-19 and the significant shift to online and remote learning.
A Time for Metabolism and Hormones
Recent years have seen spectacular advances in the field of circadian biology. These have attracted the interest of researchers in many fields, including endocrinology, neurosciences, cancer, and behavior. By integrating a circadian view within the fields of endocrinology and metabolism, researchers will be able to reveal many, yet-unsuspected aspects of how organisms cope with changes in the environment and subsequent control of homeostasis. This field is opening new avenues in our understanding of metabolism and endocrinology. A panel of the most distinguished investigators in the field gathered together to discuss the present state and the future of the field. The editors trust that this volume will be of use to those colleagues who will be picking up the challenge to unravel how the circadian clock can be targeted for the future development of specific pharmacological strategies toward a number of pathologies.
A software process model handbook for incorporating peoples capabilities
Offers the most advanced approach to date, empirically validated at software development organizations. This handbook adds a valuable contribution to the much-needed literature on people-related aspects in software engineering. The primary focus is on the particular challenge of extending software process definitions to more explicitly address people-related considerations. The capability concept is not present nor has it been considered in most software process models. The authors have developed a capabilities-oriented software process model, which has been formalized in UML and implemented as a tool. A Software Process Model Handbook for Incorporating People's Capabilities guides readers through the incorporation of the individual’s capabilities into the software process. Structured to meet the needs of research scientists and graduate-level students in computer science and engineering, A Software Process Model Handbook for Incorporating People's Capabilities is also suitable for practitioners in industry.
A short guide to clinical pharmacokinetics
Consists of seven chapters that cover various aspects of pharmacokinetics and its clinical applications. The chapters are structured to provide clear objectives and keywords are bolded throughout the text to facilitate understanding. The topics covered include the significance of pharmacokinetics in clinical practice, factors affecting pharmacokinetic parameters, pharmacokinetic drug interactions, therapeutic drug monitoring, dosage adjustment in different population groups, the influence of hepatic diseases on pharmacokinetics and the impact of pharmacogenomics on pharmacokinetics and pharmacodynamics.
A Practical Theory of Reactive Systems : Incremental Modeling of Dynamic Behaviors
Presents a ""practical theory"" of reactive systems, with formal foundations in Temporal Logic of Actions. This book emphasises theoretical understanding of reactive behaviors and using ""horizontal"" modularity to manage their complexity. It illustrates the incremental specification by a number of examples of varying size and complexity
