Short-term efficacy and usage recommendations for a large-scale implementation of the math-whizz tutor

This paper adds to the evidence of the efficacy of intelligent tutoring systems (ITS) in mathematics learning by evaluating a large-scale intervention at the state of Aguascalientes, Mexico. We report the results of a quasi-experimental study, addressing at the same a particular request of the decision-makers responsible for the rollout to provide, from early stages of the intervention, independent evidence of the efficacy of Math-Whizz Tutor beyond its internal metrics, and recommendations in terms of the expected weekly usage levels to guide the blended learning approach

Towards Model Checking Executable UML Specifications in mCRL2

We describe a translation of a subset of executable UML (xUML) into the process algebraic specification language mCRL2. This subset includes class diagrams with class generalisations, and state machines with signal and change events. The choice of these xUML constructs is dictated by their use in the modelling of railway interlocking systems. The long-term goal is to verify safety properties of interlockings modelled in xUML using the mCRL2 and LTSmin toolsets. Initial verification of an interlocking toy example demonstrates that the safety properties of model instances depend crucially on the run-to-completion assumptions

Direct evidence to support the restriction of intramolecular rotation hypothesis for the mechanism of aggregation-induced emission: Temperature resolved terahertz spectra of tetraphenylethene

In contrast to the traditional fluorescent dyes that exhibit a decrease in fluorescence upon aggregation, Aggregation-Induced Emission (AIE) molecules are a family of fluorophors which exhibit increased fluorescence upon aggregation. Consequently, AIE molecules represent an interesting new material with potential applications in fluorescent chemo/biosensors, light emitting devices and medical diagnostics. Numerous mechanisms have been proposed to explain this phenomenon, including isomerisation, and restriction of intramolecular rotations (RIR). However, there has not been any direct experimental evidence to support either one of these hypotheses. Here we use terahertz time-domain-spectroscopy (THz-TDS) and solid-state computational simulations of an AIE molecule to link the increase in intensity of intramolecular rotation and rocking modes to the measured fluorescence and reveal direct evidence supporting the RIR hypothesis. This is the first time that terahertz spectroscopy has been used to directly probe such molecular motions in AIE materials and in doing so we have found conclusive evidence to fully explain the AIE mechanism.This is the accepted version of an article first published in Materials Horizons. The version of record is available from the Royal Society of Chemistry at http://xlink.rsc.org/?DOI=c3mh00078

Quantum fluctuations in high field magnetization of 2D square lattice J1-J2 antiferromagnets

The J1-J2 square lattice Heisenberg model with spin S=1/2 has three phases with long-range magnetic order and two unconventionally ordered phases depending on the ratio of exchange constants. It describes a number of recently found layered vanadium oxide compounds. A simple means of investigating the ground state is the study of the magnetization curve and high-field susceptibility. We discuss these quantities by using the spin-wave theory and the exact diagonalization in the whole J1-J2 plane. We compare both results and find good overall agreement in the sectors of the phase diagram with magnetic order. Close to the disordered regions the magnetization curve shows strong deviations from the classical linear behaviour caused by large quantum fluctuations and spin-wave approximation breaks down. On the FM side (J1<0) where one approaches the quantum gapless spin nematic ground state this region is surprisingly large. We find that inclusion of second order spin-wave corrections does not lead to fundamental improvement. Quantum corrections to the tilting angle of the ordered moments are also calculated. They may have both signs, contrary to the always negative first order quantum corrections to the magnetization. Finally we investigate the effect of the interlayer coupling and find that the quasi-2D picture remains valid up to |J_\perp/J1| ~ 0.3.Comment: 13 pages, 6figure

Pancreatic cancer clusters and arsenic-contaminated drinking water wells in Florida

This is the final version of the article. Available from BioMed Central via the DOI in this record.BACKGROUND: We sought to identify high-risk areas of pancreatic cancer incidence, and determine if clusters of persons diagnosed with pancreatic cancer were more likely to be located near arsenic-contaminated drinking water wells. METHODS: A total of 5,707 arsenic samples were collected from December 2000 to May 2008 by the Florida Department of Health, representing more than 5,000 individual privately owned wells. During that period, 0.010 ppm (10 ppb) or greater arsenic levels in private well water were considered as the threshold based on standard of United States Environmental Protection Agency (EPA). Spatial modeling was applied to pancreatic cancer cases diagnosed between 1998-2002 in Florida (n = 11,405). Multivariable logistic regression was used to determine if sociodemographic indicators, smoking history, and proximity to arsenic-contaminated well sites were associated with residence at the time of pancreatic cancer diagnosis occurring within versus outside a cluster. RESULTS: Spatial modeling identified 16 clusters in which 22.6% of all pancreatic cancer cases were located. Cases living within 1 mile of known arsenic-contaminated wells were significantly more likely to be diagnosed within a cluster of pancreatic cancers relative to cases living more than 3 miles from known sites (odds ratio = 2.1 [95% CI = 1.9, 2.4]). CONCLUSIONS: Exposure to arsenic-contaminated drinking water wells may be associated with an increased risk of pancreatic cancer. However, case-control studies are needed in order to confirm the findings of this ecological analysis. These cluster areas may be appropriate to evaluate pancreatic cancer risk factors, and to perform targeted screening and prevention studies.The project was supported by grants from the James and Esther King Biomedical Research Foundation (#06TSP); the Bankhead-Coley Cancer Research Program (#1BG06-341963, #08BN-03), the Florida Department of Health (FDOH); the CDC National Program of Cancer Registries (CDC NPCR); and the European Union ERDF funding (University of Exeter)

Detection of weak gravitational lensing distortions of distant galaxies by cosmic dark matter at large scales

Most of the matter in the universe is not luminous and can be observed directly only through its gravitational effect. An emerging technique called weak gravitational lensing uses background galaxies to reveal the foreground dark matter distribution on large scales. Light from very distant galaxies travels to us through many intervening overdensities which gravitationally distort their apparent shapes. The observed ellipticity pattern of these distant galaxies thus encodes information about the large-scale structure of the universe, but attempts to measure this effect have been inconclusive due to systematic errors. We report the first detection of this ``cosmic shear'' using 145,000 background galaxies to reveal the dark matter distribution on angular scales up to half a degree in three separate lines of sight. The observed angular dependence of this effect is consistent with that predicted by two leading cosmological models, providing new and independent support for these models.Comment: 18 pages, 5 figures: To appear in Nature. (This replacement fixes tex errors and typos.

Topics on n-ary algebras

We describe the basic properties of two n-ary algebras, the Generalized Lie Algebras (GLAs) and, particularly, the Filippov (or n-Lie) algebras (FAs), and comment on their n-ary Poisson counterparts, the Generalized Poisson (GP) and Nambu-Poisson (N-P) structures. We describe the Filippov algebra cohomology relevant for the central extensions and infinitesimal deformations of FAs. It is seen that semisimple FAs do not admit central extensions and, moreover, that they are rigid. This extends the familiar Whitehead's lemma to all $n\geq 2$ FAs, n=2 being the standard Lie algebra case. When the n-bracket of the FAs is no longer required to be fully skewsymmetric one is led to the n-Leibniz (or Loday's) algebra structure. Using that FAs are a particular case of n-Leibniz algebras, those with an anticommutative n-bracket, we study the class of n-Leibniz deformations of simple FAs that retain the skewsymmetry for the first n-1 entires of the n-Leibniz bracket.Comment: 11 page

Geometric phase outside a Schwarzschild black hole and the Hawking effect

We study the Hawking effect in terms of the geometric phase acquired by a two-level atom as a result of coupling to vacuum fluctuations outside a Schwarzschild black hole in a gedanken experiment. We treat the atom in interaction with a bath of fluctuating quantized massless scalar fields as an open quantum system, whose dynamics is governed by a master equation obtained by tracing over the field degrees of freedom. The nonunitary effects of this system are examined by analyzing the geometric phase for the Boulware, Unruh and Hartle-Hawking vacua respectively. We find, for all the three cases, that the geometric phase of the atom turns out to be affected by the space-time curvature which backscatters the vacuum field modes. In both the Unruh and Hartle-Hawking vacua, the geometric phase exhibits similar behaviors as if there were thermal radiation at the Hawking temperature from the black hole. So, a measurement of the change of the geometric phase as opposed to that in a flat space-time can in principle reveal the existence of the Hawking radiation.Comment: 14 pages, no figures, a typo in the References corrected, version to appear in JHEP. arXiv admin note: text overlap with arXiv:1109.033

Detection of Massive Forming Galaxies at Redshifts Greater than One

The complex problem of when and how galaxies formed has not until recently been susceptible of direct attack. It has been known for some time that the excessive number of blue galaxies counted at faint magnitudes implies that a considerable fraction of the massive star formation in the universe occurred at z < 3, but, surprisingly, spectroscopic studies of galaxies down to a B magnitude of 24 found little sign of the expected high-z progenitors of current massive galaxies, but rather, in large part, small blue galaxies at modest redshifts z \sim 0.3. This unexpected population has diverted attention from the possibility that early massive star-forming galaxies might also be found in the faint blue excess. From KECK spectroscopic observations deep enough to encompass a large population of z > 1 field galaxies, we can now show directly that in fact these forming galaxies are present in substantial numbers at B \sim 24, and that the era from redshifts 1 to 2 was clearly a major period of galaxy formation. These z > 1 galaxies have very unusual morphologies as seen in deep HST WFPC2 images.Comment: 10 pages LaTeX + 5 PostScript figures in uuencoded gzipped tar file; aasms4.sty, flushrt.sty, overcite.sty (the two aastex4.0 and overcite.sty macros are available from xxx.lanl.gov) Also available (along with style files) via anonymous ftp to ftp://hubble.ifa.hawaii.edu/pub/preprints . E-print version of paper adds citation cross-references to other archived e-prints, where available. To appear in Nature October 19, 199

Longitudinal Image Registration with Temporal-Order and Subject-Specificity Discrimination

Morphological analysis of longitudinal MR images plays a key role in monitoring disease progression for prostate cancer patients, who are placed under an active surveillance program. In this paper, we describe a learning-based image registration algorithm to quantify changes on regions of interest between a pair of images from the same patient, acquired at two different time points. Combining intensity-based similarity and gland segmentation as weak supervision, the population-data-trained registration networks significantly lowered the target registration errors (TREs) on holdout patient data, compared with those before registration and those from an iterative registration algorithm. Furthermore, this work provides a quantitative analysis on several longitudinal-data-sampling strategies and, in turn, we propose a novel regularisation method based on maximum mean discrepancy, between differently-sampled training image pairs. Based on 216 3D MR images from 86 patients, we report a mean TRE of 5.6 mm and show statistically significant differences between the different training data sampling strategies