Learners' use of domain-specific computer-based feedback to overcome logical circularity in deductive proving in geometry

This is the final version of the article. Available from Springer Verlag via the DOI in this record.Much remains under-researched in how learners make use of domain-specific feedback. In this paper, we report on how learners’ can be supported to overcome logical circularity during their proof construction processes, and how feedback supports the processes. We present an analysis of three selected episodes from five learners who were using a web-based proof learning support system. Through this analysis we illustrate the various errors they made, including using circular reasoning, which were related to their understanding of hypothetical syllogism as an element of the structure of mathematical proof. We found that, by using the computer-based feedback and, for some, teacher intervention, the learners started considering possible combinations of assumptions and conclusion, and began realising when their proof fell into logical circularity. Our findings raise important issues about the nature and role of computer-based feedback such as how feedback is used by learners, and the importance of teacher intervention in computer-based learning environments.This research is supported by the Daiwa Anglo-Japanese foundation (No. 7599/8141) and the Grant-in-Aid for Scientific Research (Nos. 15K12375, 16H03057), Ministry of Education, Culture, Sports, Science, and Technology, Japan

Quantum Hall Effect in a Holographic Model

We consider a holographic description of a system of strongly coupled fermions in 2+1 dimensions based on a D7-brane probe in the background of D3-branes, and construct stable embeddings by turning on worldvolume fluxes. We study the system at finite temperature and charge density, and in the presence of a background magnetic field. We show that Minkowski-like embeddings that terminate above the horizon describe a family of quantum Hall states with filling fractions that are parameterized by a single discrete parameter. The quantization of the Hall conductivity is a direct consequence of the topological quantization of the fluxes. When the magnetic field is varied relative to the charge density away from these discrete filling fractions, the embeddings deform continuously into black-hole-like embeddings that enter the horizon and that describe metallic states. We also study the thermodynamics of this system and show that there is a first order phase transition at a critical temperature from the quantum Hall state to the metallic state.Comment: v2: 27 pages, 12 figures. There is a major revision in the quantitative analysis. The qualitative results and conclusions are unchanged, with one exception: we show that the quantum Hall state embeddings, which exist for discrete values of the filling fraction, deform continuously into metallic state embeddings away from these filling fraction

The yeast P5 type ATPase, Spf1, regulates manganese transport into the endoplasmic reticulum

The endoplasmic reticulum (ER) is a large, multifunctional and essential organelle. Despite intense research, the function of more than a third of ER proteins remains unknown even in the well-studied model organism Saccharomyces cerevisiae. One such protein is Spf1, which is a highly conserved, ER localized, putative P-type ATPase. Deletion of SPF1 causes a wide variety of phenotypes including severe ER stress suggesting that this protein is essential for the normal function of the ER. The closest homologue of Spf1 is the vacuolar P-type ATPase Ypk9 that influences Mn2+ homeostasis. However in vitro reconstitution assays with Spf1 have not yielded insight into its transport specificity. Here we took an in vivo approach to detect the direct and indirect effects of deleting SPF1. We found a specific reduction in the luminal concentration of Mn2+ in ∆spf1 cells and an increase following it’s overexpression. In agreement with the observed loss of luminal Mn2+ we could observe concurrent reduction in many Mn2+-related process in the ER lumen. Conversely, cytosolic Mn2+-dependent processes were increased. Together, these data support a role for Spf1p in Mn2+ transport in the cell. We also demonstrate that the human sequence homologue, ATP13A1, is a functionally conserved orthologue. Since ATP13A1 is highly expressed in developing neuronal tissues and in the brain, this should help in the study of Mn2+-dependent neurological disorders

Constructing an index of physical fitness age for Japanese elderly based on 7-year longitudinal data: sex differences in estimated physical fitness age

A standardized method for assessing the physical fitness of elderly adults has not yet been established. In this study, we developed an index of physical fitness age (fitness age score, FAS) for older Japanese adults and investigated sex differences based on the estimated FAS. Healthy elderly adults (52 men, 70 women) who underwent physical fitness tests once yearly for 7 years between 2002 and 2008 were included in this study. The age of the participants at the beginning of this study ranged from 60.0 to 83.0 years. The physical fitness tests consisted of 13 items to measure balance, agility, flexibility, muscle strength, and endurance. Three criteria were used to evaluate fitness markers of aging: (1) significant cross-sectional correlation with age; (2) significant longitudinal change with age consistent with the cross-sectional correlation; and (3) significant stability of individual differences. We developed an equation to assess individual FAS values using the first principal component derived from principal component analysis. Five candidate fitness markers of aging (10-m walking time, functional reach, one leg stand with eyes open, vertical jump and grip strength) were selected from the 13 physical fitness tests. Individual FAS was predicted from these five fitness markers using a principal component model. Individual FAS showed high longitudinal stability for age-related changes. This investigation of the longitudinal changes of individual FAS revealed that women had relatively lower physical fitness compared with men, but their rate of physical fitness aging was slower than that of men

Evaluation of gene amplification and protein expression of HER-2/neu in esophageal squamous cell carcinoma using Fluorescence in situ Hybridization (FISH) and immunohistochemistry

<p>Abstract</p> <p>Background</p> <p>Esophageal squamous cell carcinoma (ESCC) is the sixth most frequent neoplasia in Brazil. It is usually associated with a poor prognosis because it is often at an advanced stage when diagnosed and there is a high frequency of lymph node metastases. It is important to know what prognostic factors can facilitate diagnosis, optimize therapeutic decisions, and improve the survival of these patients. A member of the epidermal growth factor receptor (EGFR) family, c-erbB-2, has received much attention because of its therapeutic implications; however, few studies involving fluorescence <it>in situ </it>hybridization (FISH) analysis of HER-2/neu gene amplification and protein expression in ESCC have been conducted. The aim of this study was to verify the presence of HER-2/neu gene amplification using FISH, and to correlate the results with immunohistochemical expression and clinical-pathological findings.</p> <p>Methods</p> <p>One hundred and ninety-nine ESCC cases were evaluated using the Tissue Microarray (TMA) technique. A polyclonal antibody against c-erbB-2 was used for immunohistochemistry. Analyses were based on the membrane staining pattern. The results were classified according to the Herceptest criteria (DAKO): negative (0/1+), potential positive (2+) and positive (3+). The FISH reactions were performed according to the FISH HER2 PharmDx (DAKO) protocol. In each case, 100 tumor nuclei were evaluated. Cases showing a gene/CEN17 fluorescence ratio ≥ 2 were considered positive for gene amplification.</p> <p>Results</p> <p>The c-erbB-2 expression was negative in 117/185 cases (63.2%) and positive in 68 (36.8%), of which 56 (30.3%) were 2+ and 12 (6.5%) were 3+. No significant associations were found among protein expression, clinicopathological data and overall survival. Among the 47 cases analyzed, 38 (80.9%) showed no gene amplification while 9 (19.1%) showed amplification, as demonstrated by FISH. Cases that were negative (0/1+) and potential positive (2+) for c-erbB-2 expression by immunohistochemistry showed no gene amplification. However, all cases with gene amplification were positive (3+) by immunohistochemistry. According to univariate analysis, there was a significant difference (p = 0.003) in survival rates when cases with and without HER-2/neu amplification were compared.</p> <p>Conclusion</p> <p>Our data demonstrate the correspondence between gene amplification and protein expression of HER-2/neu. Gene amplification is an indicator of poor prognosis in ESCC.</p

Mixed Climatology, Non-synoptic Phenomena and Downburst Wind Loading of Structures

Modern wind engineering was born in 1961, when Davenport published a paper in which meteorology, micrometeorology, climatology, bluff-body aerodynamics and structural dynamics were embedded within a homogeneous framework of the wind loading of structures called today \u201cDavenport chain\u201d. Idealizing the wind with a synoptic extra-tropical cyclone, this model was so simple and elegant as to become a sort of axiom. Between 1976 and 1977 Gomes and Vickery separated thunderstorm from non-thunderstorm winds, determined their disjoint extreme distributions and derived a mixed model later extended to other Aeolian phenomena; this study, which represents a milestone in mixed climatology, proved the impossibility of labelling a heterogeneous range of events by the generic term \u201cwind\u201d. This paper provides an overview of this matter, with particular regard to the studies conducted at the University of Genova on thunderstorm downbursts

Characterization of cell death induced by vinflunine, the most recent Vinca alkaloid in clinical development

Vinflunine, the most recent Vinca alkaloid in clinical development, demonstrated superior antitumour activity to other Vincas in preclinical tumour models. This study aimed to define its molecular mechanisms of cell killing in both parental sensitive and vinflunine-resistant P388 leukaemia cells. Vinflunine treatment of these cells resulted in apoptosis characterized by DNA fragmentation and proteolytic cleavage of poly-(ADP-ribose) polymerase. Apoptosis-inducing concentrations of vinflunine caused c-Jun N-terminal kinase 1 stimulation, as well as caspases-3/7 activation. This activation of caspases and the induction of apoptosis could be inhibited by the caspase inhibitor acetyl-Asp-Glu-Val-Asp-aldehyde. Interestingly, the apoptosis signal triggered by vinflunine in these P388 cells was not mediated through Bcl-2 phosphorylation. In addition, when vinflunine resistance was developed in P388 cells, it was associated with resistance to vinflunine-induced apoptosis, as reflected by a loss of capacity to induce DNA fragmentation and PARP degradation, and characterized by increased levels of Bcl-2 and Bfl-1/A1. Therefore, these data indirectly implicate Bcl-2 and Bfl-1/A1 in vinflunine-induced cell death mechanisms

Cost-utility analysis of genetic screening in families of patients with germline MUTYH mutations

<p>Abstract</p> <p>Background</p> <p>MUTYH associated polyposis (MAP) is an autosomal recessive inherited disorder. Carriers of bi-allelic <it>MUTYH </it>germline mutations have a risk of approximately 60% to develop colorectal carcinoma (CRC). In the general population about 1.5% is a heterozygous <it>MUTYH </it>mutation carrier. Children of MAP patients have an increased risk of inheriting two <it>MUTYH </it>mutations compared to the general population, implicating an increased risk for developing CRC.</p> <p>Methods</p> <p>Using data from the literature and Dutch MAP patients (n = 40), we constructed a Markov model to perform a societal cost-utility analysis of genetic screening in MAP families. Genetic screening was done by testing the spouse first and, in case of a heterozygous spouse, also testing of the children.</p> <p>Results</p> <p>The cost of genetic screening of families of MAP patients, when compared to no genetic screening, was estimated at €25,000 per quality-adjusted life year (QALY). The presence of Fecal Occult Blood testing (FOBT) population screening only slightly increased this cost-utility ratio to €25,500 per QALY. For a MUTYH heterozygote index-patient, the ratio was €51,500 per QALY. The results of our analysis were sensitive to several of the parameters in the model, including the cost assumed for molecular genetic testing.</p> <p>Conclusion</p> <p>The costs per QALY of genetic screening in families of MAP patients are acceptable according to international standards. Therefore, genetic testing of spouses and/or children should be discussed with and offered to counselees.</p

Adenylyl Cyclase α and cAMP Signaling Mediate Plasmodium Sporozoite Apical Regulated Exocytosis and Hepatocyte Infection

Malaria starts with the infection of the liver of the host by Plasmodium sporozoites, the parasite form transmitted by infected mosquitoes. Sporozoites migrate through several hepatocytes by breaching their plasma membranes before finally infecting one with the formation of an internalization vacuole. Migration through host cells induces apical regulated exocytosis in sporozoites. Here we show that apical regulated exocytosis is induced by increases in cAMP in sporozoites of rodent (P. yoelii and P. berghei) and human (P. falciparum) Plasmodium species. We have generated P. berghei parasites deficient in adenylyl cyclase α (ACα), a gene containing regions with high homology to adenylyl cyclases. PbACα-deficient sporozoites do not exocytose in response to migration through host cells and present more than 50% impaired hepatocyte infectivity in vivo. These effects are specific to ACα, as re-introduction of ACα in deficient parasites resulted in complete recovery of exocytosis and infection. Our findings indicate that ACα and increases in cAMP levels are required for sporozoite apical regulated exocytosis, which is involved in sporozoite infection of hepatocytes