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

Holographic aspects of three dimensional QCD from string theory

We study two aspects of 3D QCD with massless fermions in a holographic set-up from string theory, based on D3/D7 branes; parity anomaly and baryons as baby Skyrmions. We first give a novel account of parity anomaly of 3D QCD with odd number of flavors from the IR holographic viewpoint by observing a subtle point in D7 brane embeddings with a given fixed UV theory. We also discuss its UV origin in terms of weakly coupled D-brane pictures. We then focus on the parity-symmetric case of even number of N_F flavors, and study baryons in the holographic model. We identify the monopoles of U(N_F) gauge theory dynamically broken down to U(N_F/2)x U(N_F/2) in the holographic 4 dimensional bulk as a holographic counter-part of 3D baby-Skyrmions for baryons in large N limit, and work out some details how the mapping goes. In particular, we show that the correct baryon charges emerge from the Witten effect with a space-varying theta angle.Comment: 33 pages, 10 figures; v2: references added with comments, typos corrected; v3: more references added; v4: holographic baryon profile and the analysis of its baryon charge is significantly revised, correcting errors in the previous discussio

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

Magnetism and its microscopic origin in iron-based high-temperature superconductors

High-temperature superconductivity in the iron-based materials emerges from, or sometimes coexists with, their metallic or insulating parent compound states. This is surprising since these undoped states display dramatically different antiferromagnetic (AF) spin arrangements and N$\rm \acute{e}$el temperatures. Although there is general consensus that magnetic interactions are important for superconductivity, much is still unknown concerning the microscopic origin of the magnetic states. In this review, progress in this area is summarized, focusing on recent experimental and theoretical results and discussing their microscopic implications. It is concluded that the parent compounds are in a state that is more complex than implied by a simple Fermi surface nesting scenario, and a dual description including both itinerant and localized degrees of freedom is needed to properly describe these fascinating materials.Comment: 14 pages, 4 figures, Review article, accepted for publication in Nature Physic

Monoubiquitination of syntaxin 3 leads to retrieval from the basolateral plasma membrane and facilitates cargo recruitment to exosomes

Syntaxin 3 (Stx3), a SNARE protein located and functioning at the apical plasma membrane of epithelial cells, is required for epithelial polarity. A fraction of Stx3 is localized to late endosomes/lysosomes, although how it traffics there and its function in these organelles is unknown. Here we report that Stx3 undergoes monoubiquitination in a conserved polybasic domain. Stx3 present at the basolateral—but not the apical—plasma membrane is rapidly endocytosed, targeted to endosomes, internalized into intraluminal vesicles (ILVs), and excreted in exosomes. A nonubiquitinatable mutant of Stx3 (Stx3-5R) fails to enter this pathway and leads to the inability of the apical exosomal cargo protein GPRC5B to enter the ILV/exosomal pathway. This suggests that ubiquitination of Stx3 leads to removal from the basolateral membrane to achieve apical polarity, that Stx3 plays a role in the recruitment of cargo to exosomes, and that the Stx3-5R mutant acts as a dominant-negative inhibitor. Human cytomegalovirus (HCMV) acquires its membrane in an intracellular compartment and we show that Stx3-5R strongly reduces the number of excreted infectious viral particles. Altogether these results suggest that Stx3 functions in the transport of specific proteins to apical exosomes and that HCMV exploits this pathway for virion excretion

Advances in small lasers

M.T.H was supported by an Australian Research council Future Fellowship research grant for this work. M.C.G. is grateful to the Scottish Funding Council (via SUPA) for financial support.Small lasers have dimensions or modes sizes close to or smaller than the wavelength of emitted light. In recent years there has been significant progress towards reducing the size and improving the characteristics of these devices. This work has been led primarily by the innovative use of new materials and cavity designs. This Review summarizes some of the latest developments, particularly in metallic and plasmonic lasers, improvements in small dielectric lasers, and the emerging area of small bio-compatible or bio-derived lasers. We examine the different approaches employed to reduce size and how they result in significant differences in the final device, particularly between metal- and dielectric-cavity lasers. We also present potential applications for the various forms of small lasers, and indicate where further developments are required.PostprintPeer reviewe

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