Hilbert-Post completeness for the state and the exception effects

In this paper, we present a novel framework for studying the syntactic completeness of computational effects and we apply it to the exception effect. When applied to the states effect, our framework can be seen as a generalization of Pretnar's work on this subject. We first introduce a relative notion of Hilbert-Post completeness, well-suited to the composition of effects. Then we prove that the exception effect is relatively Hilbert-Post complete, as well as the "core" language which may be used for implementing it; these proofs have been formalized and checked with the proof assistant Coq.Comment: Siegfried Rump (Hamburg University of Technology), Chee Yap (Courant Institute, NYU). Sixth International Conference on Mathematical Aspects of Computer and Information Sciences , Nov 2015, Berlin, Germany. 2015, LNC

Multiple forms of metaplasticity at a single hippocampal synapse during late postnatal development

ABSTRACTMetaplasticity refers to adjustment in the requirements for induction of synaptic plasticity based on the prior history of activity. Numerous forms of developmental metaplasticity are observed at Schaffer collateral synapses in the rat hippocampus at the end of the third postnatal week. Emergence of spatial learning and memory at this developmental stage suggests possible involvement of metaplasticity in the final maturation of the hippocampus. Three distinct metaplastic phenomena are apparent. (1) As transmitter release probability increases with increasing age, presynaptic potentiation is reduced. (2) Alterations in the composition and channel conductance properties of AMPARs facilitate the induction of postsynaptic potentiation with increasing age. (3) Low frequency stimulation inhibits subsequent induction of potentiation in animals older but not younger than 3 weeks of age. Thus, many forms of plasticity expressed at SC-CA1 synapses are different in rats younger and older than 3 weeks of age, illustrating the complex orchestration of physiological modifications that underlie the maturation of hippocampal excitatory synaptic transmission. This review paper describes three late postnatal modifications to synaptic plasticity induction in the hippocampus and attempts to relate these metaplastic changes to developmental alterations in hippocampal network activity and the maturation of contextual learning

A library of near-infrared integral field spectra of young M-L dwarfs

We present a library of near-infrared (1.1-2.45 microns) medium-resolution (R~1500-2000) integral field spectra of 15 young M6-L0 dwarfs, composed of companions with known ages and of isolated objects. We use it to (re)derive the NIR spectral types, luminosities and physical parameters of the targets, and to test (BT-SETTL, DRIFT-PHOENIX) atmospheric models. We derive infrared spectral types L0+-1, L0+-1, M9.5+-0.5, M9.5+-0.5, M9.25+-0.25, M8+0.5-0.75, and M8.5+-0.5 for AB Pic b, Cha J110913-773444, USco CTIO 108B, GSC 08047-00232 B, DH Tau B, CT Cha b, and HR7329B, respectively. BT-SETTL and DRIFT-PHOENIX models yield close Teff and log g estimates for each sources. The models seem to evidence a 600-300+600 K drop of the effective temperature at the M-L transition. Assuming the former temperatures are correct, we derive new mass estimates which confirm that DH Tau B, USco CTIO 108B, AB Pic b, KPNO Tau 4, OTS 44, and Cha1109 lay inside or at the boundary of the planetary mass range. We combine the empirical luminosities of the M9.5-L0 sources to the Teff to derive semi-empirical radii estimates that do not match "hot-start" evolutionary models predictions at 1-3 Myr. We use complementary data to demonstrate that atmospheric models are able to reproduce the combined optical and infrared spectral energy distribution, together with the near-infrared spectra of these sources simultaneously. But the models still fail to represent the dominant features in the optical. This issue casts doubts on the ability of these models to predict correct effective temperatures from near-infrared spectra alone. We advocate the use of photometric and spectroscopic data covering a broad range of wavelengths to study the properties of very low mass young companions to be detected with the planet imagers (Subaru/SCExAO, LBT/LMIRCam, Gemini/GPI, VLT/SPHERE).Comment: 27 pages, 14 tables, 19 figures, accepted for publication in Astronomy & Astrophysic

SyTroN: a virtual classroom for collaborative and distant e-learning systemby teleoperating real devices

Distant E-learning is a main issue nowadays, and it is strongly motivated by social and economical considerations. The increased people mobility and the reduction of educational costs push to develop ad hoc solutions enabling to access to knowledge regardless to geographical situation and economical capabilities. These parameters should not be limits for good training: learning material's pertinence and efficiency have to remain the core of educational activities. In this paper we address the problem through SyTroN: a tele-learning system. This system combines virtual reality and teleoperation techniques to offer an open platform with two main objectives. The first one is to propose intuitive virtual classrooms/desks, including a real teacher supervision and supporting collaborative and individual distant learning. The second goal is to place learners in real conditions with remote connections to real devices allowing distant experimentations. Both goals participate to increase learning impacts and to reduce costs, that is, sharing costly real devices from anywhere at any time. After 5 years of development, our work has been validated by an extensive use at a high engineering school. In situ tests and learning impact studies have been done. They show some advantages and some drawbacks of our global solution

Numerical Simulations of Dynamos Generated in Spherical Couette Flows

We numerically investigate the efficiency of a spherical Couette flow at generating a self-sustained magnetic field. No dynamo action occurs for axisymmetric flow while we always found a dynamo when non-axisymmetric hydrodynamical instabilities are excited. Without rotation of the outer sphere, typical critical magnetic Reynolds numbers $Rm_c$ are of the order of a few thousands. They increase as the mechanical forcing imposed by the inner core on the flow increases (Reynolds number $Re$). Namely, no dynamo is found if the magnetic Prandtl number $Pm=Rm/Re$ is less than a critical value $Pm_c\sim 1$. Oscillating quadrupolar dynamos are present in the vicinity of the dynamo onset. Saturated magnetic fields obtained in supercritical regimes (either $Re>2 Re_c$ or $Pm>2Pm_c$) correspond to the equipartition between magnetic and kinetic energies. A global rotation of the system (Ekman numbers $E=10^{-3}, 10^{-4}$) yields to a slight decrease (factor 2) of the critical magnetic Prandtl number, but we find a peculiar regime where dynamo action may be obtained for relatively low magnetic Reynolds numbers ($Rm_c\sim 300$). In this dynamical regime (Rossby number $Ro\sim -1$, spheres in opposite direction) at a moderate Ekman number ($E=10^{-3}$), a enhanced shear layer around the inner core might explain the decrease of the dynamo threshold. For lower $E$ ($E=10^{-4}$) this internal shear layer becomes unstable, leading to small scales fluctuations, and the favorable dynamo regime is lost. We also model the effect of ferromagnetic boundary conditions. Their presence have only a small impact on the dynamo onset but clearly enhance the saturated magnetic field in the ferromagnetic parts. Implications for experimental studies are discussed

Type II Shocks Characteristics: Comparison with associated CMEs and Flares

A number of metric (100-650 MHz) typeII bursts was recorded by the ARTEMIS-IV radiospectrograph in the 1998-2000 period; the sample includes both CME driven shocks and shocks originating from flare blasts. We study their characteristics in comparison with characteristics of associated CMEs and flares.Comment: Recent Advances in Astronomy and Astrophysics: 7th International Conference of the Hellenic Astronomical Society. AIP Conference Proceedings, Volume 848, pp. 238-242 (2006

A survey of young, nearby, and dusty stars to understand the formation of wide-orbit giant planets

Direct imaging has confirmed the existence of substellar companions on wide orbits. To understand the formation and evolution mechanisms of these companions, the full population properties must be characterized. We aim at detecting giant planet and/or brown dwarf companions around young, nearby, and dusty stars. Our goal is also to provide statistics on the population of giant planets at wide-orbits and discuss planet formation models. We report a deep survey of 59 stars, members of young stellar associations. The observations were conducted with VLT/NaCo at L'-band (3.8 micron). We used angular differential imaging to reach optimal detection performance. A statistical analysis of about 60 % of the young and southern A-F stars closer than 65 pc allows us to derive the fraction of giant planets on wide orbits. We use gravitational instability models and planet population synthesis models following the core-accretion scenario to discuss the occurrence of these companions. We resolve and characterize new visual binaries and do not detect any new substellar companion. The survey's median detection performance reaches contrasts of 10 mag at 0.5as and 11.5 mag at 1as. We find the occurrence of planets to be between 10.8-24.8 % at 68 % confidence level assuming a uniform distribution of planets in the interval 1-13 Mj and 1-1000 AU. Considering the predictions of formation models, we set important constraints on the occurrence of massive planets and brown dwarf companions that would have formed by GI. We show that this mechanism favors the formation of rather massive clump (Mclump > 30 Mj) at wide (a > 40 AU) orbits which might evolve dynamically and/or fragment. For the population of close-in giant planets that would have formed by CA, our survey marginally explore physical separations (<20 AU) and cannot constrain this population

Type II and IV radio bursts in the active period October-November 2003

In this report we present the Type II and IV radio bursts observed and analyzed by the radio spectrograph ARTEMIS IV1, in the 650-20MHz frequency range, during the active period October-November 2003. These bursts exhibit very rich fine structures such fibers, pulsations and zebra patterns which is associated with certain characteristics of the associated solar flares and CMEs.Comment: Recent Advances in Astronomy and Astrophysics: 7th International Conference of the Hellenic Astronomical Society. AIP Conference Proceedings, Volume 848, pp. 199-206 (2006