Contracts in Practice

Contracts are a form of lightweight formal specification embedded in the program text. Being executable parts of the code, they encourage programmers to devote proper attention to specifications, and help maintain consistency between specification and implementation as the program evolves. The present study investigates how contracts are used in the practice of software development. Based on an extensive empirical analysis of 21 contract-equipped Eiffel, C#, and Java projects totaling more than 260 million lines of code over 7700 revisions, it explores, among other questions: 1) which kinds of contract elements (preconditions, postconditions, class invariants) are used more often; 2) how contracts evolve over time; 3) the relationship between implementation changes and contract changes; and 4) the role of inheritance in the process. It has found, among other results, that: the percentage of program elements that include contracts is above 33% for most projects and tends to be stable over time; there is no strong preference for a certain type of contract element; contracts are quite stable compared to implementations; and inheritance does not significantly affect qualitative trends of contract usage

Effect of RecA inactivation and detoxification systems on the evolution of ciprofloxacin resistance in Escherichia coli

Background Suppression of SOS response and overproduction of reactive oxygen species (ROS) through detoxification system suppression enhance the activity of fluoroquinolones. Objectives To evaluate the role of both systems in the evolution of resistance to ciprofloxacin in an isogenic model of Escherichia coli. Methods Single-gene deletion mutants of E. coli BW25113 (wild-type) (ΔrecA, ΔkatG, ΔkatE, ΔsodA, ΔsodB), double-gene (ΔrecA-ΔkatG, ΔrecA-ΔkatE, ΔrecA-ΔsodA, ΔrecA-ΔsodB, ΔkatG-ΔkatE, ΔsodB-ΔsodA) and triple-gene (ΔrecA-ΔkatG-ΔkatE) mutants were included. The response to sudden high ciprofloxacin pressure was evaluated by mutant prevention concentration (MPC). The gradual antimicrobial pressure response was evaluated through experimental evolution and antibiotic resistance assays. Results For E. coli BW25113 strain, ΔkatE, ΔsodB and ΔsodB/ΔsodA mutants, MPC values were 0.25 mg/L. The ΔkatG, ΔsodA, ΔkatG/katE and ΔrecA mutants showed 2-fold reductions (0.125 mg/L). The ΔkatG/ΔrecA, ΔkatE/ΔrecA, ΔsodA/ΔrecA, ΔsodB/ΔrecA and ΔkatG/ΔkatE/ΔrecA strains showed 4–8-fold reductions (0.03–0.06 mg/L) relative to the wild-type. Gradual antimicrobial pressure increased growth capacity for ΔsodA and ΔsodB and ΔsodB/ΔsodA mutants (no growth in 4 mg/L) compared with the wild-type (no growth in the range of 0.5–2 mg/L). Accordingly, increased growth was observed with the mutants ΔrecA/ΔkatG (no growth in 2 mg/L), ΔrecA/ΔkatE (no growth in 2 mg/L), ΔrecA/ΔsodA (no growth in 0.06 mg/L), ΔrecA/ΔsodB (no growth in 0.25 mg/L) and ΔrecA/ΔkatG/ΔkatE (no growth in 0.5 mg/L) compared with ΔrecA (no growth in the range of 0.002–0.015 mg/L). Conclusions After RecA inactivation, gradual exposure to ciprofloxacin reduces the evolution of resistance. After suppression of RecA and detoxification systems, sudden high exposure to ciprofloxacin reduces the evolution of resistance in E. coli.Plan Nacional de I+D+i 2013-2016 and the Instituto de Salud Carlos III (projects and PI17/01501 and PI20-00239)Subdirección General de Redes y Centros de Investigación Cooperativa, Ministerio de Economía, Industria y Competitividad, Spanish Network for Research in Infectious Diseases (REIPI; RD16/0016/0001 and REIPI RD16/ 0016/0009

Till death (or an intruder) do us part: intrasexual-competition in a monogamous Primate

Polygynous animals are often highly dimorphic, and show large sex-differences in the degree of intra-sexual competition and aggression, which is associated with biased operational sex ratios (OSR). For socially monogamous, sexually monomorphic species, this relationship is less clear. Among mammals, pair-living has sometimes been assumed to imply equal OSR and low frequency, low intensity intra-sexual competition; even when high rates of intra-sexual competition and selection, in both sexes, have been theoretically predicted and described for various taxa. Owl monkeys are one of a few socially monogamous primates. Using long-term demographic and morphological data from 18 groups, we show that male and female owl monkeys experience intense intra-sexual competition and aggression from solitary floaters. Pair-mates are regularly replaced by intruding floaters (27 female and 23 male replacements in 149 group-years), with negative effects on the reproductive success of both partners. Individuals with only one partner during their life produced 25% more offspring per decade of tenure than those with two or more partners. The termination of the pair-bond is initiated by the floater, and sometimes has fatal consequences for the expelled adult. The existence of floaters and the sporadic, but intense aggression between them and residents suggest that it can be misleading to assume an equal OSR in socially monogamous species based solely on group composition. Instead, we suggest that sexual selection models must assume not equal, but flexible, context-specific, OSR in monogamous species.Wenner-Gren Foundation, L.S.B. Leakey Foundation, the National Geographic Society, National Science Foundation (BCS- 0621020), the University of Pennsylvania Research Foundation and the Zoological Society of San Diego, German Science Foundation (HU 1746-2/1

Electron impact ionization of 1-propanol

10 pags., 5 figs., 3 tabs.Experimental measurements of the cations created in electron impact ionization have been undertaken for the primary isomer of propanol using a Hidden Quadrupole Mass Spectrometer (EPIC 300), with a mass resolution of 1 amu. The mass spectra recorded at an incident electron energy of 70 eV reveals the relative probability of forming 50 different cations, by either direct ionization or dissociative ionization. Individual partial ionization cross sections (PICS) for 31 different cations were measured for the first time in this work, for the incident electron energy range from 10 to 100 eV. Also, appearance energies (AEs) and Wannier exponents for the 16 most intense cations formed in electron collisions with 1-propanol are reported. Where possible, those results are compared to those from an earlier investigation. Total Ionization Cross Sections (TICS) were also obtained from the sum of the measured PICS, for nearly all cations measured, and are compared to relevant data reported in the literature. In addition, as a part of this study, theoretical TICS were calculated using the Binary-encounter Bethe (BEB) and independent atom model with screening corrected additivity rule (IAM–SCAR) methods. Good agreement between current measured and calculated TICSs and corresponding earlier results was typically found.M.C.A.L. acknowledges financial support from Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq),Fundacão de Amparo à Pesquisa do Estado de Minas Gerais(FAPEMIG) and FINEP (under project CT-Infra), while M.J.B. thanks CNPq for his “Special Visiting Professor” award. K.L.N. thanks CNPq for an “Attracting Young Talent Grant” under the “Science WithoutBorders” program. Some financial assistance from the Australian Research Council is also noted. Finally, S. Ghosh acknowledges forhis grant from PNPD/CAPES while G. Garcia thanks the Spanish Ministerio de Economia, Industria y Competitividad for his projectgrant FIS 2016 −80440 and the EU project FP7-ITN – ARGENT –608163.Peer Reviewe

Perinatal depression in the Spanish context: consensus report from the general council of psychology of Spain

Background: Perinatal depression is a major public health problem, with an estimated prevalence of approximately 15% during the first postpartum year. Despite the high prevalence of postpartum depression, there is no consensus regarding assessment and treatment in the Spanish context. The General Council of Psychology of Spain convened a working group of experts in the field, including both academics and healthcare professionals, to review and propose recommendations based on evidence and best practices that could be applied in the Spanish context. Method: A literature search was completed in various databases (e.g., Medline, PsychInfo) including a combination of terms related to peripartum depression (PPD) assessment and diagnosis, prevention, treatment, and cost-effectiveness. A narrative synthesis of the literature has been conducted together with a critical overview of PPD with a special focus on the Spanish context. Results: In this consensus report, developing questions including prevalence and assessment tools, comparative effectiveness of preventive and treatment interventions, and cost-effectiveness of PPD management have been analyzed. Conclusions: The General Council of Psychology of Spain network advocates the establishment of compulsory screening protocols in all the autonomous regions. Also, it is necessary to promote the inclusion in maternal education of programs for the promotion of mental well-being and selective/indicated prevention carried out by a psychology professional with specialized training in the area. This consensus document also promotes the presence of a psychology professional with specialized training in the area. Antecedentes. La depresión perinatal es un importante problema de salud pública, con una prevalencia estimada de aproximadamente el 15% durante el primer año posparto. A pesar de la gran prevalencia de depresión posparto (DPP), no existe consenso sobre la evaluación y el tratamiento en el contexto español. El Consejo General de Psicología de España convocó a un grupo de trabajo de expertos en la materia, tanto académicos como profesionales sanitarios, para revisar y proponer recomendaciones basadas en evidencias y mejores prácticas que puedan aplicarse en el contexto español. Método. Se realizó una búsqueda bibliográfica en varias bases de datos (p. ej., Medline, PsychInfo) que incluía una combinación de términos relacionados con la evaluación y el diagnóstico de la DPP, prevención, tratamiento y coste-eficacia. Se ha realizado una síntesis narrativa de la literatura junto con una visión crítica de la DPP con un enfoque especial en el contexto español. Resultados. Las preguntas de desarrollo que incluyen prevalencia y herramientas de evaluación, la eficacia comparativa de las intervenciones preventivas y de tratamiento y la relación coste-efectividad de la gestión de la PPD se han analizado en este informe de consenso. Conclusiones. La red del Consejo General de Psicología de España aboga por el establecimiento de protocolos obligatorios de cribado en todas las Comunidades Autónomas. Asimismo, es necesario promover la inclusión en la educación materna de programas de promoción del bienestar mental y la prevención selectiva indicada llevadas a cabo por un profesional de la psicología con formación especializada en el área

Formulación de producto con potencial agroindustrial a base de cidra Sechium edule (Jacq) Swartz

La Asociación de Mujeres Multiétnicas(Asmufare) luego de un proceso de desplazamiento forzoso llegaron a habitar un territorio en la ciudad de Armenia, buscando reconstruir su cultura campesina. Actualmente cultivan y procesan cidra Sechium edule entre otros productos tradicionales. La cidra Sechium edule en Colombia es una materia prima con poco uso industrial y poco consumo doméstico, a pesar de tener gran potencial nutricional y funcional debido al potencial de protección de enfermedades; la cual puede ser empleada como materia prima para la formulación de una galleta para personas con celiaquía. El objetivo de esta investigación fue formular una galleta tipo colación a base de cidra Sechium edule como alternativa de negocio para la asociación de mujeres Asmufare, a partir de la caracterización y análisis de mercado del producto. Se realizó la formulación de la galleta, se caracterizó físico-químicamente teniendo en cuenta la normatividad y un análisis de mercado del producto. Se logró formular un producto de galletería tipo colación a base de harina y almidón de cidra Sechium edule, con adición de arroz Oryza sativa, para satisfacer las necesidades de la población con celiaquía; el cual cumple con los estándares de clasificación para este tipo de producto, siendo una alternativa para la población fitness, donde se obtuvo una aceptación del 87% de preferencia del consumidor potencial, con un posible precio de venta al público de $1.544,63 que se ajusta a las expectativas de estos consumidores; logrando vincularse como potencial producto para su venta por parte de la asociación Asmufare

Bevacizumab dose adjustment to improve clinical outcomes of glioblastoma.

Background Glioblastoma (GBM) is one of the most aggressive and vascularized brain tumors in adults, with a median survival of 20.9 months. In newly diagnosed and recurrent GBM, bevacizumab demonstrated an increase in progression-free survival, but not in overall survival. Methods We conducted an in silico analysis of VEGF expression, in a cohort of 1082 glioma patients. Then, to determine whether appropriate bevacizumab dose adjustment could increase the anti-angiogenic response, we used in vitro and in vivo GBM models. Additionally, we analyzed VEGFA expression in tissue, serum, and plasma in a cohort of GBM patients before and during bevacizumab treatment. Results We identified that 20% of primary GBM did not express VEGFA suggesting that these patients would probably not respond to bevacizumab therapy as we proved in vitro and in vivo. We found that a specific dose of bevacizumab calculated based on VEGFA expression levels increases the response to treatment in cell culture and serum samples from mice bearing GBM tumors. Additionally, in a cohort of GBM patients, we observed a correlation of VEGFA levels in serum, but not in plasma, with bevacizumab treatment performance. Conclusions Our data suggest that bevacizumab dose adjustment could improve clinical outcomes in Glioblastoma treatment.post-print1360 K

Rarity of monodominance in hyperdiverse Amazonian forests.

Tropical forests are known for their high diversity. Yet, forest patches do occur in the tropics where a single tree species is dominant. Such "monodominant" forests are known from all of the main tropical regions. For Amazonia, we sampled the occurrence of monodominance in a massive, basin-wide database of forest-inventory plots from the Amazon Tree Diversity Network (ATDN). Utilizing a simple defining metric of at least half of the trees ≥ 10 cm diameter belonging to one species, we found only a few occurrences of monodominance in Amazonia, and the phenomenon was not significantly linked to previously hypothesized life history traits such wood density, seed mass, ectomycorrhizal associations, or Rhizobium nodulation. In our analysis, coppicing (the formation of sprouts at the base of the tree or on roots) was the only trait significantly linked to monodominance. While at specific locales coppicing or ectomycorrhizal associations may confer a considerable advantage to a tree species and lead to its monodominance, very few species have these traits. Mining of the ATDN dataset suggests that monodominance is quite rare in Amazonia, and may be linked primarily to edaphic factors