Stellar Parameters and Metallicities of Stars Hosting Jovian and Neptunian Mass Planets: A Possible Dependence of Planetary Mass on Metallicity

The metal content of planet hosting stars is an important ingredient which may affect the formation and evolution of planetary systems. Accurate stellar abundances require the determinations of reliable physical parameters, namely the effective temperature, surface gravity, microturbulent velocity, and metallicity. This work presents the homogeneous derivation of such parameters for a large sample of stars hosting planets (N=117), as well as a control sample of disk stars not known to harbor giant, closely orbiting planets (N=145). Stellar parameters and iron abundances are derived from an automated analysis technique developed for this work. As previously found in the literature, the results in this study indicate that the metallicity distribution of planet hosting stars is more metal-rich by ~0.15 dex when compared to the control sample stars. A segregation of the sample according to planet mass indicates that the metallicity distribution of stars hosting only Neptunian-mass planets (with no Jovian-mass planets) tends to be more metal-poor in comparison with that obtained for stars hosting a closely orbiting Jovian planet. The significance of this difference in metallicity arises from a homogeneous analysis of samples of FGK dwarfs which do not include the cooler and more problematic M dwarfs. This result would indicate that there is a possible link between planet mass and metallicity such that metallicity plays a role in setting the mass of the most massive planet. Further confirmation, however, must await larger samples.Comment: 41 pages, 10 figures, 6 tables, accepted for publication in Ap

Using Graph Transformation Systems to Specify and Verify Data Abstractions

This paper proposes an approach for the specification of the behavior of software components that implement data abstractions. By generalizing the approach of behavior models using graph transformation, we provide a concise specification for data abstractions that describes the relationship between the internal state, represented in a canonical form, and the observers of the component. Graph transformation also supports the generation of behavior models that are amenable to verification. To this end, we provide a translation approach into an LTL model on which we can express useful properties that can be model-checked with a SAT solver

A Metric Encoding for Bounded Model Checking (extended version)

In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique which is particularly optimized for managing quantitative future and past metric temporal operators, typically found in properties of hard real time systems. The encoding is simple and intuitive in principle, but it is made more complex by the presence, typical of the Bounded Model Checking technique, of backward and forward loops used to represent an ultimately periodic infinite domain by a finite structure. We report and comment on the new encoding technique and on an extensive set of experiments carried out to assess its feasibility and effectiveness

DSOL: a declarative approach to self-adaptive service orchestrations

Service oriented computing (SOC) has brought a simplification in the way distributed applications can be built. Mainstream approaches, however, failed to support dynamic, self-managed compositions that would empower even non-technical users to build their own orchestrations. Indeed, because of the changeable world in which they are embedded, service compositions must be able to adapt to changes that may happen at run-time. Unfortunately, mainstream SOC languages, like BPEL and BPMN, make it quite hard to develop such kind of self-adapting orchestrations. We claim that this is mostly due to the imperative programming paradigm they are based on. To overcome this limitation we propose a radically different, strongly declarative approach to model service orchestration, which is easier to use and results in more flexible and self-adapting orchestrations. An ad-hoc engine, leveraging well-known planning techniques, interprets such models to support dynamic service orchestration at run-time

Supracolloidal assemblies as sacrificial templates for porous silk-based biomaterials

Tissues in the body are hierarchically structured composite materials with tissue-specific properties. Urea self-assembles via hydrogen bonding interactions into crystalline supracolloidal assemblies that can be used to impart macroscopic pores to polymer-based tissue scaffolds. In this communication, we explain the solvent interactions governing the solubility of urea and thereby the scope of compatible polymers. We also highlight the role of solvent interactions on the morphology of the resulting supracolloidal crystals. We elucidate the role of polymer-urea interactions on the morphology of the pores in the resulting biomaterials. Finally, we demonstrate that it is possible to use our urea templating methodology to prepare Bombyx mori silk protein-based biomaterials with pores that human dermal fibroblasts respond to by aligning with the long axis of the pores. This methodology has potential for application in a variety of different tissue engineering niches in which cell alignment is observed, including skin, bone, muscle and nerve

MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation

An architectural approach to self-adaptive systems involves runtime change of system configuration (i.e., the system's components, their bindings and operational parameters) and behaviour update (i.e., component orchestration). Thus, dynamic reconfiguration and discrete event control theory are at the heart of architectural adaptation. Although controlling configuration and behaviour at runtime has been discussed and applied to architectural adaptation, architectures for self-adaptive systems often compound these two aspects reducing the potential for adaptability. In this paper we propose a reference architecture that allows for coordinated yet transparent and independent adaptation of system configuration and behaviour

Metallicities of Planet Hosting Stars: A Sample of Giants and Subgiants

This work presents a homogeneous derivation of atmospheric parameters and iron abundances for a sample of giant and subgiant stars which host giant planets, as well as a control sample of subgiant stars not known to host giant planets. The analysis is done using the same technique as for our previous analysis of a large sample of planet-hosting and control sample dwarf stars. A comparison between the distributions of [Fe/H] in planet-hosting main-sequence stars, subgiants, and giants within these samples finds that the main-sequence stars and subgiants have the same mean metallicity of \simeq +0.11 dex, while the giant sample is typically more metal poor, having an average metallicity of = -0.06 dex. The fact that the subgiants have the same average metallicities as the dwarfs indicates that significant accretion of solid metal-rich material onto the planet-hosting stars has not taken place, as such material would be diluted in the evolution from dwarf to subgiant. The lower metallicity found for the planet-hosting giant stars in comparison with the planet-hosting dwarfs and subgiants is interpreted as being related to the underlying stellar mass, with giants having larger masses and thus, on average larger-mass protoplanetary disks. In core accretion models of planet formation, larger disk masses can contain the critical amount of metals necessary to form giant planets even at lower metallicities.Comment: 38 pages, 7 figures, 4 tables, accepted for publication in Ap