Using an Augmented Reality App for Flight Training

As the global demand for aviation pilots continues to drastically increase, flight schools are experiencing a large influx of ab-initio flight students. Such flight training programs are seeking innovative, cutting-edge technologies to support these students and expedite their flight training. The ARAir app, a custom app developed by our team, was designed for ab-initio pilots training at the Embry-Riddle Prescott campus. The initial implementation in Spring 2021 included phonetic alphabet practice and strategic radiotelephony that allows students to practice in a self-paced environment with immediate corrective feedback at various levels of complexity. Students can compete against themselves to improve phonetic alphabet knowledge, create initial radio transmissions, read back ATC instructions, and manipulate an aircraft to the correct intended location at the KPRC airport. Based on the survey and interview feedback collected after the initial implementation, additional support for checklist memorization using the Augmented Reality (AR) feature was added to the ARAir app. This presentation will report students’ learning experience with the improved ARAir in the second implementation in Spring 2022

Independence in CLP Languages

Studying independence of goals has proven very useful in the context of logic programming. In particular, it has provided a formal basis for powerful automatic parallelization tools, since independence ensures that two goals may be evaluated in parallel while preserving correctness and eciency. We extend the concept of independence to constraint logic programs (CLP) and prove that it also ensures the correctness and eciency of the parallel evaluation of independent goals. Independence for CLP languages is more complex than for logic programming as search space preservation is necessary but no longer sucient for ensuring correctness and eciency. Two additional issues arise. The rst is that the cost of constraint solving may depend upon the order constraints are encountered. The second is the need to handle dynamic scheduling. We clarify these issues by proposing various types of search independence and constraint solver independence, and show how they can be combined to allow dierent optimizations, from parallelism to intelligent backtracking. Sucient conditions for independence which can be evaluated \a priori" at run-time are also proposed. Our study also yields new insights into independence in logic programming languages. In particular, we show that search space preservation is not only a sucient but also a necessary condition for ensuring correctness and eciency of parallel execution

On Upward Drawings of Trees on a Given Grid

Computing a minimum-area planar straight-line drawing of a graph is known to be NP-hard for planar graphs, even when restricted to outerplanar graphs. However, the complexity question is open for trees. Only a few hardness results are known for straight-line drawings of trees under various restrictions such as edge length or slope constraints. On the other hand, there exist polynomial-time algorithms for computing minimum-width (resp., minimum-height) upward drawings of trees, where the height (resp., width) is unbounded. In this paper we take a major step in understanding the complexity of the area minimization problem for strictly-upward drawings of trees, which is one of the most common styles for drawing rooted trees. We prove that given a rooted tree $T$ and a $W\times H$ grid, it is NP-hard to decide whether $T$ admits a strictly-upward (unordered) drawing in the given grid.Comment: Appears in the Proceedings of the 25th International Symposium on Graph Drawing and Network Visualization (GD 2017

An assertion language for constraint logic programs

In an advanced program development environment, such as that discussed in the introduction of this book, several tools may coexist which handle both the program and information on the program in different ways. Also, these tools may interact among themselves and with the user. Thus, the different tools and the user need some way to communicate. It is our design principie that such communication be performed in terms of assertions. Assertions are syntactic objects which allow expressing properties of programs. Several assertion languages have been used in the past in different contexts, mainly related to program debugging. In this chapter we propose a general language of assertions which is used in different tools for validation and debugging of constraint logic programs in the context of the DiSCiPl project. The assertion language proposed is parametric w.r.t. the particular constraint domain and properties of interest being used in each different tool. The language proposed is quite general in that it poses few restrictions on the kind of properties which may be expressed. We believe the assertion language we propose is of practical relevance and appropriate for the different uses required in the tools considered

Generation of reactive oxygen species in 1-methyl-4-phenylpyridinium (MPP+) treated dopaminergic neurons occurs as an NADPH oxidase-dependent two-wave cascade

<p>Abstract</p> <p>Background</p> <p>Reactive oxygen species (ROS), superoxide and hydrogen peroxide (H₂O₂), are necessary for appropriate responses to immune challenges. In the brain, excess superoxide production predicts neuronal cell loss, suggesting that Parkinson's disease (PD) with its wholesale death of dopaminergic neurons in substantia nigra pars compacta (nigra) may be a case in point. Although microglial NADPH oxidase-produced superoxide contributes to dopaminergic neuron death in an MPTP mouse model of PD, this is secondary to an initial die off of such neurons, suggesting that the initial MPTP-induced death of neurons may be via activation of NADPH oxidase in neurons themselves, thus providing an early therapeutic target.</p> <p>Methods</p> <p>NADPH oxidase subunits were visualized in adult mouse nigra neurons and in N27 rat dopaminergic cells by immunofluorescence. NADPH oxidase subunits in N27 cell cultures were detected by immunoblots and RT-PCR. Superoxide was measured by flow cytometric detection of H₂O₂-induced carboxy-H₂-DCFDA fluorescence. Cells were treated with MPP+ (MPTP metabolite) following siRNA silencing of the Nox2-stabilizing subunit p22^phox, or simultaneously with NADPH oxidase pharmacological inhibitors or with losartan to antagonize angiotensin II type 1 receptor-induced NADPH oxidase activation.</p> <p>Results</p> <p>Nigral dopaminergic neurons <it>in situ</it> expressed three subunits necessary for NADPH oxidase activation, and these as well as several other NADPH oxidase subunits and their encoding mRNAs were detected in unstimulated N27 cells. Overnight MPP+ treatment of N27 cells induced Nox2 protein and superoxide generation, which was counteracted by NADPH oxidase inhibitors, by siRNA silencing of p22^phox, or losartan. A two-wave ROS cascade was identified: 1) as a first wave, mitochondrial H₂O₂production was first noted at three hours of MPP+ treatment; and 2) as a second wave, H₂O₂levels were further increased by 24 hours. This second wave was eliminated by pharmacological inhibitors and a blocker of protein synthesis.</p> <p>Conclusions</p> <p>A two-wave cascade of ROS production is active in nigral dopaminergic neurons in response to neurotoxicity-induced superoxide. Our findings allow us to conclude that superoxide generated by NADPH oxidase present in nigral neurons contributes to the loss of such neurons in PD. Losartan suppression of nigral-cell superoxide production suggests that angiotensin receptor blockers have potential as PD preventatives.</p

Peri-Operative Risk Factors Associated with Post-Operative Cognitive Dysfunction (POCD): An Umbrella Review of Meta-Analyses of Observational Studies

This umbrella review aimed to systematically identify the peri-operative risk factors associated with post-operative cognitive dysfunction (POCD) using meta-analyses of observational studies. To date, no review has synthesised nor assessed the strength of the available evidence examining risk factors for POCD. Database searches from journal inception to December 2022 consisted of systematic reviews with meta-analyses that included observational studies examining pre-, intra- and post-operative risk factors for POCD. A total of 330 papers were initially screened. Eleven meta-analyses were included in this umbrella review, which consisted of 73 risk factors in a total population of 67,622 participants. Most pertained to pre-operative risk factors (74%) that were predominantly examined using prospective designs and in cardiac-related surgeries (71%). Overall, 31 of the 73 factors (42%) were associated with a higher risk of POCD. However, there was no convincing (class I) or highly suggestive (class II) evidence for associations between risk factors and POCD, and suggestive evidence (class III) was limited to two risk factors (pre-operative age and pre-operative diabetes). Given that the overall strength of the evidence is limited, further large-scale studies that examine risk factors across various surgery types are recommended

Autonomous clustering using rough set theory

This paper proposes a clustering technique that minimises the need for subjective human intervention and is based on elements of rough set theory. The proposed algorithm is unified in its approach to clustering and makes use of both local and global data properties to obtain clustering solutions. It handles single-type and mixed attribute data sets with ease and results from three data sets of single and mixed attribute types are used to illustrate the technique and establish its efficiency

Please mind the gap: students’ perspectives of the transition in academic skills between A-level and degree level geography

This paper explores first-year undergraduates’ perceptions of the transition from studying geography at pre-university level to studying for a degree. This move is the largest step students make in their education, and the debate about it in the UK has been reignited due to the government’s planned changes to A-level geography. However, missing from most of this debate is an appreciation of the way in which geography students themselves perceive their transition to university. This paper begins to rectify this absence. Using student insights, we show that their main concern is acquiring the higher level skills required for university learning