From computer assisted language learning (CALL) to mobile assisted language use

This article begins by critiquing the long-established acronym CALL (Computer Assisted Language Learning). We then go on to report on a small-scale study which examines how student non-native speakers of English use a range of digital devices beyond the classroom in both their first (L1) and second (L2) languages. We look also at the extent to which they believe that their L2-based activity helps consciously and/or unconsciously with their language learning, practice, and acquisition. We argue that these data, combined with other recent trends in the field, suggest a need to move from CALL towards a more accurate acronym: mobile assisted language use (MALU). We conclude with a definition of MALU together with a brief discussion of a potential alignment of MALU with the notion of the digital resident and a newly emerging educational theory of connectivism

NEXP-completeness and Universal Hardness Results for Justification Logic

We provide a lower complexity bound for the satisfiability problem of a multi-agent justification logic, establishing that the general NEXP upper bound from our previous work is tight. We then use a simple modification of the corresponding reduction to prove that satisfiability for all multi-agent justification logics from there is hard for the Sigma 2 p class of the second level of the polynomial hierarchy - given certain reasonable conditions. Our methods improve on these required conditions for the same lower bound for the single-agent justification logics, proven by Buss and Kuznets in 2009, thus answering one of their open questions.Comment: Shorter version has been accepted for publication by CSR 201

Statics and dynamics of atomic dark-bright solitons in the presence of delta-like impurities

Adopting a mean-field description for a two-component atomic Bose-Einstein condensate, we study the stat- ics and dynamics of dark-bright solitons in the presence of localized impurities. We use adiabatic perturbation theory to derive an equation of motion for the dark-bright soliton center. We show that, counter-intuitively, an attractive (repulsive) delta-like impurity, acting solely on the bright soliton component, induces an effective localized barrier (well) in the effective potential felt by the soliton; this way, dark-bright solitons are reflected from (transmitted through) attractive (repulsive) impurities. Our analytical results for the small-amplitude oscil- lations of solitons are found to be in good agreement with results obtained via a Bogoliubov-de Gennes analysis and direct numerical simulations.Comment: 11 pages, 11 figures, to appear in Phys. Rev.

Beating dark-dark solitons in Bose-Einstein condensates

Motivated by recent experimental results, we study beating dark-dark solitons as a prototypical coherent structure that emerges in two-component Bose-Einstein condensates. We showcase their connection to dark- bright solitons via SO(2) rotation, and infer from it both their intrinsic beating frequency and their frequency of oscillation inside a parabolic trap. We identify them as exact periodic orbits in the Manakov limit of equal inter- and intra-species nonlinearity strengths with and without the trap and showcase the persistence of such states upon weak deviations from this limit. We also consider large deviations from the Manakov limit illustrating that this breathing state may be broken apart into dark-antidark soliton states. Finally, we consider the dynamics and interactions of two beating dark-dark solitons in the absence and in the presence of the trap, inferring their typically repulsive interaction.Comment: 13 pages, 14 figure

Stationary states of a nonlinear Schrödinger lattice with a harmonic trap

We study a discrete nonlinear Schrödinger lattice with a parabolic trapping potential. The model, describing, e.g., an array of repulsive Bose-Einstein condensate droplets confined in the wells of an optical lattice, is analytically and numerically investigated. Starting from the linear limit of the problem, we use global bifurcation theory to rigorously prove that – in the discrete regime – all linear states lead to nonlinear generalizations thereof, which assume the form of a chain of discrete dark solitons (as the density increases). The stability of the ensuing nonlinear states is studied and it is found that the ground state is stable, while the excited states feature a chain of stability/instability bands. We illustrate the mechanisms under which discreteness destabilizes the dark-soliton configurations, which become stable only in the continuum regime. Continuation from the anti-continuum limit is also considered, and a rich bifurcation structure is revealed

Cassini observations of ion and electron beams at Saturn and their relationship to infrared auroral arcs

We present Cassini Visual and Infrared Mapping Spectrometer observations of infrared auroral emissions from the noon sector of Saturn's ionosphere revealing multiple intense auroral arcs separated by dark regions poleward of the main oval. The arcs are interpreted as the ionospheric signatures of bursts of reconnection occurring at the dayside magnetopause. The auroral arcs were associated with upward field-aligned currents, the magnetic signatures of which were detected by Cassini at high planetary latitudes. Magnetic field and particle observations in the adjacent downward current regions showed upward bursts of 100–360 keV light ions in addition to energetic (hundreds of keV) electrons, which may have been scattered from upward accelerated beams carrying the downward currents. Broadband, upward propagating whistler waves were detected simultaneously with the ion beams. The acceleration of the light ions from low altitudes is attributed to wave-particle interactions in the downward current regions. Energetic (600 keV) oxygen ions were also detected, suggesting the presence of ambient oxygen at altitudes within the acceleration region. These simultaneous in situ and remote observations reveal the highly energetic magnetospheric dynamics driving some of Saturn's unusual auroral features. This is the first in situ identification of transient reconnection events at regions magnetically conjugate to Saturn's magnetopause

Thermal electron periodicities at 20RS in Saturn’s magnetosphere

Cassini fields and particles observations show clear evidence of periodic phenomena in Saturn's magnetosphere. Periodicities have been observed in kilometric radio emissions, total electron density (in the inner magnetosphere), magnetic fields, and energetic particles (in the outer magnetosphere). In this letter the first analysis of periodicities in thermal electron densities in Saturn's outer magnetosphere are presented. Plasma sheet electron densities and temperatures at 20 ± 2 RS in Saturn's magnetosphere are studied and examined as a function of SLS3 longitude. Evidence for a density minimum at 170° is presented which is in excellent agreement with total electron density results in the 3–5 RS range. The density asymmetry is interpreted as the result of a periodic plasma sheet motion where the northward offset of the plasma sheet varies with longitude hence producing a density modulation in the equatorial plane. The effect of magnetospheric compressions on the dayside density asymmetry are discussed.Fil: Arridge, C. S.. University College London; Estados UnidosFil: Andre, N.. European Space Agency; Países BajosFil: Achilleos, N.. University College London; Estados UnidosFil: Khurana, K. K.. University of California; Estados UnidosFil: Bertucci, Cesar. Consejo Nacional de Investigaciónes Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Astronomía y Física del Espacio. - Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Astronomía y Física del Espacio; ArgentinaFil: Gilbert, L. K.. University College London; Estados UnidosFil: Lewis, G. R.. University College London; Estados UnidosFil: Coates, A. J.. University College London; Estados UnidosFil: Dougherty, M. K.. Imperial College London; Reino Unid

Internally driven large-scale changes in the size of Saturn’s magnetosphere

Saturn’s magnetic field acts as an obstacle to solar wind flow, deflecting plasma around the planet and forming a cavity known as the magnetosphere. The magnetopause defines the boundary between the planetary and solar dominated regimes, and so is strongly influenced by the variable nature of pressure sources both outside and within. Following from Pilkington et al. (2014), crossings of the magnetopause are identified using 7 years of magnetic field and particle data from the Cassini spacecraft and providing unprecedented spatial coverage of the magnetopause boundary. These observations reveal a dynamical interaction where, in addition to the external influence of the solar wind dynamic pressure, internal drivers, and hot plasma dynamics in particular can take almost complete control of the system’s dayside shape and size, essentially defying the solar wind conditions. The magnetopause can move by up to 10–15 planetary radii at constant solar wind dynamic pressure, corresponding to relatively “plasma-loaded” or “plasma-depleted” states, defined in terms of the internal suprathermal plasma pressure