115 research outputs found

    Towards Physical Hybrid Systems

    Full text link
    Some hybrid systems models are unsafe for mathematically correct but physically unrealistic reasons. For example, mathematical models can classify a system as being unsafe on a set that is too small to have physical importance. In particular, differences in measure zero sets in models of cyber-physical systems (CPS) have significant mathematical impact on the mathematical safety of these models even though differences on measure zero sets have no tangible physical effect in a real system. We develop the concept of "physical hybrid systems" (PHS) to help reunite mathematical models with physical reality. We modify a hybrid systems logic (differential temporal dynamic logic) by adding a first-class operator to elide distinctions on measure zero sets of time within CPS models. This approach facilitates modeling since it admits the verification of a wider class of models, including some physically realistic models that would otherwise be classified as mathematically unsafe. We also develop a proof calculus to help with the verification of PHS.Comment: CADE 201

    Multicenter safety study of mFOLFOX6 for unresectable advanced/recurrent colorectal cancer in elderly patients

    Get PDF
    <p>Abstract</p> <p>Background</p> <p>Combination chemotherapy with oxaliplatin plus 5-fluorouracil/leucovorin (FOLFOX) has become a standard regimen for colorectal cancer. An increase of adverse events with combination chemotherapy is predicted in elderly patients, and it remains controversial whether they should receive the same chemotherapy as younger patients. Accordingly, this study of modified FOLFOX6 (mFOLFOX6) therapy was performed to compare its safety between elderly and non-elderly patients.</p> <p>Methods</p> <p>We prospectively studies 14 non-elderly patients aged <70 years old and 8 elderly patients aged ≥ 70 years with unresectable advanced/recurrent colorectal cancer who received mFOLFOX6 therapy during the period from March 2006 to March 2007. Adverse events and the response to treatment were compared between the elderly and non-elderly groups.</p> <p>Results</p> <p>The main adverse events were neutropenia and peripheral neuropathy, which occurred in 62.5% (≥ grade 3) and 87.5% (≥ grade 1) of elderly patients. The grade and frequency of adverse events were similar in the elderly and non-elderly groups. In some patients with neutropenia, treatment could be continued without reducing the dose of oxaliplatin by deleting bolus 5-fluorouracil. A correlation was found between the cumulative dose of oxaliplatin and the severity of neuropathy, and there were 2 elderly and 3 younger patients in whom discontinuation of treatment was necessary due to peripheral neuropathy. The median number of treatment cycles was 10.0 and 9.5 in the non-elderly and elderly groups, respectively. The response rate was 60.0% in the non-elderly and 50.0% in the elderly group, while the disease control rate was 100% and 83.3% respectively, showing no age-related difference.</p> <p>Conclusion</p> <p>mFOLFOX6 therapy was well-tolerated and effective in both non-elderly and elderly patients. However, discontinuation of treatment was sometimes necessary due to peripheral neuropathy, which is dose-limiting toxicity of this therapy.</p

    Observation of associated near-side and away-side long-range correlations in √sNN=5.02  TeV proton-lead collisions with the ATLAS detector

    Get PDF
    Two-particle correlations in relative azimuthal angle (Δϕ) and pseudorapidity (Δη) are measured in √sNN=5.02  TeV p+Pb collisions using the ATLAS detector at the LHC. The measurements are performed using approximately 1  μb-1 of data as a function of transverse momentum (pT) and the transverse energy (ΣETPb) summed over 3.1<η<4.9 in the direction of the Pb beam. The correlation function, constructed from charged particles, exhibits a long-range (2<|Δη|<5) “near-side” (Δϕ∼0) correlation that grows rapidly with increasing ΣETPb. A long-range “away-side” (Δϕ∼π) correlation, obtained by subtracting the expected contributions from recoiling dijets and other sources estimated using events with small ΣETPb, is found to match the near-side correlation in magnitude, shape (in Δη and Δϕ) and ΣETPb dependence. The resultant Δϕ correlation is approximately symmetric about π/2, and is consistent with a dominant cos⁡2Δϕ modulation for all ΣETPb ranges and particle pT

    Search for the neutral Higgs bosons of the minimal supersymmetric standard model in pp collisions at root s=7 TeV with the ATLAS detector

    Get PDF
    A search for neutral Higgs bosons of the Minimal Supersymmetric Standard Model (MSSM) is reported. The analysis is based on a sample of proton-proton collisions at a centre-of-mass energy of 7TeV recorded with the ATLAS detector at the Large Hadron Collider. The data were recorded in 2011 and correspond to an integrated luminosity of 4.7 fb-1 to 4.8 fb-1. Higgs boson decays into oppositely-charged muon or τ lepton pairs are considered for final states requiring either the presence or absence of b-jets. No statistically significant excess over the expected background is observed and exclusion limits at the 95% confidence level are derived. The exclusion limits are for the production cross-section of a generic neutral Higgs boson, φ, as a function of the Higgs boson mass and for h/A/H production in the MSSM as a function of the parameters mA and tan β in the mhmax scenario for mA in the range of 90GeV to 500 GeV. Copyright CERN

    Search for high-mass resonances decaying to dilepton final states in pp collisions at s√=7 TeV with the ATLAS detector

    Get PDF
    The ATLAS detector at the Large Hadron Collider is used to search for high-mass resonances decaying to an electron-positron pair or a muon-antimuon pair. The search is sensitive to heavy neutral Z′ gauge bosons, Randall-Sundrum gravitons, Z * bosons, techni-mesons, Kaluza-Klein Z/γ bosons, and bosons predicted by Torsion models. Results are presented based on an analysis of pp collisions at a center-of-mass energy of 7 TeV corresponding to an integrated luminosity of 4.9 fb−1 in the e + e − channel and 5.0 fb−1 in the μ + μ −channel. A Z ′ boson with Standard Model-like couplings is excluded at 95 % confidence level for masses below 2.22 TeV. A Randall-Sundrum graviton with coupling k/MPl=0.1 is excluded at 95 % confidence level for masses below 2.16 TeV. Limits on the other models are also presented, including Technicolor and Minimal Z′ Models

    Search for R-parity-violating supersymmetry in events with four or more leptons in sqrt(s) =7 TeV pp collisions with the ATLAS detector

    Get PDF
    A search for new phenomena in final states with four or more leptons (electrons or muons) is presented. The analysis is based on 4.7 fb−1 of s=7  TeV \sqrt{s}=7\;\mathrm{TeV} proton-proton collisions delivered by the Large Hadron Collider and recorded with the ATLAS detector. Observations are consistent with Standard Model expectations in two signal regions: one that requires moderate values of missing transverse momentum and another that requires large effective mass. The results are interpreted in a simplified model of R-parity-violating supersymmetry in which a 95% CL exclusion region is set for charged wino masses up to 540 GeV. In an R-parity-violating MSUGRA/CMSSM model, values of m 1/2 up to 820 GeV are excluded for 10 < tan β < 40

    Estimates of new and total productivity in central Long Island Sound from in situ measurements of nitrate and dissolved oxygen

    Get PDF
    Author Posting. © The Author(s), 2013. This is the author's version of the work. It is posted here by permission of Springer for personal use, not for redistribution. The definitive version was published in Estuaries and Coasts 36 (2013): 74-97, doi:10.1007/s12237-012-9560-5.Biogeochemical cycles in estuaries are regulated by a diverse set of physical and biological variables that operate over a variety of time scales. Using in situ optical sensors, we conducted a high-frequency time-series study of several biogeochemical parameters at a mooring in central Long Island Sound from May to August 2010. During this period, we documented well-defined diel cycles in nitrate concentration that were correlated to dissolved oxygen, wind stress, tidal mixing, and irradiance. By filtering the data to separate the nitrate time series into various signal components, we estimated the amount of variation that could be ascribed to each process. Primary production and surface wind stress explained 59% and 19%, respectively, of the variation in nitrate concentrations. Less frequent physical forcings, including large-magnitude wind events and spring tides, served to decouple the relationship between oxygen, nitrate, and sunlight on about one-quarter of study days. Daytime nitrate minima and dissolved oxygen maxima occurred nearly simultaneously on the majority (> 80%) of days during the study period; both were strongly correlated with the daily peak in irradiance. Nighttime nitrate maxima reflected a pattern in which surface-layer stocks were depleted each afternoon and recharged the following night. Changes in nitrate concentrations were used to generate daily estimates of new primary production (182 ± 37 mg C m-2 d-1) and the f-ratio (0.25), i.e., the ratio of production based on nitrate to total production. These estimates, the first of their kind in Long Island Sound, were compared to values of community respiration, primary productivity, and net ecosystem metabolism, which were derived from in situ measurements of oxygen concentration. Daily averages of the three metabolic parameters were 1660 ± 431, 2080 ± 419, and 429 ± 203 mg C m-2 d-1, respectively. While the system remained weakly autotrophic over the duration of the study period, we observed very large day-to-day differences in the f-ratio and in the various metabolic parameters.This work was supported by the Yale Institute for Biospheric Studies, the Sounds Conservancy of the Quebec-Labrador Foundation, and the Yale School of Forestry and Environmental Studies Carpenter-Sperry Fund.2014-01-0

    Alcohol, tobacco and illicit drug use amongst same-sex attracted women: results from the Western Australian Lesbian and Bisexual Women's Health and Well-Being Survey

    Get PDF
    Background: The prevalence of alcohol, tobacco and illicit drug use has been reported to be higheramongst lesbian and bisexual women (LBW) than their heterosexual counterparts. However, few studieshave been conducted with this population in Australia and rates that have been reported vary considerably.Methods: A self-completed questionnaire exploring a range of health issues was administered to 917women aged 15-65 years (median 34 years) living in Western Australia, who identified as lesbian orbisexual, or reported having sex with another woman. Participants were recruited from a range of settings,including Perth Pride Festival events (67.0%, n = 615), online (13.2%, n = 121), at gay bars and nightclubs(12.9%, n = 118), and through community groups (6.9%, n = 63). Results were compared against availablestate and national surveillance data.Results: LBW reported consuming alcohol more frequently and in greater quantities than women in thegeneral population. A quarter of LBW (25.7%, n = 236) exceeded national alcohol guidelines by consumingmore than four standard drinks on a single occasion, once a week or more. However, only 6.8% (n = 62)described themselves as a heavy drinker, suggesting that exceeding national alcohol guidelines may be anormalised behaviour amongst LBW. Of the 876 women who provided data on tobacco use, 28.1% (n =246) were smokers, nearly double the rate in the female population as a whole. One third of the sample(33.6%, n = 308) reported use of an illicit drug in the previous six months. The illicit drugs most commonlyreported were cannabis (26.4%, n = 242), meth/amphetamine (18.6%, n = 171), and ecstasy (17.9%, n =164). Injecting drug use was reported by 3.5% (n = 32) of participants.Conclusion: LBW appear to use alcohol, tobacco and illicit drugs at higher rates than women generally,indicating that mainstream health promotion messages are not reaching this group or are not perceivedas relevant. There is an urgent need for public health practitioners working in the area of substance useto recognise that drug consumption and use patterns of LBW are likely to be different to the widerpopulation and that special considerations and strategies are required to address the unique and complexneeds of this population

    Chronic Granulomatous Disease; fundamental stages in our understanding of CGD

    Get PDF
    It has been 50 years since chronic granulomatous disease was first reported as a disease which fatally affected the ability of children to survive infections. Various milestone discoveries from the insufficient ability of patients' leucocytes to destroy microbial particles to the underlying genetic predispositions through which the disease is inherited have had important consequences. Longterm antibiotic prophylaxis has helped to fight infections associated with chronic granulomatous disease while the steady progress in bone marrow transplantation and the prospect of gene therapy are hailed as long awaited permanent treatment options. This review unearths the important findings by scientists that have led to our current understanding of the disease

    Updates in Gastrointestinal Oncology – insights from the 2008 44th annual meeting of the American Society of Clinical Oncology

    Get PDF
    We have reviewed the pivotal presentations rcelated to colorectal cancer (CRC) and other gastrointestinal malignancies from 2008 annual meeting of the American Society of Clinical Oncology (ASCO). We have discussed the scientific findings and the impact on practice guidelines and ongoing clinical trials. The report on KRAS status in patients with metastatic CRC receiving epidermal growth factor receptor (EGFR) targeted antibody treatment has led to a change in National Comprehensive Cancer Network guideline that recommends only patients with wild-type KRAS tumor should receive this treatment. The results of double biologics (bevacizumab and anti-EGFR antibody) plus chemotherapy as first-line treatment in patients with metastatic CRC has shown a worse outcome than bevacizumab-based regimen. Microsatellite Instability has again been confirmed to be an important predictor in patients with stage II colon cancer receiving adjuvant treatment
    corecore