EChO spectra and stellar activity II. The case of dM stars

EChO is a dedicated mission to investigate exoplanetary atmospheres. When extracting the planetary signal, one has to take care of the variability of the hosting star, which introduces spectral distortion that can be mistaken as planetary signal. Magnetic variability is a major deal in particular for M stars. To this purpose, assuming a one spot dominant model for the stellar photosphere, we develop a mixed observational-theoretical tool to extract the spot's parameters from the observed optical spectrum. This method relies on a robust library of spectral M templates, which we derive using the observed spectra of quiet M dwarfs in the SDSS database. Our procedure allows to correct the observed spectra for photospheric activity in most of the analyzed cases, reducing the spectral distortion down to the noise levels. Ongoing refinements of the template library and the algorithm will improve the efficiency of our algorithm.Comment: Submitted to Experimental Astronom

Perception and Acceptance of an Autonomous Refactoring Bot

The use of autonomous bots for automatic support in software development tasks is increasing. In the past, however, they were not always perceived positively and sometimes experienced a negative bias compared to their human counterparts. We conducted a qualitative study in which we deployed an autonomous refactoring bot for 41 days in a student software development project. In between and at the end, we conducted semi-structured interviews to find out how developers perceive the bot and whether they are more or less critical when reviewing the contributions of a bot compared to human contributions. Our findings show that the bot was perceived as a useful and unobtrusive contributor, and developers were no more critical of it than they were about their human colleagues, but only a few team members felt responsible for the bot.Comment: 8 pages, 2 figures. To be published at 12th International Conference on Agents and Artificial Intelligence (ICAART 2020

La thérapie avec les familles immigrées

Le but de cet article est de montrer grâce à des exemples cliniques quelques-unes des spécificités du travail avec les familles immigrées. Seront abordés plus particulièrement les effets désorganisateurs de l'immigration, la place du père et la pensée magique dans les familles immigrées.This article illustrates through clinical examples a number of specific aspects related to work carried out with immigrant families. Topics include the disorganizing effects of immigration, the place of the father and magical thinking in immigrant families

The blue sky of GJ3470b: the atmosphere of a low-mass planet unveiled by ground-based photometry

GJ3470b is a rare example of a "hot Uranus" transiting exoplanet orbiting a nearby M1.5 dwarf. It is of crucial interest for atmospheric studies because it is one of the most inflated low-mass planets known, bridging the boundary between "super-Earths" and Neptunian planets. We present two new ground-based light curves of GJ3470b gathered by the LBC camera at the Large Binocular Telescope. Simultaneous photometry in the ultraviolet (lambda_c = 357.5 nm) and optical infrared (lambda_c = 963.5 nm) allowed us to detect a significant change of the effective radius of GJ3470b as a function of wavelength. This can be interpreted as a signature of scattering processes occurring in the planetary atmosphere, which should be cloud-free and with a low mean molecular weight. The unprecedented accuracy of our measurements demonstrates that the photometric detection of Earth-sized planets around M dwarfs is achievable using 8-10m size ground-based telescopes. We provide updated planetary parameters, and a greatly improved orbital ephemeris for any forthcoming study of this planet.Comment: 8 pages, 6 figures, 1 table; accepted for publication in A&

Synergies between space telescopes in the photometric characterization of the atmospheres of Hot Jupiters

Previous generation of instruments have the opportunity to discover thousands of extra-solar planets and more will come with the current and future planet-search missions. In order to go one step further in the characterization of exoplanets, in this paper we describe a way to compare the photometric observation of Hot Jupiters done with space telescopes such as HST, CHEOPS, TESS, PLATO, and JWST and give the first-hand characterization on their atmospheres. We analyze a set of planetary systems hosting a Hot Jupiter for which an atmospheric template is available in the literature. For each system, we simulate the transit light curves observed by different instruments, convolving the incoming spectrum with the corresponding instrumental throughput. For each instrument, we thus measure the expected transit depth and estimate the associated uncertainty. Finally, we compare the transit depths as seen by the selected instruments and we quantify the effect of the planetary atmosphere on multi-band transit photometry. We also analyze a set of simulated scenarios with different stellar magnitudes, activity levels, transit durations and atmospheric templates to find the best cases for this kind of observational approach. We find in general that current and especially future space telescopes provide enough photometric precision to detect significant differences between the transit depths at different wavelengths. In particular, we find that the chromatic effect due to the atmosphere of the Hot Jupiters is maximized at later spectral types and that the effect of stellar activity is smaller than the measurement uncertainties.Comment: 14 pages, 17 figures, Published in MNRA

TOSC: an algorithm for the tomography of spotted transit chords

Photometric observations of planetary transits may show localized bumps, called transit anomalies, due to the possible crossing of photospheric starspots. The aim of this work is to analyze the transit anomalies and derive the temperature profile inside the transit belt along the transit direction. We develop the algorithm TOSC, a tomographic inverse-approach tool which, by means of simple algebra, reconstructs the flux distribution along the transit belt. We test TOSC against some simulated scenarios. We find that TOSC provides robust results for light curves with photometric accuracies better than 1~mmag, returning the spot-photosphere temperature contrast with an accuracy better than 100~K. TOSC is also robust against the presence of unocculted spots, provided that the apparent planetary radius given by the fit of the transit light curve is used in place of the true radius. The analysis of real data with TOSC returns results consistent with previous studies

Security Assurance Cases -- State of the Art of an Emerging Approach

Security Assurance Cases (SAC) are a form of structured argumentation used to reason about the security properties of a system. After the successful adoption of assurance cases for safety, SACs are getting significant traction in recent years, especially in safety-critical industries (e.g., automotive), where there is an increasing pressure to be compliant with several security standards and regulations. Accordingly, research in the field of SAC has flourished in the past decade, with different approaches being investigated. In an effort to systematize this active field of research, we conducted a systematic literature review (SLR) of the existing academic studies on SAC. Our review resulted in an in-depth analysis and comparison of 51 papers. Our results indicate that, while there are numerous papers discussing the importance of security assurance cases and their usage scenarios, the literature is still immature with respect to concrete support for practitioners on how to build and maintain a SAC. More importantly, even though some methodologies are available, their validation and tool support is still lacking

GitHub Considered Harmful? Analyzing Open-Source Projects for the Automatic Generation of Cryptographic API Call Sequences

GitHub is a popular data repository for code examples. It is being continuously used to train several AI-based tools to automatically generate code. However, the effectiveness of such tools in correctly demonstrating the usage of cryptographic APIs has not been thoroughly assessed. In this paper, we investigate the extent and severity of misuses, specifically caused by incorrect cryptographic API call sequences in GitHub. We also analyze the suitability of GitHub data to train a learning-based model to generate correct cryptographic API call sequences. For this, we manually extracted and analyzed the call sequences from GitHub. Using this data, we augmented an existing learning-based model called DeepAPI to create two security-specific models that generate cryptographic API call sequences for a given natural language (NL) description. Our results indicate that it is imperative to not neglect the misuses in API call sequences while using data sources like GitHub, to train models that generate code.Comment: Accepted at QRS 202