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...
This book provides an extensive treatment of Hardy inequalities and closely related topics from the point of view of Folland and Stein's homogeneous (Lie) groups. The place where Hardy inequalities and homogeneous groups meet is a beautiful area of mathematics with links to many other subjects. While describing the general theory of Hardy, Rel...
GUI Design for Android Apps is the perfect - and concise - introduction for mobile app developers and designers. Through easy-to-follow tutorials, code samples, and case studies, the book shows the must-know principles for user-interface design for Android apps running on the Intel platform, including smartphones, tablets and embedded devices.
T...
Machine learning techniques provide cost-effective alternatives to traditional methods for extracting underlying relationships between information and data and for predicting future events by processing existing information to train models. Efficient Learning Machines explores the major topics of machine learning, including knowledge discovery, cla...
This free book tells the story of how Sweden is becoming a virtually cashless society. Its goal is to improve readers' understanding of what is driving this transition, and of the factors that are fostering and hampering it. In doing so, the book covers the role of central banks, political factors, needs for innovation, and the stakeholders in...
This book offers new insights into the ageing-migration nexus and the nature of home. Documenting the hidden world of France's migrant worker hostels, it explores why older North and West African men continue to live past retirement age in this sub-standard housing. Conventional wisdom holds that at retirement labour migrants ought to instead ...
In the southern summer of 1972/73, the Glomar Challenger was the first vessel of the international Deep Sea Drilling Project to venture into the seas surrounding Antarctica, confronting severe weather and ever-present icebergs.
A Memory of Ice presents the science and the excitement of that voyage in a manner readable for non-scientists. Woven i...
When considering "the Internet of Things," it's easy to miss the bigger pattern: we are no longer just building software for individual devices, but creating networks of intelligence and action that make it possible to completely rethink how we organize work, play, and society itself. This report provides the complete text of Tim O&#...
Consciousness is widely perceived as one of the most fundamental, interesting and difficult problems of our time. However, we still know next to nothing about the relationship between consciousness and the brain and we can only speculate about the consciousness of animals and machines.
Human and Machine Consciousness presents a new foundation fo...
Learn how graph algorithms can help you leverage relationships within your data to develop intelligent solutions and enhance your machine learning models. With this practical guide, developers and data scientists will discover how graph analytics deliver value, whether they're used for building dynamic network models or forecasting real-world ...
This free book analyses the interplay of sustainable development and human rights from different perspectives including fight against poverty, health, gender equality, working conditions, climate change and the role of private actors. Each aspect is addressed from a more human rights-focused angle and a development-policy angle. This allows compari...
This free book discusses the relationship between periodicals, tourism, and nation-building in Mexico. It enquires into how magazines, a staple form of the promotional apparatus of tourism since its inception, articulated an imaginative geography of Mexico at a time when that industry became a critical means of economic recovery and political stabi...
This free book is the first comprehensive guide to a new soft computing technique which is used in complex forensic cases. The chapters include detailed technical and practical overviews, and discussions about the latest tools, open problems and ethical and legal issues involved. The book will be of interest to researchers and practitioners in fore...
This open access book explores commentaries on an influential text of pre-Copernican astronomy in Europe. It features essays that take a close look at key intellectuals and how they engaged with the main ideas of this qualitative introduction to geocentric cosmology.
Johannes de Sacrobosco compiled his Tractatus de sphaera during the thirteenth ce...
This book presents a comprehensive survey of modern operator techniques for boundary value problems and spectral theory, employing abstract boundary mappings and Weyl functions. It includes self-contained treatments of the extension theory of symmetric operators and relations, spectral characterizations of selfadjoint operators in terms of the anal...
This open access book provides an exploration of the consequences of the ontological differences between natural and social objects (sometimes described as objects of nature and objects of thought) in the workings of causal and agency relationships. One of its important and possibly original conclusions is that causal and agency relationships do no...
This free book examines the triangle between family, gender, and health in Europe from a demographic perspective. It helps to understand patterns and trends in each of the three components separately, as well as their interdependencies. It overcomes the widely observable specialization in demographic research, which usually involves researchers stu...
This open access textbook welcomes students into the fundamental theory of measure, integration, and real analysis. Focusing on an accessible approach, Axler lays the foundations for further study by promoting a deep understanding of key results. Content is carefully curated to suit a single course, or two-semester sequence of courses, creating a v...
Bjarne Stroustrup of AT&T Bell Labs created C++ in the mid 1980s. C++ is an extension of the programming language C, a product of AT&T Bell Labs from the early 1970s. C was developed to write the Unix operating system, and C is widely used for systems-level software and embedded systems development.
C++ initially provided object-oriented...
Electromagnetics, volume 1 by Steven W. Ellingson is a 225-page, peer-reviewed open educational resource intended for electrical engineering students in the third year of a bachelor of science degree program. It is intended as a primary textbook for a one-semester first course in undergraduate engineering electromagnetics. The book employs the &quo...
Python is one of those rare languages which can claim to be both simple and powerful. You will find yourself pleasantly surprised to see how easy it is to concentrate on the solution to the problem rather than the syntax and structure of the language you are programming in.
A Byte of Python is a free book on programming using the Python language...
This open access book reports on a pilot project aiming at collecting information on the socio-ecological risks that could arise in the event of an uncontrolled spread of genetically engineered organisms into the environment. The researchers will, for instance, be taking a closer look at genetically engineered oilseed rape, genetically engineered o...
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...
This timely and applied textbook brings together leading scientists to illustrate how key theories and concepts in social psychology help to predict and explain behavior, and can be successfully applied to benefit social and practical problems. It focuses on robust theories and models known for their successful applications and covers a diverse ran...
This book was written to serve as an introduction to logic, with in each chapter – if applicable – special emphasis on the interplay between logic and philosophy, mathematics, language and (theoretical) computer science. The reader will not only be provided with an introduction to classical logic, but to philosophical (modal, epistemic, deontic...
Known for its straightforward simplicity, PHP is an open source, general-purpose scripting language oriented for web development. In PHP Succinctly, author José Roberto Olivas Mendoza guides newcomers through PHP's basics, which includes deployment, programming themes such as variables, decision making, arrays, functions, and databases, and t...
Blazor technology enables you to create sophisticated, manageable, and extensible single-page applications using C# and Razor syntax. Blazor Succinctly will cover the core elements of Blazor, then explore additional features by building a sample help desk application. Michael Washington will take readers from creating the project in Visual Studio t...
Whether you're just curious, getting started with Kubernetes, or have experience with it, this curriculum will help you learn more about Kubernetes and running containerized applications. You'll learn about core Kubernetes concepts and use them to deploy and scale applications in practical tutorials. By the end of this curriculum you'...
There is agency in all we do: thinking, doing, or making. We invent a tune, play, or use it to celebrate an occasion. Or we make a conceptual leap and ask more abstract questions about the conditions for agency. They include autonomy and self-appraisal, each contested by arguments immersing us in circumstances we don't control. But can it be t...
Until recently, most grape-based wine was consumed close to where it was produced, and mostly that was in Europe. Despite the huge growth in inter-continental trade, investment and migration during the first globalization wave that came to a halt with World War I, it was not until the 1990s that the export share of global wine production rose above...
With its novel XOR-based metric topology, Kademlia is the first peer-to-peer system to combine provable consistency and performance, latency-minimizing routing, and a symmetric, unidirectional topology. In The Kademlia Protocol Succinctly, author Marc Clifton leads readers through the positive aspects of Kademlia's decentralized specifications...
Illicit financial flows constitute a global phenomenon of massive but uncertain scale, which erodes government revenues and drives corruption in countries rich and poor. In 2015, the countries of the world committed to a target to reduce illicit flows, as part of the UN Sustainable Development Goals. But five years later, there is still no agreemen...