Christian Miller

Learn More
To obtain rates of mRNA synthesis and decay in yeast, we established dynamic transcriptome analysis (DTA). DTA combines non-perturbing metabolic RNA labeling with dynamic kinetic modeling. DTA reveals that most mRNA synthesis rates are around several transcripts per cell and cell cycle, and most mRNA half-lives range around a median of 11 min. DTA can(More)
We present a new rigging and skinning method which uses a database of partial rigs extracted from a set of source characters. Given a target mesh and a set of joint locations, our system can automatically scan through the database to find the best-fitting body parts, tailor them to match the target mesh, and transfer their skinning information onto the new(More)
SAT solving is an indispensable core component of numerous formal verification tools and has found widespread use in industry, in particular when using it in an incremental fashion, e.g. in Bounded Model Checking (BMC). On the other hand, there are applications, in particular in the area of partial design verification, where SAT formulas are not expressive(More)
The multiprotein complex Mediator is a coactivator of RNA polymerase (Pol) II transcription that is required for the regulated expression of protein-coding genes. Mediator serves as an end point of signaling pathways and regulates Pol II transcription, but the mechanisms it uses are not well understood. Here, we used mass spectrometry and dynamic(More)
Introduction A wealth of research in social psychology over the past twenty years has examined the role that guilt plays in our mental lives. In this paper, I examine just one aspect of this vast literature, namely the relationship between guilt and prosocial behavior. 1 Researchers have typically found a robust positive correlation between feelings of(More)
Few studies have focused on the effect of posture during sprint start. The aim of this study was to measure the effect of the modification of horizontal distance between the blocks during sprint start on three dimensional (3D) joint angular velocity. Nine trained sprinters started using three different starting positions (bunched, medium and elongated).(More)
Verification of real-time systems – e.g. communication protocols or embedded controllers – is an important task. One method to detect errors is called bounded model checking (BMC). In BMC the system is iteratively unfolded and then transformed into a satisfiability problem. If an appropriate solver finds the k-th instance to be satisfiable a counterexample(More)
The aim of this study was to evaluate stress markers, mood states, and sleep indicators in high-level swimmers during a major 7-days competition according to the outcomes. Nine swimmers [six men and three women (age: 22 ± 2 and 22 ± 4 years, respectively)] were examined. Before (PRE) and after (POST) each race (series, semi-finals, and finals), salivary(More)