Detection of water absorption in the day side atmosphere of HD 189733 b using ground-based high-resolution spectroscopy at 3.2 microns

We report a 4.8 sigma detection of water absorption features in the day side spectrum of the hot Jupiter HD 189733 b. We used high-resolution (R~100,000) spectra taken at 3.2 microns with CRIRES on the VLT to trace the radial-velocity shift of the water features in the planet's day side atmosphere during 5 h of its 2.2 d orbit as it approached secondary eclipse. Despite considerable telluric contamination in this wavelength regime, we detect the signal within our uncertainties at the expected combination of systemic velocity (Vsys=-3 +5-6 km/s) and planet orbital velocity (Kp=154 +14-10 km/s), and determine a H2O line contrast ratio of (1.3+/-0.2)x10^-3 with respect to the stellar continuum. We find no evidence of significant absorption or emission from other carbon-bearing molecules, such as methane, although we do note a marginal increase in the significance of our detection to 5.1 sigma with the inclusion of carbon dioxide in our template spectrum. This result demonstrates that ground-based, high-resolution spectroscopy is suited to finding not just simple molecules like CO, but also to more complex molecules like H2O even in highly telluric contaminated regions of the Earth's transmission spectrum. It is a powerful tool that can be used for conducting an immediate census of the carbon- and oxygen-bearing molecules in the atmospheres of giant planets, and will potentially allow the formation and migration history of these planets to be constrained by the measurement of their atmospheric C/O ratios.Comment: 5 pages, 4 figures, accepted for publication in MNRAS Letter

The GROUSE project III: Ks-band observations of the thermal emission from WASP-33b

In recent years, day-side emission from about a dozen hot Jupiters has been detected through ground-based secondary eclipse observations in the near-infrared. These near-infrared observations are vital for determining the energy budgets of hot Jupiters, since they probe the planet's spectral energy distribution near its peak. The aim of this work is to measure the Ks-band secondary eclipse depth of WASP-33b, the first planet discovered to transit an A-type star. This planet receives the highest level of irradiation of all transiting planets discovered to date. Furthermore, its host-star shows pulsations and is classified as a low-amplitude delta-Scuti. As part of our GROUnd-based Secondary Eclipse (GROUSE) project we have obtained observations of two separate secondary eclipses of WASP-33b in the Ks-band using the LIRIS instrument on the William Herschel Telescope (WHT). The telescope was significantly defocused to avoid saturation of the detector for this bright star (K~7.5). To increase the stability and the cadence of the observations, they were performed in staring mode. We collected a total of 5100 and 6900 frames for the first and the second night respectively, both with an average cadence of 3.3 seconds. On the second night the eclipse is detected at the 12-sigma level, with a measured eclipse depth of 0.244+0.027-0.020 %. This eclipse depth corresponds to a brightness temperature of 3270+115-160 K. The measured brightness temperature on the second night is consistent with the expected equilibrium temperature for a planet with a very low albedo and a rapid re-radiation of the absorbed stellar light. For the other night the short out-of-eclipse baseline prevents good corrections for the stellar pulsations and systematic effects, which makes this dataset unreliable for eclipse depth measurements. This demonstrates the need of getting a sufficient out-of-eclipse baseline.Comment: 12 pages, 10 figures. Accepted for publication in Astronomy and Astrophysic

Doppler tomography as a tool for detecting exoplanet atmospheres

High-resolution Doppler spectroscopy is a powerful tool for identifying molecular species in the atmospheres of both transiting and non-transiting exoplanets. Currently, such data is analysed using cross-correlation techniques to detect the Doppler shifting signal from the orbiting planet. In this paper we demonstrate that, compared to cross-correlation methods currently used, the technique of Doppler tomography has improved sensitivity in detecting the subtle signatures expected from exoplanet atmospheres. This is partly due to the use of a regularizing statistic, which acts to suppress noise, coupled to the fact that all the data is fit simultaneously. In addition, we show that the technique can also effectively suppress contanimating spectral features that may arise due to overlapping lines, repeating line patterns, or the use of incorrect linelists. These issues can confuse conventional cross-correlation approaches, primarily due to aliasing issues inherent in such techniques, whereas Doppler tomography is less susceptible to such effects. In particular, Doppler tomography shows exceptional promise for simultaneously detecting multiple line species (e.g. isotopologues), even when there are high contrasts between such species – and far outperforms current CCF analyses in this respect. Finally, we demonstrate that Doppler tomography is capable of recovering molecular signals from exoplanets using real data, by confirming the strong detection of CO in the atmosphere of τ Boo b. We recover a signal with a planetary radial velocity semi-amplitude Kp = 109.6 ± 2.2 km s−1, in excellent agreement with the previously reported value of 110.0 ± 3.2 km s−1

Search for an exosphere in sodium and calcium in the transmission spectrum of exoplanet 55 Cancri e

[Abridged] The aim of this work is to search for an absorption signal from exospheric sodium (Na) and singly ionized calcium (Ca$^+$) in the optical transmission spectrum of the hot rocky super-Earth 55 Cancri e. Although the current best-fitting models to the planet mass and radius require a possible atmospheric component, uncertainties in the radius exist, making it possible that 55 Cancri e could be a hot rocky planet without an atmosphere. High resolution (R$\sim$110000) time-series spectra of five transits of 55 Cancri e, obtained with three different telescopes (UVES/VLT, HARPS/ESO 3.6m & HARPS-N/TNG) were analysed. Targeting the sodium D lines and the calcium H and K lines, the potential planet exospheric signal was filtered out from the much stronger stellar and telluric signals, making use of the change of the radial component of the orbital velocity of the planet over the transit from -57 to +57 km/sec. Combining all five transit data sets, we detect a signal potentially associated with sodium in the planet exosphere at a statistical significance level of 3$\sigma$. Combining the four HARPS transits that cover the calcium H and K lines, we also find a potential signal from ionized calcium (4.1 $\sigma$). Interestingly, this latter signal originates from just one of the transit measurements - with a 4.9$\sigma$ detection at this epoch. Unfortunately, due to the low significance of the measured sodium signal and the potentially variable Ca$^+$ signal, we estimate the p-values of these signals to be too high (corresponding to <4$\sigma$) to claim unambiguous exospheric detections. By comparing the observed signals with artificial signals injected early in the analysis, the absorption by Na and Ca$^+$ are estimated to be at a level of approximately 2.3$\times 10^{-3}$ and 7.0$\times 10^{-2}$ respectively, relative to the stellar spectrum.Comment: 15 pages, 8 figures, submission updated after English language editing, submission updated to correct a mistaken cross-reference noticed in A&A proo

Distinct patterns of expression of fibroblast growth factors and their receptors in human atheroma and nonatherosclerotic arteries. Association of acidic FGF with plaque microvessels and macrophages

Because fibroblast growth factors (FGFs) modulate important functions of endothelial cells (EC) and smooth muscle cells (SMC), we studied FGF expression in human vascular cells and control or atherosclerotic arteries. All cells and arteries contained acidic (a) FGF and basic (b) FGF mRNA. Northern analysis detected aFGF mRNA only in one of five control arteries but in all five atheroma tested, while levels of bFGF mRNA did not differ among control (n = 3) vs. plaque specimens (n = 6). Immunolocalization revealed abundant bFGF protein in control vessels (n = 10), but little in plaques (n = 14). In contrast, atheroma (n = 14), but not control arteries (n = 10), consistently exhibited immunoreactive aFGF, notably in neovascularized and macrophage-rich regions of plaque. Because macrophages colocalized with aFGF, we tested human monocytoid THP-1 cells and demonstrated accumulation of aFGF mRNA during PMA-induced differentiation. We also examined the expression of mRNA encoding FGF receptors (FGFRs). All cells and arteries contained FGFR-1 mRNA. Only SMC and control vessels had FGFR-2 mRNA, while EC and some arteries contained FGFR-4 mRNA. The relative lack of bFGF in plaques vs. normal arteries suggests that this growth factor may not contribute to cell proliferation in advanced atherosclerosis. However, aFGF produced by plaque macrophages may stimulate the growth of microvessels during human atherogenesis

Multilevel Contracts for Trusted Components

This article contributes to the design and the verification of trusted components and services. The contracts are declined at several levels to cover then different facets, such as component consistency, compatibility or correctness. The article introduces multilevel contracts and a design+verification process for handling and analysing these contracts in component models. The approach is implemented with the COSTO platform that supports the Kmelia component model. A case study illustrates the overall approach.Comment: In Proceedings WCSI 2010, arXiv:1010.233

Differentiation of mammary tumors and reduction in metastasis upon Malat1 lncRNA loss

Genome-wide analyses have identified thousands of long noncoding RNAs (lncRNAs). Malat1 (metastasis-associated lung adenocarcinoma transcript 1) is among the most abundant lncRNAs whose expression is altered in numerous cancers. Here we report that genetic loss or systemic knockdown of Malat1 using antisense oligonucleotides (ASOs) in the MMTV (mouse mammary tumor virus)-PyMT mouse mammary carcinoma model results in slower tumor growth accompanied by significant differentiation into cystic tumors and a reduction in metastasis. Furthermore, Malat1 loss results in a reduction of branching morphogenesis in MMTV-PyMT- and Her2/neu-amplified tumor organoids, increased cell adhesion, and loss of migration. At the molecular level, Malat1 knockdown results in alterations in gene expression and changes in splicing patterns of genes involved in differentiation and protumorigenic signaling pathways. Together, these data demonstrate for the first time a functional role of Malat1 in regulating critical processes in mammary cancer pathogenesis. Thus, Malat1 represents an exciting therapeutic target, and Malat1 ASOs represent a potential therapy for inhibiting breast cancer progression

La disclosure volontaria del modello di business nel prospetto informativo di quotazione: un’analisi comparative

How do companies to be listed actually deal with voluntary disclosure of their business model? Is it true that firms with greater knowledge-based resources and technological innovation endowments have a lower propensity to adopt fully open communication behaviors? This paper aims to identify the voluntary disclosure policies adopted by three Italian companies in their Initial Public Offering (IPO) prospectuses in order to investigate whether any differences may depend on the type of innovation underlying each business model. A series of interviews conducted with the top management made it possible to understand more deeply the business model of each company. Further, a content analysis has been developed to compute a measure of disclosure and to point out the strategic concepts and their relevance. We provide evidence that companies with a business model based on technology-push innovation have a lower propensity to the full disclosure of their intangible components, particularly of those mainly based on knowledge as these are also invisible. Our study adds to the literature of business and financial reporting by focusing on a new object of inquiry, that is the business model. The business model plays an important role in allowing external actors to understand a company’s value, thus companies’ strategic communication should be shaped accordingly. The results suggest the need to address the issue of voluntary disclosure of the business model by first distinguishing “visible” intangible resources from those that are “invisible” (both to financial and competitive markets). The study aims to make a contribution to the ongoing debate on business and financial reporting practice

Mapping Exoplanets

The varied surfaces and atmospheres of planets make them interesting places to live, explore, and study from afar. Unfortunately, the great distance to exoplanets makes it impossible to resolve their disk with current or near-term technology. It is still possible, however, to deduce spatial inhomogeneities in exoplanets provided that different regions are visible at different times---this can be due to rotation, orbital motion, and occultations by a star, planet, or moon. Astronomers have so far constructed maps of thermal emission and albedo for short period giant planets. These maps constrain atmospheric dynamics and cloud patterns in exotic atmospheres. In the future, exo-cartography could yield surface maps of terrestrial planets, hinting at the geophysical and geochemical processes that shape them.Comment: Updated chapter for Handbook of Exoplanets, eds. Deeg & Belmonte. 17 pages, including 6 figures and 4 pages of reference

Analysis and Verification of Service Interaction Protocols - A Brief Survey

Modeling and analysis of interactions among services is a crucial issue in Service-Oriented Computing. Composing Web services is a complicated task which requires techniques and tools to verify that the new system will behave correctly. In this paper, we first overview some formal models proposed in the literature to describe services. Second, we give a brief survey of verification techniques that can be used to analyse services and their interaction. Last, we focus on the realizability and conformance of choreographies.Comment: In Proceedings TAV-WEB 2010, arXiv:1009.330