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 ...

Resilience has become an important topic on the safety research agenda and in organizational practice. Most empirical work on resilience has been descriptive, identifying characteristics of work and organizing activity which allow organizations to cope with unexpected situations. Fewer studies have developed testabl...

Get the latest news, updates and articles on search engine optimization, social media and Google updates by Puneet Sharma.

You're a developer who knows nothing to WPF. Which is fine, except that you need to start coding your next application using WPF and the MVVM pattern. Don't worry: I have you covered. I've been training hundreds of developers like you during 15 years, and converted my experience into this book. I know from experienc...

This open access book demonstrates how data quality issues affect all surveys and proposes methods that can be utilised to deal with the observable components of survey error in a statistically sound manner. This book begins by profiling the post-Apartheid period in South Africa's history when the sampling frame and...

This open access book provides insights into the novel Locally Refined B-spline (LR B-spline) surface format, which is suited for representing terrain and seabed data in a compact way. It provides an alternative to the well know raster and triangulated surface representations. An LR B-spline surface has an overall s...

This open access book focuses on the impact of Artificial Intelligence (AI) on individuals and society from a legal perspective, providing a comprehensive risk-based methodological framework to address it. Building on the limitations of data protection in dealing with the challenges of AI, the author proposes an int...

TRANSFORM YOUR NOTE-TAKING AND IMPRESS AT WORK! Are you tired of scattered notes and missed details? Do you struggle with keeping track of tasks and project updates during meetings? Do you wish to enhance your professional documentation in a way that wows clients and colleagues alike? If these challenges resonate wi...

This book is an open access book. This book provides an overview of the ERIGrid validation methodology for validating CPES, a holistic power system testing method. It introduces readers to corresponding simulation and laboratory-based tools, including co-simulation, real-time simulation, and hardware-in-the-loop. Se...

Daten sind die strategische Ressource des 21. Jahrhunderts. Es findet kein Geschäftsprozess, keine Kommunikation zwischen Geschäftspartnern, keine Wertschöpfung statt, ohne dass die involvierten Personen, Maschinen und IT-Systeme Daten nutzen, erzeugen oder verändern. Trends wie die Digitalisierung, Industrie 4.0 un...

This open access book explores cutting-edge solutions and best practices for big data and data-driven AI applications for the data-driven economy. It provides the reader with a basis for understanding how technical issues can be overcome to offer real-world solutions to major industrial areas. The book starts with a...

The Internet is not an unchartered territory. On the Internet, norms matter. They interact, regulate, are contested and legitimated by multiple actors. But are they diverse and unstructured, or are they part of a recognizable order? And if the latter, what does this order look like? This collected volume explores th...

This open access book presents the rise of technology-enabled methods and tools for objective, quantitative assessment of Quality of Life (QoL), while following the WHOQOL model. It is an in-depth resource describing and examining state-of-the-art, minimally obtrusive, ubiquitous technologies. Highlighting the requi...

This open access book provides a comprehensive treatment of recent developments in kernel-based identification that are of interest to anyone engaged in learning dynamic systems from data. The reader is led step by step into understanding of a novel paradigm that leverages the power of machine learning without losin...

Are we being manipulated online? If so, is being manipulated by online technologies and algorithmic systems notably different from human forms of manipulation? And what is under threat exactly when people are manipulated online? This volume provides philosophical and conceptual depth to debates in digital ethics abo...

Best-selling guide to the inner workings of the Linux operating system with over 50,000 copies sold since its original release in 2014. Unlike some operating systems, Linux doesn’t try to hide the important bits from youーit gives you full control of your computer. But to truly master Linux, you need to understand i...