LNCS

A controller is a device that interacts with a plant. At each time point,it reads the plant’s state and issues commands with the goal that the plant oper-ates optimally. Constructing optimal controllers is a fundamental and challengingproblem. Machine learning techniques have recently been successfully applied totrain controllers, yet they have limitations. Learned controllers are monolithic andhard to reason about. In particular, it is difficult to add features without retraining,to guarantee any level of performance, and to achieve acceptable performancewhen encountering untrained scenarios. These limitations can be addressed bydeploying quantitative run-timeshieldsthat serve as a proxy for the controller.At each time point, the shield reads the command issued by the controller andmay choose to alter it before passing it on to the plant. We show how optimalshields that interfere as little as possible while guaranteeing a desired level ofcontroller performance, can be generated systematically and automatically usingreactive synthesis. First, we abstract the plant by building a stochastic model.Second, we consider the learned controller to be a black box. Third, we mea-surecontroller performanceandshield interferenceby two quantitative run-timemeasures that are formally defined using weighted automata. Then, the problemof constructing a shield that guarantees maximal performance with minimal inter-ference is the problem of finding an optimal strategy in a stochastic2-player game“controller versus shield” played on the abstract state space of the plant with aquantitative objective obtained from combining the performance and interferencemeasures. We illustrate the effectiveness of our approach by automatically con-structing lightweight shields for learned traffic-light controllers in various roadnetworks. The shields we generate avoid liveness bugs, improve controller per-formance in untrained and changing traffic situations, and add features to learnedcontrollers, such as giving priority to emergency vehicles

i Sexual function in breast cancer patients: a prospective study from Iran

Background: Sexual function in patients with breast cancer especially in younger patients is an important issue from clinical and psychosocial perspectives. This study aimed to assess sexual function among Iranian breast cancer patients. Methods: This was a prospective study of sexual function in breast cancer patients attending the Cancer Institute of Iran. Sexual function was assessed using the Female Sexual Function Index (FSFI) at two points in time: baseline (pre-treatment) and after completion of cancer treatment at follow-up visits (post-treatment). Pre- and posttreatment data were compared. In addition logistic regression analysis was performed to find out factors that contributing to post-treatment sexual dysfunction. Results: In all 277 breast cancer patients were approached. Of these, 231 patients (83%) were sexually active and data for 216 patients (93.5 % of sexually active patients) were available at pre-and post-treatment. Overall pre- and post-treatment sexual dysfunction was found to be 52 % and 84%, respectively indicating a significant deterioration in sexual function among breast cancer patients. The results obtained from multiple logistic regression analysis indicated that younger age [OR = 0.95, 95 % CI = 0.93-0.98; P = 0.04], receiving endocrine therapy [OR = 3.34, 95% CI = 1.37-7.91; P = 0.007] and poor sexual function at pre-treatment [OR = 12.3, 95 % CI = 3.93-39.0; P < 0.0001

Estimating the incidence of lung cancer attributable to occupational exposure in Iran

<p>Abstract</p> <p>Objective</p> <p>The aim of this study was to estimate the fraction of lung cancer incidence in Iran attributed to occupational exposures to the well-established lung cancer carcinogens, including silica, cadmium, nickel, arsenic, chromium, diesel fumes, beryllium, and asbestos.</p> <p>Methods</p> <p>Nationwide exposure to each of the mentioned carcinogens was estimated using workforce data from the Iranian population census of 1995, available from the International Labor Organization (ILO) website. The prevalence of exposure to carcinogens in each industry was estimated using exposure data from the CAREX (CARcinogen EXposure) database, an international occupational carcinogen information system kept and maintained by the European Union. The magnitude of the relative risk of lung cancer for each carcinogen was estimated from local and international literature. Using the Levin modified population attributable risk (incidence) fraction, lung cancer incidence (as estimated by the Tehran Population-Based Cancer Registry) attributable to workplace exposure to carcinogens was estimated.</p> <p>Results</p> <p>The total workforce in Iran according to the 1995 census identified 12,488,020 men and 677,469 women. Agriculture is the largest sector with 25% of the male and 0.27% of female workforce. After applying the CAREX exposure estimate to each sector, the proportion exposed to lung carcinogens was 0.08% for male workers and 0.02% for female workers. Estimating a relative risk of 1.9 (95% CI of 1.7–2.1) for high exposure and 1.3 (95% CI 1.2–1.4) for low exposure, and employing the Levin modified formula, the fraction of lung cancer attributed to carcinogens in the workplace was 1.5% (95% CI of 1.2–1.9) for females and 12% (95% CI of 10–15) for males. These fractions correspond to an estimated incidence of 1.3 and 0.08 cases of lung cancer per 100,000 population for males and females, respectively.</p> <p>Conclusion</p> <p>The incidence of lung cancer due to occupational exposure is low in Iran and, as in other countries, more lung cancer is due to occupational exposure among males than females.</p

‘Fractional Recovery’ Analysis of a Presynaptic Synaptotagmin 1-Anchored Endocytic Protein Complex

BACKGROUND: The integral synaptic vesicle protein and putative calcium sensor, synaptotagmin 1 (STG), has also been implicated in synaptic vesicle (SV) recovery. However, proteins with which STG interacts during SV endocytosis remain poorly understood. We have isolated an STG-associated endocytic complex (SAE) from presynaptic nerve terminals and have used a novel fractional recovery (FR) assay based on electrostatic dissociation to identify SAE components and map the complex structure. The location of SAE in the presynaptic terminal was determined by high-resolution quantitative immunocytochemistry at the chick ciliary ganglion giant calyx-type synapse. METHODOLOGY/PRINCIPLE FINDINGS: The first step in FR analysis was to immunoprecipitate (IP) the complex with an antibody against one protein component (the IP-protein). The immobilized complex was then exposed to a high salt (1150 mM) stress-test that caused shedding of co-immunoprecipitated proteins (co-IP-proteins). A Fractional Recovery ratio (FR: recovery after high salt/recovery with control salt as assayed by Western blot) was calculated for each co-IP-protein. These FR values reflect complex structure since an easily dissociated protein, with a low FR value, cannot be intermediary between the IP-protein and a salt-resistant protein. The structure of the complex was mapped and a blueprint generated with a pair of FR analyses generated using two different IP-proteins. The blueprint of SAE contains an AP180/X/STG/stonin 2/intersectin/epsin core (X is unknown and epsin is hypothesized), and an AP2 adaptor, H-/L-clathrin coat and dynamin scission protein perimeter. Quantitative immunocytochemistry (ICA/ICQ method) at an isolated calyx-type presynaptic terminal indicates that this complex is associated with STG at the presynaptic transmitter release face but not with STG on intracellular synaptic vesicles. CONCLUSIONS/SIGNIFICANCE: We hypothesize that the SAE serves as a recognition site and also as a seed complex for clathrin-mediated synaptic vesicle recovery. The combination of FR analysis with quantitative immunocytochemistry provides a novel and effective strategy for the identification and characterization of biologically-relevant multi-molecular complexes

Age at Menarche and Its Association with the Metabolic Syndrome and Its Components: Results from the KORA F4 Study

OBJECTIVE: The metabolic syndrome is a major public health challenge and identifies persons at risk for diabetes and cardiovascular disease. The aim of this study was to examine the association between age at menarche and the metabolic syndrome (IDF and NCEP ATP III classification) and its components. DESIGN: 1536 women aged 32 to 81 years of the German population based KORA F4 study were investigated. Data was collected by standardized interviews, physical examinations, and whole blood and serum measurements. RESULTS: Young age at menarche was significantly associated with elevated body mass index (BMI), greater waist circumference, higher fasting glucose levels, and 2 hour glucose (oral glucose tolerance test), even after adjusting for the difference between current BMI and BMI at age 25. The significant effect on elevated triglycerides and systolic blood pressure was attenuated after adjustment for the BMI change. Age at menarche was inversely associated with the metabolic syndrome adjusting for age (p-values: <0.001 IDF, 0.003 NCEP classification) and additional potential confounders including lifestyle and reproductive history factors (p-values: 0.001, 0.005). Associations remain significant when additionally controlling for recollected BMI at age 25 (p-values: 0.008, 0.033) or the BMI change since age 25 (p-values: 0.005, 0.022). CONCLUSION: Young age at menarche might play a role in the development of the metabolic syndrome. This association is only partially mediated by weight gain and increased BMI. A history of early menarche may help to identify women at risk for the metabolic syndrome

Differential Response to Soil Salinity in Endangered Key Tree Cactus: Implications for Survival in a Changing Climate

Understanding reasons for biodiversity loss is essential for developing conservation and management strategies and is becoming increasingly urgent with climate change. Growing at elevations <1.4 m in the Florida Keys, USA, the endangered Key tree cactus (Pilosocereus robinii) experienced 84 percent loss of total stems from 1994 to 2007. The most severe losses of 99 and 88 percent stems occurred in the largest populations in the Lower Keys, where nine storms with high wind velocities and storm surges, occurred during this period. In contrast, three populations had substantial stem proliferation. To evaluate possible mortality factors related to changes in climate or forest structure, we examined habitat variables: soil salinity, elevation, canopy cover, and habitat structure near 16 dying or dead and 18 living plants growing in the Lower Keys. Soil salinity and elevation were the preliminary factors that discriminated live and dead plants. Soil salinity was 1.5 times greater, but elevation was 12 cm higher near dead plants than near live plants. However, distribution-wide stem loss was not significantly related to salinity or elevation. Controlled salinity trials indicated that salt tolerance to levels above 40 mM NaCl was related to maternal origin. Salt sensitive plants from the Lower Keys had less stem growth, lower root:shoot ratios, lower potassium: sodium ratios and lower recovery rate, but higher δ 13C than a salt tolerant lineage of unknown origin. Unraveling the genetic structure of salt tolerant and salt sensitive lineages in the Florida Keys will require further genetic tests. Worldwide rare species restricted to fragmented, low-elevation island habitats, with little or no connection to higher ground will face challenges from climate change-related factors. These great conservation challenges will require traditional conservation actions and possibly managed relocation that must be informed by studies such as these

Bacteria-inducing legume nodules involved in the improvement of plant growth, health and nutrition

Bacteria-inducing legume nodules are known as rhizobia and belong to the class Alphaproteobacteria and Betaproteobacteria. They promote the growth and nutrition of their respective legume hosts through atmospheric nitrogen fixation which takes place in the nodules induced in their roots or stems. In addition, rhizobia have other plant growth-promoting mechanisms, mainly solubilization of phosphate and production of indoleacetic acid, ACC deaminase and siderophores. Some of these mechanisms have been reported for strains of rhizobia which are also able to promote the growth of several nonlegumes, such as cereals, oilseeds and vegetables. Less studied are the mechanisms that have the rhizobia to promote the plant health; however, these bacteria are able to exert biocontrol of some phytopathogens and to induce the plant resistance. In this chapter, we revised the available data about the ability of the legume nodule-inducing bacteria for improving the plant growth, health and nutrition of both legumes and nonlegumes. These data showed that rhizobia meet all the requirements of sustainable agriculture to be used as bio-inoculants allowing the total or partial replacement of chemicals used for fertilization or protection of crops

Mapping inequalities in exclusive breastfeeding in low- and middle-income countries, 2000–2018

Exclusive breastfeeding (EBF)-giving infants only breast-milk for the first 6 months of life-is a component of optimal breastfeeding practices effective in preventing child morbidity and mortality. EBF practices are known to vary by population and comparable subnational estimates of prevalence and progress across low- and middle-income countries (LMICs) are required for planning policy and interventions. Here we present a geospatial analysis of EBF prevalence estimates from 2000 to 2018 across 94 LMICs mapped to policy-relevant administrative units (for example, districts), quantify subnational inequalities and their changes over time, and estimate probabilities of meeting the World Health Organization's Global Nutrition Target (WHO GNT) of ≥70% EBF prevalence by 2030. While six LMICs are projected to meet the WHO GNT of ≥70% EBF prevalence at a national scale, only three are predicted to meet the target in all their district-level units by 2030.This work was primarily supported by grant no. OPP1132415 from the Bill & Melinda Gates Foundation. Co-authors used by the Bill & Melinda Gates Foundation (E.G.P. and R.R.3) provided feedback on initial maps and drafts of this manuscript. L.G.A. has received support from Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, Brasil (CAPES), Código de Financiamento 001 and Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) (grant nos. 404710/2018-2 and 310797/2019-5). O.O.Adetokunboh acknowledges the National Research Foundation, Department of Science and Innovation and South African Centre for Epidemiological Modelling and Analysis. M.Ausloos, A.Pana and C.H. are partially supported by a grant from the Romanian National Authority for Scientific Research and Innovation, CNDS-UEFISCDI, project no. PN-III-P4-ID-PCCF-2016-0084. P.C.B. would like to acknowledge the support of F. Alam and A. Hussain. T.W.B. was supported by the Alexander von Humboldt Foundation through the Alexander von Humboldt Professor award, funded by the German Federal Ministry of Education and Research. K.Deribe is supported by the Wellcome Trust (grant no. 201900/Z/16/Z) as part of his international intermediate fellowship. C.H. and A.Pana are partially supported by a grant of the Romanian National Authority for Scientific Research and Innovation, CNDS-UEFISCDI, project no. PN-III-P2-2.1-SOL-2020-2-0351. B.Hwang is partially supported by China Medical University (CMU109-MF-63), Taichung, Taiwan. M.Khan acknowledges Jatiya Kabi Kazi Nazrul Islam University for their support. A.M.K. acknowledges the other collaborators and the corresponding author. Y.K. was supported by the Research Management Centre, Xiamen University Malaysia (grant no. XMUMRF/2020-C6/ITM/0004). K.Krishan is supported by a DST PURSE grant and UGC Centre of Advanced Study (CAS II) awarded to the Department of Anthropology, Panjab University, Chandigarh, India. M.Kumar would like to acknowledge FIC/NIH K43 TW010716-03. I.L. is a member of the Sistema Nacional de Investigación (SNI), which is supported by the Secretaría Nacional de Ciencia, Tecnología e Innovación (SENACYT), Panamá. M.L. was supported by China Medical University, Taiwan (CMU109-N-22 and CMU109-MF-118). W.M. is currently a programme analyst in Population and Development at the United Nations Population Fund (UNFPA) Country Office in Peru, which does not necessarily endorses this study. D.E.N. acknowledges Cochrane South Africa, South African Medical Research Council. G.C.P. is supported by an NHMRC research fellowship. P.Rathi acknowledges support from Kasturba Medical College, Mangalore, Manipal Academy of Higher Education, Manipal, India. Ramu Rawat acknowledges the support of the GBD Secretariat for supporting the reviewing and collaboration of this paper. B.R. acknowledges support from Manipal College of Health Professions, Manipal Academy of Higher Education, Manipal. A.Ribeiro was supported by National Funds through FCT, under the programme of ‘Stimulus of Scientific Employment—Individual Support’ within the contract no. info:eu-repo/grantAgreement/FCT/CEEC IND 2018/CEECIND/02386/2018/CP1538/CT0001/PT. S.Sajadi acknowledges colleagues at Global Burden of Diseases and Local Burden of Disease. A.M.S. acknowledges the support from the Egyptian Fulbright Mission Program. F.S. was supported by the Shenzhen Science and Technology Program (grant no. KQTD20190929172835662). A.Sheikh is supported by Health Data Research UK. B.K.S. acknowledges Kasturba Medical College, Mangalore, Manipal Academy of Higher Education, Manipal for all the academic support. B.U. acknowledges support from Manipal Academy of Higher Education, Manipal. C.S.W. is supported by the South African Medical Research Council. Y.Z. was supported by Science and Technology Research Project of Hubei Provincial Department of Education (grant no. Q20201104) and Outstanding Young and Middle-aged Technology Innovation Team Project of Hubei Provincial Department of Education (grant no. T2020003). The funders of the study had no role in study design, data collection and analysis, decision to publish or preparation of the manuscript. The corresponding author had full access to all the data in the study and had final responsibility for the decision to submit for publication. All maps presented in this study are generated by the authors and no permissions are required to publish them