What is the Church of Christ?

https://digitalcommons.acu.edu/crs_books/1428/thumbnail.jp

1978: Abilene Christian College Bible Lectures - Full Text

SPIRITUALITY Being the Abilene Christian University Annual Bible Lectures 1978 Published by Abilene Christian University Book Store ACU Station Abilene, Texas 7960

1983: Abilene Christian College Bible Lectures - Full Text

LIGHTS IN A WORLD OF DARKNESS Being the Abilene Christian University Annual Bible Lectures 1983 Published by Abilene Christian University Book Store ACU Station Abilene, Texas 7969

Changes in Muscle Metabolism are Associated with Phenotypic Variability in Golden Retriever Muscular Dystrophy

Duchenne muscular dystrophy (DMD) is an X-chromosome-linked disorder and the most common monogenic disease in people. Affected boys are diagnosed at a young age, become non-ambulatory by their early teens, and succumb to cardiorespiratory failure by their thirties. Despite being a monogenic condition resulting from mutations in the DMD gene, affected boys have noteworthy phenotypic variability. Efforts have identified genetic modifiers that could modify disease progression and be pharmacologic targets. Dogs affected with golden retriever muscular dystrophy (GRMD) have absent dystrophin and demonstrate phenotypic variability at the functional, histopathological, and molecular level. Our laboratory is particularly interested in muscle metabolism changes in dystrophin-deficient muscle. We identified several metabolic alterations, including myofiber type switching from fast (type II) to slow (type I), reduced glycolytic enzyme expression, reduced and morphologically abnormal mitochondria, and differential AMP-kinase phosphorylation (activation) between hypertrophied and wasted muscle. We hypothesize that muscle metabolism changes are, in part, responsible for phenotypic variability in GRMD. Pharmacological therapies aimed at modulating muscle metabolism can be tested in GRMD dogs for efficacy

Predictions of mb/mτm_b/m_{\tau} and mtm_t in an Asymptotically Non-Free Theory

We discuss an extention of the Minimal Supersymmetric Standard Model (MSSM) with the 4th and anti-4th generations which have $SU(2)_L\times U(1)_Y$ invariant masses. Due to the the extra generations, all three running gauge couplings become asymptotically non--free while preserving gauge coupling unification at the GUT scale. We show that due to the asymptotically non--free character of the gauge couplings: (1) the top and bottom Yukawa couplings are strongly focused onto infrared fixed points as they are evolved down in scale making their values at \mu=\mz insensitive to their initial values at \mu=\mgut; (2) the model predicts \R(\mz) \equiv Y_b/Y_\tau |_{\mu =\mz}\approx 1.8, which is consistent with the experimental value provided we take the ratio of Yukawa couplings at the GUT scale to be \R(\mgut) = Y_b/Y_\tau |_{\mu = \mgut} = 1/3; (3) the $t$ mass prediction comes out to be \mt\approx 180\,\GeV which is also consistent with experiment.Comment: 20 pgs. 7 figures. Latex2e. othersym.sty, suceqn.sty include

Refinement type contracts for verification of scientific investigative software

Our scientific knowledge is increasingly built on software output. User code which defines data analysis pipelines and computational models is essential for research in the natural and social sciences, but little is known about how to ensure its correctness. The structure of this code and the development process used to build it limit the utility of traditional testing methodology. Formal methods for software verification have seen great success in ensuring code correctness but generally require more specialized training, development time, and funding than is available in the natural and social sciences. Here, we present a Python library which uses lightweight formal methods to provide correctness guarantees without the need for specialized knowledge or substantial time investment. Our package provides runtime verification of function entry and exit condition contracts using refinement types. It allows checking hyperproperties within contracts and offers automated test case generation to supplement online checking. We co-developed our tool with a medium-sized ($\approx$3000 LOC) software package which simulates decision-making in cognitive neuroscience. In addition to helping us locate trivial bugs earlier on in the development cycle, our tool was able to locate four bugs which may have been difficult to find using traditional testing methods. It was also able to find bugs in user code which did not contain contracts or refinement type annotations. This demonstrates how formal methods can be used to verify the correctness of scientific software which is difficult to test with mainstream approaches

Risk factors and vectors for SARS-CoV-2 household transmission: a prospective, longitudinal cohort study

Background Despite circumstantial evidence for aerosol and fomite spread of SARS-CoV-2, empirical data linking either pathway with transmission are scarce. Here we aimed to assess whether the presence of SARS-CoV-2 on frequently-touched surfaces and residents' hands was a predictor of SARS-CoV-2 household transmission. Methods In this longitudinal cohort study, during the pre-alpha (September to December, 2020) and alpha (B.1.1.7; December, 2020, to April, 2021) SARS-CoV-2 variant waves, we prospectively recruited contacts from households exposed to newly diagnosed COVID-19 primary cases, in London, UK. To maximally capture transmission events, contacts were recruited regardless of symptom status and serially tested for SARS-CoV-2 infection by RT-PCR on upper respiratory tract (URT) samples and, in a subcohort, by serial serology. Contacts' hands, primary cases' hands, and frequently-touched surface-samples from communal areas were tested for SARS-CoV-2 RNA. SARS-CoV-2 URT isolates from 25 primary case-contact pairs underwent whole-genome sequencing (WGS). Findings From Aug 1, 2020, until March 31, 2021, 620 contacts of PCR-confirmed SARS-CoV-2-infected primary cases were recruited. 414 household contacts (from 279 households) with available serial URT PCR results were analysed in the full household contacts' cohort, and of those, 134 contacts with available longitudinal serology data and not vaccinated pre-enrolment were analysed in the serology subcohort. Household infection rate was 28·4% (95% CI 20·8–37·5) for pre-alpha-exposed contacts and 51·8% (42·5–61·0) for alpha-exposed contacts (p=0·0047). Primary cases' URT RNA viral load did not correlate with transmission, but was associated with detection of SARS-CoV-2 RNA on their hands (p=0·031). SARS-CoV-2 detected on primary cases' hands, in turn, predicted contacts' risk of infection (adjusted relative risk [aRR]=1·70 [95% CI 1·24–2·31]), as did SARS-CoV-2 RNA presence on household surfaces (aRR=1·66 [1·09–2·55]) and contacts' hands (aRR=2·06 [1·57–2·69]). In six contacts with an initial negative URT PCR result, hand-swab (n=3) and household surface-swab (n=3) PCR positivity preceded URT PCR positivity. WGS corroborated household transmission. Interpretation Presence of SARS-CoV-2 RNA on primary cases' and contacts' hands and on frequently-touched household surfaces associates with transmission, identifying these as potential vectors for spread in households. Funding National Institute for Health Research Health Protection Research Unit in Respiratory Infections, Medical Research Council

Association of Accelerometry-Measured Physical Activity and Cardiovascular Events in Mobility-Limited Older Adults: The LIFE (Lifestyle Interventions and Independence for Elders) Study.

BACKGROUND:Data are sparse regarding the value of physical activity (PA) surveillance among older adults-particularly among those with mobility limitations. The objective of this study was to examine longitudinal associations between objectively measured daily PA and the incidence of cardiovascular events among older adults in the LIFE (Lifestyle Interventions and Independence for Elders) study. METHODS AND RESULTS:Cardiovascular events were adjudicated based on medical records review, and cardiovascular risk factors were controlled for in the analysis. Home-based activity data were collected by hip-worn accelerometers at baseline and at 6, 12, and 24 months postrandomization to either a physical activity or health education intervention. LIFE study participants (n=1590; age 78.9±5.2 [SD] years; 67.2% women) at baseline had an 11% lower incidence of experiencing a subsequent cardiovascular event per 500 steps taken per day based on activity data (hazard ratio, 0.89; 95% confidence interval, 0.84-0.96; P=0.001). At baseline, every 30 minutes spent performing activities ≥500 counts per minute (hazard ratio, 0.75; confidence interval, 0.65-0.89 [P=0.001]) were also associated with a lower incidence of cardiovascular events. Throughout follow-up (6, 12, and 24 months), both the number of steps per day (per 500 steps; hazard ratio, 0.90, confidence interval, 0.85-0.96 [P=0.001]) and duration of activity ≥500 counts per minute (per 30 minutes; hazard ratio, 0.76; confidence interval, 0.63-0.90 [P=0.002]) were significantly associated with lower cardiovascular event rates. CONCLUSIONS:Objective measurements of physical activity via accelerometry were associated with cardiovascular events among older adults with limited mobility (summary score >10 on the Short Physical Performance Battery) both using baseline and longitudinal data. CLINICAL TRIAL REGISTRATION:URL: http://www.clinicaltrials.gov. Unique identifier: NCT01072500