52.483 hasil
Menampilkan 281–300 · 1,14 detik · RSS
-
Bab Buku Teks lengkap
Chapter Introduction: Emigration and its impact on the European state
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…
-
Bab Buku Teks lengkap
Chapter How the Study Was Done
Dynamic Point Symbols in Earthquake Mapping: Visualization Research in Space and Time examines how animated symbols enhance digital map comprehension, particularly for earthquake data visualization. It provides much-needed empirical evidence for the understandability, usability, and utility of…
-
Bab Buku Teks lengkap
Chapter Proof Production for Satisfiability Modulo Finite Fields with Proof Checking in Pacheck and 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 Alpinisti allo specchio. L’autobiografia come sublimazione
The essay illustrates the intrinsic characteristics of mountaineering autobiography. Through a diachronic examination emerge a number of cross-cutting thematic nodes that highlight the main motivations underlying the inextricable link between mountaineering and autobiographical writing.
-
Bab Buku Teks lengkap
Chapter SymCert: Verifying SMT-Based Policy Analyses
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 Sustainability transitions in mega-events
Sustainability Transitions in Tourism and Hospitality offers vital conceptual and practical insights into the domains of sustainability transitions (ST) in tourism and hospitality sectors, business models, and operations. Using ST theory, this book addresses the extent to which the tourism and…
-
Bab Buku Teks lengkap
Chapter Alpinismo e diritto: fondamenti culturali del rischio e responsabilità dell’agire
Mountaineering straddles personal autonomy and legal regulation. Its value lies in risk and freedom, not utility. While modern law seeks predictability and risk prevention, alpine practice embraces danger as identity and self-discipline, generating structural tensions between norm and experience.
-
Bab Buku Teks lengkap
Chapter Engaging Polarized Publics in Corporate Social Advocacy
This volume explicates the role of sociopolitical advocacy and other related constructs as forms of prosocial communication. Bringing together a diverse group of scholars, this volume provides comprehensive conceptualizations and discussions of key constructs related to prosocial…
-
Bab Buku Teks lengkap
Chapter Geopolitical Risk and the Markets' Interdependence
The Dynamics of Global Financial Markets: Risks, Regulation, and Innovation provides a timely and comprehensive overview of the modern financial system amid rising uncertainty and rapid change. It explores how global markets are influenced by systemic risks, regulatory developments, geopolitical…
-
Bab Buku Teks lengkap
Chapter Teachers Navigating Professionalism and Accountability Demands in Assessment
The first quarter of the 21st century has witnessed numerous reform efforts related to schooling and education. At the same time, across the world, many education systems are facing unprecedented challenges related to teachers, from rising teacher attrition and burnout to recruitment…
-
Bab Buku Teks lengkap
Chapter Trasvases ‘napolitanos’ de lo cómico español. Zabaleta, Solís, Moreto y la figura del donaire
The article deals with three case studies on the appropriation of Spanish comedy in the so-called “Spanish-style comedy” from the second half of the seventeenth century to the beginning of the eighteenth century. The textual samples relating to the figures of the donaire in De Leonardis (Il finto…
-
Bab Buku Teks lengkap
Chapter “Like Ghosts and Phantoms”
Building on recent scholarship that challenges the supposed historical isolation of Eastern European art from the colonial matrix of power, this book responds to the sometimes uncritical application of established Western postcolonial and decolonial theories to the region’s visual production…
-
Bab Buku Teks lengkap
Chapter «Con il mio voto cambierò le cose». La prima volta delle elettrici comuniste
The contribution of communist women to the June 2nd election was decisive, not only in terms of voter turnout but also in transforming voting into an opportunity for active participation. The seven representatives of the Italian Communist Party elected to the Consulta nazionale and the nine elected…
-
Bab Buku Teks lengkap
Chapter Trimming Pseudo-Boolean Proofs
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 Restituire passi: il salvataggio d’arto
Critical limb ischemia represents one of the most complex challenges in vascular surgery. The Florentine School has made significant contributions to basic research, the development of surgical and endovascular techniques, and pharmacological and cellular therapies, promoting a multidisciplinary…
-
Bab Buku Teks lengkap
Chapter Il pedagogista ospedaliero come ‘regista’ della Cura. Governare la complessità tra sanità, scuola e territorio
This contribution explores the professional figure of the hospital pedagogist as a ‘director’ of care processes within pediatric contexts, delineating their strategic role and systemic competencies. Drawing from a qualitative inquiry, funded by the Next Generation EU program and conducted through a…
-
Bab Buku Teks lengkap
Chapter La donna innamorata da vero di Carlo Gozzi e la tradizione scenica del Pedro de Urdemalas
La Donna innamorata da vero, staged in 1771, is one of the nineteen works within Carlo Gozzi ‘Spanish’ theatre corpus. He took the idea from D. Pedro de Urdimalas, defining this type of play as a «commedia spagnuola senza nome d’autore», revealing as its source a suelta from 1750 claiming it is…
-
Bab Buku Teks lengkap
Chapter Sharing Power by Participant Co-Research
This broad-ranging edited collection highlights the role that technology can play in increasing community engagement in participatory design, now and in the future. Challenging conventional notions of participatory design, this volume provides innovative solutions in areas such as democracy…
-
Bab Buku Teks lengkap
Chapter Concepts and Language in Studying Multilateralism
This book explores the politics of multilateralism in the context of three United Nations (UN) pillars: human rights, peace and security, and development. Focussing on the debates, ideas, and practices of international cooperation that have dominated the UN agenda since the early 1990s, it shows…
-
Bab Buku Teks lengkap
Chapter LLM-Powered Automatic Theorem Proving and Synthesis for Hybrid Systems and Games
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…
Menampilkan maksimal 50 halaman. Persempit pencarian dengan filter untuk hasil yang lebih spesifik.