Regeneration of the Built Environment from a Circular Economy Perspective
This free book explores the strategic importance and advantages of adopting multidisciplinary and multiscalar approaches of inquiry and intervention with respect to the built environment, based on principles of sustainability and circular economy strategies. A series of key challenges are considered in depth from a multidisciplinary perspective, sp...
Digital Transformation of the Design, Construction and Management Processes of the Built Environment
This open access book focuses on the development of methods, interoperable and integrated ICT tools, and survey techniques for optimal management of the building process. The construction sector is facing an increasing demand for major innovations in terms of digital dematerialization and technologies such as the Internet of Things, big data, advan...
Building Energy Modeling with OpenStudio
This book teaches the fundamentals of building energy modeling and analysis using open source example applications built with the US DOE's OpenStudio modeling platform and EnergyPlus simulation engine. Designed by researchers at US National Laboratories to support a new generation of high performance buildings, EnergyPlus and OpenStudio are revolut...
Variant Construction from Theoretical Foundation to Applications
This book presents theoretical framework and sample applications of variant construction. The first part includes the components variant logic, variant measurements, and variant maps, while the second part covers sample applications such as variation with functions, variant stream ciphers, quantum interference, classical/quantum random sequences, w...
Advances in Proof-Theoretic Semantics
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes...
Housing Market Dynamics in Africa
This book utilizes new data to thoroughly analyze the main factors currently shaping the African housing market. Some of these factors include the supply and demand for housing finance, land tenure security issues, construction cost conundrum, infrastructure provision, and low-cost housing alternatives. Through detailed analysis, the authors invest...
Meaning-Making for Living
This Open Access Brief analyzes the dynamics in which children's selves emerge through their everyday activities of meaning construction, both in their relationships with family and within school education. It begins with a discussion of new psychological inquiries into children's selves and builds upon the innovative theoretical notion of the Pres...
Buildings for Education
This book presents theoretical and practical research relating to the vast, publicly financed program for the construction of new schools and the reorganization of existing educational buildings in Italy. This transformative process aims to give old buildings a fresh identity, to ensure that facilities are compliant with the new educational and tea...
Abstract Algebra
This carefully written textbook offers a thorough introduction to abstract algebra, covering the fundamentals of groups, rings and fields. The first two chapters present preliminary topics such as properties of the integers and equivalence relations. The author then explores the first major algebraic structure, the group, progressing as far as the ...
River Basin Development and Human Rights in Eastern Africa — A Policy Crossroads
This book offers a devastating look at deeply flawed development processes driven by international finance, African governments and the global consulting industry. It examines major river basin development underway in the semi-arid borderlands of Ethiopia, Kenya and South Sudan and its disastrous human rights consequences for a half-million indigen...
Global Business Strategy
This book presents theories and case studies for corporations in developed nations, including Japan, for designing strategies to maximize opportunities and minimize threats in business expansion into developing nations. The case studies featured here focus on Asia, including China and India, and use examples of Japanese manufacturers. Five case st...
Tools and Algorithms for the Construction and Analysis of Systems
This book constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001. The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a total of 125 submissions. The papers are organized in sections on ...
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 faca...
The Making of Islamic Heritage
Offering key insights into critical debates on the construction, management and destruction of heritage in Muslim contexts, this volume considers how Islamic heritages are constructed through texts and practices which award heritage value. It examines how the monolithic representation of Islamic heritage (as a singular construct) can be enriched by...
Tools and Algorithms for the Construction and Analysis of Systems
The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The tot...
IEA International Computer and Information Literacy Study 2018 Assessment Framework
This free book presents the assessment framework for IEA's International Computer an Information Literacy Study (ICILS) 2018, which is designed to assess how well students are prepared for study, work and life in a digital world. The study measures international differences in students' computer and information literacy (CIL): their ability to use ...
Knowing the Salween River: Resource Politics of a Contested Transboundary River
This book focuses on the Salween River, shared by China, Myanmar, and Thailand, that is increasingly at the heart of pressing regional development debates. The basin supports the livelihoods of over 10 million people, and within it there is great socio-economic, cultural and political diversity. The basin is witnessing intensifying dynamics of reso...
Error-Correction Coding and Decoding
This book discusses both the theory and practical applications of self-correcting data, commonly known as error-correcting codes. The applications included demonstrate the importance of these codes in a wide range of everyday technologies, from smartphones to secure communications and transactions. Written in a readily understandable style, the boo...
Advancing Human Assessment
​This book describes the extensive contributions made toward the advancement of human assessment by scientists from one of the world's leading research institutions, Educational Testing Service. The book's four major sections detail research and development in measurement and statistics, education policy analysis and evaluation, scientific psycho...
Architecture and the Novel under the Italian Fascist Regime
Architecture and the Novel under the Italian Fascist Regime discusses the relationship between the novel and architecture during the Fascist period in Italy (1922-1943). By looking at two profoundly diverse aesthetic phenomena within the context of the creation of a Fascist State art, Billiani and Pennacchietti argue that an effort of construction,...
14th International Congress for Applied Mineralogy (ICAM2019)
This open access proceedings of the 14th International Council for Applied Mineralogy Congress (ICAM) in Belgorod, Russia cover a wide range of topics including applied mineralogy, advanced and construction materials, ore and industrial minerals, mineral exploration, cultural heritage, etc. It includes contributions to geometallurgy, industrial min...
Constructions of Cancer in Early Modern England
This book is open access under a CC-BY licence. Cancer is perhaps the modern world's most feared disease. Yet, we know relatively little about this malady's history before the nineteenth century. This book provides the first in-depth examination of perceptions of cancerous disease in early modern England. Looking to drama, poetry and polemic as wel...
Handbook of Evolutionary Research in Archaeology
Evolutionary Research in Archaeology seeks to provide a comprehensive overview of contemporary evolutionary research in archaeology. The book will provide a single source for introduction and overview of basic and advanced evolutionary concepts and research programs in archaeology. Content will be organized around four areas of critical research in...
Automatic Control with Experiments
This book presents theory and practice in the context of automatic control education. It presents the relevant theory in the first eight chapters,applying them later on to the control of several real plants. Each plant is studied following a uniform procedure: a) the plant’s functionis described, b) a mathematical model is obtained, c) plant cons...
C# Notes for Professionals
The C# Notes for Professionals book is compiled from Stack Overflow Documentation, the content is written by the beautiful people at Stack Overflow....
Java Notes for Professionals
The Java Notes for Professionals book is compiled from Stack Overflow Documentation, the content is written by the beautiful people at Stack Overflow....
JavaScript Notes for Professionals
The JavaScript Notes for Professionals book is compiled from Stack Overflow Documentation, the content is written by the beautiful people at Stack Overflow....
A Graduate Course in Applied Cryptography
Cryptography is an indispensable tool used to protect information in computing systems. It is used everywhere and by billions of people worldwide on a daily basis. It is used to protect data at rest and data in motion. Cryptographic systems are an integral part of standard protocols, most notably the Transport Layer Security (TLS) protocol, making ...
Doing Business 2020
The Doing Business 2020 study shows that developing economies are catching up with developed economies in ease of doing business. Still, the gap remains wide. An entrepreneur in a low-income economy typically spends around 50 percent of the country's per-capita income to launch a company, compared with just 4.2 percent for an entrepreneur in a h...
Optimizing software in C++
This is an optimization manual for advanced C++ programmers. This book are not for beginners. Topics include: - The choice of platform and operating system. - Choice of compiler and framework. - Finding performance bottlenecks. - The efficiency of different C++ constructs. - Multi-core systems. - Parallelization with vector operations. - CPU dispa...
Certified Programming with Dependent Types
The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer science, and related tools for formal proof-checking are seeing increasing adoption in mathematics and engineering. This book provides an introduction to the Coq software for writing and checking mathematical proofs. It takes ...
Fallibility at Work
'This is an exciting, groundbreaking book. With an astonishing array of examples and a brilliant eye for the essential, Øyvind Kvalnes takes the Socratic motto of knowing yourself to our everyday lives in the workplace. Applied philosophy at its best, the book will affect the way you do your work and live your life.'—Professor Esa Saarinen, Aalt...

1 2 3 ... 5