Quantitative genetics of learning ability and resistance to stress in Drosophila melanogaster.

Even though laboratory evolution experiments have demonstrated genetic variation for learning ability, we know little about the underlying genetic architecture and genetic relationships with other ecologically relevant traits. With a full diallel cross among twelve inbred lines of Drosophila melanogaster originating from a natural population (0.75 < F < 0.93), we investigated the genetic architecture of olfactory learning ability and compared it to that for another behavioral trait (unconditional preference for odors), as well as three traits quantifying the ability to deal with environmental challenges: egg-to-adult survival and developmental rate on a low-quality food, and resistance to a bacterial pathogen. Substantial additive genetic variation was detected for each trait, highlighting their potential to evolve. Genetic effects contributed more than nongenetic parental effects to variation in traits measured at the adult stage: learning, odorant perception, and resistance to infection. In contrast, the two traits quantifying larval tolerance to low-quality food were more strongly affected by parental effects. We found no evidence for genetic correlations between traits, suggesting that these traits could evolve at least to some degree independently of one another. Finally, inbreeding adversely affected all traits.

Intravenous immunoglobulin for treatment of mild-to-moderate Alzheimer's disease: a phase 2, randomised, double-blind, placebo-controlled, dose-finding trial.

BACKGROUND: Three small trials suggest that intravenous immunoglobulin can affect biomarkers and symptoms of mild-to-moderate Alzheimer's disease. We tested the safety, effective dose, and infusion interval of intravenous immunoglobulin in such patients. METHODS: We did a multicentre, placebo-controlled phase 2 trial at seven sites in the USA and five in Germany. Participants with probable Alzheimer's disease aged 50-85 years were randomly assigned (by a computer-generated randomisation sequence, with block sizes of eight) to infusions every 4 weeks (0·2, 0·5, or 0·8 g intravenous immunoglobulin per kg bodyweight, or placebo) or infusions every 2 weeks (0·1, 0·25, or 0·4 g/kg, or placebo). Patients, caregivers, investigators assessing outcomes, and staff at imaging facilities and the clinical research organisation were masked to treatment allocation, but dispensing pharmacists, the statistician, and the person responsible for final PET analyses were not. Treatment was masked with opaque pouches and infusion lines. The primary endpoint was median area under the curve (AUC) of plasma amyloid β (Aβ)(1-40) between the last infusion and the final visit (2 weeks or 4 weeks depending on infusion interval) in the intention-to-treat population. The trial is registered at ClinicalTrials.gov (NCT00812565) and controlled-trials.com (ISRCTN64846759). FINDINGS: 89 patients were assessed for eligibility, of whom 58 were enrolled and 55 included in the primary analysis. Median AUC of plasma Aβ(1-40) was not significantly different for intravenous immunoglobulin compared with placebo for five of the six intervention groups (-18·0 [range -1347·0 to 1068·5] for 0·2 g/kg, -364·3 [-5834·5 to 1953·5] for 0·5 g/kg, and -351·8 [-1084·0 to 936·5] for 0·8 g/kg every 4 weeks vs -116·3 [-1379·0 to 5266·0] for placebo; and -13·8 [-1729·0 to 307·0] for 0·1 g/kg, and -32·5 [-1102·5 to 451·5] for 0·25 g/kg every 2 weeks vs 159·5 [51·5 to 303·0] for placebo; p>0·05 for all). The difference in median AUC of plasma Aβ(1-40) between the 0·4 g/kg every 2 weeks group (47·0 [range -341·0 to 72·5]) and the placebo group was significant (p=0·0216). 25 of 42 (60%) patients in the intervention group versus nine of 14 (64%) receiving placebo had an adverse event. Four of 42 (10%) patients in the intravenous immunoglobulin group versus four of 14 (29%) receiving placebo had a serious adverse event, including one stroke in the intervention group. INTERPRETATION: Intravenous immunoglobulin may have an acceptable safety profile. Our results did not accord with those from previous studies. Longer trials with greater power are needed to assess the cognitive and functional effects of intravenous immunoglobulin in patients with Alzheimer's disease.

Unification of multi-species vertebrate anatomy ontologies for comparative biology in Uberon.

BACKGROUND: Elucidating disease and developmental dysfunction requires understanding variation in phenotype. Single-species model organism anatomy ontologies (ssAOs) have been established to represent this variation. Multi-species anatomy ontologies (msAOs; vertebrate skeletal, vertebrate homologous, teleost, amphibian AOs) have been developed to represent 'natural' phenotypic variation across species. Our aim has been to integrate ssAOs and msAOs for various purposes, including establishing links between phenotypic variation and candidate genes. RESULTS: Previously, msAOs contained a mixture of unique and overlapping content. This hampered integration and coordination due to the need to maintain cross-references or inter-ontology equivalence axioms to the ssAOs, or to perform large-scale obsolescence and modular import. Here we present the unification of anatomy ontologies into Uberon, a single ontology resource that enables interoperability among disparate data and research groups. As a consequence, independent development of TAO, VSAO, AAO, and vHOG has been discontinued. CONCLUSIONS: The newly broadened Uberon ontology is a unified cross-taxon resource for metazoans (animals) that has been substantially expanded to include a broad diversity of vertebrate anatomical structures, permitting reasoning across anatomical variation in extinct and extant taxa. Uberon is a core resource that supports single- and cross-species queries for candidate genes using annotations for phenotypes from the systematics, biodiversity, medical, and model organism communities, while also providing entities for logical definitions in the Cell and Gene Ontologies. THE ONTOLOGY RELEASE FILES ASSOCIATED WITH THE ONTOLOGY MERGE DESCRIBED IN THIS MANUSCRIPT ARE AVAILABLE AT: http://purl.obolibrary.org/obo/uberon/releases/2013-02-21/ CURRENT ONTOLOGY RELEASE FILES ARE AVAILABLE ALWAYS AVAILABLE AT: http://purl.obolibrary.org/obo/uberon/releases/

A Sequential Allocation Problem: The Asymptotic Distribution of Resources

In this paper we consider a sequential allocation problem with n individuals. The first individual can consume any amount of some endowment leaving the remaining for the second individual, and so on. Motivated by the limitations associated with the cooperative or non-cooperative solutions we propose a new approach. We establish some axioms that should be satisfied, representativeness, impartiality, etc. The result is a unique asymptotic allocation rule. It is shown for n = 2; 3; 4; and a claim is made for general n. We show that it satisfies a set of desirable properties. Key words: Sequential allocation rule, River sharing problem, Cooperative and non-cooperative games, Dictator and ultimatum games. JEL classification: C79, D63, D74.

Consistency and the core of multi-sided assignment markets

[cat] En aquest treball es demostra que en el domini dels jocs d’assignació equilibrats multisectorials (Quint, 1991), el core és l’única solució no buida que satisfà derived consistency i projection consistency. També es caracteritza el core en tota la classe dels jocs d’assignació multisectorials amb els axiomes de singleness best, individual antimonotonicity i derived consistency. Com a casos particulars, s’obtenen dues noves axiomàtiques del core per als jocs d’assignació bilaterals (Shapley and Shubik, 1972).

Consistency and the core of multi-sided assignment markets

[cat] En aquest treball es demostra que en el domini dels jocs d’assignació equilibrats multisectorials (Quint, 1991), el core és l’única solució no buida que satisfà derived consistency i projection consistency. També es caracteritza el core en tota la classe dels jocs d’assignació multisectorials amb els axiomes de singleness best, individual antimonotonicity i derived consistency. Com a casos particulars, s’obtenen dues noves axiomàtiques del core per als jocs d’assignació bilaterals (Shapley and Shubik, 1972).

Définition et prise en charge de l'échec d'une première injection de toxine botulique Botox(®) 200 U pour hyperactivité détrusorienne neurogène : résultats de l'enquête DETOX [Definition of botulinum toxin failure in neurogenic detrusor overactivity: Preliminary results of the DETOX survey].

OBJECTIVE: There is currently no guideline regarding the management of neurogenic detrusor overactivity (NDO) refractory to intra-detrusor botulinum toxin injections. The primary objective of the present study was to find a consensus definition of failure of botulinum toxin intra-detrusor injections for NDO. The secondary objective was to report current trends in the managment of NDO refractory to botulinum toxin. METHODS: A survey was created, based on data drawn from current literature, and sent via e-mail to all the experts form the Group for research in neurourology in french language (GENULF) and from the comittee of neurourology of the French urological association (AFU). The experts who did not answer to the first e-mail were contacted again twice. Main results from the survey are presented and expressed as numbers and proportions. RESULTS: Out of the 42 experts contacted, 21 responded to the survey. Nineteen participants considered that the definition of failure should be a combination of clinical and urodynamics criteria. Among the urodynamics criteria, the persistence of a maximum detrusor pressure>40cm H2O was the most supported by the experts (18/21, 85%). According to the vast majority of participants (19/21, 90.5%), the impact of injections on urinary incontinence should be included in the definition of failure. Regarding the management, most experts considered that the first line treatment in case of failure of a first intra-detrusor injection of Botox(®) 200 U should be a repeat injection of Botox(®) at a higher dosage (300 U) (15/20, 75%), regardless of the presence or not of urodynamics risk factors of upper tract damage (16/20, 80%). CONCLUSION: This work has provided a first overview of the definition of failure of intra-detrusor injections of botulinum toxin in the management of NDO. For 90.5% of the experts involved, the definition of failure should be clinical and urodynamic and most participants (75%) considered that, in case of failure of a first injection of Botox(®) 200 U, repeat injection of Botox(®) 300 U should be the first line treatment. Level of proof 4.

A Write-Based Solver for SAT Modulo the Theory of Arrays

The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solver for arrays in the context of the DPLL(T) approach to SMT. The main characteristics of our solver are: (i) no translation of writes into reads is needed, (ii) there is no axiom instantiation, and (iii) the T-solver interacts with the Boolean engine by asking to split on equality literals between indices. As far as we know, this is the first accurate description of an array solver integrated in a state-of-the-art SMT solver and, unlike most state-of-the-art solvers, it is not based on a lazy instantiation of the array axioms. Moreover, it is very competitive in practice, specially on problems that require heavy reasoning on array literals

Toccata in A Minor

Soitinnus: Urut.

HILBERT BETWEEN THE FORMAL AND THE INFORMAL SIDE OF MATHEMATICS

Abstract: In this article we analyze the key concept of Hilbert's axiomatic method, namely that of axiom. We will find two different concepts: the first one from the period of Hilbert's foundation of geometry and the second one at the time of the development of his proof theory. Both conceptions are linked to two different notions of intuition and show how Hilbert's ideas are far from a purely formalist conception of mathematics. The principal thesis of this article is that one of the main problems that Hilbert encountered in his foundational studies consisted in securing a link between formalization and intuition. We will also analyze a related problem, that we will call "Frege's Problem", form the time of the foundation of geometry and investigate the role of the Axiom of Completeness in its solution.

Six sonates pour le clavecin ou le piano forte avec l'accompagnement d'un violon ou flute : Oeuvre sixième

Soitinnus: viulu/huilu, cembalo/piano.