Benchmark instance indicators and computational comparison of methods

chapter 7This chapter is devoted to extensive computational experiments on the resource-constrained project scheduling problem. Its objective is twofold. First, a selection of representative exact and heuristic methods among the ones presented in the previous chapters are tested and compared under a common experimental framework on four different instance sets. Second, classical and new instance difficulty indicators are evaluated through the experiments and their discriminating power is discussed

Effect of the stellar spin history on the tidal evolution of close-in planets

We investigate how the evolution of the stellar spin rate affects, and is affected by, planets in close orbits, via star-planet tidal interactions. To do this, we used a standard equilibrium tidal model to compute the orbital evolution of single planets orbiting both Sun-like stars and 0.1 M\odot M-dwarfs. We tested two stellar spin evolution profiles, one with fast initial rotation (P=1.2 day) and one with slow initial rotation (P=8 day). We tested the effect of varying the stellar and planetary dissipation and the planet's mass and initial orbital radius. Conclusions: Tidal evolution allows to differentiate the early behaviors of extremely close-in planets orbiting either a rapidly rotating star or a slowly rotating star. The early spin-up of the star allows the close-in planets around fast rotators to survive the early evolution. For planets around M-dwarfs, surviving the early evolution means surviving on Gyr timescales whereas for Sun-like stars the spin-down brings about late mergers of Jupiter planets. In light of this study, we can say that differentiating between one spin evolution from another given the present position of planets can be very tricky. Unless we can observe some markers of former evolution it is nearly impossible to distinguish the two very different spin profiles, let alone intermediate spin profiles. Though some conclusions can still be drawn from statistical distributions of planets around fully convective M-dwarfs. However, if the tidal evolution brings about a merger late in its history it can also entail a noticeable acceleration of the star in late ages, so that it is possible to have old stars that spin rapidly. This raises the question of better constraining the age of stars

Pulmonary Abnormalities and Carotid Atherosclerosis in Ex-Smokers without Airflow Limitation.

Abstract It is well-established that COPD patients have a burden of vascular disease that cannot be fully-explained by smoking history but the mechanistic links between atherosclerosis and pulmonary disease in COPD patients are not well-understood. Moreover, in ex-smokers without symptoms or other evidence of COPD, subclinical pulmonary and vascular disease, although potentially present, has not been described or evaluated. Hence our aim was to use sensitive three-dimensional (3D) pulmonary and carotid imaging to quantify pulmonary airway/parenchyma abnormalities and atherosclerosis in ex-smokers without airflow limitation or symptoms consistent with COPD. We evaluated 61 subjects without airflow limitation including 34 never- (72 ± 6 years) and 27 ex-smokers (73 ± 9 years), who provided written informed consent to spirometry, plethysmography, (3)He magnetic resonance imaging (MRI) and carotid ultrasound (US) and, for ex-smokers alone, thoracic X-ray computed tomography (CT). Ex-smokers had significantly greater (3)He ventilation defect percent (VDP = 7%, p = 0.001) and carotid total plaque volume (TPV = 250 mm(3), p = 0.002) than never-smokers, although there were no significant differences for spirometry or plethysmography, and CT airway and emphysema measurements were normal. There were univariate relationships for (3)He VDP with carotid intima media thickness (IMT, r = 0.42, p = 0.004), TPV (r = 0.41, p = 0.006) and vessel wall volume (VWV, r = 0.40, p = 0.007). Multivariate models that included age, BMI, FEV1, DLCO and VDP showed that only VDP significantly predicted IMT (β = 0.41, p = 0.001), VWV (β = 0.45, p = 0.003) and TPV (β = 0.38, p = 0.005). In summary, there was imaging evidence of mild airways disease and carotid plaque burden that were related and significantly greater in ex-smokers without airflow limitation than in never-smokers

Needle & knot : binder boilerplate tied up

To lighten the burden of programming language mechanization, many approaches have been developed that tackle the substantial boilerplate which arises from variable binders. Unfortunately, the existing approaches are limited in scope. They typically do not support complex binding forms (such as multi-binders) that arise in more advanced languages, or they do not tackle the boilerplate due to mentioning variables and binders in relations. As a consequence, the human mechanizer is still unnecessarily burdened with binder boilerplate and discouraged from taking on richer languages. This paper presents Knot, a new approach that substantially extends the support for binder boilerplate. Knot is a highly expressive language for natural and concise specification of syntax with binders. Its meta-theory constructively guarantees the coverage of a considerable amount of binder boilerplate for well-formed specifications, including that for well-scoping of terms and context lookups. Knot also comes with a code generator, Needle, that specializes the generic boilerplate for convenient embedding in COQ and provides a tactic library for automatically discharging proof obligations that frequently come up in proofs of weakening and substitution lemmas of type-systems. Our evaluation shows, that Needle & Knot significantly reduce the size of language mechanizations (by 40% in our case study). Moreover, as far as we know, Knot enables the most concise mechanization of the POPLmark Challenge (1a + 2a) and is two-thirds the size of the next smallest. Finally, Knot allows us to mechanize for instance dependentlytyped languages, which is notoriously challenging because of dependent contexts and mutually-recursive sorts with variables

A seven-planet resonant chain in TRAPPIST-1

The TRAPPIST-1 system is the first transiting planet system found orbiting an ultra-cool dwarf star1. At least seven planets similar to Earth in radius were previously found to transit this host star2. Subsequently, TRAPPIST-1 was observed as part of the K2 mission and, with these new data, we report the measurement of an 18.77 d orbital period for the outermost transiting planet, TRAPPIST-1h, which was unconstrained until now. This value matches our theoretical expectations based on Laplace relations3 and places TRAPPIST-1h as the seventh member of a complex chain, with three-body resonances linking every member. We find that TRAPPIST-1h has a radius of 0.727 R⊕ and an equilibrium temperature of 169 K. We have also measured the rotational period of the star at 3.3 d and detected a number of flares consistent with a low-activity, middle-aged, late M dwarf

Molecular Evolution of the Neuropeptide S Receptor

The neuropeptide S receptor (NPSR) is a recently deorphanized member of the G protein-coupled receptor (GPCR) superfamily and is activated by the neuropeptide S (NPS). NPSR and NPS are widely expressed in central nervous system and are known to have crucial roles in asthma pathogenesis, locomotor activity, wakefulness, anxiety and food intake. The NPS-NPSR system was previously thought to have first evolved in the tetrapods. Here we examine the origin and the molecular evolution of the NPSR using in-silico comparative analyses and document the molecular basis of divergence of the NPSR from its closest vertebrate paralogs. In this study, NPSR-like sequences have been identified in a hemichordate and a cephalochordate, suggesting an earlier emergence of a NPSR-like sequence in the metazoan lineage. Phylogenetic analyses revealed that the NPSR is most closely related to the invertebrate cardioacceleratory peptide receptor (CCAPR) and the group of vasopressin-like receptors. Gene structure features were congruent with the phylogenetic clustering and supported the orthology of NPSR to the invertebrate NPSR-like and CCAPR. A site-specific analysis between the vertebrate NPSR and the well studied paralogous vasopressin-like receptor subtypes revealed several putative amino acid sites that may account for the observed functional divergence between them. The data can facilitate experimental studies aiming at deciphering the common features as well as those related to ligand binding and signal transduction processes specific to the NPSR

Crystal Structure of an Integron Gene Cassette-Associated Protein from Vibrio cholerae Identifies a Cationic Drug-Binding Module

Background The direct isolation of integron gene cassettes from cultivated and environmental microbial sources allows an assessment of the impact of the integron/gene cassette system on the emergence of new phenotypes, such as drug resistance or virulence. A structural approach is being exploited to investigate the modularity and function of novel integron gene cassettes. Methodology/Principal Findings We report the 1.8 A crystal structure of Cass2, an integron-associated protein derived from an environmental V. cholerae. The structure defines a monomeric beta-barrel protein with a fold related to the effector-binding portion of AraC/XylS transcription activators. The closest homologs of Cass2 are multi-drug binding proteins, such as BmrR. Consistent with this, a binding pocket made up of hydrophobic residues and a single glutamate side chain is evident in Cass2, occupied in the crystal form by polyethylene glycol. Fluorescence assays demonstrate that Cass2 is capable of binding cationic drug compounds with submicromolar affinity. The Cass2 module possesses a protein interaction surface proximal to its drug-binding cavity with features homologous to those seen in multi-domain transcriptional regulators. Conclusions/Significance Genetic analysis identifies Cass2 to be representative of a larger family of independent effector-binding proteins associated with lateral gene transfer within Vibrio and closely-related species. We propose that the Cass2 family not only has capacity to form functional transcription regulator complexes, but represents possible evolutionary precursors to multi-domain regulators associated with cationic drug compounds.National Health and Medical Research Council (Australia) (NHMRC grant 488502)National Institutes of Health (U.S.) (Grant GM62414-0 )Ontario. Ministry of Revenue (Challenge Fund