Sets play a key role in foundations of mathematics. Why? To what extent is it an accident of history? Imagine that you have a chance to talk to mathematicians from a far away planet. Would their mathematics be setbased? What are the alternatives to the set-theoretic foundation of mathematics? Besides, set theory seems to play a significant role in computer science, in particular in database the...

Sir, T original article “The study of Hepatic dysfunction in Dengue” in the issue no.7 of July 2013 vol 61 invokes the rapid response to discuss the significance of liver enzymes in dengue fever and unusual features specifically mentioned in conclusions. Normal blood test for liver function tests include: ALT, AST, ALP, albumin, total protein. bilirubin, GGT, PT. However, it must be clarified t...

This study o ers a characterization of the collection of properties expressible in Hennessy-Milner Logic (HML) with recursion that can be tested using nite LTSs. In addition to actions used to probe the behaviour of the tested system, the LTSs that we use as tests will be able to perform a distinguished action nok to signal their dissatisfaction during the interaction with the tested process. A...

We describe a model to examine the cost-effectiveness of various laboratory-screening approaches to detect methicillin-resistant Staphylococcus aureus (MRSA). A critical literature review was used to derive relevant data on the sensitivity (X), specificity (S) and time to result (T) of different tests. Additional cost information was provided by a hospital. Tests were considered in four interac...

A faulty component that behaves consistently over time is said to behave non-intermittently. For any given set of inputs, such a component will always generate the same output. Assuming that components fail non-intermittently is a common simplifying strategy used by diagnosticians, because (1) many real-world devices often fail this way, (2) this strategy removes the need to repeat experiments,...

We discuss session types independently of any programming language. We then embody the notion in languages from three different paradigms: the pi calculus, a functional language, and an object-oriented language.

The direct-current magnetocardiogram, which shows the T-Q (baseline) shift, is used to clarify the cause of S-T depression induced by stress testing in the human heart. Measurements are made of the amount of baseline shift associated with the S-T depresion. Results are presented of a well-documented patient, with typical coronary artery disease, undergoing a two-step exercise test. Before exerc...