The Design and Implementation of an Educational Computer Game and Its Study as a Motivational Tool for Middle School ESOL Students

Gemstone Team ILL (Interactive Language Learning)

R Markdown: Integrating A Reproducible Analysis Tool into Introductory Statistics

Nolan and Temple Lang argue that “the ability to express statistical computations is an es- sential skill.” A key related capacity is the ability to conduct and present data analysis in a way that another person can understand and replicate. The copy-and-paste workflow that is an artifact of antiquated user-interface design makes reproducibility of statistical analysis more difficult, especially as data become increasingly complex and statistical methods become increasingly sophisticated. R Markdown is a new technology that makes creating fully-reproducible statistical analysis simple and painless. It provides a solution suitable not only for cutting edge research, but also for use in an introductory statistics course. We present experiential and statistical evidence that R Markdown can be used effectively in introductory statistics courses, and discuss its role in the rapidly-changing world of statistical computation.

Citizen Science as a New Tool in Dog Cognition Research.

Family dogs and dog owners offer a potentially powerful way to conduct citizen science to answer questions about animal behavior that are difficult to answer with more conventional approaches. Here we evaluate the quality of the first data on dog cognition collected by citizen scientists using the Dognition.com website. We conducted analyses to understand if data generated by over 500 citizen scientists replicates internally and in comparison to previously published findings. Half of participants participated for free while the other half paid for access. The website provided each participant a temperament questionnaire and instructions on how to conduct a series of ten cognitive tests. Participation required internet access, a dog and some common household items. Participants could record their responses on any PC, tablet or smartphone from anywhere in the world and data were retained on servers. Results from citizen scientists and their dogs replicated a number of previously described phenomena from conventional lab-based research. There was little evidence that citizen scientists manipulated their results. To illustrate the potential uses of relatively large samples of citizen science data, we then used factor analysis to examine individual differences across the cognitive tasks. The data were best explained by multiple factors in support of the hypothesis that nonhumans, including dogs, can evolve multiple cognitive domains that vary independently. This analysis suggests that in the future, citizen scientists will generate useful datasets that test hypotheses and answer questions as a complement to conventional laboratory techniques used to study dog psychology.

Safety-critical medical device development using the UPP2SF model translation tool

Software-based control of life-critical embedded systems has become increasingly complex, and to a large extent has come to determine the safety of the human being. For example, implantable cardiac pacemakers have over 80,000 lines of code which are responsible for maintaining the heart within safe operating limits. As firmware-related recalls accounted for over 41% of the 600,000 devices recalled in the last decade, there is a need for rigorous model-driven design tools to generate verified code from verified software models. To this effect, we have developed the UPP2SF model-translation tool, which facilitates automatic conversion of verified models (in UPPAAL) to models that may be simulated and tested (in Simulink/Stateflow). We describe the translation rules that ensure correct model conversion, applicable to a large class of models. We demonstrate how UPP2SF is used in themodel-driven design of a pacemaker whosemodel is (a) designed and verified in UPPAAL (using timed automata), (b) automatically translated to Stateflow for simulation-based testing, and then (c) automatically generated into modular code for hardware-level integration testing of timing-related errors. In addition, we show how UPP2SF may be used for worst-case execution time estimation early in the design stage. Using UPP2SF, we demonstrate the value of integrated end-to-end modeling, verification, code-generation and testing process for complex software-controlled embedded systems. © 2014 ACM.

ROLE OF ICAM-1-MEDIATED ENDOCYTOSIS IN ENDOTHELIAL FUNCTION AND IMPLICATIONS FOR CARRIER-ASSISTED DRUG DELIVERY

Intercellular adhesion molecule 1 (ICAM-1) is a transmembrane protein found on the surface of vascular endothelial cells (ECs). Its expression is upregulated at inflammatory sites, allowing for targeted delivery of therapeutics using ICAM-1-binding drug carriers. Engagement of multiple copies of ICAM-1 by these drug carriers induces cell adhesion molecule (CAM)-mediated endocytosis, which results in trafficking of carriers to lysosomes and across ECs. Knowledge about the regulation behind CAM-mediated endocytosis can help improve drug delivery, but questions remain about these regulatory mechanisms. Furthermore, little is known about the natural function of this endocytic pathway. To address these gaps in knowledge, we focused on two natural binding partners of ICAM-1 that potentially elicit CAM-mediated endocytosis: leukocytes (which bind ICAM-1 via β₂ integrins) and fibrin polymers (a main component of blood clots which binds ICAM-1 via the γ3 sequence). First, inspired by properties of these natural binding partners, we varied the size and targeting moiety of model drug carriers to determine how these parameters affect CAM-mediated endocytosis. Increasing ICAM-1-targeted carrier size slowed carrier uptake kinetics, reduced carrier trafficking to lysosomes, and increased carrier transport across ECs. Changing targeting moieties from antibodies to peptides decreased particle binding and uptake, lowered trafficking to lysosomes, and increased transport across ECs. Second, using cell culture models of leukocyte/EC interactions, inhibiting regulatory elements of the CAM-mediated pathway disrupted leukocyte sampling, a process crucial to leukocyte crossing of endothelial layers (transmigration). This inhibition also decreased leukocyte transmigration across ECs, specifically through the transcellular route, which occurs through a single EC without disassembly of cell-cell junctions. Third, fibrin meshes, which mimic blood clot fragments/remnants, bound to ECs at ICAM-1-enriched sites and were internalized by the endothelium. Inhibiting the CAM-mediated pathway disrupted this uptake. Following endocytosis, fibrin meshes trafficked to lysosomes where they were degraded. In mouse models, CAM-mediated endocytosis of fibrin meshes appeared to remove fibrin remnants at the endothelial surface, preventing re-initiation of the coagulation cascade. Overall, these results support a link between CAM-mediated endocytosis and leukocyte transmigration as well as uptake of fibrin materials by ECs. Furthermore, these results will guide the future design of ICAM-1-targeted carrier-assisted therapies.

Heparin-binding-hemagglutinin-induced IFN-gamma release as a diagnostic tool for latent tuberculosis.

BACKGROUND: The detection of latent tuberculosis infection (LTBI) is a major component of tuberculosis (TB) control strategies. In addition to the tuberculosis skin test (TST), novel blood tests, based on in vitro release of IFN-gamma in response to Mycobacterium tuberculosis-specific antigens ESAT-6 and CFP-10 (IGRAs), are used for TB diagnosis. However, neither IGRAs nor the TST can separate acute TB from LTBI, and there is concern that responses in IGRAs may decline with time after infection. We have therefore evaluated the potential of the novel antigen heparin-binding hemagglutinin (HBHA) for in vitro detection of LTBI. METHODOLOGY AND PRINCIPAL FINDINGS: HBHA was compared to purified protein derivative (PPD) and ESAT-6 in IGRAs on lymphocytes drawn from 205 individuals living in Belgium, a country with low TB prevalence, where BCG vaccination is not routinely used. Among these subjects, 89 had active TB, 65 had LTBI, based on well-standardized TST reactions and 51 were negative controls. HBHA was significantly more sensitive than ESAT-6 and more specific than PPD for the detection of LTBI. PPD-based tests yielded 90.00% sensitivity and 70.00% specificity for the detection of LTBI, whereas the sensitivity and specificity for the ESAT-6-based tests were 40.74% and 90.91%, and those for the HBHA-based tests were 92.06% and 93.88%, respectively. The QuantiFERON-TB Gold In-Tube (QFT-IT) test applied on 20 LTBI subjects yielded 50% sensitivity. The HBHA IGRA was not influenced by prior BCG vaccination, and, in contrast to the QFT-IT test, remote (>2 years) infections were detected as well as recent (<2 years) infections by the HBHA-specific test. CONCLUSIONS: The use of ESAT-6- and CFP-10-based IGRAs may underestimate the incidence of LTBI, whereas the use of HBHA may combine the operational advantages of IGRAs with high sensitivity and specificity for latent infection.

Heparin-Binding Haemagglutinin, a New Tool for the Detection of Latent Mycobacterium tuberculosis Infection in Hemodialysis Patients

Background:Patients with end-stage renal disease (ESRD) and latently infected with Mycobacterium tuberculosis (LTBI) are at higher risk to develop tuberculosis (TB) than healthy subjects. Interferon-gamma release assays (IGRAs) were reported to be more sensitive than tuberculin skin tests for the detection of infected individuals in dialysis patients.Methods:On 143 dialysis patients prospectively enrolled, we compared the results from the QuantiFERON®-TB Gold assay (QFT), to those of an IGRA in response to in vitro stimulation of circulating mononuclear cells with the mycobacterial latency antigen Heparin-Binding Haemagglutinin purified from Mycobacterium bovis BCG (native HBHA, nHBHA).Results:Seven patients had a past history of active TB and 1 had an undetermined result with both IGRAs. Among the other 135 patients, 94 had concordant results with the QFT and nHBHA-IGRA, 40.0% being negative and therefore not latently infected, and 29.6% being positive and thus LTBI. Discrepant results between these tests were found for 36 patients positive only with the nHBHA-IGRA and 5 only with the QFT.Conclusions:The nHBHA-IGRA is more sensitive than the QFT for the detection of LTBI dialysis patients, and follow-up of the patients will allow us to define the clinical significance of discrepant results between the nHBHA-IGRA and the QFT. © 2013 Dessein et al.

Sheep carcasse classification as a tool to improve the marketing system

p.103-111

Sheep carcasse classification as a tool to improve the marketing system

p.103-111

Revisiting the carrier-phase source-term formulation in mixed Lagrangian-Eulerian particle models

The formulation of the carrier-phase momentum and enthalpy source terms in mixed Lagrangian-Eulerian models of particle-laden flows is frequently reported inaccurately. Under certain circumstances, this can lead to erroneous implementations, which violate physical laws. A particle- rather than carrier-based approach is suggested for a consistent treatment of these terms.

Automatic code generation of overlapped communications in a parallelisation tool

This paper addresses the exploitation of overlapping communication with calculation within parallel FORTRAN 77 codes for computational fluid dynamics (CFD) and computational structured dynamics (CSD). The obvious objective is to overlap interprocessor communication with calculation on each processor in a distributed memory parallel system and so improve the efficiency of the parallel implementation. A general strategy for converting synchronous to overlapped communication is presented together with tools to enable its automatic implementation in FORTRAN 77 codes. This strategy is then implemented within the parallelisation toolkit, CAPTools, to facilitate the automatic generation of parallel code with overlapped communications. The success of these tools are demonstrated on two codes from the NAS-PAR and PERFECT benchmark suites. In each case, the tools produce parallel code with overlapped communications which is as good as that which could be generated manually. The parallel performance of the codes also improve in line with expectation.

Hermeneutics, accreting receptions, hypermedia: A tool for reference versus a tool for instruction

We provide a select overview of tools supporting traditional Jewish learning. Then we go on to discuss our own HyperJoseph/HyperIsaac project in instructional hypermedia. Its application is to teaching, teacher training, and self-instruction in given Bible passages. The treatment of two narratives has been developed thus far. The tool enables an analysis of the text in several respects: linguistic, narratological, etc. Moreover, the Scriptures' focality throughout the cultural history makes this domain of application particularly challenging, in that there is a requirement for the tool to encompass the accretion of receptions in the cultural repertoire, i.e., several layers of textual traditions—either hermeneutic (i.e., interpretive), or appropriations—related to the given core passage, thus including "secondary" texts (i.e., such that are responding or derivative) from as disparate realms as Roman-age and later homiletics, Medieval and later commentaries or supercommentaries, literary appropriations, references to the arts and modern scholarship, etc. in particular, the Midrash (homiletic expansions) is adept at narrative gap filling, so the narratives mushroom at the interstices where the primary text is silent. The genealogy of the project is rooted in Weiss' index of novelist Agnon's writings, which was eventually upgraded into a hypertextual tool, including Agnon's full-text and ancillary materials. Those early tools being intended primarily for reference and research-support in literary studies, the Agnon hypertext system was initially emulated in the conception of HyperJoseph, which is applied to the Joseph story from Genesis. Then, the transition from a tool for reference to an instructional tool required a thorough reconception in an educational perspective, which led to HyperIsaac, on the sacrifice of Isaac, and to a redesign and upgrade of HyperJoseph as patterned after HyperIsaac.

The Daedalus system: A tool for the Italian investigating magistrate

Daedalus is a computer tool, developed by an Italian magistrate - Carmelo Asaro - and integrated in his own daily routine as an investigating magistrate conducting inquiries, then as a prosecutor if and when the case investigated goes to court. This tool has recently been adopted by magistrates in judiciary offices throughout Italy, spawning moreover other related projects. First, this paper describes a sample session with daedalus. Next, an overview of an array of judicial tools leads to positioning daedalus in the context of the spectrum.

The ParaWise expert assistant - widening accessibility to efficient and scalable tool Generated OpenMP code

Despite the apparent simplicity of the OpenMP directive shared memory programming model and the sophisticated dependence analysis and code generation capabilities of the ParaWise/CAPO tools, experience shows that a level of expertise is required to produce efficient parallel code. In a real world application the investigation of a single loop in a generated parallel code can soon become an in-depth inspection of numerous dependencies in many routines. The additional understanding of dependencies is also needed to effectively interpret the information provided and supply the required feedback. The ParaWise Expert Assistant has been developed to automate this investigation and present questions to the user about, and in the context of, their application code. In this paper, we demonstrate that knowledge of dependence information and OpenMP are no longer essential to produce efficient parallel code with the Expert Assistant. It is hoped that this will enable a far wider audience to use the tools and subsequently, exploit the benefits of large parallel systems.