52,483 results
Showing 181–200 · 0.70 seconds · RSS
-
Book Chapter Full text
Chapter Transitioning to Retirement
Researchers navigate dynamic transitions throughout their careers, moving between roles, institutions, countries, and career stages while assuming leadership positions. These transitions reflect the evolving nature of researcher education and careers across a constantly changing academic landscape…
-
Book Chapter Full text
Chapter Le mutazioni dell’esecutivo nell’ordinamento italiano dalla Costituzione repubblicana alla legge sulle privatizzazioni (1948-1992)
This paper examines the organizational changes in public administration from the Republican Constitution to the Privatization Act.
-
Book Chapter Full text
Chapter SATDiv: An Effective Solver for Diverse SAT Problem
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 Designing for Green Transitions
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…
-
Book Chapter Full text
Chapter An Extension API for the Concurrent Program Verifier Raven
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 Lean Certified Bitvector Solving without Bitblasting
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: Irish Writers and The New Yorker
Irish Writers and The New Yorker in the Mid-Twentieth Century draws on archival research in the New Yorker records to uncover the contractual details of the first-reading agreement, The New Yorker ’s “fat” payments, and Irish writers’ relationships with their editors and peers. The book offers…
-
Book Chapter Full text
Chapter The future and political sociology
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…
-
Book Chapter Full text
Chapter Translating LTL to Lasso Automata
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 A systematic literature review on university students' expectancy-value-cost profiles
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 From the Wave of Human Rights to Illiberal Disablement
This collection brings together activism-informed disability research conducted both IN and FROM the region by scholars and activists representing local communities and languages. Disability in Central and Eastern Europe is situated between ethnic and national identities and languages…
-
Book Chapter Full text
Chapter The kidfluencer phenomenon
Social media influencers are the iconic figures of the social media age. As media diets shift to social media, influencers sit at the center of communication flows within the new information ecology. This is a powerful position. As masters of large followerships, influencers can direct online…
-
Book Chapter Full text
Chapter Biografie, autobiografie e percorsi del Sé professionale
Biographies and autobiographies that deal with illness are the central themes of this contribution. Through self-narrative writing, the powerful nature of illness stories emerges – stories that reveal worlds often difficult to access, yet made visible through the expressive and delicate lens of…
-
Book Chapter Full text
Chapter Requirement-Based Testing: Enhancing Reinforcement Learning with Game Theory
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 Key determinants of brand loyalty in the digital age
How does Generation Z in Central and Eastern Europe engage with brands, make purchasing decisions, and develop long-term brand loyalty? The monograph discusses the unique consumer behaviors of this influential cohort, by analyzing the key determinants that shape their brand relationships. With Gen…
-
Book Chapter Full text
Chapter Parallel SMT Solving via Dynamic Partitioning, Core-Guided Pruning, and Backbone Detection
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 Skill, industrial transformation and work in a climate-changing world
This book offers a genuinely interdisciplinary engagement with the future of paid and unpaid work in the context of the twin challenges of decarbonisation and the growing impacts of an unstable climate. It is innovative in its grounding of such discussions in the everyday realities of workers’…
-
Book Chapter Full text
Chapter Weight-Aware Transformations for MaxSAT
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 dtControl 2+ε: Trading Optimality for Explainability in MDPs via Decision Trees
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 The Game Graph Gym
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…
Showing at most 50 pages. Narrow your search with filters for more specific results.