52.483 hasil
Menampilkan 121–140 · 0,51 detik · RSS
-
Bab Buku Teks lengkap
Chapter Precarity at the Housing-Water Nexus
The Routledge Handbook of Precarious Housing offers the first comprehensive, interdisciplinary examination of one of today’s most urgent global challenges: the growing normalization of insecure, unaffordable, and uninhabitable housing. Bringing together leading scholars from across the world, this…
-
Bab Buku Teks lengkap
Chapter Work-integrated learning in higher education
This handbook provides a foundational, comprehensive, and systemic overview of the current research on learning and instruction in university education. Offering a synthesis of current essential empirical research on university education, this volume provides a starting point for an intentional…
-
Bab Buku Teks lengkap
Chapter CSLib: Building a Platform for AI-assisted Formal Verification in Lean
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking…
-
Bab Buku Teks lengkap
Chapter From Elitism to Amateuring
This book investigates how education and participation shape musical identity across the amateur–professional spectrum, reframing amateurism as a space of passion, dedication and authenticity rather than deficiency. It treats the amateur–professional divide as a social construct—made in pedagogy…
-
Bab Buku Teks lengkap
Chapter Multi-Property Temporal Logic Monitoring
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking…
-
Bab Buku Teks lengkap
Chapter Voordeurdelers aan de Burstumerdyk 1: Een verkenning van het commandocentrum Bescherming Bevolking en Civiele Verdediging uit de Koude Oorlog in het Friese Grou
During the Cold War the Netherlands took precautions to protect its people from potential disasters, in particular nuclear threats. The Civil Defence Corps was established in 1952 and was divided into reconnaisance and rescue units, fire brigade units, first aid and ambulance units and welfare…
-
Bab Buku Teks lengkap
Chapter La regolazione affettiva nella progettazione didattica inclusiva: un framework neuroeducativo per contesti complessi
This theoretical essay develops a neuroeducational framework for inclusive instructional design in complex educational contexts, integrating the principles of Daniel Siegel’s interpersonal neurobiology with special education methodologies. A critical review of the literature highlights how managing…
-
Bab Buku Teks lengkap
Chapter Semantics, Operations, and Properties of P3109 Floating-Point Representations in Lean
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking…
-
Bab Buku Teks lengkap
Chapter The impact of deepfakes on trust in user-generated evidence
This collection offers the first sustained, multidisciplinary legal analysis of deepfakes and their far‑reaching consequences. Deepfake technology has moved with disorienting speed from fringe curiosity to a global social, political, and legal problem. Once the preserve of Hollywood studios, the…
-
Bab Buku Teks lengkap
Chapter Auto te water!: Een les met de autocabine kan je leven redden van de ‘natte dood’
This article traces the history of water rescue in the Netherlands and the pivotal role of the Apeldoorn Rescue Brigade. Founded in 1934, the brigade gained (inter)national fame with its innovative “Auto te water” course, training people to escape from submerged vehicles. The article explores the…
-
Bab Buku Teks lengkap
Chapter La scrittura autobiografica per la cura e l’accompagnamento delle professionalità educative e formative: uno sguardo qualitativo tra esperienza e ricerca
This study explores autobiographical writing as a formative and reflective practice within the education and training of professionals. Adopting a qualitative-phenomenological approach, it analyzes a corpus of autobiographical texts produced by adult learners during a three-year educational…
-
Bab Buku Teks lengkap
Chapter PICID: Proof-Driven Clause Learning in Neural Network Verification
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking…
-
Bab Buku Teks lengkap
Chapter On the Hierarchy of Finite-Word Hyperlanguages
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking…
-
Bab Buku Teks lengkap
Chapter Raffaele D’Addario e la matematica dell’imposta progressiva sul reddito
Towards the end of the nineteenth century and in the first decades of the twentieth century, we can find at international level a strong debate developed on progressive income tax and its application methods In Italy the discussion was particularly intense, given the great importance of public…
-
Bab Buku Teks lengkap
Chapter Co-Designing with Public Administrators of 14 Climate-Neutral-to-Be Cities
Over the past few decades, key studies have highlighted the benefits and challenges of co-design, emphasising its potential to generate creativity, improve research quality, and deliver user-centred outcomes. However, formalising co-design as a research method and establishing a unified framework…
-
Bab Buku Teks lengkap
Chapter | NOISE | KING | SPLENDOUR | ARCA | PENELOPE |
Convivia is a journal that is interested in thinking what architectonics is or could be in the twenty-first century. Pre-specific to architecture, architectonics deals with the real in an abstract, yet edifying manner. Under architectonics, the indeterminacy brought by contemporary science is…
-
Bab Buku Teks lengkap
Chapter Defining and Evaluating Resilience
Resilient Space Systems Design: An Introduction demonstrates how quantitative resilience methodologies can be applied to a wide range of space systems and compares them against traditional approaches. It considers the full spectrum of threats facing modern space assets, from natural hazards to…
-
Bab Buku Teks lengkap
Chapter 3 Journalism and the economic crisis
Focusing on an oft-neglected geographical region of study, this book critically analyses the state of journalism in the European South and considers challenges that may indicate a profession under duress. Focusing on three Mediterranean media systems, Greece, Cyprus, and Malta, this book summarizes…
-
Bab Buku Teks lengkap
Chapter Certifying Optimal MEV Strategies with Lean
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking…
-
Bab Buku Teks lengkap
Chapter La politica economica del centrismo degasperiano (1948-1953)
The aim of this work is to reconstruct the economic policy pursued by the governments led by Alcide De Gasperi during the First Republican Legislature, from 1948 to 1953. The essay is divided into three parts. In the first part, we will examine the economic policy of the Fifth De Gasperi government…
Menampilkan maksimal 50 halaman. Persempit pencarian dengan filter untuk hasil yang lebih spesifik.