| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910370050803321 |
|
|
Autore |
Förster Sarah |
|
|
Titolo |
Philanthropic Foundations and Social Welfare : A Comparative Study of Germany, Sweden and the United Kingdom (England) / / by Sarah Förster |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer VS, , 2020 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2020.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (252 pages) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Sociology |
Social policy |
Sociological Theory |
Social Policy |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Nota di contenuto |
|
Research Problem and Broader Research Context -- Welfare Regimes and the Underlying Logic of Country Differences -- Plan of Inquiry -- Country Case Studies -- Regime Influence, Theoretical Propositions. . |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
The existing welfare regime literature identifies differences in welfare state systems. Sarah Förster asks, if we can learn something on the organizational level about the embedding of philanthropic foundations in the field of social welfare in different welfare state systems. This investigation is based on comparative insights from the three country cases of Germany, Sweden and the UK (England). Guided by propositions from theoretical analysis of welfare regime literature, comparative explorative case studies based on interview data and secondary sources give insights into the field and the embedding of philanthropic social welfare foundations in the three different welfare state systems. Each type of foundation has different levels of independence from external constraints and is embedded to different degrees according to the propositions from welfare regime theory. These differences hold further implications for the investigation of foundations as a special organizational form. Contents Research Problem and Broader Research Context Welfare Regimes and the |
|
|
|
|
|
|
|
|
|
|
|
|
|
Underlying Logic of Country Differences Plan of Inquiry Country Case Studies Regime Influence, Theoretical Propositions Target Groups Researchers and students of sociology and political science Foundation managers, politicians, practitioners in welfare associations, and social service providers The Author Sarah Förster works at the Office for Research and Innovation at the Technical University of Munich. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910983344003321 |
|
|
Autore |
Akshay S |
|
|
Titolo |
Automated Technology for Verification and Analysis : 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I / / edited by S. Akshay, Aina Niemetz, Sriram Sankaranarayanan |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2025.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (605 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 1611-3349 ; ; 15054 |
|
|
|
|
|
|
Altri autori (Persone) |
|
NiemetzAina |
SankaranarayananSriram |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer engineering |
Computer networks |
Artificial intelligence |
Computers |
Computer science |
Software Engineering |
Computer Engineering and Networks |
Artificial Intelligence |
Computer Hardware |
Theory of Computation |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024. The 24 full papers presented in this volume were carefully reviewed and selected from 73 submissions. The topics presented in these volumes are organized in the following topical sections: Part I: Invited Keynote and Tutorial Papers; Automata and Games; Concurrent and Distributed Systems; Learning for Verification and Synthesis. Part II: Synthesis and Runtime Verification; Software Verification and Programming Language Semantics; Automated Reasoning and Verification. . |
|
|
|
|
|
|
|
| |