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 ...

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...

In order to achieve the timing goals needed in their ASIC designs, many engineers decide to include phase-locked loops (PLLs). Phaselocked loops have a number of desirable properties that include the ability to multiply clock frequencies, correct clock duty cycles, and cancel out clock distribution delays. These properties allow designers to use inexpensive, low-frequency crystals as their off-...