Reality-based interaction affecting mental workload in virtual reality mental arithmetic training

ABSTRACT

The concept of digital game-based learning (DGBL) evolves rapidly together with technological enhancements of virtual reality (VR) and smart phones. However, the mental workload (MWL) that VR-training applications demand and motivational qualities originating from user experience (UX) should be identified in order to create effective and enjoyable training/learning challenges that fit with individual users’ capabilities. This study examined the effects of reality-based interaction (RBI) and VR on measures of student motivation and MWL, in a mental arithmetic game for secondary school pupils. In a randomised controlled trial with sixty school children, a mental arithmetic game was tested with three different interaction and two different presentation methods – VR RBI, VR head-mounted-display tapping and tablet flick-gesture. Results found a significant effect of RBI on MWL but no differences in enjoyment of training were found between VR-experience and tablet training-experience. In fact, adding the gaming-context to the mental arithmetic task created an enjoyable, motivating experience regardless of presentation or interaction-style.     

Disappearing subdural hematomas in children

Serum glucose and plasma C-peptide response to i.v. glucagon administration was evaluated in 24 healthy dogs, 12 dogs with untreated diabetes mellitus, 30 dogs with insulin-treated diabetes mellitus, and 8 dogs with naturally acquired hyperadrenocorticism. Serum insulin response also was evaluated in all dogs, except 20 insulin-treated diabetic dogs. Blood samples for serum glucose, serum insulin, and plasma C-peptide determinations were collected immediately before and 5, 10, 20, 30, and (for healthy dogs) 60 minutes after i.v. administration of 1 mg glucagon per dog. In healthy dogs, the patterns of glucagon-stimulated changes in plasma C-peptide and serum insulin concentrations were identical, with single peaks in plasma C-peptide and serum insulin concentrations observed approximately 15 minutes after i.v. glucagon administration. Mean plasma C-peptide and serum insulin concentrations in untreated diabetic dogs, and mean plasma C-peptide concentration in insulin-treated diabetic dogs did not increase significantly after i.v. glucagon administration. The validity of serum insulin concentration results was questionable in 10 insulin-treated diabetic dogs, possibly because of anti-insulin antibody interference with the insulin radioimmunoassay. Plasma C-peptide and serum insulin concentrations were significantly increased (P < .001) at all blood sampling times after glucagon administration in dogs with hyperadrenocorticism, compared with healthy dogs, and untreated and insulin-treated diabetic dogs. Five-minute C-peptide increment, C-peptide peak response, total C-peptide secretion, and, for untreated diabetic dogs, insulin peak response and total insulin secretion were significantly lower (P < .00l) in diabetic dogs, compared with healthy dogs, whereas these same parameters were significantly increased (P < .01) in dogs with hyperadrenocorticism, compared with healthy dogs, and untreated and insulin-treated diabetic dogs. Although not statistically significant, there was a trend for higher plasma C-peptide concentrations in untreated diabetic dogs compared with insulin-treated diabetic dogs during the glucagon stimulation test. Baseline C-peptide concentrations also were significantly higher (P < .05) in diabetic dogs treated with insulin for less than 6 months, compared with diabetic dogs treated for longer than 1 year. Finally, 7 of 42 diabetic dogs had baseline plasma C-peptide concentrations greater than 2 SD (ie, > 0.29 pmol/mL) above the normal mean plasma C-peptide concentration; values that were significantly higher, compared with the results in healthy dogs (P < .001) and with the other 35 diabetic dogs (P < .001). In summary, measurement of plasma C-peptide concentration during glucagon stimulation testing allowed differentiation among healthy dogs, dogs with impaired beta-cell function (ie, diabetes mellitus), and dogs with increased beta-cell responsiveness to glucagon (ie, insulin resistance). Plasma C-peptide concentrations during glucagon stimulation testing were variable in diabetic dogs and may represent dogs with type-1 and type-2 diabetes or, more likely, differences in severity of beta-cell loss in dogs with type-1 diabetes.     

In-Situ and Real-Time Investigation of Columnar-to-Equiaxed Transition in Metallic Alloy

In this article, we present a review of observations during Al-3.5 wt pct Ni alloy solidi.cation experiments performed at the European Synchrotron Radiation Facility (ESRF) in Grenoble. These experiments provide direct access to dynamical phenomena during columnar growth (initial transient and breakdown of a planar solid-liquid interface), and for the first time to the transition from columnar-to-equiaxed microstructure (nucleation ahead of a columnar front and blocking of a columnar front by an equiaxed microstructure) and fully equiaxed growth (propagation of an effective front). Based on these experimental observations, critical parameters such as columnar growth velocity variation during the transition or equiaxed-grain diameter are measured and discussed. This article is based on a presentation made in the symposium entitled “Solidi.cation Modeling and Microstructure Formation: In Honor of Prof. John Hunt,” which occurred March 13–15, 2006, during the TMS Spring Meeting in San Antonio, Texas, under the auspices of the TMS Materials Processing and Manufacturing Division, Solidification Committee.     

Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.