Reasoning about real-time repetitions: terminating and nonterminating

It is common for a real-time system to contain a nonterminating process monitoring an input and controlling an output. Hence, a real-time program development method needs to support nonterminating repetitions. In this paper we develop a general proof rule for reasoning about possibly nonterminating repetitions. The rule makes use of a Floyd-Hoare-style loop invariant that is maintained by each iteration of the repetition, a Jones-style relation between the pre- and post-states on each iteration, and a deadline specifying an upper bound on the starting time of each iteration. The general rule is proved correct with respect to a predicative semantics. In the case of a terminating repetition the rule reduces to the standard rule extended to handle real time. Other special cases include repetitions whose bodies are guaranteed to terminate, nonterminating repetitions with the constant true as a guard, and repetitions whose termination is guaranteed by the inclusion of a fixed deadline. (C) 2002 Elsevier Science B.V. All rights reserved.

How multiple repetitions influence the processing of self-, famous and unknown names and faces: an ERP study.

Because we live in an extremely complex social environment, people require the ability to memorize hundreds or thousands of social stimuli. The aim of this study was to investigate the effect of multiple repetitions on the processing of names and faces varying in terms of pre-experimental familiarity. We measured both behavioral and electrophysiological responses to self-, famous and unknown names and faces in three phases of the experiment (in every phase, each type of stimuli was repeated a pre-determined number of times). We found that the negative brain potential in posterior scalp sites observed approximately 170 ms after the stimulus onset (N170) was insensitive to pre-experimental familiarity but showed slight enhancement with each repetition. The negative wave in the inferior-temporal regions observed at approximately 250 ms (N250) was affected by both pre-experimental (famous>unknown) and intra-experimental familiarity (the more repetitions, the larger N250). In addition, N170 and N250 for names were larger in the left inferior-temporal region, whereas right-hemispheric or bilateral patterns of activity for faces were observed. The subsequent presentations of famous and unknown names and faces were also associated with higher amplitudes of the positive waveform in the central-parietal sites analyzed in the 320-900 ms time-window (P300). In contrast, P300 remained unchanged after the subsequent presentations of self-name and self-face. Moreover, the P300 for unknown faces grew more quickly than for unknown names. The latter suggests that the process of learning faces is more effective than learning names, possibly because faces carry more semantic information.

Public Monitoring with Uncertainty in the Time Repetitions

This paper study repeated games where the time repetitions of the stage game are not known or controlled by the players. We call this feature random monitoring. Kawamori's (2004) shows that perfect random monitoring is always better than the canonical case. Surprisingly, when the monitoring is public, the result is less clear-cut and does not generalize in a straightforward way. Unless the public signals are sufficiently informative about player's actions and/or players are patient enough. In addition to a discount effect, that tends to consistently favor the provision of incentives, we found an information effect, associated with the time uncertainty on the distribution of public signals. Whether payoff improvements are or not possible, depends crucially on the direction and strength of these effects. JEL: C73, D82, D86. KEYWORDS: Repeated Games, Frequent Monitoring, Random Public Monitoring, Moral Hazard, Stochastic Processes.

An examination of the effects on learning seen in children afforded the opportunity to control the order of repetitions for three novel spatiotemporal sequences

Children were afforded the opportunity to control the order of repetitions for three novel spatiotemporal sequences. The following was predicted: a) children and adults in the self-regulated (SELF) groups would produce faster movement (MT) and reaction times (R T) and greater recall success (RS) during retention compared to the age-matched yoked (YOKE) groups; b) children would choose to switch sequences less often than adults; c) adults would produce faster MT and RT and greater RS than the children during acquisition and retention, independent of experimental group. During acquisition, no effects were seen for RS, however for MT and RT there was a main effect for age as well as block. During retention a main effect for practice condition was seen for RS and failed to reach statistical significance for MT and RT, thus partially supporting our first and second hypotheses. The third hypothesis was not supported.

‘Uncanny’ repetitions in Lillian Hellman’s 'The Children’s Hour'

This article addresses Lilian Hellman’s The Children’s Hour in terms of “the uncanny,” that is as a play concerned with doubling and instability. Although this is not in itself an original approach the play, it is claimed that the unsettling iterations of the work can be understood to extend further than has been read within the handful of critical accounts thus far produced. In following Sigmund Freud’s “The Uncanny” and Judith Butler’s ‘Imitation and Gender Insubordination” in their understanding of the disruptive effects of retrospection and repetition, the article works through various threats to identity and structure in Hellman’s play, concluding with a questioning account of recent moves to situate the work within a contextual frame of performance history.