1,540 research outputs found

    Neutrino Mass and Oscillation

    Get PDF
    The question of neutrino mass is one of the major riddles in particle physics. Recently, strong evidence that neutrinos have nonzero masses has been found. While tiny, these masses could be large enough to contribute significantly to the mass density of the universe. The evidence for nonvanishing neutrino masses is based on the apparent observation of neutrino oscillation -- the transformation of a neutrino of one type or "flavor" into one of another. We explain the physics of neutrino oscillation, and review and weigh the evidence that it actually occurs in nature. We also discuss the constraints on neutrino mass from cosmology and from experiments with negative results. After presenting illustrative neutrino mass spectra suggested by the present data, we consider how near- and far-future experiments can further illuminate the nature of neutrinos and their masses.Comment: 43 pages, 8 figures, to appear in the Annual Review of Nuclear and Particle Science, Vol. 49 (1999

    Incremental bounded model checking for embedded software

    Get PDF
    Program analysis is on the brink of mainstream usage in embedded systems development. Formal verification of behavioural requirements, finding runtime errors and test case generation are some of the most common applications of automated verification tools based on bounded model checking (BMC). Existing industrial tools for embedded software use an off-the-shelf bounded model checker and apply it iteratively to verify the program with an increasing number of unwindings. This approach unnecessarily wastes time repeating work that has already been done and fails to exploit the power of incremental SAT solving. This article reports on the extension of the software model checker CBMC to support incremental BMC and its successful integration with the industrial embedded software verification tool BTC EMBEDDED TESTER. We present an extensive evaluation over large industrial embedded programs, mainly from the automotive industry. We show that incremental BMC cuts runtimes by one order of magnitude in comparison to the standard non-incremental approach, enabling the application of formal verification to large and complex embedded software. We furthermore report promising results on analysing programs with arbitrary loop structure using incremental BMC, demonstrating its applicability and potential to verify general software beyond the embedded domain

    Conversion of patellofemoral arthroplasty to total knee arthroplasty: A matched case-control study of 13 patients

    Get PDF
    Background and purpose The long-term outcome of patellofemoral arthroplasty is related to progression of femorotibial osteoarthritis with need for conversion to total knee arthroplasty. We investigated whether prior patellofemoral arthroplasty compromises the results of total knee arthroplasty

    Comparison of Self-Reported Alcohol Consumption to Phosphatidylethanol Measurement among HIV-Infected Patients Initiating Antiretroviral Treatment in Southwestern Uganda

    Get PDF
    Background: Alcohol consumption among HIV-infected patients may accelerate HIV disease progression or reduce antiretroviral therapy adherence. Self-reported alcohol use is frequently under-reported due to social desirability and recall bias. The aim of this study was to compare self-reported alcohol consumption to phosphatidylethanol (PEth), a biomarker of alcohol consumption, and to estimate the correlation between multiple measures of self-reported alcohol consumption with PEth. Methods: The Uganda AIDS Rural Treatment Outcomes (UARTO) cohort is located in southwestern Uganda and follows patients on ART to measure treatment outcomes. Patients complete standardized questionnaires quarterly including questions on demographics, health status and alcohol consumption. Baseline dried blood spots (DBS) were collected and retrieved to measure PEth. Results: One hundred fifty samples were tested, and 56 (37.3%) were PEth positive (≥8 ng/mL). Of those, 51.7% did not report alcohol use in the past month. Men were more likely to under-report compared to women, OR 2.9, 95% CI = 1.26, 6.65) and those in the higher economic asset categories were less likely to under-report compared to those in the lowest category (OR = 0.41 95% CI: 0.17, 0.94). Among self-reported drinkers (n = 31), PEth was highly correlated with the total number of drinking days in the last 30 (Spearman R = 0.73, p<0.001). Conclusions: Approximately half of HIV infected patients initiating ART and consuming alcohol under-report their use of alcohol. Given the high prevalence, clinicians should assess all patients for alcohol use with more attention to males and those in lower economic asset categories who deny alcohol use. Among those reporting current drinking, self-reported drinking days is a useful quantitative measure

    Elective Open Suprarenal Aneurysm Repair in England from 2000 to 2010 an Observational Study of Hospital Episode Statistics

    Get PDF
    Background: Open surgery is widely used as a benchmark for the results of fenestrated endovascular repair of complex abdominal aortic aneurysms (AAA). However, the existing evidence stems from single-centre experiences, and may not be reproducible in wider practice. National outcomes provide valuable information regarding the safety of suprarenal aneurysm repair. Methods: Demographic and clinical data were extracted from English Hospital Episodes Statistics for patients undergoing elective suprarenal aneurysm repair from 1 April 2000 to 31 March 2010. Thirty-day mortality and five-year survival were analysed by logistic regression and Cox proportional hazards modeling. Results: 793 patients underwent surgery with 14% overall 30-day mortality, which did not improve over the study period. Independent predictors of 30-day mortality included age, renal disease and previous myocardial infarction. 5-year survival was independently reduced by age, renal disease, liver disease, chronic pulmonary disease, and known metastatic solid tumour. There was significant regional variation in both 30-day mortality and 5-year survival after risk-adjustment. Regional differences in outcome were eliminated in a sensitivity analysis for perioperative outcome, conducted by restricting analysis to survivors of the first 30 days after surgery. Conclusions: Elective suprarenal aneurysm repair was associated with considerable mortality and significant regional variation across England. These data provide a benchmark to assess the efficacy of complex endovascular repair of supra-renal aneurysms, though cautious interpretation is required due to the lack of information regarding aneurysm morphology. More detailed study is required, ideally through the mandatory submission of data to a national registry of suprarenal aneurysm repair

    Recreational Physical Activity as an Independent Predictor of Multivariable Cardiovascular Disease Risk

    Get PDF
    The role of physical activity in preventing CVD has been highlighted by Professor Jerry Morris in the 1950’s. We report outcome of a 15-year prospective study with the aim to identify whether physical activity showed cardiovascular benefit independent of common risk factors and of central obesity. Baseline data of 8662 subjects, with no previous history of heart disease, diabetes or stroke, were obtained from an age- and gender- stratified sample of adults in Australian capital cities and were linked with the National Death Index to determine the causes of death of 610 subjects who had died to 31 December 2004. The study consisted of 4175 males (age 42.3±13.1 years) and 4487 females (age 42.8±13.2 years). Fasting serum lipid levels, systolic and diastolic blood pressure and smoking habits at baseline were recorded. The Framingham Risk Scores of 15-year mortality due to CHD and CVD were calculated using established equations. Subjects were also asked if they engaged in vigorous exercise, less vigorous exercise or walk for recreation and exercise in the past 2 weeks. Subjects in the high recreational physical activity category were 0.16 (0.06–0.43; p<0.001) and 0.12 (0.03–0.48; p = 0.003) times as likely as subjects in the low category for CVD and CHD mortality respectively. After adjusting for both the Framingham Risk Score and central obesity (Waist circumference to Hip circumference Ratio), those in the high recreational physical activity group were 0.35 (0.13–0.98) times less likely compared to the low category for CVD mortality. Recreational physical activity independently predicted reduced cardiovascular mortality over fifteen years. A public health focus on increased physical activity and preventing obesity is required to reduce the risk of CVD and CHD

    New directions in cellular therapy of cancer: a summary of the summit on cellular therapy for cancer

    Get PDF
    A summit on cellular therapy for cancer discussed and presented advances related to the use of adoptive cellular therapy for melanoma and other cancers. The summit revealed that this field is advancing rapidly. Conventional cellular therapies, such as tumor infiltrating lymphocytes (TIL), are becoming more effective and more available. Gene therapy is becoming an important tool in adoptive cell therapy. Lymphocytes are being engineered to express high affinity T cell receptors (TCRs), chimeric antibody-T cell receptors (CARs) and cytokines. T cell subsets with more naĂŻve and stem cell-like characteristics have been shown in pre-clinical models to be more effective than unselected populations and it is now possible to reprogram T cells and to produce T cells with stem cell characteristics. In the future, combinations of adoptive transfer of T cells and specific vaccination against the cognate antigen can be envisaged to further enhance the effectiveness of these therapies

    Pulmonary impairment after tuberculosis and its contribution to TB burden

    Get PDF
    <p>Abstract</p> <p>Background</p> <p>The health impacts of pulmonary impairment after tuberculosis (TB) treatment have not been included in assessments of TB burden. Therefore, previous global and national TB burden estimates do not reflect the full consequences of surviving TB. We assessed the burden of TB including pulmonary impairment after tuberculosis in Tarrant County, Texas using Disability-adjusted Life Years (DALYs).</p> <p>Methods</p> <p>TB burden was calculated for all culture-confirmed TB patients treated at Tarrant County Public Health between January 2005 and December 2006 using identical methods and life tables as the Global Burden of Disease Study. Years of life-lost were calculated as the difference between life expectancy using standardized life tables and age-at-death from TB. Years lived-with-disability were calculated from age and gender-specific TB disease incidence using published disability weights. Non-fatal health impacts of TB were divided into years lived-with-disability-acute and years lived-with-disability-chronic. Years lived-with-disability-acute was defined as TB burden resulting from illness prior to completion of treatment including the burden from treatment-related side effects. Years lived-with-disability-chronic was defined as TB burden from disability resulting from pulmonary impairment after tuberculosis.</p> <p>Results</p> <p>There were 224 TB cases in the time period, of these 177 were culture confirmed. These 177 subjects lost a total of 1189 DALYs. Of these 1189 DALYs 23% were from years of life-lost, 2% were from years lived-with-disability-acute and 75% were from years lived-with-disability-chronic.</p> <p>Conclusions</p> <p>Our findings demonstrate that the disease burden from TB is greater than previously estimated. Pulmonary impairment after tuberculosis was responsible for the majority of the burden. These data demonstrate that successful TB control efforts may reduce the health burden more than previously recognized.</p

    Optical detection of single non-absorbing molecules using the surface plasmon of a gold nanorod

    Full text link
    Current optical detection schemes for single molecules require light absorption, either to produce fluorescence or direct absorption signals. This severely limits the range of molecules that can be detected, because most molecules are purely refractive. Metal nanoparticles or dielectric resonators detect non-absorbing molecules by a resonance shift in response to a local perturbation of the refractive index, but neither has reached single-protein sensitivity. The most sensitive plasmon sensors to date detect single molecules only when the plasmon shift is amplified by a highly polarizable label or by a localized precipitation reaction on the particle's surface. Without amplification, the sensitivity only allows for the statistical detection of single molecules. Here we demonstrate plasmonic detection of single molecules in realtime, without the need for labeling or amplification. We monitor the plasmon resonance of a single gold nanorod with a sensitive photothermal assay and achieve a ~ 700-fold increase in sensitivity compared to state-of-the-art plasmon sensors. We find that the sensitivity of the sensor is intrinsically limited due to spectral diffusion of the SPR. We believe this is the first optical technique that detects single molecules purely by their refractive index, without any need for photon absorption by the molecule. The small size, bio-compatibility and straightforward surface chemistry of gold nanorods may open the way to the selective and local detection of purely refractive proteins in live cells
    • …
    corecore