Mark Schäfer

Learn More
Classical object tracking approaches use a Kalman-filter with a single dynamic model which is therefore optimised to a single driving maneuver. In contrast the interacting multiple model (IMM) filter allows for several parallel models which are combined to a weighted estimate. Choosing models for different driving modes, such as constant speed, acceleration(More)
Despite technological advances, detection of deamidation in large proteins remains a challenge and the use of orthogonal methods is needed for unequivocal assignment. By a combination of cation-exchange separation, papain digestion, and a panel of mass spectrometry techniques we identified asparagine deamidation in light chain complementarity determining(More)
For synthesising efficient asynchronous circuits one has to deal with the state space explosion problem. In order to alleviate this problem one can decompose the STG into smaller components. This paper deals with the decomposition method of Vogler and Wollowski and introduces several strategies for its efficient implementations. Furthermore, this approach(More)
For synthesising efficient asynchronous circuits from STGs one has to deal with the state space explosion problem. For this purpose STG decomposition was introduced by Chu and improved by Vogler and Wollowski. Here, we present the tool DesiJ which is the implementation of STG decomposition and proposed by Vogler and several other optimisations.
When synthesising an asynchronous circuit from an STG, one often encounters the state explosion problem. In order to alleviate this problem one can decompose the STG into smaller components. This paper deals with the decomposition method of [11], [12] and introduces several strategies for efficient implementations, proves them correct and compares them by(More)
Logic synthesis of speed independent circuits based on STG decomposition is a promising approach to tackle complexity problems like state-space explosion. Unfortunately, decomposition can result in components that in isolation have irreducible CSC conflicts. Generalising earlier work, we show how to resolve such conflicts by introducing internal(More)
Resynthesis of handshake specifications obtained e.g. from Balsa or Tangram with speed-independent logic synthesis from STGs is a promising approach [CC06]. To deal with state-space-explosion, we suggested STG decomposition; a problem is that decomposition can lead to irreducible CSC conflicts. Here, we present a new approach to solve such conflicts by(More)