Tools and Algorithms for the Construction and Analysis of Systems: 29th Inter…

This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France. The 56 full papers and 6 short tool demonstration papers presented in this v…

Foundations of Software Science and Computation Structures: 25th Internationa…

This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 23 regular papers presented in this volume were carefully reviewed and select…

Tools and Algorithms for the Construction and Analysis of Systems: 28th Inter…

This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefull…

Tools and Algorithms for the Construction and Analysis of Systems: 28th Inter…

This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully …

How Data Quality Affects our Understanding of the Earnings Distribution

This open access book demonstrates how data quality issues affect all surveys and proposes methods that can be utilised to deal with the observable components of survey error in a statistically sound manner. This book begins by profiling the post-Apartheid period in South Africa's history when the sampling frame and survey methodology for household surveys was undergoing periodic changes due to…

Dismantling rape culture : the peacebuilding power of 'Me too'

Edition

-

ISBN/ISSN

9781003124290

Collation

-

Series Title

-

Call Number

-

Security in Computer and Information Sciences

This open access book constitutes the thoroughly refereed proceedings of the Second International Symposium on Computer and Information Sciences, EuroCybersec 2021, held in Nice, France, in October 2021.

Discourses of global queer mobility and the mediatization of equality

Edition

-

ISBN/ISSN

9781003087960

Collation

-

Series Title

-

Call Number

-

Spectral Theory of Operator Pencils, Hermite-Biehler Functions, and their App…

The theoretical part of this monograph examines the distribution of the spectrum of operator polynomials, focusing on quadratic operator polynomials with discrete spectra. The second part is devoted to applications. Standard spectral problems in Hilbert spaces are of the form A-λI for an operator A, and self-adjoint operators are of particular interest and importance, both theoretically and in…

Populism and conspiracy theory: case studies and theoretical perspectives

IntroductionMichael ButterPart I: Case Studies1. Makers versus Getters: Productivism in Henry Ford⁰́₉s The International JewAdam John Koper 2. Anticommunism and Conspiracy Myths in Brazil: From the 1937 ⁰́₋Cohen Plan⁰́₊ to the Bolsonarist ⁰́₋Red Menace⁰́₊Rodrigo Patto S©Ł Motta3. The Weaponization of Conspiracy TheoriesEirikur Bergmann4. Populism and Conspiracism in C…