An Editor for Helping Novices to Learn Standard ML

This paper describes a novel editor intended as an aid in the learning of the functional programming language Standard ML. A common technique used by novices is programming by analogy whereby students refer to similar programs that they have written before or have seen in the course literature and use these programs as a basis to write a new program. We present a novel editor for ML which supports programming by analogy by providing a collection of editing commands that transform old programs into new ones. Each command makes changes to an isolated part of the program. These changes are propagated to the rest of the program using analogical techniques. We observed a group of novice ML students to determine the most common programming errors in learning ML and restrict our editor such that it is impossible to commit these errors. In this way, students encounter fewer bugs and so their rate of learning increases. Our editor, C Y NTHIA, has been implemented and is due to be tested on st..

ELM-ART - An Interactive and Intelligent Web-Based Electronic Textbook

This paper present provides a broader view on ELM-ART, one of the first Web-based Intelligent Educational systems that offered a creative combination of two different paradigms - Intelligent Tutoring and Adaptive Hypermedia technologies. The unique dual nature of ELM-ART contributed to its long life and research impact and was a result of collaboration of two researchers with complementary ideas supported by talented students and innovative Web software. The authors present a brief account of this collaborative work and its outcomes. We start with explaining the "roots" of ELM-ART, explain the emergence of the "intelligent textbook" paradigm behind the system, and discuss the follow-up and the impact of the original project

Gel Electrophoresis of DNA Knots in Weak and Strong Electric Fields

Gel electrophoresis allows to separate knotted DNA (nicked circular) of equal length according to the knot type. At low electric fields, complex knots being more compact, drift faster than simpler knots. Recent experiments have shown that the drift velocity dependence on the knot type is inverted when changing from low to high electric fields. We present a computer simulation on a lattice of a closed, knotted, charged DNA chain drifting in an external electric field in a topologically restricted medium. Using a simple Monte Carlo algorithm, the dependence of the electrophoretic migration of the DNA molecules on the type of knot and on the electric field intensity was investigated. The results are in qualitative agreement with electrophoretic experiments done under conditions of low and high electric fields: especially the inversion of the behavior from low to high electric field could be reproduced. The knot topology imposes on the problem the constrain of self-avoidance, which is the final cause of the observed behavior in strong electric field.Comment: 17 pages, 5 figure

Electronic contribution to the oscillations of a gravitational antenna

We carefully analyse the contribution to the oscillations of a metallic gravitational antenna due to the interaction between the electrons of the bar and the incoming gravitational wave. To this end, we first derive the total microscopic Hamiltonian of the wave-antenna system and then compute the contribution to the attenuation factor due to the electron-graviton interaction. As compared to the ordinary damping factor, which is due to the electron viscosity, this term turns out to be totally negligible. This result confirms that the only relevant mechanism for the interaction of a gravitational wave with a metallic antenna is its direct coupling with the bar normal modes.Comment: 25 pages, no figure

X-Raying the Dark Side of Venus - Scatter from Venus Magnetotail?

This work analyzes the X-ray, EUV and UV emission apparently coming from the Earth-facing (dark) side of Venus as observed with Hinode/XRT and SDO/AIA during a transit across the solar disk occurred in 2012. We have measured significant X-Ray, EUV and UV flux from Venus dark side. As a check we have also analyzed a Mercury transit across the solar disk, observed with Hinode/XRT in 2006. We have used the latest version of the Hinode/XRT Point Spread Function (PSF) to deconvolve Venus and Mercury X-ray images, in order to remove possible instrumental scattering. Even after deconvolution, the flux from Venus shadow remains significant while in the case of Mercury it becomes negligible. Since stray-light contamination affects the XRT Ti-poly filter data from the Venus transit in 2012, we performed the same analysis with XRT Al-mesh filter data, which is not affected by the light leak. Even the Al-mesh filter data show residual flux. We have also found significant EUV (304 A, 193 A, 335 A) and UV (1700 A) flux in Venus shadow, as measured with SDO/AIA. The EUV emission from Venus dark side is reduced when appropriate deconvolution methods are applied; the emission remains significant, however. The light curves of the average flux of the shadow in the X-ray, EUV, and UV bands appear different as Venus crosses the solar disk, but in any of them the flux is, at any time, approximately proportional to the average flux in a ring surrounding Venus, and therefore proportional to the average flux of the solar regions around Venus obscuring disk line of sight. The proportionality factor depends on the band. This phenomenon has no clear origin; we suggest it may be due to scatter occurring in the very long magnetotail of Venus.Comment: This paper has been accepted in The Astrophysical Journa

Mapping EK Draconis with PEPSI - Possible evidence for starspot penumbrae

We present the first temperature surface map of EK Dra from very-high-resolution spectra obtained with the Potsdam Echelle Polarimetric and Spectroscopic Instrument (PEPSI) at the Large Binocular Telescope. Changes in spectral line profiles are inverted to a stellar surface temperature map using our $i$Map code. The long-term photometric record is employed to compare our map with previously published maps. Four cool spots were reconstructed, but no polar spot was seen. The temperature difference to the photosphere of the spots is between 990 and 280K. Two spots are reconstructed with a typical solar morphology with an umbra and a penumbra. For the one isolated and relatively round spot (A), we determine an umbral temperature of 990K and a penumbral temperature of 180K below photospheric temperature. The umbra to photosphere intensity ratio of EK Dra is approximately only half of that of a comparison sunspot. A test inversion from degraded line profiles showed that the higher spectral resolution of PEPSI reconstructs the surface with a temperature difference that is on average 10% higher than before and with smaller surface areas by 10-20%. PEPSI is therefore better suited to detecting and characterising temperature inhomogeneities. With ten more years of photometry, we also refine the spot cycle period of EK Dra to 8.9$\pm$0.2 years with a continuing long-term fading trend. The temperature morphology of spot A so far appears to show the best evidence for the existence of a solar-like penumbra for a starspot. We emphasise that it is more the non-capture of the true umbral contrast rather than the detection of the weak penumbra that is the limiting factor. The relatively small line broadening of EK Dra, together with the only moderately high spectral resolutions previously available, appear to be the main contributors to the lower-than-expected spot contrasts when comparing to the Sun.Comment: Accepted for A&

A Three-Dimensional Solution of Flows over Wings with Leading-Edge Vortex Separation. Part 1: Engineering Document

A method of predicting forces, moments, and detailed surface pressures on thin, sharp-edged wings with leading-edge vortex separation in incompressible flow is presented. The method employs an inviscid flow model in which the wing and the rolled-up vortex sheets are represented by piecewise, continuous quadratic doublet sheet distributions. The Kutta condition is imposed on all wing edges. Computed results are compared with experimental data and with the predictions of the leading-edge suction analogy for a selected number of wing planforms over a wide range of angle of attack. These comparisons show the method to be very promising, capable of producing not only force predictions, but also accurate predictions of detailed surface pressure distributions, loads, and moments