This note describes a direct relationship between rank predicates and progress measures in concurrent-program verification.

We consider two-player games of perfect information of length some cardinal κ. It is well-known that for κ ≥ ω1 the full axiom of determinacy for these games fails, thus we investigate three weaker forms of it. We obtain the measurability of κ under DCκ-the axiom of dependent choices generalized to κ. We generalize the notions of perfect and meager sets and provide characterizations with some s...

This study compared three pedagogical approaches on the acquisition and robust understanding of the control of variables strategy (CVS). In Sao Pedro et al. (2009), we showed that two direct learning conditions (with and without reification) significantly outperformed the discovery learning condition for constructing unconfounded experiments starting from an initially multiply confounded experi...

The join-calculus was introduced as anèxtended subset' of the asynchronous-calculus by amalgamating the three operators for input, restriction, and replication into a single operator, called deenition, but with the additional capability to describe the atomic joint reception of values from two diierent channels. In this paper, we just extend the asynchronous-calculus with joint input. By studyi...

of the Dissertation Simplified Semantics and Debugging of Concurrent Programs via Targeted Race Detection

Intrinsic dynamics of the central vestibular system (CVS) appear to be at least partly determined by the symmetries of its connections. The CVS contributes to whole-body functions such as upright balance and maintenance of gaze direction. These functions coordinate disparate senses (visual, inertial, somatosensory, auditory) and body movements (leg, trunk, head/neck, eye). They are also unified...