Martin Wegner

2Melanie Laßek
2Jens Weingarten
2Walter Volknandt
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)
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)
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)
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)
  • 1