55 research outputs found

    An algorithmic approach to the existence of ideal objects in commutative algebra

    Full text link
    The existence of ideal objects, such as maximal ideals in nonzero rings, plays a crucial role in commutative algebra. These are typically justified using Zorn's lemma, and thus pose a challenge from a computational point of view. Giving a constructive meaning to ideal objects is a problem which dates back to Hilbert's program, and today is still a central theme in the area of dynamical algebra, which focuses on the elimination of ideal objects via syntactic methods. In this paper, we take an alternative approach based on Kreisel's no counterexample interpretation and sequential algorithms. We first give a computational interpretation to an abstract maximality principle in the countable setting via an intuitive, state based algorithm. We then carry out a concrete case study, in which we give an algorithmic account of the result that in any commutative ring, the intersection of all prime ideals is contained in its nilradical

    Infrared skin damage thresholds from 1319-nm continous-wave laser exposures

    Get PDF
    A series of experiments were conducted in vivo using Yucatan miniature pigs (Sus scrofa domestica) to determine thermal damage thresholds to the skin from 1319-nm continuous-wave Nd:YAG laser irradiation. Experiments employed exposure durations of 0.25, 1.0, 2.5, and 10 s and beam diameters of ∌0.6 and 1 cm. Thermal imagery data provided a time-dependent surface temperature response from the laser. A damage endpoint of fifty percent probability of a minimally visible effect was used to determine threshold for damage at 1 and 24 h postexposure. Predicted thermal response and damage thresholds are compared with a numerical model of opticalthermal interaction. Resultant trends with respect to exposure duration and beam diameter are compared with current standardized exposure limits for laser safety. Mathematical modeling agreed well with experimental data, predicting that though laser safety standards are sufficient for exposuress, they may become less safe for very long exposures. © The Authors. Published by SPIE under a Creative Commons Attribution 3.0 Unported License. Distribution or reproduction of this work in whole or in part requires full attribution of the original publication, including its DOI. [DOI: 10.1117/1.JBO.18.12.125002

    Infrared skin damage thresholds from 1940-nm continuous-wave laser exposures

    Get PDF
    A series of experiments are conducted in vivo using Yucatan mini-pigs (Sus scrofa domestica) to determine thermal damage thresholds to the skin from 1940-nm continuous-wave thulium fiber laser irradiation. Experiments employ exposure durations from 10 ms to 10 s and beam diameters of approximately 4.8 to 18 mm. Thermal imagery data provide a time-dependent surface temperature response from the laser. A damage endpoint of minimally visible effect is employed to determine threshold for damage at 1 and 24 h postexposure. Predicted thermal response and damage thresholds are compared with a numerical model of optical-thermal interaction. Results are compared with current exposure limits for laser safety. It is concluded that exposure limits should be based on data representative of large-beam exposures, where effects of radial diffusion are minimized for longer-duration damage threshold

    High-Resolution In Vivo

    Get PDF
    Purpose. To investigate fundamental mechanisms of regimes of laser induced damage to the retina and the morphological changes associated with the damage response. Methods. Varying grades of photothermal, photochemical, and photomechanical retinal laser damage were produced in eyes of eight cynomolgus monkeys. An adaptive optics confocal scanning laser ophthalmoscope and spectral domain optical coherence tomographer were combined to simultaneously collect complementary in vivo images of retinal laser damage during and following exposure. Baseline color fundus photography was performed to complement high-resolution imaging. Monkeys were perfused with 10% buffered formalin and eyes were enucleated for histological analysis. Results. Laser energies for visible retinal damage in this study were consistent with previously reported damage thresholds. Lesions were identified in OCT images that were not visible in direct ophthalmoscopic examination or fundus photos. Unique diagnostic characteristics, specific to each damage regime, were identified and associated with shape and localization of lesions to specific retinal layers. Previously undocumented retinal healing response to blue continuous wave laser exposure was recorded through a novel experimental methodology. Conclusion. This study revealed increased sensitivity of lesion detection and improved specificity to the laser of origin utilizing high-resolution imaging when compared to traditional ophthalmic imaging techniques in the retina

    Increased 30-Day Mortality in Very Old ICU Patients with COVID-19 Compared to Patients with Respiratory Failure without COVID-19

    Get PDF
    Purpose: The number of patients ≄ 80 years admitted into critical care is increasing. Coronavirus disease 2019 (COVID-19) added another challenge for clinical decisions for both admission and limitation of life-sustaining treatments (LLST). We aimed to compare the characteristics and mortality of very old critically ill patients with or without COVID-19 with a focus on LLST. Methods: Patients 80 years or older with acute respiratory failure were recruited from the VIP2 and COVIP studies. Baseline patient characteristics, interventions in intensive care unit (ICU) and outcomes (30-day survival) were recorded. COVID patients were matched to non-COVID patients based on the following factors: age (± 2 years), Sequential Organ Failure Assessment (SOFA) score (± 2 points), clinical frailty scale (± 1 point), gender and region on a 1:2 ratio. Specific ICU procedures and LLST were compared between the cohorts by means of cumulative incidence curves taking into account the competing risk of discharge and death. Results: 693 COVID patients were compared to 1393 non-COVID patients. COVID patients were younger, less frail, less severely ill with lower SOFA score, but were treated more often with invasive mechanical ventilation (MV) and had a lower 30-day survival. 404 COVID patients could be matched to 666 non-COVID patients. For COVID patients, withholding and withdrawing of LST were more frequent than for non-COVID and the 30-day survival was almost half compared to non-COVID patients. Conclusion: Very old COVID patients have a different trajectory than non-COVID patients. Whether this finding is due to a decision policy with more active treatment limitation or to an inherent higher risk of death due to COVID-19 is unclear.info:eu-repo/semantics/publishedVersio

    CMS physics technical design report : Addendum on high density QCD with heavy ions

    Get PDF
    Peer reviewe

    Finishing the euchromatic sequence of the human genome

    Get PDF
    The sequence of the human genome encodes the genetic instructions for human physiology, as well as rich information about human evolution. In 2001, the International Human Genome Sequencing Consortium reported a draft sequence of the euchromatic portion of the human genome. Since then, the international collaboration has worked to convert this draft into a genome sequence with high accuracy and nearly complete coverage. Here, we report the result of this finishing process. The current genome sequence (Build 35) contains 2.85 billion nucleotides interrupted by only 341 gaps. It covers ∌99% of the euchromatic genome and is accurate to an error rate of ∌1 event per 100,000 bases. Many of the remaining euchromatic gaps are associated with segmental duplications and will require focused work with new methods. The near-complete sequence, the first for a vertebrate, greatly improves the precision of biological analyses of the human genome including studies of gene number, birth and death. Notably, the human enome seems to encode only 20,000-25,000 protein-coding genes. The genome sequence reported here should serve as a firm foundation for biomedical research in the decades ahead
    • 

    corecore