Reconsidering Constitutional Formation I National Sovereignty
Legal studies and consequently legal history focus on constitutional documents, believing in a nominalist autonomy of constitutional semantics.Reconsidering Constitutional Formation in the late 18th and 19th century, kept historic constitutions from being simply log-books for political experts through a functional approach to the interdependencies ...
Reconsidering Constitutional Formation II Decisive Constitutional Normativity
This second volume of ReConFort, published open access, addresses the decisive role of constitutional normativity, and focuses on discourses concerning the legal role of constitutional norms. Taken together with ReConFort I (National Sovereignty), it calls for an innovative reassessment of constitutional history drawing on key categories to convey ...
National Constitutions in European and Global Governance: Democracy, Rights, the Rule of Law
This two-volume book, published open access, brings together leading scholars of constitutional law from twenty-nine European countries to revisit the role of national constitutions at a time when decision-making has increasingly shifted to the European and transnational level. It offers important insights into three areas. First, it explores how c...
Contemporary Issues in Human Rights Law
This book analyzes issues in human rights law from a variety of perspectives by eminent European and Asian professors of constitutional law, international public law, and European Union law. As a result, their contributions collected here illustrate the phenomenon of cross-fertilization not only in Europe (the EU and its member states and the Counc...
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...
Japan's Arduous Rejuvenation as a Global Power
This book assesses the profound impact of Japan's aspirations to become a great power on Japanese security, democracy and foreign relations. Rather than viewing the process of normalization and rejuvenation as two decades of remilitarization in face of rapidly changing strategic environment and domestic political circumstances, this volume context...
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...
Inorganic Constituents in Soil
This book is a must-read for students of and beginners in soil science. In a well-organized and easy-to-follow manner, it provides basic outlines of soil minerals, new methods and recent developments in the field, with a special focus on visual aids. The chapters on primary minerals, secondary minerals, non-crystalline inorganic constituents and ...
Who Will Be the Next President?
Describes a new plan to improve the current election system under which every voter gains and no state loses its current Electoral College benefits, which has a chance to be introduced in the form of a constitutional amendment. Provides explanations of why the National Popular Vote plan may violate the Equal Protection Clause from the Fourteenth A...
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...
Defensive Database Programming with SQL Server
Resilient T-SQL code is code that is designed to last, and to be safely reused by others. The goal of defensive database programming, the goal of this book, is to help you to produce resilient T-SQL code that robustly and gracefully handles cases of unintended use, and is resilient to common changes to the database environment. Too often as deve...
Database Design
Database Design, 2nd Edition covers database systems and database design concepts. New to this edition are SQL info, additional examples, key terms and review exercises at the end of each chapter. Topics include:The history of databases; Characteristics and benefits of databases; Data models; Data modelling; Classification of database management...
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...
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 ...
Re-Mapping Centre and Periphery
Historians often assume a one-directional transmission of knowledge and ideas, leading to the establishment of spatial hierarchies defined as centres and peripheries. In recent decades, transnational and global history have contributed to a more inclusive understanding of intellectual and cultural exchanges that profoundly challenged the ways in wh...
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...
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...
Advances in Discrete Differential Geometry
This is one of the first books on a newly emerging field of discrete differential geometry and an excellent way to access this exciting area. It surveys the fascinating connections between discrete models in differential geometry and complex analysis, integrable systems and applications in computer graphics. The authors take a closer look at discre...
Health and Wellbeing in Late Life
This book takes a multidisciplinary approach to provide a holistic understanding of late old age, and situates the aged person within the context of family, caregivers, clinical and other institutions. All through the book, the author discusses preparedness for an aging individual as well as the society in the Indian context. The book highlights in...
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...
Bayesian Methods in the Search for MH370
This book demonstrates how nonlinear/non-Gaussian Bayesian time series estimation methods were used to produce a probability distribution of potential MH370 flight paths. It provides details of how the probabilistic models of aircraft flight dynamics, satellite communication system measurements, environmental effects and radar data were constructed...
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 ...
Computer Aided Verification
The book set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organ...

1 2 3 ... 10