Miracle-dz/UniFAR-FTUs huggingface dataset:
Game-Based Learning in Higher Education The Good, the Bad and the Ugly

Games are an important tool for stimulating innovation and growth. The benefits of game-based learning are well documented in the literature, however, there are downsides, as with any educational technique. Not to mention the contexts and reasons for failure and success are not always so transparent. One of the core argument around the effectiveness of game-based learning compared to traditional mediums is founded on the principal that games offer a more active and engaging learning experience (compared to students passively listening or watching). Highlighting that learning is not a spectator’s sport and game-based techniques epitomizes learning in an applied manner. This paper examines what games-based learning techniques are, how they work, and how they are used in a higher educational setting. We also review a variety of real-world problems and dangers, including recent breakthroughs using advancing technologies like virtual reality, and what this means for learners today and in the foreseeable future.
The Putative RNA Helicase HELZ Promotes Cell Proliferation, Translation Initiation and Ribosomal Protein S6 Phosphorylation

The hypoxia–inducible transcription factor (HIF) is a key component of the cellular adaptation mechanisms to hypoxic conditions. HIFα subunits are degraded by prolyl-4-hydroxylase domain (PHD) enzyme-dependent prolyl-4-hydroxylation of LxxLAP motifs that confer oxygen-dependent proteolytic degradation. Interestingly, only three non-HIFα proteins contain two conserved LxxLAP motifs, including the putative RNA helicase with a zinc finger domain HELZ. However, HELZ proteolytic regulation was found to be oxygen-independent, supporting the notion that a LxxLAP sequence motif alone is not sufficient for oxygen-dependent protein destruction. Since biochemical pathways involving RNA often require RNA helicases to modulate RNA structure and activity, we used luciferase reporter gene constructs and metabolic labeling to demonstrate that HELZ overexpression activates global protein translation whereas RNA-interference mediated HELZ suppression had the opposite effect. Although HELZ interacted with the poly(A)-binding protein (PABP) via its PAM2 motif, PABP was dispensable for HELZ function in protein translation. Importantly, downregulation of HELZ reduced translational initiation, resulting in the disassembly of polysomes, in a reduction of cell proliferation and hypophosphorylation of ribosomal protein S6.
What are Polymorphic Ambients ?

The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [CG98]. We consider an Ambient Calculus whe re ambients transport and exchange programs rather that just inert data. We propose different senses in w hich such a calculus can be said to be polymorphic, and design accordingly apolymorphictype system for it. Our type system assigns typesto embedded programs and what we callbehaviorsto processes; a denotational semantics of behaviors is then proposed, here calledtrace semantics , underlying much of the remaining analysis. A Subject Reduct ion property for our polymorphically-typed calculus is stated. Based on techniques borrowed from finite automata th eory, type-checking of fully type-annotated processes is shown to be decidable; the time complexity of our decision pr ocedure is exponential (this is a worst-case in theory, arguably not encountered in practice). Our polymorphicall y-typed calculus is a conservative extension of the type system for the Ambient Calculus originally proposed by Card elli and Gordon [CG99, CGG99].
The ‘Swallow Tail’ Appearance of the Healthy Nigrosome – A New Accurate Test of Parkinson's Disease: A Case-Control and Retrospective Cross-Sectional MRI Study at 3T

There is no well-established in vivo marker of nigral degeneration in Parkinson's disease (PD). An ideal imaging marker would directly mirror the loss of substantia nigra dopaminergic neurones, which is most prominent in sub-regions called nigrosomes. High-resolution, iron-sensitive, magnetic resonance imaging (MRI) at 7T allows direct nigrosome-1 visualisation in healthy people but not in PD. Here, we investigated the feasibility of nigrosome-1 detection using 3T - susceptibility-weighted (SWI) MRI and the diagnostic accuracy that can be achieved for diagnosing PD in a clinical population. 114 high-resolution 3T – SWI-scans were reviewed consisting of a prospective case-control study in 19 subjects (10 PD, 9 controls) and a retrospective cross-sectional study in 95 consecutive patients undergoing routine clinical SWI-scans (>50 years, 9 PD, 81 non-PD, 5 non-diagnostic studies excluded). Two raters independently classified subjects into PD and non-PD according to absence or presence of nigrosome-1, followed by consensus reading. Diagnostic accuracy was assessed against clinical diagnosis as gold standard. Absolute inter- and intra-rater agreement was ≥94% (kappa≥0.82, p<0.001). In the prospective study 8/9 control and 8/10 PD; and in the retrospective study 77/81 non-PD and all 9 PD subjects were correctly classified. Diagnostic accuracy of the retrospective cohort was: sensitivity 100%, specificity 95%, NPV 1, PPV 0.69 and accuracy 96% which dropped to 91% when including non-diagnostic scans (‘intent to diagnose’). The healthy nigrosome-1 can be readily depicted on high-resolution 3T - SWI giving rise to a ‘swallow tail’ appearance of the dorsolateral substantia nigra, and this feature is lost in PD. Visual radiological assessment yielded a high diagnostic accuracy for PD vs. an unselected clinical control population. Assessing the substantia nigra on SWI for the typical ‘swallow tail’ appearance has potential to become a new and easy applicable 3T MRI diagnostic tool for nigral degeneration in PD.
Associations between sexually transmitted infections, high-risk human papillomavirus infection, and abnormal cervical Pap smear results in OB/GYN outpatients

Objective This study aimed to examine the meaning and usefulness of sexually transmitted infection (STI) test when caring for patients who have abnormal cervical cytology and/or positive high-risk human papillomavirus (HPV) DNA test results. Methods Among patients who underwent liquid-based cervical cytology and HPV DNA tests at the Obstetrics and Gynecology outpatient clinic, 800 patients who showed abnormal cervical cytology were compared with 200 patients in the control group. Both groups were simultaneously tested via multiplex real-time polymerase chain reaction for seven types of STI-causative microorganisms. Results The positive rate of high-risk HPV infection in total STIs positive group was 1.47 times higher than that of total STIs negative group. The probability of a cytological diagnosis of a grade equal to or higher than atypical squamous cells-cannot exclude high grade squamous intraepithelial lesion (ASC-H) was significantly higher in patients testing positive for total STIs (1.46 times), Chlamydia trachomatis (3.21 times), or Mycoplasma genitalicum (3.58 times) than in those testing negative. The total STIs positive rate was significantly higher for those having a cytological diagnosis of a grade equal to or higher than atypical squamous cells of undetermined significance (ASC-US) when high-risk HPV test result was negative. Conclusion Correlations were present not only between STIs and high-risk HPV infection but also between abnormal cervical cytology and STIs. Therefore, additional evaluation of STIs will be helpful to appropriately diagnose and treat patients with abnormal cervical cytology, positive results on high-risk HPV DNA test, or a cytological diagnosis of ASC-US despite negative high-risk HPV DNA test result.
Bayesian inference of the Cole–Cole parameters from time‐ and frequency‐domain induced polarization

The inversion of induced‐polarization parameters is important in the characterization of the frequency electrical response of porous rocks. A Bayesian approach is developed to invert these parameters assuming the electrical response is described by a Cole–Cole model in the time or frequency domain. We show that the Bayesian approach provides a better analysis of the uncertainty associated with the parameters of the Cole–Cole model compared with more conventional methods based on the minimization of a cost function using the least‐squares criterion. This is due to the strong non‐linearity of the inverse problem and non‐uniqueness of the solution in the time domain. The Bayesian approach consists of propagating the information provided by the measurements through the model and combining this information with a priori knowledge of the data. Our analysis demonstrates that the uncertainty in estimating the Cole–Cole model parameters from induced‐polarization data is much higher for measurements performed in the time domain than in the frequency domain. Our conclusion is that it is very difficult, if not impossible, to retrieve the correct value of the Cole–Cole parameters from time‐domain induced‐polarization data using standard least‐squares methods. In contrast, the Cole–Cole parameters can be more correctly inverted in the frequency domain. These results are also valid for other models describing the induced‐polarization spectral response, such as the Cole–Davidson or power law models.
Fundamental Flaws of Hormesis for Public Health Decisions

Hormesis (defined operationally as low-dose stimulation, high-dose inhibition) is often used to promote the notion that while high-level exposures to toxic chemicals could be detrimental to human health, low-level exposures would be beneficial. Some proponents claim hormesis is an adaptive, generalizable phenomenon and argue that the default assumption for risk assessments should be that toxic chemicals induce stimulatory (i.e., “beneficial”) effects at low exposures. In many cases, nonmonotonic dose–response curves are called hormetic responses even in the absence of any mechanistic characterization of that response. Use of the term “hormesis,” with its associated descriptors, distracts from the broader and more important questions regarding the frequency and interpretation of nonmonotonic dose responses in biological systems. A better understanding of the biological basis and consequences of nonmonotonic dose–response curves is warranted for evaluating human health risks. The assumption that hormesis is generally adaptive is an oversimplification of complex biological processes. Even if certain low-dose effects were sometimes considered beneficial, this should not influence regulatory decisions to allow increased environmental exposures to toxic and carcinogenic agents, given factors such as interindividual differences in susceptibility and multiplicity in exposures. In this commentary we evaluate the hormesis hypothesis and potential adverse consequences of incorporating low-dose beneficial effects into public health decisions.
Beyond contact predictions in mobile opportunistic networks

When studying and designing protocols for mobile opportunistic networks, most works consider only direct contact patterns between mobile nodes. Tracking these contacts is important for end-to-end communications but relying only on this kind of information provides a limited view about transmission possibilities. Mobile users are often in intercontact, but still separated by only a few hops, which translate into effective communication opportunities between nodes. In this paper, we focus on such a type of communication opportunities and investigate to what extent they can be predicted. Using realworld datasets, we provide evidences about the predictable nature of nodes' proximity and evaluate the benefits of these results compared to direct contact predictions.
A BBN-Based Approach for Fault Localization

Fault localization techniques help programmers find out the locations and the causes of the faults and accelerate the debugging process. The relation between the fault and the failure is usually complicated, making it hard to deduce how a fault causes the failure. Analysis of variance is broadly used in many correlative researches. In this paper, a Bayesian belief network (BBN) for fault reasoning was constructed based on the suspicious pattern, whose nodes consist of the suspicious pattern and the callers of the methods that constitute the suspicious pattern. The constructing algorithm of the BBN, the correlative probabilities, and the formula for the conditional probabilities of each arc of the BBN were defined. A reasoning algorithm based on the BBN was proposed, through which the faulty module can be found and the probability for each module containing the fault can be calculated. An evaluation method was proposed. Experiments were executed to evaluation this fault localization technique. The data demonstrated that this technique could achieve an average accuracy of 0.761 and an average recall of 0.737. This fault localization technique is very effective and has high practical value.
HONEY: a multimodality fall detection and telecare system.

BACKGROUND The increasing cost in terms of money and healthcare resources is driving healthcare providers to provide home-based telecare instead of institutionalized healthcare. Falling is one of the most common and dangerous accidents for elderly individuals and a significant factor affecting the living quality of the elderly. Many efforts have been put toward providing a robust method to detect falls accurately and in a timely manner. This study facilitated a reliable, safe, and real-time home-based healthcare environment, which we have termed the Home Healthcare Sentinel System (HONEY), to detect falls for elderly people in the home telecare environment. The basic idea of HONEY is a three-step detection scheme that consists of multimodality signal sources, including an accelerometer sensor, audio, images, and video clips via speech recognition and on-demand video techniques. MATERIALS AND METHODS The magnitude of acceleration, corresponding to a user's movements, triggers fall detection combining speech recognition and on-demand video. If a fall occurs, an alarm e-mail is delivered to medical staff or caregivers at once, containing the fall information, so that caregivers could make a primary diagnosis based on it. This article also describes the implementation of the prototype of HONEY. RESULTS A comprehensive evaluation with 10 volunteers shows that HONEY has high accuracy of 94% for fall detection, 18% higher than the Advanced Magnitude Algorithm (AMA), which is a wearable sensor-based method, and the false-positive and false-negative rates are 3% and 10%, respectively, 19% and 16% lower than AMA, respectively. The average response time for a detected fall is 46.2 s, which is also short enough for first aid. CONCLUSIONS In summary, HONEY provides a highly reliable and convenient fall detection solution for the home-based environment.
R-S correspondence for (Z 2 Z 2 )o S n and Klein-4 diagram algebras

In [PS] a new family of subalgebras of the extended Z2-vertex colored algebras, called Klein-4 diagram algebras, are studied. These algebras are the centralizer algebras of Gn := (Z2 Z2)o Sn when it acts on V k ; where V is the signed permutation module for Gn: In this paper we give the Robinson-Schensted correspondence for Gn on 4-partitions of n; which gives a bijective proof of the identity P
Passivity analysis of discrete-time hybrid systems using piecewise polynomial storage functions

This paper proposes some sufficient criteria based on the computation of polynomial and piecewise polynomial storage functions for checking passivity of discrete-time hybrid systems in piecewise affine or piecewise polynomial form. The computation of such storage functions is performed by means of convex optimization techniques via the sum of squares decomposition of multivariate polynomials.
Use of In Vivo 13C Nuclear Magnetic Resonance Spectroscopy To Elucidate l-Arabinose Metabolism in Yeasts

ABSTRACT Candida arabinofermentans PYCC 5603T and Pichia guilliermondii PYCC 3012 were shown to grow well on l-arabinose, albeit exhibiting distinct features that justify an in-depth comparative study of their respective pentose catabolism. Carbon-13 labeling experiments coupled with in vivo nuclear magnetic resonance (NMR) spectroscopy were used to investigate l-arabinose metabolism in these yeasts, thereby complementing recently reported physiological and enzymatic data. The label supplied in l-[2-13C]arabinose to nongrowing cells, under aerobic conditions, was found on C-1 and C-2 of arabitol and ribitol, on C-2 of xylitol, and on C-1, C-2, and C-3 of trehalose. The detection of labeled arabitol and xylitol constitutes additional evidence for the operation in yeast of the redox catabolic pathway, which is widespread among filamentous fungi. Furthermore, labeling at position C-1 of trehalose and arabitol demonstrates that glucose-6-phosphate is recycled through the oxidative pentose phosphate pathway (PPP). This result was interpreted as a metabolic strategy to regenerate NADPH, the cofactor essential for sustaining l-arabinose catabolism at the level of l-arabinose reductase and l-xylulose reductase. Moreover, the observed synthesis of d-arabitol and ribitol provides a route with which to supply NAD+ under oxygen-limiting conditions. In P. guilliermondii PYCC 3012, the strong accumulation of l-arabitol (intracellular concentration of up to 0.4 M) during aerobic l-arabinose metabolism indicates the existence of a bottleneck at the level of l-arabitol 4-dehydrogenase. This report provides the first experimental evidence for a link between l-arabinose metabolism in fungi and the oxidative branch of the PPP and suggests rational guidelines for the design of strategies for the production of new and efficient l-arabinose-fermenting yeasts.
Simulation of Arti cial Neural Networks 1

The purpose of this paper is to give a structured overview of the current techniques used to simulate artiicial neural networks. To illustrate the variety and the complexity of problems that occur, rstly a short survey of artiicial neural networks is presented. Then, various simulation approaches are explained, from implementations of speciic network models on general purpose parallel machines through architectural emulations that mimic neurobehaviour in hardware to comprehensive neurosimulators that ooer comfortable environments for neuroprogramming. Each approach is presented through its rationales and is judged on its usefulness, generality, exibility, and eeciency. The paper concludes with the summary of the results achieved so far and points out general directions and perspectives for future neurosimulations.
Intrinsic Musculoskeletal Properties Stabilize Wiping Movements in the Spinalized Frog

The mechanical stability properties of hindlimb-hindlimb wiping movements of the spinalized frog were examined. One hindlimb, the wiping limb, was implanted with 12 electromyographic (EMG) electrodes and attached to a robot that both recorded its trajectory and applied brief force perturbations. Cutaneous electrical stimulation was applied to the other hindlimb, the target limb, to evoke the hindlimb-hindlimb wiping reflex. Kinematic and EMG data from both unperturbed trials and trials in which a phasic perturbation was applied were collected from each spinalized frog. In the perturbed behaviors, we found that the initially large displacement attributable to the perturbation was compensated such that the final position was statistically indistinguishable from the unperturbed final position in all of the frogs, thus indicating the dynamic stability of these movements. This stability was robust to the range of perturbation amplitudes and nominal kinematic variation observed in this study. In addition, we investigated the extent to which intrinsic viscoelastic properties of the limb and proprioceptive feedback play a role in stabilizing the movements. No significant changes were seen in the EMGs after the perturbation. Furthermore, deafferentation of the wiping limb did not significantly affect the stability of the wiping reflex. Thus, we found that the intrinsic viscoelastic properties of the hindlimb conferred robust stability properties to the hindlimb-hindlimb wiping behavior. This stability mechanism may simplify the control required by the frog spinal motor systems to produce successful movements in an unpredictable and varying environment.
Evaluation of the VE1 Antibody in Thyroid Cytology Using Ex Vivo Papillary Thyroid Carcinoma Specimens

Background: Recently, VE1, a monoclonal antibody against the BRAFV600E mutant protein, has been investigated in terms of its detection of the BRAFV600E mutation. Although VE1 immunostaining and molecular methods used to assess papillary thyroid carcinoma in surgical specimens are in good agreement, evaluation of VE1 in thyroid cytology samples is rarely performed, and its diagnostic value in cytology has not been well established. In present study, we explored VE1 immunoexpression in cytology samples from ex vivo papillary thyroid carcinoma specimens in order to minimize limitations of low cellularity and sampling/targeting errors originated from thyroid fineneedle aspiration and compared our results with those obtained using the corresponding papillary thyroid carcinoma tissues. Methods: The VE1 antibody was evaluated in 21 cases of thyroid cytology obtained directly from ex vivo thyroid specimens. VE1 immunostaining was performed using liquid-based cytology, and the results were compared with those obtained using the corresponding tissues. Results: Of 21 cases, 19 classic papillary thyroid carcinomas had BRAFV600E mutations, whereas two follicular variants expressed wild-type BRAF. VE1 immunoexpression varied according to specimen type. In detection of the BRAFV600E mutation, VE1 immunostaining of the surgical specimen exhibited 100% sensitivity and 100% specificity, whereas VE1 immunostaining of the cytology specimen exhibited only 94.7% sensitivity and 0% specificity. Conclusions: Our data suggest that VE1 immunostaining of a cytology specimen is less specific than that of a surgical specimen for detection of the BRAFV600E mutation, and that VE1 immunostaining of a cytology specimen should be further evaluated and optimized for clinical use.