Martin Wegner

Learn More
We present the General Game Playing system Centurio. Centurio is a Java-based player featuring different strategies based on Monte Carlo Tree Search extended by techniques borrowed from Upper Confidence bounds applied to Trees as well as Answer Set Programming (for single-player games). Centurio’s Monte Carlo Tree Search is accomplished in a massively(More)
The hallmarks of Alzheimer's disease (AD) are characterized by cognitive decline and behavioral changes. The most prominent brain region affected by the progression of AD is the hippocampal formation. The pathogenesis involves a successive loss of hippocampal neurons accompanied by a decline in learning and memory consolidation mainly attributed to an(More)
More than 20 years ago the amyloid precursor protein (APP) was identified as the precursor protein of the Aβ peptide, the main component of senile plaques in brains affected by Alzheimer's disease (AD). The pathophysiology of AD, characterized by a massive loss of synapses, cognitive decline, and behavioral changes was in principle attributed to the(More)
In this paper we address the issue of change after deployment in safety-critical embedded system applications. Our goal is to substitute lab-based verification with in-field formal analysis to determine whether an update may be safely applied. This is challenging because it requires an automated process able to handle multiple viewpoints such as functional(More)
Delay Tolerant Networks (DTNs), especially the Bundle Protocol (BP), transmit data in self-contained bundles each of which carrying all necessary information to process it and route it to its destination. While this allows for long delays, link disruptions and higher loss rates and makes the BP well-suited for networks such as Wireless Sensor Networks(More)
Synaptic release sites are characterized by exocytosis-competent synaptic vesicles tightly anchored to the presynaptic active zone (PAZ) whose proteome orchestrates the fast signaling events involved in synaptic vesicle cycle and plasticity. Allocation of the amyloid precursor protein (APP) to the PAZ proteome implicated a functional impact of APP in(More)
BACKGROUND AND PURPOSE The treatment quality of pencil beam scanned (PBS) proton therapy to mobile tumour treatments can be compromised due to interplay effects. The aim of this work is to systematically evaluate the effectiveness of rescanning for liver tumour treatments for a commercial PBS delivery system. MATERIALS AND METHODS Plans were calculated to(More)
Backend services enable the large-scale aggregation of vehicle data. This Floating Car Data (FCD) can be used to detect traffic disturbances. Although today's vehicles are able to determine their position on a per-lane level, FCD is typically only used on a per-street level granularity. In this paper, we show that using the fleet-data from one Original(More)