The zebrafish pineal complex consists of four cell types (rod and cone photoreceptors, projection neurons and parapineal neurons) that are derived from a single pineal complex anlage. After specification, parapineal neurons migrate unilaterally away from the rest of the pineal complex whereas rods, cones and projection neurons are non-migratory. The transcription factor Tbx2b is important for b...

The discussion of the relative merits of linearversus branching-time frameworks goes back to early 1980s. One of the beliefs dominating this discussion has been that “while specifying is easier in LTL (linear-temporal logic), verification is easier for CTL (branching-temporal logic)”. Indeed, the restricted syntax of CTL limits its expressive power and many important behaviors (e.g., strong fai...

Most radiation therapy machines are based on microwave linear accelerators. Manufacturing reliable accelerators and hence, reliable radiation therapy machines requires accurate, efficient, and well-controlled processes throughout the steps of electron accelerator manufacturing. Statistical Process Control (SPC) techniques are utilized at Siemens – Oncology Care Systems (OCS) to meet these requi...