The variety of variables in automated real-time refinement

The refinement calculus is a well-established theory for deriving program code from specifications. Recent research has extended the theory to handle timing requirements, as well as functional ones, and we have developed an interactive programming tool based on these extensions. Through a number of case studies completed using the tool, this paper explains how the tool helps the programmer by supporting the many forms of variables needed in the theory. These include simple state variables as in the untimed calculus, trace variables that model the evolution of properties over time, auxiliary variables that exist only to support formal reasoning, subroutine parameters, and variables shared between parallel processes.

Physiological responses to repeated bouts of high-intensity ultraendurance cycling - a field study case report

The present study aimed to 1) examine the relationship between laboratory-based measures and high-intensity ultraendurance (HIU) performance during an intermittent 24-h relay ultraendurance mountain bike race (similar to20 min cycling, similar to60min recovery), and 2) examine physiological and performance based changes throughout the HIU event. Prior to the HIU event, four highly-trained male cyclists (age = 24.0 +/- 2.1 yr; mass = 75.0 +/- 2.7 kg; (V)over dot O-2peak = 70 +/- 3 ml.kg(-1).min(-1)) performed 1) a progressive exercise test to determine peak Volume of oxygen uptake ((V)over dot O-2peak), peak power output (PPO), and ventilatory threshold (T-vent), 2) time-to-fatigue tests at 100% (TF100) and 150% of PPO (TF150), and 3) a laboratory simulated 40-km time trial (TT40). Blood lactate (Lac(-)), haematocrit and haemoglobin were measured at 6-h intervals throughout the HIU event, while heart rate (HR) was recorded continuously. Intermittent HIU performance, performance HR, recovery HR, and Lac declined (P < 0.05), while plasma volume expanded (P < 0.05) during the HIU event. TF100 was related to the decline in lap time (r = -0.96; P < 0.05), and a trend (P = 0.081) was found between TF150 and average intermittent HIU speed (r = 0.92). However, other measures (V)over dot O-2peak, PPO, T-vent, and TT40) were not related to HIU performance. Measures of high-intensity endurance performance (TF100, TF150) were better predictors of intermittent HIU performance than traditional laboratory-based measures of aerobic capacity.

Mental time travel in animals?

Are humans alone in their ability to reminisce about the past and imagine the future? Recent evidence suggests that food-storing birds (scrub jays) have access to information about what they have stored where and when. This has raised the possibility of mental time travel (MTT) in animals and sparked similar research with other species. Here we caution that such data do not provide convincing evidence for MTT. Examination of characteristics of human MTT (e.g. non-verbal declaration, generativity, developmental prerequisites) points to other avenues as to how a case for animal MTT could be made. In light of the current lack of evidence, however, we maintain that MTT is a uniquely human characteristic.