Using Sat solvers for synchronization issues in partial deterministic automata

We approach the task of computing a carefully synchronizing word of minimum length for a given partial deterministic automaton, encoding the problem as an instance of SAT and invoking a SAT solver. Our experimental results demonstrate that this approach gives satisfactory results for automata with up to 100 states even if very modest computational resources are used.Comment: 15 pages, 3 figure

Association of Depression and Poor Mental Health With Cardiovascular Disease and Suboptimal Cardiovascular Health Among Young Adults in the United States.

Background Depression is a nontraditional risk factor for cardiovascular disease (CVD). Data on the association of depression and poor mental health with CVD and suboptimal cardiovascular health (CVH) among young adults are limited. Methods and Results We used data from 593 616 young adults (aged 18-49 years) from the 2017 to 2020 Behavioral Risk Factor Surveillance System, a nationally representative survey of noninstitutionalized US adults. Exposures were self-reported depression and poor mental health days (PMHDs; categorized as 0, 1-13, and 14-30 days of poor mental health in the past 30 days). Outcomes were self-reported CVD (composite of myocardial infarction, angina, or stroke) and suboptimal CVH (≥2 cardiovascular risk factors: hypertension, hypercholesterolemia, overweight/obesity, smoking, diabetes, physical inactivity, and inadequate fruit and vegetable intake). Using logistic regression, we investigated the association of depression and PMHDs with CVD and suboptimal CVH, adjusting for sociodemographic factors (and cardiovascular risk factors for the CVD outcome). Of the 593 616 participants (mean age, 34.7±9.0 years), the weighted prevalence of depression was 19.6% (95% CI, 19.4-19.8), and the weighted prevalence of CVD was 2.5% (95% CI, 2.4-2.6). People with depression had higher odds of CVD than those without depression (odds ratio [OR], 2.32 [95% CI, 2.13-2.51]). There was a graded association of PMHDs with CVD. Compared with individuals with 0 PMHDs, the odds of CVD in those with 1 to 13 PMHDs and 14 to 30 PHMDs were 1.48 (95% CI, 1.34-1.62) and 2.29 (95% CI, 2.08-2.51), respectively, after adjusting for sociodemographic and cardiovascular risk factors. The associations did not differ significantly by sex or urban/rural status. Individuals with depression had higher odds of suboptimal CVH (OR, 1.79 [95% CI, 1.65-1.95]) compared with those without depression, with a similar graded relationship between PMHDs and suboptimal CVH. Conclusions Depression and poor mental health are associated with premature CVD and suboptimal CVH among young adults. Although this association is likely bidirectional, prioritizing mental health may help reduce CVD risk and improve CVH in young adults

Caffeic Acid Phenethyl Ester Causes p21Cip1 Induction, Akt Signaling Reduction, and Growth Inhibition in PC-3 Human Prostate Cancer Cells

Caffeic acid phenethyl ester (CAPE) treatment suppressed proliferation, colony formation, and cell cycle progression in PC-3 human prostate cancer cells. CAPE decreased protein expression of cyclin D1, cyclin E, SKP2, c-Myc, Akt1, Akt2, Akt3, total Akt, mTOR, Bcl-2, Rb, as well as phosphorylation of Rb, ERK1/2, Akt, mTOR, GSK3α, GSK3β, PDK1; but increased protein expression of KLF6 and p21Cip1. Microarray analysis indicated that pathways involved in cellular movement, cell death, proliferation, and cell cycle were affected by CAPE. Co-treatment of CAPE with chemotherapeutic drugs vinblastine, paclitaxol, and estramustine indicated synergistic suppression effect. CAPE administration may serve as a potential adjuvant therapy for prostate cancer

Cardiovascular Events in Patients Received Combined Fibrate/Statin Treatment versus Statin Monotherapy: Acute Coronary Syndrome Israeli Surveys Data

The effect of combination of fibrate with statin on major adverse cardiovascular events (MACE) following acute coronary syndrome (ACS) hospitalization is unclear. The main aim of this study was to investigate the 30-day rate of MACE in patients who participated in the nationwide ACS Israeli Surveys (ACSIS) and were treated on discharge with a fibrate (mainly bezafibrate) and statin combination vs. statin alone.The study population comprised 8,982 patients from the ACSIS 2000, 2002, 2004, 2006, 2008 and 2010 enrollment waves who were alive on discharge and received statin. Of these, 8,545 (95%) received statin alone and 437 (5%) received fibrate/statin combination. MACE was defined as a composite measure of death, recurrent MI, recurrent ischemia, stent thrombosis, ischemic stroke and urgent revascularization.Patients from the combination group were younger (58.1±11.9 vs. 62.9±12.6 years). However, they had significantly more co-morbidities (hypertension, diabetes), current smokers and unfavorable cardio-metabolic profiles (with respect to glucose, total cholesterol, triglyceride and HDL-cholesterol). Development of MACE was recorded in 513 (6.0%) patients from the statin monotherapy group vs. 13 (3.2%) from the combination group, p = 0.01. 30-day re-hospitalization rate was significantly lower in the combination group: 68 (15.6%) vs. 1691 (19.8%) of patients, respectively; p = 0.03. Multivariable analysis identified the fibrate/statin combination as an independent predictor of reduced risk of MACE with odds ratio of 0.54, 95% confidence interval 0.32–0.94.A significantly lower risk of 30-day MACE rate was observed in patients receiving combined fibrate/statin treatment following ACS compared with statin monotherapy. However, caution should be exercised in interpreting these findings taking into consideration baseline differences between our observational study groups

A population study on the association between leisure time physical activity and self-rated health among diabetics in Taiwan

<p>Abstract</p> <p>Background</p> <p>There is strong evidence for the beneficial effects of physical activity in diabetes. There has been little research demonstrating a dose-response relationship between physical activity and self-rated health in diabetics. The aim of this study was to explore the dose-response association between leisure time physical activity and self-rated health among diabetics in Taiwan.</p> <p>Methods</p> <p>Data came from the 2001 Taiwan National Health Interview Survey (NHIS). Inclusion criteria were a physician confirmed diagnosis of diabetes mellitus and age 18 years and above (n = 797). Self-rated health was assessed by the question "In general, would you say that your health is excellent, very good, good, fair, or poor?" Individuals with a self perceived health status of good, very good, or excellent were considered to have positive health status.</p> <p>Results</p> <p>In the full model, the odds ratio (OR) for positive health was 2.51(95% CI = 1.53-4.13), 1.62(95% CI = 0.93-2.84), and 1.35(95% CI = 0.77-2.37), for those with a total weekly energy expenditure of ≥ 1000 kcal, between 500 and 999 kcal, and between 1 and 499 kcal, respectively, compared to inactive individuals. Those with duration over 10 years (OR = 0.53, 95%CI = 0.30-0.94), heart disease (OR = 0.50, 95%CI = 0.30-0.85), and dyslipidemia (OR = 0.65, 95% CI = 0.43-0.98) were less likely to have positive health than their counterparts. After stratified participants by duration, those with a duration of diabetes < 6 years, the adjusted OR for positive health was 1.95(95% CI = 1.02-3.72), 1.22(95% CI = 0.59-2.52), and 1.19(95% CI = 0.58-2.41) for those with a total weekly energy expenditure of ≥ 1000 kcal, between 500 and 999 kcal, and between 1 and 499 kcal, respectively, compared to inactive individuals. In participants with a duration of diabetes ≥ 6 years, total energy expenditure showed a gradient effect on self-perceived positive health. The adjusted OR for positive health was 3.45(95% CI = 1.53-7.79), 2.77(95% CI = 1.11-6.92), and 1.90(95% CI = 0.73-4.94) for those with a total weekly energy expenditure of ≥ 1000 kcal, between 500 and 999 kcal, and between 1 and 499 kcal, respectively, compared to inactive individuals.</p> <p>Conclusions</p> <p>Our results highlight that regular leisure activity with an energy expenditure ≧ 500 kcal per week is associated with better self-rated health for those with longstanding diabetes.</p

Higher education delays and shortens cognitive impairment. A multistate life table analysis of the US Health and Retirement Study

Improved health may extend or shorten the duration of cognitive impairment by postponing incidence or death. We assess the duration of cognitive impairment in the US Health and Retirement Study (1992–2004) by self reported BMI, smoking and levels of education in men and women and three ethnic groups. We define multistate life tables by the transition rates to cognitive impairment, recovery and death and estimate Cox proportional hazard ratios for the studied determinants. 95% confidence intervals are obtained by bootstrapping. 55 year old white men and women expect to live 25.4 and 30.0 years, of which 1.7 [95% confidence intervals 1.5; 1.9] years and 2.7 [2.4; 2.9] years with cognitive impairment. Both black men and women live 3.7 [2.9; 4.5] years longer with cognitive impairment than whites, Hispanic men and women 3.2 [1.9; 4.6] and 5.8 [4.2; 7.5] years. BMI makes no difference. Smoking decreases the duration of cognitive impairment with 0.8 [0.4; 1.3] years by high mortality. Highly educated men and women live longer, but 1.6 years [1.1; 2.2] and 1.9 years [1.6; 2.6] shorter with cognitive impairment than lowly educated men and women. The effect of education is more pronounced among ethnic minorities. Higher life expectancy goes together with a longer period of cognitive impairment, but not for higher levels of education: that extends life in good cognitive health but shortens the period of cognitive impairment. The increased duration of cognitive impairment in minority ethnic groups needs further study, also in Europe

Ethnomedicinal plant knowledge and practice of the Oromo ethnic group in southwestern Ethiopia

An ethnomedicinal study was conducted to document the indigenous medicinal plant knowledge and use by traditional healers in southwestern Ethiopia from December 2005 to November 2006. Data were collected from 45 randomly selected traditional healers using semi-structured interviews and observations. Sixty-seven ethnomedicinal plant species used by traditional healers to manage 51 different human ailments were identified and documented. Healers' indigenous knowledge was positively correlated with their reported age but not with their educational level. High degree of consensus was observed among traditional healers in treating tumor (locally known as Tanacha), rabies (Dhukuba Seree) and insect bite (Hadhaa). The use of more than one species was significantly cited for remedy preparations. The reported abundance of the ethnomedicinal plant species varied significantly with respect to the presence of multiple uses of the reported species. Our results showed that ethnomedicinal plant species used by healers are under serious threat due to several factors, which indicates the need for urgent attention towards their conservation and sustainable utilization

A Dual Receptor Crosstalk Model of G-Protein-Coupled Signal Transduction

Macrophage cells that are stimulated by two different ligands that bind to G-protein-coupled receptors (GPCRs) usually respond as if the stimulus effects are additive, but for a minority of ligand combinations the response is synergistic. The G-protein-coupled receptor system integrates signaling cues from the environment to actuate cell morphology, gene expression, ion homeostasis, and other physiological states. We analyze the effects of the two signaling molecules complement factors 5a (C5a) and uridine diphosphate (UDP) on the intracellular second messenger calcium to elucidate the principles that govern the processing of multiple signals by GPCRs. We have developed a formal hypothesis, in the form of a kinetic model, for the mechanism of action of this GPCR signal transduction system using data obtained from RAW264.7 macrophage cells. Bayesian statistical methods are employed to represent uncertainty in both data and model parameters and formally tie the model to experimental data. When the model is also used as a tool in the design of experiments, it predicts a synergistic region in the calcium peak height dose response that results when cells are simultaneously stimulated by C5a and UDP. An analysis of the model reveals a potential mechanism for crosstalk between the Gαi-coupled C5a receptor and the Gαq-coupled UDP receptor signaling systems that results in synergistic calcium release

A β-Catenin-Dependent Wnt Pathway Mediates Anteroposterior Axon Guidance in C. elegans Motor Neurons

Wnts are secreted glycoproteins that regulate diverse aspects of development, including cell proliferation, cell fate specification and differentiation. More recently, Wnts have been shown to direct axon guidance in vertebrates, flies and worms. However, little is known about the intracellular signaling pathways downstream of Wnts in axon guidance.Here we show that the posterior C. elegans Wnt protein LIN-44 repels the axons of the adjacent D-type motor neurons by activating its receptor LIN-17/Frizzled on the neurons. Moreover, mutations in mig-5/Disheveled, gsk-3, pry-1/Axin, bar-1/beta-catenin and pop-1/TCF, also cause disrupted D-type axon pathfinding. Reduced BAR-1/beta-catenin activity in D-type axons leads to undergrowth of axons, while stabilization of BAR-1/beta-catenin in a lin-23/SCF(beta-TrCP) mutant results in an overextension phenotype.Together, our data provide evidence that Wnt-mediated axon guidance can be transduced through a beta-catenin-dependent pathway