Marking the HIV hideout

Atif Usman et al: Euglycemia; A hideout for Diabetic ketoacidosis

An episode of diabetic ketoacidosis is normally initiated with hyperglycemia. However, hyperglycemia may not always be an indicator as ketoacidosis can occur with normal glycemic level as well. An elderly female with Chinese origin and history of type II diabetes, hypertension, dyslipidemia and ischemic heart disease was admitted to hospital with complaint of fever, urinary inconsistency and lo...

Superbug Hideout: Finding MRSA in U.S.Wastewater Treatment Plants

For many years, the “superbug” methicillin-resistant Staphylococcus aureus (MRSA) was confined to hospital patients, but since the 1990s it has been infecting otherwise healthy people in settings such as schools and locker rooms. Researchers now report the discovery of MRSA in U.S. wastewater treatment plants (WWTPs), identifying another possible environmental reservoir for the bacteria [EHP 12...

Reproducibility of the Empty Marking

The main theorem of the paper states that the empty marking ∅ is reproducible in a p/t-net N if and only if there are reproducing T-invariants whose net representations have neither traps nor co-traps (deadlocks). This result is to be seen in connection to modeling processes, since all processes which have a start and a goal event usually reproduce the empty marking.

Marking time

Next, we discuss the point-based and interval-based versions of time. These were studied in Johan van Benthem’s book The logic of time and in several papers appearing around the same time: Vilain [1982], and Allen [1983], developed an interval algebra; Moszkowski and Manna [1983], as well as Schwartz, Melliar-Smith and Vogt [1983], advocated interval-based reasoning for hardware. The prohibitiv...

The Emergence of Argument Marking