COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring -- Activity Report of Working Group 1

This report presents the activities of the first working group of the COST Action ArVI, Runtime Verification beyond Monitoring. The report aims to provide an overview of some of the major core aspects involved in Runtime Verification. Runtime Verification is the field of research dedicated to the analysis of system executions. It is often seen as a discipline that studies how a system run satisfies or violates correctness properties. The report exposes a taxonomy of Runtime Verification (RV) presenting the terminology involved with the main concepts of the field. The report also develops the concept of instrumentation, the various ways to instrument systems, and the fundamental role of instrumentation in designing an RV framework. We also discuss how RV interplays with other verification techniques such as model-checking, deductive verification, model learning, testing, and runtime assertion checking. Finally, we propose challenges in monitoring quantitative and statistical data beyond detecting property violation

Towards the Knowledge in Coalgebraic Model of IDS

In the last decades linear logic became a useful logical system for various usage in computer science. Its ability to handle resources and its competence to describe dynamics of processes predetermine it for describing behaviour of programs and program systems. Linear logic can be apprehended as a multiplicative and additive extension of usual logic. We show the possibilities how these fragments can be enriched to describe behaviour and to achieve knowledge on an example of simplified Intrusion Detection System (IDS). We construct Kripke model over a coalgebra of modal linear logic for pursuing observable behaviour of IDS. Using the same Kripke frame we show how knowledge and belief in the terms of epistemic linear logic can be achieved

The challenge of visuality for electronic literature: Conference panel: The medium

Whilst there may be aesthetic tropes within digital media, there is no universally accepted authority within contemporary culture nor is there an easy mutual acceptance of what is “right and proper” or indeed legitimate outside the now virtue of being popular and well followed. Indeed the now bodily distanced and disinhibited digital citizen frequently demonstrates a palpable distain for the elite and pretentious. Considering this, any community with Literature in its name may have an identity problem; literariness still pertains to an elevated quality of artistic or intellectual merit and is thus counter to popular cultural production. In addition, mainstream culture has successfully commoditized many counter-cultural communities. Electronic Literature has arguably not been through such commodification processes, and the question of interest is why not? To that extent this paper seeks to explore possible answers. Investigating the broader shifts towards increased visuality within modern culture the paper will discuss and revisit the discourses on the power structures of the gaze, consider spectatorship’s dominance over readership and interaction and co-creation and the function of the image within contemporary narrative forms inside and outwith Electronic Literature. The paper will also consider the politics implied in the move to open access, the fluid distribution of often context-less “images”, how this relates to prior notions of literary publishing, and whether this manifests as an opportunity or a challenge to Electronic Literature’s dissemination. Lastly and toward a conclusion, the paper will propose that if we consider the tradition of literature as one that is driven by the expression of human experience, where in today’s context literary “traditions” are not longer built around specific commonalities of form (i.e. predominately verbal language) but rather subject matter, themes and worldviews then the questions of identity and of “literariness” can evaporate to make space for fuller participation in the ocular freedoms in contemporary culture

The Agrarian Life of the North 2000 BC AD 1000

The 14 articles presented in this publication represent some of the latest and most relevant research on rural settlement and farming from the Late Neolithic through the Early Medieval Period in Norway. It deals with the impact of climate change, plague and the AD 536â 7 volcanic event and some of the earliest farms north of the Arctic Circle. It provides new perspectives and archaeological evidence for the Viking age farm of Norway, differences in regional settlement structures of agrarian societies, the relation between houses and graves in the Iron Age, and varying food practices as indicators of societal change

An examination of the physical and temporal parameters of post-physical printmaking practice: exploring new modes of collaboration, distribution and consumption resulting from digital processes and networked participation.

This research was initiated by questions raised from the researchers professional activities in fine art printmaking and examines, through contextualised artistic practice and critical enquiry, redefinitions in the physical and temporal parameters of digitally mediated fine art printmaking caused by developments in digital media; specifically the impact of digital culture, Web2.0, social networking, augmented and virtual reality. Grounded on critical contextual review the research explores, through contextualised research probes, the notion of post-physical practice and the impact of new modes of collaboration, distribution and consumption on contemporary printmaking. It includes the findings of an international, digitally mediated, participatory and collaborative exchange survey of contemporary digital print, developed through direct enquiry using social media as a research tool. Philosophical questions about the impact of eculture, post-physical working and new modes of print-based artistic practice were examined, as well as the indexicality of the print itself in augmented and virtual contexts. The research employs dynamic triangulation between critical contextual review and direct qualitative and practice-based research; to develop a taxonomy framing the contextual precedents of digital printmaking, pinpointing key markers of transition between traditional and new printmaking. It uses post-studio methods and explores the conception, production, editioning, collection and ownership of print in an increasingly networked digital age, providing proof of concept and exploring virtual immersive surfaces in printmaking. These lead to the development of new models for a second generation of printmaking practice or Printmaking2.0 expressly founded in post-physical practice in a poststudio context and embracing the lingua franca of contemporary digital practice in the production of born digital virtually imprinted forms. In both, the technical practice of post-physical printmaking and the significant artistic implications resulting from the cultural shifts following digital participation and post-physical embodiment

The Agrarian Life of the North 2000 BC AD 1000

The 14 articles presented in this publication represent some of the latest and most relevant research on rural settlement and farming from the Late Neolithic through the Early Medieval Period in Norway. It deals with the impact of climate change, plague and the AD 536â 7 volcanic event and some of the earliest farms north of the Arctic Circle. It provides new perspectives and archaeological evidence for the Viking age farm of Norway, differences in regional settlement structures of agrarian societies, the relation between houses and graves in the Iron Age, and varying food practices as indicators of societal change

Dagstuhl News January - December 2011

"Dagstuhl News" is a publication edited especially for the members of the Foundation "Informatikzentrum Schloss Dagstuhl" to thank them for their support. The News give a summary of the scientific work being done in Dagstuhl. Each Dagstuhl Seminar is presented by a small abstract describing the contents and scientific highlights of the seminar as well as the perspectives or challenges of the research topic

Bringing Nordic mathematics education into the future : Preceedings of Norma 20 : The ninth Nordic conference on mathematics education Oslo, 2021

This volume presents Nordic mathematics education research, which will be presented at the Ninth Nordic Conference on Mathematics Education, NORMA 20, in Oslo, Norway, in June 2021. The theme of NORMA 20 regards what it takes or means to bring Nordic mathematics education into the future, highlighting that mathematics education is continuous and represents stability just as much as change.publishedVersio