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

Ten Years of the Solar Radiospectrograph ARTEMIS-IV

The Solar Radiospectrograph of the University of Athens (ARTEMIS-IV) is in operation at the Thermopylae Satellite Communication Station since 1996. The observations extend from the base of the Solar Corona (650 MHz) to about 2 Solar Radii (20 MHz) with time resolution 1/10-1/100 sec. The instruments recordings, being in the form of dynamic spectra, measure radio flux as a function of height in the corona; our observations are combined with spatial data from the Nancay Radioheliograph whenever the need for 3D positional information arises. The ARTEMIS-IV contribution in the study of solar radio bursts is two fold- Firstly, in investigating new spectral characteristics since its high sampling rate facilitates the study of fine structures in radio events. On the other hand it is used in studying the association of solar bursts with interplanetary phenomena because of its extended frequency range which is, furthermore, complementary to the range of the WIND/WAVES receivers and the observations may be readily combined. This reports serves as a brief account of this operation. Joint observations with STEREO/WAVES and LOFAR low frequency receivers are envisaged in the future

Near-infrared spatially resolved spectroscopy of (136108) Haumea's multiple system

The transneptunian region of the solar system is populated by a wide variety of icy bodies showing great diversity. The dwarf planet (136108) Haumea is among the largest TNOs and displays a highly elongated shape and hosts two moons, covered with crystalline water ice like Hamuea. Haumea is also the largest member of the sole TNO family known to date. A catastrophic collision is likely responsible for its unique characteristics. We report here on the analysis of a new set of observations of Haumea obtained with SINFONI at the ESO VLT. Combined with previous data, and using light-curve measurements in the optical and far infrared, we carry out a rotationally resolved spectroscopic study of the surface of Haumea. We describe the physical characteristics of the crystalline water ice present on the surface of Haumea for both regions, in and out of the Dark Red Spot (DRS), and analyze the differences obtained for each individual spectrum. The presence of crystalline water ice is confirmed over more than half of the surface of Haumea. Our measurements of the average spectral slope confirm the redder characteristic of the spot region. Detailed analysis of the crystalline water-ice absorption bands do not show significant differences between the DRS and the remaining part of the surface. We also present the results of applying Hapke modeling to our data set. The best spectral fit is obtained with a mixture of crystalline water ice (grain sizes smaller than 60 micron) with a few percent of amorphous carbon. Improvements to the fit are obtained by adding ~10% of amorphous water ice. Additionally, we used the IFU-reconstructed images to measure the relative astrometric position of the largest satellite Hi`iaka and determine its orbital elements. An orbital solution was computed with our genetic-based algorithm GENOID and our results are in full agreement with recent results.Comment: Accepted for publication in A&

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

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

Parallel computation of echelon forms

International audienceWe propose efficient parallel algorithms and implementations on shared memory architectures of LU factorization over a finite field. Compared to the corresponding numerical routines, we have identified three main difficulties specific to linear algebra over finite fields. First, the arithmetic complexity could be dominated by modular reductions. Therefore, it is mandatory to delay as much as possible these reductions while mixing fine-grain parallelizations of tiled iterative and recursive algorithms. Second, fast linear algebra variants, e.g., using Strassen-Winograd algorithm, never suffer from instability and can thus be widely used in cascade with the classical algorithms. There, trade-offs are to be made between size of blocks well suited to those fast variants or to load and communication balancing. Third, many applications over finite fields require the rank profile of the matrix (quite often rank deficient) rather than the solution to a linear system. It is thus important to design parallel algorithms that preserve and compute this rank profile. Moreover, as the rank profile is only discovered during the algorithm, block size has then to be dynamic. We propose and compare several block decomposition: tile iterative with left-looking, right-looking and Crout variants, slab and tile recursive. Experiments demonstrate that the tile recursive variant performs better and matches the performance of reference numerical software when no rank deficiency occur. Furthermore, even in the most heterogeneous case, namely when all pivot blocks are rank deficient, we show that it is possbile to maintain a high efficiency