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...
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 open book examines perceptions and dialogues between China and Europe by analysing strategic geopolitical sites which fostered commerce, consumption and socioeconomic networks between China and Europe through a particular case study: Macau, connecting with South China, and Marseille in Mediterranean Europe from 1680 to 1800. How did foreign me...
Story, in the largest sense of the term, is arguably the single most important aspect of narrative. But with the proliferation of antimimetic writing, traditional narrative theory has been inadequate for conceptualizing and theorizing a vast body of innovative narratives. In A Poetics of Plot for the Twenty-First Century: Theorizing Unruly Narrativ...
Little did Isaac Newton, Charles Darwin and other 'gentlemen scientists' know, when they were making their scientific discoveries, that some centuries later they would inspire a new field of scientific practice and innovation, called citizen science. The current growth and availability of citizen science projects and relevant applications...
How does technology impact research practices in the humanities? How does digitisation shape scholarly identity? How do we negotiate trust in the digital realm? What is scholarship, what forms can it take, and how does it acquire authority?
This diverse set of essays demonstrate the importance of asking such questions, bringing together establis...