Specification and verification challenges for sequential object-oriented programs

The state of knowledge in how to specify sequential programs in object-oriented languages such as Java and C# and the state of the art in automated verification tools for such programs have made measurable progress in the last several years. This paper describes several remaining challenges and approaches to their solutio

Continuous upflows and sporadic downflows observed in active regions

We present a study of the temporal evolution of coronal loops in active regions and its implications for the dynamics in coronal loops. We analyzed images of the Atmospheric Imaging Assembly (AIA) on the Solar Dynamics Observatory (SDO) at multiple temperatures to detect apparent motions in the coronal loops. Quasi-periodic brightness fluctuations propagate upwards from the loop footpoint in hot emission at 1MK, while sporadic downflows are seen in cool emission below 1MK. The upward motion in hot emission increases just after the cool downflows. The apparent propagating pattern suggests a hot upflow from the loop footpoints, and is considered to supply hot plasma into the coronal loop, but a wavelike phenomenon cannot be ruled out. Coronal condensation occasionally happens in the coronal loop, and the cool material flows down to the footpoint. Emission from cool plasma could have a significant contribution to hot AIA channels in the event of coronal condensation.Comment: 5 pages, 6 figures, A&A in pres

Comparative study of hormonal counterregulation during GCIIS-guided hypoglycemia tests using human Proinsulin and Human Insulin (recombinant DNA)

Schlechte Scanvorlage

Mechanisierte Hormon-Analytik mittels simultaner Säulenchromatographie

Peer Reviewe