This new book analyses the strategies, usages and wider implications of crowdsourcing and crowdfunding platforms in the culture and communication industries that are reshaping economic, organizational and social logics. Platforms are the object of considerable hype with a growing global presence. Relying on individual contributions coordinated by s...
This book constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001. The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a total of 125 submissions. The papers are organized in sections on ...
This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were ca...
At the core of institutional theories, 'values' is a central term and figures in most definitions; however it remains understudied and under-explored. The editors of this open access book identify a resurgence of interest in the values-construct which underpins discussions of identity, 'ethos' and the purpose/nature of public an...
This book analyses the interplay between governing, evaluation and knowledge with an empirical focus on Swedish higher education. It investigates the origins, logics, and mechanisms of evaluation and quality assurance reforms and their dynamic interactions with institutional, national and European policy contexts. The chapters report findings from ...
The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.
The tot...
The book set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organ...
This book addresses the physical phenomenon of events that seem to occur spontaneously and without any known cause. These are to be contrasted with events that happen in a (pre-)determined, predictable, lawful, and causal way. All our knowledge is based on self-reflexive theorizing, as well as on operational means of empirical perception. Some of ...
This book presents results relevant in the manufacturing research field, that are mainly aimed at closing the gap between the academic investigation and the industrial application, in collaboration with manufacturing companies. Several hardware and software prototypes represent the key outcome of the scientific contributions that can be grouped int...
This book provides a set of conceptual, empirical, and comparative chapters that apply a public policy perspective to investigate the political and institutional factors driving the use of evidence to inform health policy in low, middle, and high income settings. The work presents key findings from the Getting Research Into Policy (GRIP-Health) pro...
This volume seeks to further the use of formal methods in clarifying one of the central problems of philosophy: that of our free human agency and its place in our indeterministic world. It celebrates the important contributions made in this area by Nuel Belnap, American logician and philosopher.Philosophically, indeterminism and free action can see...
Software has become a key component of contemporary life and algorithmic techniques that rank, classify, or recommend anything that fits into digital form are everywhere. This book approaches the field of information ordering conceptually as well as historically. Building on the philosophy of Gilbert Simondon and the cultural techniques tradition, ...
This open book engages with the response-ability of science education to Indigenous ways-of-living-with-Nature. Higgins deconstructs the ways in which the structures of science education - its concepts, categories, policies, and practices - contribute to the exclusion (or problematic inclusion) of Indigenous science while also shaping its ability r...
This open book analyses the past, present and future of the technical university as a single faculty independent institution. The point of departure is a view of changing academic realities, through which the identity as a technical university is challenged and reconstituted. More specifically, the book connects the development of technical univers...