748 research outputs found

    MizAR 60 for Mizar 50

    Get PDF
    As a present to Mizar on its 50th anniversary, we develop an AI/TP system that automatically proves about 60% of the Mizar theorems in the hammer setting. We also automatically prove 75% of the Mizar theorems when the automated provers are helped by using only the premises used in the human-written Mizar proofs. We describe the methods and large-scale experiments leading to these results. This includes in particular the E and Vampire provers, their ENIGMA and Deepire learning modifications, a number of learning-based premise selection methods, and the incremental loop that interleaves growing a corpus of millions of ATP proofs with training increasingly strong AI/TP systems on them. We also present a selection of Mizar problems that were proved automatically

    Quantum magnetism in the stripe phase: bond- versus site order

    Full text link
    It is argued that the spin dynamics in the charge-ordered stripe phase might be revealing with regards to the nature of the anomalous spin dynamics in cuprate superconductors. Specifically, if the stripes are bond ordered much of the spin fluctuation will originate in the spin sector itself, while site ordered stripes require the charge sector as the driving force for the strong quantum spin fluctuations.Comment: 4 pages, 3 figures, LaTe

    Early and late outcomes after minimally invasive direct coronary artery bypass vs. full sternotomy off-pump coronary artery bypass grafting

    Get PDF
    ObjectivesMinimally-invasive direct coronary artery bypass (MIDCAB) is a less-invasive alternative to full sternotomy off-pump coronary artery bypass (FS-OPCAB) revascularization of the left anterior descending artery (LAD). Some studies suggested that MIDCAB is associated with a greater risk of graft occlusion and repeat revascularization than FS-OPCAB LIMA-to-LAD grafting. Data comparing MIDCAB to FS-OPCAB with regard to long-term follow-up is scarce. We compared short- and long-term results of MIDCAB vs. FS-OPCAB revascularization over a maximum follow-up period of 10 years.Patients and methodsFrom December 2009 to June 2020, 388 elective patients were included in our retrospective study. 229 underwent MIDCAB, and 159 underwent FS-OPCAB LIMA-to-LAD grafting. Inverse probability of treatment weighting (IPTW) was used to adjust for selection bias and to estimate treatment effects on short- and long-term outcomes. IPTW-adjusted Kaplan–Meier estimates by study group were calculated for all-cause mortality, stroke, the risk of repeat revascularization and myocardial infarction up to a maximum follow-up of 10 years.ResultsMIDCAB patients had less rethoracotomies (n = 13/3.6% vs. n = 30/8.0%, p = 0.012), fewer transfusions (0.93 units ± 1.83 vs. 1.61 units ± 2.52, p < 0.001), shorter mechanical ventilation time (7.6 ± 4.7 h vs. 12.1 ± 26.4 h, p = 0.005), and needed less hemofiltration (n = 0/0% vs. n = 8/2.4%, p = 0.004). Thirty-day mortality did not differ significantly between the two groups (n = 0/0% vs. n = 3/0.8%, p = 0.25). Long-term outcomes did not differ significantly between study groups. In the FS-OPCAB group, the probability of survival at 1, 5, and 10 years was 98.4%, 87.8%, and 71.7%, respectively. In the MIDCAB group, the corresponding values were 98.4%, 87.7%, and 68.7%, respectively (RR1.24, CI0.87–1.86, p = 0.7). In the FS group, the freedom from stroke at 1, 5, and 10 years was 97.0%, 93.0%, and 93.0%, respectively. In the MIDCAB group, the corresponding values were 98.5%, 96.9%, and 94.3%, respectively (RR0.52, CI0.25–1.09, p = 0.06). Freedom from repeat revascularization at 1, 5, and 10 years in the FS-OPCAB group was 92.2%, 84.7%, and 79.5%, respectively. In the MIDCAB group, the corresponding values were 94.8%, 90.2%, and 81.7%, respectively (RR0.73, CI0.47–1.16, p = 0.22).ConclusionMIDCAB is a safe and efficacious technique and offers comparable long-term results regarding mortality, stroke, repeat revascularization, and freedom from myocardial infarction when compared to FS-OPCAB

    Open Problems in (Hyper)Graph Decomposition

    Full text link
    Large networks are useful in a wide range of applications. Sometimes problem instances are composed of billions of entities. Decomposing and analyzing these structures helps us gain new insights about our surroundings. Even if the final application concerns a different problem (such as traversal, finding paths, trees, and flows), decomposing large graphs is often an important subproblem for complexity reduction or parallelization. This report is a summary of discussions that happened at Dagstuhl seminar 23331 on "Recent Trends in Graph Decomposition" and presents currently open problems and future directions in the area of (hyper)graph decomposition

    EuroFlow Standardized Approach to Diagnostic Immunopheneotyping of Severe PID in Newborns and Young Children

    Get PDF
    The EuroFlow PID consortium developed a set of flow cytometry tests for evaluation of patients with suspicion of primary immunodeficiency (PID). In this technical report we evaluate the performance of the SCID-RTE tube that explores the presence of recent thymic emigrants (RTE) together with T-cell activation status and maturation stages and discuss its applicability in the context of the broader EuroFlow PID flow cytometry testing algorithm for diagnostic orientation of PID of the lymphoid system. We have analyzed peripheral blood cells of 26 patients diagnosed between birth and 2 years of age with a genetically defined primary immunodeficiency disorder: 1

    ProTheRaMon : a GATE simulation framework for proton therapy range monitoring using PET imaging

    Get PDF
    Objective. This paper reports on the implementation and shows examples of the use of the ProTheRaMon framework for simulating the delivery of proton therapy treatment plans and range monitoring using positron emission tomography (PET). ProTheRaMon offers complete processing of proton therapy treatment plans, patient CT geometries, and intra-treatment PET imaging, taking into account therapy and imaging coordinate systems and activity decay during the PET imaging protocol specific to a given proton therapy facility. We present the ProTheRaMon framework and illustrate its potential use case and data processing steps for a patient treated at the Cyclotron Centre Bronowice (CCB) proton therapy center in Krakow, Poland. Approach. The ProTheRaMon framework is based on GATE Monte Carlo software, the CASToR reconstruction package and in-house developed Python and bash scripts. The framework consists of five separated simulation and data processing steps, that can be further optimized according to the user’s needs and specific settings of a given proton therapy facility and PET scanner design. Main results. ProTheRaMon is presented using example data from a patient treated at CCB and the J-PET scanner to demonstrate the application of the framework for proton therapy range monitoring. The output of each simulation and data processing stage is described and visualized. Significance. We demonstrate that the ProTheRaMon simulation platform is a high-performance tool, capable of running on a computational cluster and suitable for multi-parameter studies, with databases consisting of large number of patients, as well as different PET scanner geometries and settings for range monitoring in a clinical environment. Due to its modular structure, the ProTheRaMon framework can be adjusted for different proton therapy centers and/or different PET detector geometries. It is available to the community via github (Borys et al 2022)

    Antimicrobials: A Global Alliance For Optimizing Their Rational Use In Intra-abdominal Infections (agora)

    Get PDF
    Intra-abdominal infections (IAI) are an important cause of morbidity and are frequently associated with poor prognosis, particularly in high-risk patients. The cornerstones in the management of complicated IAIs are timely effective source control with appropriate antimicrobial therapy. Empiric antimicrobial therapy is important in the management of intra-abdominal infections and must be broad enough to cover all likely organisms because inappropriate initial antimicrobial therapy is associated with poor patient outcomes and the development of bacterial resistance. The overuse of antimicrobials is widely accepted as a major driver of some emerging infections (such as C. difficile), the selection of resistant pathogens in individual patients, and for the continued development of antimicrobial resistance globally. The growing emergence of multi-drug resistant organisms and the limited development of new agents available to counteract them have caused an impending crisis with alarming implications, especially with regards to Gram-negative bacteria. An international task force from 79 different countries has joined this project by sharing a document on the rational use of antimicrobials for patients with IAIs. The project has been termed AGORA (Antimicrobials: A Global Alliance for Optimizing their Rational Use in Intra-Abdominal Infections). The authors hope that AGORA, involving many of the world's leading experts, can actively raise awareness in health workers and can improve prescribing behavior in treating IAIs.11NIAID NIH HHS [R01 AI117211
    corecore