A5050934451- Art, Politics, and Modernism
- Cultural Industries and Urban Development
- Theatre and Performance Studies
- Logic, Reasoning, and Knowledge
- Artistic and Creative Research
- Advanced Data Storage Technologies
- Advanced Algebra and Logic
- Formal Methods in Verification
- Religion, Spirituality, and Psychology
- Hannah Arendt's Political Philosophy
- Irish and British Studies
- Critical Theory and Political Philosophy
- Public Spaces through Art
- Aesthetic Perception and Analysis
- Real-Time Systems Scheduling
- Art History and Market Analysis
- Walter Benjamin Studies Compilation
- Foucault, Power, and Ethics
- Photography and Visual Culture
- Digital Media and Philosophy
- Religious Studies and Spiritual Practices
- Vehicular Ad Hoc Networks (VANETs)
- Software Testing and Debugging Techniques
- Shakespeare, Adaptation, and Literary Criticism
- Innovation, Sustainability, Human-Machine Systems
University of Lincoln
2019-2023
Columbia College - South Carolina
2023
Universität Innsbruck
2023
Klinikum Leverkusen
2020
German Cancer Research Center
2019
Heidelberg University
2019
RWTH Aachen University
2012-2015
Gustavus Adolphus College
2014
University of Kent
2012
University of Stuttgart
1995
The academic de.NBI Cloud offers compute resources for life science research in Germany. At the beginning of 2017, started to implement a federated cloud consisting five centers, with aim acting as one resource their users. A introduces multiple challenges, such central access and project management point, unified account across all sites an interchangeable setup federation. In order federation concept, integrated ELIXIR authentication authorization infrastructure system (ELIXIR AAI)...
Abstract Over the past decade, state legislatures have put increasing pressure on American Indian gaming revenues by demanding higher payouts or going into direct competition through state-run ventures. By rendering tribal interests largely invisible and silencing voices of native stakeholders, local news outlets covering these developments risk shaping public debate over in ways that threaten welfare peoples. This marginalization stems from what Heider calls "incognizant racism," maintained...
Over the past decade BitTorrent has established itself as virtual standard for P2P file sharing in Internet. However, it is currently not possible to investigate with ns-3 due unavailability of an according application model. In this paper we eliminate burden. We present a highly modular model which allows easy simulation different systems such well and future BitTorrent-based Video-on-Demand systems.
We consider formal verification of recursive programs with resource consumption. introduce prefix replacement systems non-negative integer counters which can be incremented and reset to zero as a model for such programs. In these systems, we investigate bounds on the consumption reachability questions. Motivated by this question, relational structures resources quantitative first-order logic over structures. define automatic subclass provide an effective method compute semantics subclass....
In the past years, extensions of monadic second-order logic (MSO) that can specify boundedness properties by use operators referring to sizes sets have been considered. particular, logics costMSO introduced T. Colcombet and MSO+U M. Bojanczyk were analyzed connections automaton models established obtain decision procedures for these logics. this work, we propose quantitative counting MSO (qcMSO short), which combines aspects from both MSO+U. We show be embedded into qcMSO in a natural way....
Abstract This article makes two main claims: that Debord's concept of the 'integrated spectacle' is related to end History narratives and 'disinformation' manifested in new forms media-driven warfare. These claims are substantiated through a comparative analysis between texts contemporary politics, primarily as described by Adam Curtis RETORT collective. The resulting understanding our politics situation where subjects who appear be free, fact only free choose competing brands neo-liberalism...
This article focuses on the social reality behind so-called Graeco-Babyloniaca, a small sample of less than two dozen fragments clay tablets, mainly inscribed with cuneiform signs obverse, alphabetic Greek reverse. As possibly one last life time-honored script, in Janus-faced manner they hint at long tradition Babylonian scholarship and learning hand, its disappearance via script-obsolescence other. Notwithstanding fact that there are only few aim this is to trace group textual remains...
In 2021, for the first time, all nominees Turner Prize were socially engaged art (SEA) collectives.The groups 'democratised' their practices by relinquishing authorial control to non-artists.Framed prestige of Prize, this control, through collaborative actions with various communities, was lauded as ethically meritorious, because its egalitarian and non-hierarchical nature.We argue that behind growing institutional success SEA lies a tension between 'goodness' necessity based on model...