الصفحة 109
الصفحة 109
Acoustics of Wood
From the reviews of the 1st edition: "It will surely remain the most comprehensive work in this field for a long time to come. It belongs on the bookshelf of every material scientist and structural engineer."
Acoustic Emission Testing : Basics for Research - Applications in Civil Engineering
Covers all levels from the description of AE basics for AE beginners (level of a student) to sophisticated AE algorithms and applications to real large-scale structures as well as the observation of the cracking process in laboratory specimen to study fracture processes.
Acne Vulgaris
Acne vulgaris is a skin condition that occurs when your hair follicles become plugged with oil and dead skin cells. It causes whiteheads, blackheads or pimples. Acne is most common among teenagers, though it affects people of all ages, and the main causes Excess oil (sebum) production, Hair follicles clogged by oil and dead skin cells, Bacteria, Inflammations, life style and the hormonal status for the both gender, also, There are several drugs used to treat and prevent acne such as the most common agents like isotretinoin and benzoyl peroxide , hormonal drugs and newly alternative treatments can be used such as green tea, Zinc supplement, and aloe Vera.
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 ...
Accreditation and Evaluation in the European Higher Education Area
This volume presents a rich account of the development of accreditation and evaluation in 20 European countries. The authors are leaders in the field and they have cooperated in this effort by writing richly different, often deep and insightful analyses of the situation in their country. The two editors have added a synopsis detailing the main trends, and sketching commonalities as well as contrasts in the developments across Europe. The book shows how accreditation is becoming a main mechanism in the steering of higher education all over Europe. The book is unique in its analysis of forces driving towards the spread of different models of accreditation in the emerging European Higher Education area. Readers will obtain an up-to-date picture of the state of affairs of accreditation in the framework of evaluation activities in Europe.
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.
Accountability for International Humanitarian Law Violations : The Case of Rwanda and East Timor
The main objective of this book is to make available to an informed audience a le gal and policy oriented study on accountability for serious human rights and inter national humanitarian law violations. It is an attempt to share the lessons learnt in accountability for atrocity crimes as conducted by the International Criminal Tri bunal for Rwanda (ICTR), and the United Nations Transitional Administration in East Timor (UNTAET). The former established subsequent to egregious atrocities that took place in 1994, and the latter following the massive outburst of violence in 1999. The book is based on two cases: Rwanda and East Timor. It is expected that it will serve as reference literature to both the legal community and policy makers on accountability for heinous international crimes.
Abstraction, Reformulation, and Approximation ; 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings
This volume contains the proceedings of SARA 2007, the seventh symposium, held at Whistler Village, British Columbia, Canada, July 18-21. Three distinguished speakers were invited to give keynote presentations, and their abstracts are included herein,It has been recognized since the inception of artificial intelligence that abstractions, problem reformulations and approximations (AR&A) are central to human common-sense reasoning and problem solving and to the ability of systems to reason effectively in complex domains.AR&A techniques have been used in a variety of problem-solving settings, including automated reasoning, cognitive modelling.
Abstraction Refinement for Large Scale Model Checking
This book describes recent research developments in automatic abstraction refinement techniques. The authors address the main challenge in abstraction refinement, i.e., the ability to efficiently reach or come close to the optimum abstraction (the smallest abstract model that proves or refutes the given property). A suite of fully automatic abstraction techniques are proposed to improve the overall computation efficiency. The suite of algorithms presented in this book has demonstrated significant improvement over the prior art; some of them have already been adopted by the EDA companies in their commercial/in-house verification tools.
A vision-based system to early detection of drowning incidents in swimming pools
Being one of the leading causes of death; drowning has become a severe problem in the past few years. Our goal from this project is to focus on the comprehensive survey of drowning detection and prevention techniques. There are various methodologies put up in the domain of swimming pool safety using different intelligent control systems. Various methods have been adopted for drowning detection using the concepts of image processing, pressure and motion sensing. The main objectives of this work are to detect the drowning person in an indoor swimming pool and send an alarm to the lifeguard to rescue if the previously detected person is missing for a specific amount of time.
A Practical Programming Model for the Multi-Core Era ; 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings
This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on OpenMP, IWOMP 2007, held in Beijing, China, in June 2007.The 14 revised full papers and 8 revised short papers presented were carefully reviewed and selected from 28 submissions. The papers address all topics related to OpenMP, such as OpenMP performance analysis and modeling, OpenMP performance and correctness tools and proposed OpenMP extensions, as well as applications in various domains, e.g., scientific computation, video games, computer graphics, multimedia, information retrieval, optimization, text processing, data mining, finance, signal and image processing, and numerical solvers.
A Practical Introduction to PSL
Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. This book is also of interest to students of temporal logic. The formal semantics of PSL are included as an appendix, and bibliographical notes include pointers to some of the main theoretical works.
A Modern Introduction to Probability and Statistics : Understanding Why and How
A Modern Introduction to Probability and Statistics has numerous quick exercises to give direct feedback to the students. In addition the book contains over 350 exercises, half of which have answers, of which half have full solutions. A website at www.springeronline.com/1-85233-896-2 gives access to the data files used in the text, and, for instructors, the remaining solutions. The only pre-requisite for the book is a first course in calculus; the text covers standard statistics and probability material, and develops beyond traditional parametric models to the Poisson process, and on to useful modern methods such as the bootstrap.
A Language of Contemporary Architecture : An Index of Topology and Typology
Provides an index of ideas, theories, projects, and definitions that string into a methodology for evaluating the contemporary language of architecture described as “contemporism” through a review of topology (form) and typology (system and elements). Trying to answer the postmodern question of how to move beyond modernism through a thread of architectural styles that tried to respond to deficiencies from the modern promise and contextual changes. Yet, the question remains, should this ongoing struggle to move beyond modernism be a stylistic battle? Has the present architectural practice ever left the modernist tendencies, and is there a structure for a contemporary language in architecture?. Presents a collection of highly illustrated projects that have worked under these parameters to break away from modernism in order to present a holistic integration of topology and typology as a language for “contemporism.” The index is illustrated with individual spreads, which can be read sequentially or independently, and encourages the reader to make their own connections. It also includes interviews and contributions from Toyo Ito, Anthony Vidler, Ben van Berkel, Christian Kerez, and Greg Lynn.
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 Geometry of Approximation : Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns
A Geometry of Approximation' addresses Rough Set Theory, a field of interdisciplinary research first proposed by Zdzislaw Pawlak in 1982, and focuses mainly on its logic-algebraic interpretation. The theory is embedded in a broader perspective that includes logical and mathematical methodologies pertaining to the theory, as well as related epistemological issues. Any mathematical technique that is introduced in the book is preceded by logical and epistemological explanations. Intuitive justifications are also provided, insofar as possible, so that the general perspective is not lost.
A General introduction to data analytics
A guide to the principles and methods of data analysis that does not require knowledge of statistics or programming. A guide to the reasoning behind data mining techniques. A unique illustrative example that extends throughout all the chapters. Exercises at the end of each chapter and larger projects at the end of each of the text’s two main parts
A Computational Differential Geometry Approach to Grid Generation
This monograph gives a detailed treatment of applications of geometric methods to advanced grid technology. It focuses on and describes a comprehensive approach based on the numerical solution of inverted Beltramian and diffusion equations with respect to monitor metrics for generating both structured and unstructured grids in domains and on surfaces.
A companion to astronomy and astrophysics : Chronology and glossary with data tables
Astronomy and Astrophysics is a comprehensive, fundamental, up-to-date reference book. It is filled with vital information and basic facts for amateur astronomers and professional astrophysicists, and for anyone interested in the Universe, from the Earth and other planets to the stars, galaxies and beyond. Although serious and thorough, the language, and ideas will attract the general reader, as well as students and professionals. Astronomy and Astrophysics consists of two main parts, a Timeline and a Dictionary. The Timeline is a concise history, arranged chronologically, which provides the complete story of cosmic discovery from early Chinese and Greek astronomy to the latest findings of modern astrophysics and robotic spacecraft.
A Climate of Justice : An Ethical Foundation for Environmentalism
This book helps readers combine history, politics, and ethics to address the most pressing problem facing the world today: environmental survival. In A Climate of Justice, Marvin Brown connects the environmental crisis to basic questions of economic, social, and racial justice. Brown shows how our current social climate maintains systemic injustices, and he uncovers resources for change through a civic ethics of repair and reciprocity.
