Dilation and Asymmetric Relevance

A characterization result of dilation in terms of positive and negative association admits an extremal counterexample, which we present together with a minor repair of the result. Dilation may be asymmetric whereas covariation itself is symmetric. Dilation is still characterized in terms of positive and negative covariation, however, once the event to be dilated has been specified

Strengthening Consistency Results in Modal Logic

A fundamental question asked in modal logic is whether a given theory is consistent. But consistent with what? A typical way to address this question identifies a choice of background knowledge axioms (say, S4, D, etc.) and then shows the assumptions codified by the theory in question to be consistent with those background axioms. But determining the specific choice and division of background axioms is, at least sometimes, little more than tradition. This paper introduces **generic theories** for propositional modal logic to address consistency results in a more robust way. As building blocks for background knowledge, generic theories provide a standard for categorical determinations of consistency. We argue that the results and methods of this paper help to elucidate problems in epistemology and enjoy sufficient scope and power to have purchase on problems bearing on modalities in judgement, inference, and decision making.Comment: In Proceedings TARK 2023, arXiv:2307.04005. The authors thank three anonymous reviewers as well as Rineke Verbrugge for valuable comments and suggestions to help improve this manuscript. The authors also extend their gratitude to Alessandro Aldini, Michael Grossberg, Ali Kahn, Rohit Parikh, and Max Stinchcombe, for their generous feedback on prior drafts of this manuscrip

A proof of completeness for continuous first-order logic

The primary purpose of this article is to show that a certain natural set of axioms yields a completeness result for continuous first-order logic. In particular, we show that in continuous first-order logic a set of formulae is (completely) satisfiable if (and only if) it is consistent. From this result it follows that continuous first-order logic also satisfies an \emph{approximated} form of strong completeness, whereby $\Sigma\vDash\varphi$ (if and) only if \Sigma\vdash\varphi\dotminus 2^{-n} for all $n<\omega$. This approximated form of strong completeness asserts that if $\Sigma\vDash\varphi$, then proofs from $\Sigma$, being finite, can provide arbitrary better approximations of the truth of $\varphi$

Strengthening Consistency Results in Modal Logic

A fundamental question asked in modal logic is whether a given theory is consistent. But consistent with what? A typical way to address this question identifies a choice of background knowledge axioms (say, S4, D, etc.) and then shows the assumptions codified by the theory in question to be consistent with those background axioms. But determining the specific choice and division of background axioms is, at least sometimes, little more than tradition. This paper introduces generic theories for propositional modal logic to address consistency results in a more robust way. As building blocks for background knowledge, generic theories provide a standard for categorical determinations of consistency. We argue that the results and methods of this paper help to elucidate problems in epistemology and enjoy sufficient scope and power to have purchase on problems bearing on modalities in judgement, inference, and decision making

High growth rate 4H-SiC epitaxial growth using dichlorosilane in a hot-wall CVD reactor

Thick, high quality 4H-SiC epilayers have been grown in a vertical hot-wall chemical vapor deposition system at a high growth rate on (0001) 80 off-axis substrates. We discuss the use of dichlorosilane as the Si-precursor for 4H-SiC epitaxial growth as it provides the most direct decomposition route into SiCl2, which is the predominant growth species in chlorinated chemistries. A specular surface morphology was attained by limiting the hydrogen etch rate until the system was equilibrated at the desired growth temperature. The RMS roughness of the grown films ranged from 0.5-2.0 nm with very few morphological defects (carrots, triangular defects, etc.) being introduced, while enabling growth rates of 30-100 \mum/hr, 5-15 times higher than most conventional growths. Site-competition epitaxy was observed over a wide range of C/Si ratios, with doping concentrations < 1x1014 cm-3 being recorded. X-ray rocking curves indicated that the epilayers were of high crystallinity, with linewidths as narrow as 7.8 arcsec being observed, while microwave photoconductive decay (\muPCD) measurements indicated that these films had high injection (ambipolar) carrier lifetimes in the range of 2 \mus

Mitogen- and Stress-Activated Protein Kinase 1 Regulates Status Epilepticus-Evoked Cell Death in the Hippocampus

Mitogen-activated protein kinase (MAPK) signaling has been implicated in a wide range of neuronal processes, including development, plasticity, and viability. One of the principal downstream targets of both the extracellular signal-regulated kinase/MAPK pathway and the p38 MAPK pathway is M itogen- and S tress-activated protein K inase 1 (MSK1). Here, we sought to understand the role that MSK1 plays in neuroprotection against excitotoxic stimulation in the hippocampus. To this end, we utilized immunohistochemical labeling, a MSK1 null mouse line, cell viability assays, and array-based profiling approaches. Initially, we show that MSK1 is broadly expressed within the major neuronal cell layers of the hippocampus and that status epilepticus drives acute induction of MSK1 activation. In response to the status epilepticus paradigm, MSK1 KO mice exhibited a striking increase in vulnerability to pilocarpine-evoked cell death within the CA1 and CA3 cell layers. Further, cultured MSK1 null neurons exhibited a heighted level of N-methyl-D-aspartate-evoked excitotoxicity relative to wild-type neurons, as assessed using the lactate dehydrogenase assay. Given these findings, we examined the hippocampal transcriptional profile of MSK1 null mice. Affymetrix array profiling revealed that MSK1 deletion led to the significant (>1.25-fold) downregulation of 130 genes and an upregulation of 145 genes. Notably, functional analysis indicated that a subset of these genes contribute to neuroprotective signaling networks. Together, these data provide important new insights into the mechanism by which the MAPK/MSK1 signaling cassette confers neuroprotection against excitotoxic insults. Approaches designed to upregulate or mimic the functional effects of MSK1 may prove beneficial against an array of degenerative processes resulting from excitotoxic insults

Country Concepts and the Rational Actor Trap: Limitations to Strategic Management of International NGOs

Growing criticism of inefficient development aid demanded new planning instruments of donors, including international NGOs (INGOs). A reorientation from isolated project-planning towards holistic country concepts and the increasing rationality of a result-orientated planning process were seen as answer. However, whether these country concepts - newly introduced by major INGOs too - have increased the efficiency of development cooperation is open to question. Firstly, there have been counteracting external factors, like the globalization of the aid business, that demanded structural changes in the composition of INGO portfolios towards growing short-term humanitarian aid; this was hardly compatible with the requirements of medium-term country planning. Secondly, the underlying vision of rationality as a remedy for the major ills of development aid was in itself a fallacy. A major change in the methodology of planning, closely connected with a shift of emphasis in the approach to development cooperation, away from project planning and service delivery, towards supporting the socio-cultural and political environment of the recipient communities, demands a reorientation of aid management: The most urgent change needed is by donors, away from the blinkers of result-orientated planning towards participative organizational cultures of learning.Des critiques croissantes de l'aide au développement inefficace exigent de nouveaux instruments de planification des bailleurs de fonds, y compris les ONG internationales (ONGI). Une réorientation de la planification des projets isolés vers des concepts holistiques de la planification de l’aide par pays ainsi que la rationalité croissante d'un processus de planification orientée vers les résultats ont été considérés comme réponse. Toutefois, si ces concepts de pays - nouvellement introduites par les grandes OING eux aussi - ont augmenté l'efficacité de la coopération au développement est ouvert à la question. Tout d'abord, il y a eu l’impact des facteurs externes, comme la mondialisation de l'entreprise de l'aide, qui a exigé des changements structurels dans la composition des portefeuilles des OING vers la croissance de l'aide humanitaire à court terme. Cela était difficilement compatible avec les exigences de l'aménagement du territoire à moyen terme. Deuxièmement, la vision sous-jacente de la rationalité accrue de la planification, concentré sur les resultats, comme un remède pour les grands maux de l'aide au développement était en soi une erreur. Un changement majeur dans la méthodologie de la planification, étroitement liée à un changement d'orientation dans l'approche de la coopération au développement, qui n’est pas concentrer sur planification du projet et la prestation de services, mais qui soutienne l'environnement socio-culturel et politique des communautés bénéficiaires, exige une réorientation de la gestion de l’aide: Le changement le plus urgent est un changement par les donateurs eux-mêmes, qui devrait implanter des cultures de collaboration étroit avec les partenaires et la population locale

Determinants of Depressive Symptoms at 1 Year Following ICU Discharge in Survivors of $ 7 Days of Mechanical Ventilation : Results From the RECOVER Program, a Secondary Analysis of a Prospective Multicenter Cohort Study

Abstract : Background: Moderate to severe depressive symptoms occur in up to one-third of patients at 1 year following ICU discharge, negatively affecting patient outcomes. This study evaluated patient and caregiver factors associated with the development of these symptoms. Methods: This study used the Rehabilitation and Recovery in Patients after Critical Illness and Their Family Caregivers (RECOVER) Program (Phase 1) cohort of 391 patients from 10 medical/surgical university-affiliated ICUs across Canada. We determined the association between patient depressive symptoms (captured by using the Beck Depression Inventory II [BDI-II]), patient characteristics (age, sex, socioeconomic status, Charlson score, and ICU length of stay [LOS]), functional independence measure (FIM) motor subscale score, and caregiver characteristics (Caregiver Assistance Scale and Center for Epidemiologic Studies-Depression Scale) by using linear mixed models at time points 3, 6, and 12 months. Results: BDI-II data were available for 246 patients. Median age at ICU admission was 56 years (interquartile range, 45-65 years), 143 (58%) were male, and median ICU LOS was 19 days (interquartile range, 13-32 days). During the 12-month follow-up, 67 of 246 (27.2%) patients had a BDI-II score ≥ 20, indicating moderate to severe depressive symptoms. Mixed models showed worse depressive symptoms in patients with lower FIM motor subscale scores (1.1 BDI-II points per 10 FIM points), lower income status (by 3.7 BDI-II points; P = .007), and incomplete secondary education (by 3.8 BDI-II points; P = .009); a curvilinear relation with age (P = .001) was also reported, with highest BDI-II at ages 45 to 50 years. No associations were found between patient BDI-II and comorbidities (P = .92), sex (P = .25), ICU LOS (P = .51), or caregiver variables (Caregiver Assistance Scale [P = .28] and Center for Epidemiologic Studies Depression Scale [P = .74]). Conclusions: Increased functional dependence, lower income, and lower education are associated with increased severity of post-ICU depressive symptoms, whereas age has a curvilinear relation with symptom severity. Knowledge of risk factors may inform surveillance and targeted mental health follow-up. Early mobilization and rehabilitation aiming to improve function may serve to modify mood disorders

A principal component meta-analysis on multiple anthropometric traits identifies novel loci for body shape

Large consortia have revealed hundreds of genetic loci associated with anthropometric traits, one trait at a time. We examined whether genetic variants affect body shape as a composite phenotype that is represented by a combination of anthropometric traits. We developed an approach that calculates averaged PCs (AvPCs) representing body shape derived from six anthropometric traits (body mass index, height, weight, waist and hip circumference, waist-to-hip ratio). The first four AvPCs explain >99% of the variability, are heritable, and associate with cardiometabolic outcomes. We performed genome-wide association analyses for each body shape composite phenotype across 65 studies and meta-analysed summary statistics. We identify six novel loci: LEMD2 and CD47 for AvPC1, RPS6KA5/C14orf159 and GANAB for AvPC3, and ARL15 and ANP32 for AvPC4. Our findings highlight the value of using multiple traits to define complex phenotypes for discovery, which are not captured by single-trait analyses, and may shed light onto new pathways

New genetic loci link adipose and insulin biology to body fat distribution.

Body fat distribution is a heritable trait and a well-established predictor of adverse metabolic outcomes, independent of overall adiposity. To increase our understanding of the genetic basis of body fat distribution and its molecular links to cardiometabolic traits, here we conduct genome-wide association meta-analyses of traits related to waist and hip circumferences in up to 224,459 individuals. We identify 49 loci (33 new) associated with waist-to-hip ratio adjusted for body mass index (BMI), and an additional 19 loci newly associated with related waist and hip circumference measures (P < 5 × 10(-8)). In total, 20 of the 49 waist-to-hip ratio adjusted for BMI loci show significant sexual dimorphism, 19 of which display a stronger effect in women. The identified loci were enriched for genes expressed in adipose tissue and for putative regulatory elements in adipocytes. Pathway analyses implicated adipogenesis, angiogenesis, transcriptional regulation and insulin resistance as processes affecting fat distribution, providing insight into potential pathophysiological mechanisms