Machine-assisted Cyber Threat Analysis using Conceptual Knowledge Discovery

Over the last years, computer networks have evolved into highly dynamic and interconnected environments, involving multiple heterogeneous devices and providing a myriad of services on top of them. This complex landscape has made it extremely difficult for security administrators to keep accurate and be effective in protecting their systems against cyber threats. In this paper, we describe our vision and scientific posture on how artificial intelligence techniques and a smart use of security knowledge may assist system administrators in better defending their networks. To that end, we put forward a research roadmap involving three complimentary axes, namely, (I) the use of FCA-based mechanisms for managing configuration vulnerabilities, (II) the exploitation of knowledge representation techniques for automated security reasoning, and (III) the design of a cyber threat intelligence mechanism as a CKDD process. Then, we describe a machine-assisted process for cyber threat analysis which provides a holistic perspective of how these three research axes are integrated together

Low X-Ray Luminosity Galaxy Clusters: Main goals, sample selection, photometric and spectroscopic observations

We present the study of nineteen low X-ray luminosity galaxy clusters (L$_X \sim$ 0.5--45 $\times$ $10^{43}$ erg s$^{-1}$), selected from the ROSAT Position Sensitive Proportional Counters (PSPC) Pointed Observations (Vikhlinin et al. 1998) and the revised version of Mullis et al. (2003) in the redshift range of 0.16 to 0.7. This is the introductory paper of a series presenting the sample selection, photometric and spectroscopic observations and data reduction. Photometric data in different passbands were taken for eight galaxy clusters at Las Campanas Observatory; three clusters at Cerro Tololo Interamerican Observatory; and eight clusters at the Gemini Observatory. Spectroscopic data were collected for only four galaxy clusters using Gemini telescopes. With the photometry, the galaxies were defined based on the star-galaxy separation taking into account photometric parameters. For each galaxy cluster, the catalogues contain the PSF and aperture magnitudes of galaxies within the 90\% completeness limit. They are used together with structural parameters to study the galaxy morphology and to estimate photometric redshifts. With the spectroscopy, the derived galaxy velocity dispersion of our clusters ranged from 507 km~s$^{-1}$ for [VMF98]022 to 775 km~s$^{-1}$ for [VMF98]097 with signs of substructure. Cluster membership has been extensively discussed taking into account spectroscopic and photometric redshift estimates. In this sense, members are the galaxies within a projected radius of 0.75 Mpc from the X-ray mission peak and with cluster centric velocities smaller than the cluster velocity dispersion or 6000 km~s$^{-1}$, respectively. These results will be used in forthcoming papers to study, among the main topics, the red cluster sequence, blue cloud and green populations; the galaxy luminosity function and cluster dynamics.Comment: 13 pages, 6 tables, 9 figures. Uses emulateapj. Accepted for publication in The Astronomical Journal. Some formatting errors fixe

Atmospheric characterization of Proxima b by coupling the Sphere high-contrast imager to the Espresso spectrograph

Context. The temperate Earth-mass planet Proxima b is the closest exoplanet to Earth and represents what may be our best ever opportunity to search for life outside the Solar System. Aims. We aim at directly detecting Proxima b and characterizing its atmosphere by spatially resolving the planet and obtaining high-resolution reflected-light spectra. Methods. We propose to develop a coupling interface between the SPHERE high-contrast imager and the new ESPRESSO spectrograph, both installed at ESO VLT. The angular separation of 37 mas between Proxima b and its host star requires the use of visible wavelengths to spatially resolve the planet on a 8.2-m telescope. At an estimated planet-to-star contrast of ~10^-7 in reflected light, Proxima b is extremely challenging to detect with SPHERE alone. However, the combination of a ~10^3-10^4 contrast enhancement from SPHERE to the high spectral resolution of ESPRESSO can reveal the planetary spectral features and disentangle them from the stellar ones. Results. We find that significant but realistic upgrades to SPHERE and ESPRESSO would enable a 5-sigma detection of the planet and yield a measurement of its true mass and albedo in 20-40 nights of telescope time, assuming an Earth-like atmospheric composition. Moreover, it will be possible to probe the O2 bands at 627, 686 and 760 nm, the water vapour band at 717 nm, and the methane band at 715 nm. In particular, a 3.6-sigma detection of O2 could be made in about 60 nights of telescope time. Those would need to be spread over 3 years considering optimal observability conditions for the planet. Conclusions. The very existence of Proxima b and the SPHERE-ESPRESSO synergy represent a unique opportunity to detect biosignatures on an exoplanet in the near future. It is also a crucial pathfinder experiment for the development of Extremely Large Telescopes and their instruments (abridged).Comment: 16 pages, 7 figures, revised version accepted to A&

Hot Exoplanet Atmospheres Resolved with Transit Spectroscopy (HEARTS) I. Detection of hot neutral sodium at high altitudes on WASP-49b

High-resolution optical spectroscopy during the transit of HD 189733b, a prototypical hot Jupiter, allowed the resolution of the Na I D sodium lines in the planet, giving access to the extreme conditions of the planet upper atmosphere. We have undertaken HEARTS, a spectroscopic survey of exoplanet upper atmospheres, to perform a comparative study of hot gas giants and determine how stellar irradiation affect them. Here, we report on the first HEARTS observations of the hot Saturn-mass planet WASP-49b. We observed the planet with the HARPS high-resolution spectrograph at ESO 3.6m telescope. We collected 126 spectra of WASP-49, covering three transits of WASP-49b. We analyzed and modeled the planet transit spectrum, while paying particular attention to the treatment of potentially spurious signals of stellar origin. We spectrally resolve the Na I D lines in the planet atmosphere and show that these signatures are unlikely to arise from stellar contamination. The large contrasts of $2.0\pm0.5\%$ (D$_2$) and $1.8\pm0.7\%$ (D$_1$) require the presence of hot neutral sodium ($2,950^{+400}_{-500}$ K) at high altitudes ($\sim$1.5 planet radius or $\sim$45,000 km). From estimating the cloudiness index of WASP-49b, we determine its atmosphere to be cloud free at the altitudes probed by the sodium lines. WASP-49b is close to the border of the evaporation desert and exhibits an enhanced thermospheric signature with respect to a farther-away planet such as HD 189733b.Comment: Accepted for publication in A&A. 14 page

MASPEGHI 2004 Mechanisms for Speialization, Generalization and Inheritance

Rapport de Recherche Projet OCL, N° I3S/RR-2004-15-FRInternational audienceMASPEGHI 2004 is the third edition of the MASPEGHI workshop. This year the organizers of both the ECOOP 2002 Inheritance Workshop and MASPEGHI 2003 came together to enlarge the scope of the workshop and to address new challenges. We succeeded in gathering a diverse group of researchers and practitioners interested in mechanisms for managing specialization and generalization of programming language components. The workshop contained a series of presentations with discussions as well as group work, and the interplay between the more than 22 highly skilled and inspiring people from many different communities gave rise to fruitful discussions and the potential for continued collaboration

Iterative Flattening Search for the Flexible Job Shop Scheduling Problem

This paper presents a meta-heuristic algorithm for solving the Flexible Job Shop Scheduling Problem (FJSSP). This strategy, known as Iterative Flattening Search (IFS), iteratively applies a relaxation-step, in which a subset of scheduling decisions are randomly retracted from the current solution; and a solving-step, in which a new solution is incrementally recomputed from this partial schedule. This work contributes two separate results: (1) it proposes a constraint-based procedure extending an existing approach previously used for classical Job Shop Scheduling Problem; (2) it proposes an original relaxation strategy on feasible FJSSP solutions based on the idea of randomly breaking the execution orders of the activities on the machines and opening the resource options for some activities selected at random. The efficacy of the overall heuristic optimization algorithm is demonstrated on a set of well-known benchmarks

The Swiss cohort study on substance use risk factors : findings of two waves

Aim: To summarize published findings in peer-reviewed journals of the first two waves of the Swiss Cohort Study on Substance Use Risk Factors (C-SURF), a longitudinal study assessing risk and protective factors of 5,987 young men during the phase of emerging adulthood (20 years at baseline, followed-up 15 months later). Methods: Included were 33 studies published until November 2014 focusing on substance use. Results: Substance use in early adulthood is a prevalent and stable behavior. The 12-month prevalence of nonmedical use of prescription drugs (10.6%) lies between that of cannabis (36.4%) and other illicit drugs such as ecstasy (3.7%) and cocaine (3.2%). Although peer pressure in the form of misconduct is associated with increased substance use, other aspects such as peer involvement in social activities may have beneficial effects. Regular sport activities are associated with reduced substance use, with the exception of alcohol use. Young men are susceptible to structural conditions such as the price of alcohol beverages or the density of on-premise alcohol outlets. Particularly alcohol use in public settings such as bars, discos or in parks (compared with private settings such as the home) is associated with alcohol-related harm, including injuries or violence. Being a single parent versus nuclear family has no effect on alcohol use, but active parenting does. Besides parenting, religiousness is an important protective factor for both legal and illegal substance use. Merely informing young men about the risks of substance use may not be an effective preventive measure. At-risk users of licit and illicit substances are more health literate, e. g., for example, they seek out more information on the internet than non-at-risk-users or abstainers. Discussion: There are a number of risk and protective substance use factors, but their associations with substance use do not necessarily agree with those found outside Europe. In the United States, for example, heavy alcohol use in this age group commonly takes place in private settings, whereas in Switzerland it more often takes place in public settings. Other behaviors, such as the nonmedical use of prescription drugs, appear to be similar to those found overseas, which may show the need for targeted preventive actions. C-SURF findings point to the necessity of establishing European studies to identify factors for designing specific preventive actions