52,483 results
Showing 401–420 · 0.80 seconds · RSS
-
Book Chapter Full text
Chapter ‘Van Marum-spuitje’ of Spuitje van Paauw?: Ontwikkeling versus promotie van een draagbare handbrandspuit in het laatste kwart van de achttiende eeuw
A seemingly simple hand fire pump from 1778 opens up the history of the so-called ‘Van Marum pump.’ The author shows that the true inventor was not Martinus van Marum (1750–1837) but the instrument maker Jan Paauw (Leiden, 1778). Van Marum demonstrated the device from 1795 onward and promoted…
-
Book Chapter Full text
Chapter How effective are inclusive pedagogies in higher education? A meta-review
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…
-
Book Chapter Full text
Chapter Aperture: an Anytime, Complete and Incremental MaxSAT Solver
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…
-
Book Chapter Full text
Chapter Anthropogenic Impacts in Space: Challenges and Opportunities
This groundbreaking book by Dr. Carolina Leticia Zilli Vieira offers a sweeping exploration of humanity's impact on the environment and health, starting from the Industrial Revolution to the current times. Covering topics such as air and water pollution, electromagnetic radiation, medical and…
-
Book Chapter Full text
Chapter Ontological Security, Minority Actors, and Research Paradigm
This book explores how young adult migrants in Scotland navigate everyday life through processes of ontological security-seeking, revealing how identity is negotiated in relation to experiences of uncertainty, perceived difference, and political narrative. Drawing on narrative interviews and…
-
Book Chapter Full text
Chapter Peor está que estaba de Calderón y Don César Ursin de Lesage: un análisis comparativo
The article offers an analysis of César Ursin, a comedy by Alain René Lesage (Théâtre français, 1707), the last in a series of French adaptations of the comedy Peor está que estaba by Pedro Calderón de la Barca. The study begins by examining some of the adaptation strategies employed by Lesage…
-
Book Chapter Full text
Chapter Pharmakon
Through the lens of contemporary art, this book focuses on social ecologies and those spaces that are characterized, on the one hand, by a high degree of biodiversity and, on the other, by a long history of the extraction of resources, (neo)colonial relationships, and extractivism. Contributors…
-
Book Chapter Full text
Chapter Formal Verification of Imperative First-Class Functions in Move
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…
-
Book Chapter Full text
Chapter Research through Co-Design
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…
-
Book Chapter Full text
Chapter Formal Verification of a Memory Allocator for Rust Hypervisors: From Verified to Deployable Code with Functional Equivalence Guarantees
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…
-
Book Chapter Full text
Chapter Listening to Children, Listening to Trees
Listening Pedagogies features an international collection of authors exploring listening as a core element of innovative pedagogical approaches. Serving as a collective manifesto, it advocates for pedagogies that foster generous listening in educational settings and invites readers to reflect on…
-
Book Chapter Full text
Chapter Lope nel primo Settecento: Echi ‘aurei’ nella produzione drammatica di Placido Adriani
Among the manuscripts of the San Pietro Library in Perugia is La Cleomira, an unpublished comedy “trasportata dallo spagnuolo” by the Benedictine monk Placido Adriani (1690–1766), best known for his Selva di concetti comici. This study explores the possible sources of the play, placing it within…
-
Book Chapter Full text
Chapter Collaborating beyond humanities
This handbook delves into the innovative intersection of health and environmental humanities, capturing its multidisciplinary creative spirit by showcasing key concepts and tools, on-the-ground applications, and conversations. The handbook captures the dynamism of the cross-disciplinary dialogue…
-
Book Chapter Full text
Chapter CEDAW’s Contribution to a Gender-Sensitive Criminal Justice System
This chapter analyses the contribution of the Committee on the Elimination of Discrimination against Women (CEDAW Committee) to advancing more gender equal criminal justice systems. Just like Johanna Niemi has questioned the assumed gender neutrality of the law, the CEDAW Committee has confronted…
-
Book Chapter Full text
Chapter Demystifying Fungi: Towards New Materials
Mycology for Architecture explores how mycelium – the root network of fungi – as a living material is transforming architecture into a discipline that is not only sustainable but regenerative, adaptive and deeply entangled with ecological systems. Bringing together leading researchers…
-
Book Chapter Full text
Chapter Out of our minds and into the world
Audio drama is overlooked by philosophy even though it raises many philosophical questions. It seems to be a contradiction: drama is a form of showing yet the exemplary form of showing a world—visual representation—is absent from it. What kinds of world do we find if we concentrate on what is…
-
Book Chapter Full text
Chapter Parallel SAT Sweeping on CNFs
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…
-
Book Chapter Full text
Chapter Randomized Satisfiability Checking for Non-Linear Arithmetic over Finite Fields
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…
-
Book Chapter Full text
Chapter Capitani da commedia nell’iconografia teatrale tra Cinque e Settecento
The character of the Captain, often Spanish, has been present in the dramaturgy and stage practices of the Commedia dell'Arte since the origins of this spectacular form in the middle of the sixteenth century. The popularity of the character, in addition to the favour he found with the spectators…
-
Book Chapter Full text
Chapter Political sociology, collective action, and the roots of transformative environmental governance
Mapping Political Sociology explores the evolving field of political sociology, offering innovative frameworks and approaches to understand its past, present, and future. Offering cutting-edge insights into political sociology, including decolonial, feminist, and anti-racist perspectives, as well…
Showing at most 50 pages. Narrow your search with filters for more specific results.