Complexity Bounds for Ordinal-Based Termination

`What more than its truth do we know if we have a proof of a theorem in a given formal system?' We examine Kreisel's question in the particular context of program termination proofs, with an eye to deriving complexity bounds on program running times. Our main tool for this are length function theorems, which provide complexity bounds on the use of well quasi orders. We illustrate how to prove such theorems in the simple yet until now untreated case of ordinals. We show how to apply this new theorem to derive complexity bounds on programs when they are proven to terminate thanks to a ranking function into some ordinal.Comment: Invited talk at the 8th International Workshop on Reachability Problems (RP 2014, 22-24 September 2014, Oxford

Motivation profiles in sport: A self-determination theory perspective

The present study examined the link between motivation profiles among adult sports participants and the outcomes of enjoyment, effort, positive and negative affect, attitude toward sport participation, intention to continue sport participation, satisfaction, and persistence in sport. Two samples of participants (n = 590 and n = 555) completed the Sport Motivation Scale and a range of self-report measures to assess the outcome variables. Exploratory cluster analyses applied to Sample 1 and confirmatory cluster analysis applied to Sample 2 identified two clusters of sport participants. The first comprised participants with high scores on both non self-determined and self-determined motives. The second comprised participants with high scores on self-determined motives but low scores on non self- determined motives. Participants in the first cluster scored higher on all outcome variables. The results are discussed with reference to a more in-depth understanding of the motivation dynamics of sport participation based on Self-Determination Theory

Virtual unfolding of folded papyri

The historical importance of ancient manuscripts is unique since they provide information about the heritage of ancient cultures. Often texts are hidden in rolled or folded documents. Due to recent improvements in sensitivity and resolution, spectacular disclosures of rolled hidden texts were possible by X-ray tomography. However, revealing text on folded manuscripts is even more challenging. Manual unfolding is often too risky in view of the fragile condition of fragments, as it can lead to the total loss of the document. X-ray tomography allows for virtual unfolding and enables non-destructive access to hidden texts. We have recently demonstrated the procedure and tested unfolding algorithms on a mockup sample. Here, we present results on unfolding ancient papyrus packages from the papyrus collection of the Musée du Louvre, among them objects folded along approximately orthogonal folding lines. In one of the packages, the first identification of a word was achieved, the Coptic word for “Lord”

Associating Facial Expressions and Upper-Body Gestures with Learning Tasks for Enhancing Intelligent Tutoring Systems

Learning involves a substantial amount of cognitive, social and emotional states. Therefore, recognizing and understanding these states in the context of learning is key in designing informed interventions and addressing the needs of the individual student to provide personalized education. In this paper, we explore the automatic detection of learner’s nonverbal behaviors involving hand-over-face gestures, head and eye movements and emotions via facial expressions during learning. The proposed computer vision-based behavior monitoring method uses a low-cost webcam and can easily be integrated with modern tutoring technologies. We investigate these behaviors in-depth over time in a classroom session of 40 minutes involving reading and problem-solving exercises. The exercises in the sessions are divided into three categories: an easy, medium and difficult topic within the context of undergraduate computer science. We found that there is a significant increase in head and eye movements as time progresses, as well as with the increase of difficulty level. We demonstrated that there is a considerable occurrence of hand-over-face gestures (on average 21.35%) during the 40 minutes session and is unexplored in the education domain. We propose a novel deep learning approach for automatic detection of hand-over-face gestures in images with a classification accuracy of 86.87%. There is a prominent increase in hand-over-face gestures when the difficulty level of the given exercise increases. The hand-over-face gestures occur more frequently during problem-solving (easy 23.79%, medium 19.84% and difficult 30.46%) exercises in comparison to reading (easy 16.20%, medium 20.06% and difficult 20.18%)

Action planning with two-handed tools

In tool use, the intended external goals have to be transformed into bodily movements by taking into account the target-to-movement mapping implemented by the tool. In bimanual tool use, this mapping may depend on the part of the tool that is operated and the effector used (e.g. the left and right hand at the handle bar moving in opposite directions in order to generate the same bicycle movement). In our study, we investigated whether participants represent the behaviour of the tool or only the effector-specific mapping when using two-handed tools. In three experiments, participants touched target locations with a two-jointed lever, using either the left or the right hand. In one condition, the joint of the lever was constant and switching between hands was associated with switching the target-to-movement-mapping, whereas in another condition, switching between hands was associated with switching the joint, but the target-to-movement-mapping remained constant. Results indicate pronounced costs of switching hands in the condition with constant joint, whereas they were smaller with constant target-to-movement mapping. These results suggest that participants have tool-independent representations of the effector-specific mappings

Electromyographic Activity of Hand Muscles in a Motor Coordination Game: Effect of Incentive Scheme and Its Relation with Social Capital

Background. A vast body of social and cognitive psychology studies in humans reports evidence that external rewards, typically monetary ones, undermine intrinsic motivation. These findings challenge the standard selfish-rationality assumption at the core of economic reasoning. In the present work we aimed at investigating whether the different modulation of a given monetary reward automatically and unconsciously affects effort and performance of participants involved in a game devoid of visual and verbal interaction and without any perspective-taking activity. Methodology/Principal Findings Twelve pairs of participants were submitted to a simple motor coordination game while recording the electromyographic activity of First Dorsal Interosseus (FDI), the muscle mainly involved in the task. EMG data show a clear effect of alternative rewards strategies on subjects' motor behavior. Moreover, participants' stock of relevant past social experiences, measured by a specifically designed questionnaire, was significantly correlated with EMG activity, showing that only low social capital subjects responded to monetary incentives consistently with a standard rationality prediction. Conclusions/Significance Our findings show that the effect of extrinsic motivations on performance may arise outside social contexts involving complex cognitive processes due to conscious perspective-taking activity. More importantly, the peculiar performance of low social capital individuals, in agreement with standard economic reasoning, adds to the knowledge of the circumstances that makes the crowding out/in of intrinsic motivation likely to occur. This may help in improving the prediction and accuracy of economic models and reconcile this puzzling effect of external incentives with economic theory

Environmental Risk Assessment of Fluctuating Diazinon Concentrations in an Urban and Agricultural Catchment Using Toxicokinetic–Toxicodynamic Modeling

Temporally resolved environmental risk assessment of fluctuating concentrations of micropollutants is presented. We separated the prediction of toxicity over time from the extrapolation from one to many species and from acute to sublethal effects. A toxicokinetic–toxicodynamic (TKTD) model predicted toxicity caused by fluctuating concentrations of diazinon, measured by time-resolved sampling over 108 days from three locations in a stream network, representing urban, agricultural and mixed land use. We calculated extrapolation factors to quantify variation in toxicity among species and effect types based on available toxicity data, while correcting for different test durations with the TKTD model. Sampling from the distribution of extrapolation factors and prediction of time-resolved toxicity with the TKTD model facilitated subsequent calculation of the risk of undesired toxic events. Approximately one-fifth of aquatic organisms were at risk and fluctuating concentrations were more toxic than their averages. Contribution of urban and agricultural sources of diazinon to the overall risk varied. Thus using fixed concentrations as water quality criteria appears overly simplistic because it ignores the temporal dimension of toxicity. However, the improved prediction of toxicity for fluctuating concentrations may be small compared to uncertainty due to limited diversity of toxicity data to base the extrapolation factors on

Iron Status Predicts Treatment Failure and Mortality in Tuberculosis Patients: A Prospective Cohort Study from Dar es Salaam, Tanzania

Experimental data suggest a role for iron in the course of tuberculosis (TB) infection, but there is limited evidence on the potential effects of iron deficiency or iron overload on the progression of TB disease in humans. The aim of the present analysis was to examine the association of iron status with the risk of TB progression and death.\ud We analyzed plasma samples and data collected as part a randomized micronutrient supplementation trial (not including iron) among HIV-infected and HIV-uninfected TB patients in Dar es Salaam, Tanzania. We prospectively related baseline plasma ferritin concentrations from 705 subjects (362 HIV-infected and 343 HIV-uninfected) to the risk of treatment failure at one month after initiation, TB recurrence and death using binomial and Cox regression analyses. Overall, low (plasma ferritin<30 µg/L) and high (plasma ferritin>150 µg/L for women and>200 µg/L for men) iron status were seen in 9% and 48% of patients, respectively. Compared with normal levels, low plasma ferritin predicted an independent increased risk of treatment failure overall (adjusted RR = 1.95, 95% CI: 1.07 to 3.52) and of TB recurrence among HIV-infected patients (adjusted RR = 4.21, 95% CI: 1.22 to 14.55). High plasma ferritin, independent of C-reactive protein concentrations, was associated with an increased risk of overall mortality (adjusted RR = 3.02, 95% CI: 1.95 to 4.67). Both iron deficiency and overload exist in TB patients and may contribute to disease progression and poor clinical outcomes. Strategies to maintain normal iron status in TB patients could be helpful to reduce TB morbidity and mortality