Probabilistic timed automata are classical extended with discrete probability distributions over edges. We introduce clock-dependent probabilistic automata, a variant of in which transition probabilities can depend linearly on clock values. Clock-dependent allow the modelling continuous relationship between time passage and likelihood system events. show that problem deciding whether maximum re...

The neuropeptide pigment-dispersing factor (PDF) is a key transmitter in the circadian clock of Drosophila melanogaster. PDF is necessary for robust activity rhythms and is thought to couple the circadian oscillations of the clock neurons. However, little is known about the action of PDF on individual clock neurons. Here, we combined the period-luciferase reporter system with immunolabeling of ...

Accurate forecasting of call arrivals is critical for staffing and scheduling of a telephone call center. We develop methods for day-to-day and dynamic within-day forecasting of incoming call volumes. Our approach is to treat the intra-day call volume profiles as a highdimensional vector time series. We propose to first reduce the dimensionality by singular value decomposition of the matrix of ...

In Arabidopsis, the circadian clock allows the plant to coordinate daily external signals with internal processes, conferring enhanced fitness and growth vigor. Although external cues such as temperature can entrain the clock, an important feature of the clock is the ability to maintain a relatively constant period over a range of physiological temperatures; this ability is referred to as "temp...

BACKGROUND In mammals, the CLOCK/BMAL1 heterodimer is a key transcription factor complex that drives the cyclic expression of clock-controlled genes involved in various physiological functions and behavioral consequences. Recently, a growing number of studies have reported a molecular link between the circadian clock and metabolism. In the present study, we explored the regulatory effects of SI...