A formal proof of the Kepler conjecture

This article describes a formal proof of the Kepler conjecture on dense sphere packings in a combination of the HOL Light and Isabelle proof assistants. This paper constitutes the official published account of the now completed Flyspeck project

A formal proof of the Kepler conjecture

This article describes a formal proof of the Kepler conjecture on dense sphere packings in a combination of the HOL Light and Isabelle proof assistants. This paper constitutes the official published account of the now completed Flyspeck project

RNAi-Based Functional Genomics Identifies New Virulence Determinants in Mucormycosis

Mucorales are an emerging group of human pathogens that are responsible for the lethal disease mucormycosis. Unfortunately, functional studies on the genetic factors behind the virulence of these organisms are hampered by their limited genetic tractability, since they are reluctant to classical genetic tools like transposable elements or gene mapping. Here, we describe an RNAi-based functional genomic platform that allows the identification of new virulence factors through a forward genetic approach firstly described in Mucorales. This platform contains a whole-genome collection of Mucor circinelloides silenced transformants that presented a broad assortment of phenotypes related to the main physiological processes in fungi, including virulence, hyphae morphology, mycelial and yeast growth, carotenogenesis and asexual sporulation. Selection of transformants with reduced virulence allowed the identification of mcplD, which encodes a Phospholipase D, and mcmyo5, encoding a probably essential cargo transporter of the Myosin V family, as required for a fully virulent phenotype of M. circinelloides. Knock-out mutants for those genes showed reduced virulence in both Galleria mellonella and Mus musculus models, probably due to a delayed germination and polarized growth within macrophages. This study provides a robust approach to study virulence in Mucorales and as a proof of concept identified new virulence determinants in M. circinelloides that could represent promising targets for future antifungal therapies

A FORMAL PROOF OF THE KEPLER CONJECTURE

Contains fulltext : 176365.pdf (publisher's version ) (Open Access

Side effects following first dose of COVID-19 vaccination in Ho Chi Minh City, Vietnam

Vaccines are strongly recommended globally as an effective measure to prevent serious illness from and spread of COVID-19. Concerns about safety following vaccination continue to be the most common reason that people do not accept the vaccine. This retrospective study was carried out on 4341 people who received the first dose of ChAdOx1 nCoV-19, BBIBP-CorV, or mRNA-1273 vaccine at Jio Health Clinic in Ho Chi Minh City, Vietnam. Post-injection side effects were either reported by participants or actively collected by health care staff by means of telemedicine. Local side effects were reported by 35.5% of all individuals, with pain being the most common symptom (33.3%). Systemic side effects were reported by 44.2% of individuals, with fever (25.3%) and fatigue (21.4%) being the most common. Age ≤60 years, female gender, and ChAdOx1 nCoV-19 were significant independent risk factors for both local and systemic side effects, while a history of allergy was significant as a risk factor for local side effects. A total of 43 individuals (1.0%) reported concerning symptoms of rare severe complications, which were addressed and treated by physicians via Jio Health app