52,483 results
Showing 201–220 · 0.24 seconds · RSS
-
Book Chapter Full text
Chapter 535 a 21. Genere e lavoro alla Costituente
Of the 556 people elected to the Constituent Assembly in Italy in June 1946, 21 women, diverse in terms of age, experience, ideals, and political culture, were among them. In that context, this 'group' felt the responsibility and took the opportunity to express a unified voice - in the name of…
-
Book Chapter Full text
Chapter Levitating backwards
This book explores how language and linguistic knowledge can be encountered through walks, shared meals, conversations, and daily life rather than being written about in the style and genre of western academic grammar. Through an innovative exploration of the multivocal forms of knowledge…
-
Book Chapter Full text
Chapter Pastoralist social organization
This handbook provides a comprehensive and authoritative overview of pastoralism, combining major theoretical debates with an interdisciplinary and comparative perspective on pastoral systems across the world. Approaching pastoralism as a social-ecological system, this volume synthesizes current…
-
Book Chapter Full text
Chapter Introduction
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 Disembedding citizenship in the European Union
Emigration of scale challenges states on the European periphery to their core. The territorialised population as a condition of modern statehood changes due to European integration and (e)migration. Mobility and claims of citizens for individual liberty and welfare became Europeanised, yet the…
-
Book Chapter Full text
Chapter Verifiable Checks for Business Rule Consistency
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 Movement II
Musicians Coding AI for Themselves blends cutting-edge academic research with the real-world experiences of musicians working at the intersection of music and AI. This book not only reflects on the philosophical implications of AI in music but also offers readers insights into the technical inner…
-
Book Chapter Full text
Chapter Costruire relazioni. Il ruolo della cura educativa. Per introdurre
The contribution explores the centrality of the educational relationship within care-oriented contexts, with specific reference to the long-standing collaboration between the University of Florence and the university hospital “Azienda Ospedaliera Universitaria Meyer” (AOU Meyer). The analysis…
-
Book Chapter Full text
Chapter Coping Mechanisms, Narrative Repair, and Ontological Security
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 Economic impacts and the tourism workforce
This book offers a critical and justice-oriented examination of tourism’s complex impacts, revealing how it shapes and is shaped by economic, social, gender, environmental, animal, and racial (in)justices. It explores pathways toward more equitable and transformative practices for communities and…
-
Book Chapter Full text
Chapter Subcortical Sensorimotor Activity In Stuttered and Non-stuttered Speech
This comprehensive volume showcases cutting-edge research on stuttering from a wide range of perspectives, including neuroscience, genetics, epidemiology, speech-motor control, language effects, machine learning, disability studies, treatment options and assessment. Featuring the work of a diverse…
-
Book Chapter Full text
Chapter Quando l’ascesi non è solo un’ascesa: esercizi cristiani antichi per l’immobilità
This article analyzes early Christian askēsis in Evagrius Ponticus and John Cassian, arguing that ascetic life combines vertical ascent toward God with horizontal struggle and stabilitas loci. Read with Sloterdijk, asceticism emerges as an embodied anthropotechnics.
-
Book Chapter Full text
Chapter Incremental Neural Network Verification via Learned Conflicts
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 MCSAT Modulo Transcendental Arithmetics
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 Introduction to pastoralism
This handbook provides a comprehensive and authoritative overview of pastoralism, combining major theoretical debates with an interdisciplinary and comparative perspective on pastoral systems across the world. Approaching pastoralism as a social-ecological system, this volume synthesizes current…
-
Book Chapter Full text
Chapter Verified Real-time Proof Checking for Large-Scale SAT Solving
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 Can LLMs Perform Synthesis?
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 CB-VER: A Stable Foundation for Modular Network Control Plane 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…
-
Book Chapter Full text
Chapter Foundational Overview
This book examines the role of polysaccharides as essential biopolymers, tracing their origins, structural organization, and applications in materials science, healthcare, and environmental sustainability. It provides a detailed exploration of their biosynthesis, functional modifications, and…
-
Book Chapter Full text
Chapter Integrating Minority Perspectives into the Heritagisation of Post-Mining Landscapes in Lusatia, Germany
This volume explores the contested heritage of landscapes impacted by energy production. It offers a comparative perspective across Europe on different energy resources and reveals the hidden histories behind current efforts to revalorise the industrial heritage of energy production. Including case…
Showing at most 50 pages. Narrow your search with filters for more specific results.