An abstract domain for certifying neural networks
We present a novel method for scalable and precise certification of deep neural networks.
The key technical insight behind our approach is a new abstract domain which combines …
The key technical insight behind our approach is a new abstract domain which combines …
[HTML][HTML] Activity of convalescent and vaccine serum against SARS-CoV-2 Omicron
The Omicron (B.1.1.529) variant of severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2)
was initially identified in November 2021 in South Africa and Botswana, as well as in …
was initially identified in November 2021 in South Africa and Botswana, as well as in …
Fast and effective robustness certification
We present a new method and system, called DeepZ, for certifying neural network robustness
based on abstract interpretation. Compared to state-of-the-art automated verifiers for …
based on abstract interpretation. Compared to state-of-the-art automated verifiers for …
[HTML][HTML] Nations within a nation: variations in epidemiological transition across the states of India, 1990–2016 in the Global Burden of Disease Study
Background 18% of the world's population lives in India, and many states of India have
populations similar to those of large countries. Action to effectively improve population health in …
populations similar to those of large countries. Action to effectively improve population health in …
[HTML][HTML] Antibody responses in seropositive persons after a single dose of SARS-CoV-2 mRNA vaccine
…, M Saksena, AS Shin, G Singh… - … England Journal of …, 2021 - Mass Medical Soc
Responses of Seropositive Persons to a Single SARS-CoV-2 Vaccine Some persons who
have recovered from Covid-19 have antibodies to the spike protein of SARS-CoV-2. In 43 …
have recovered from Covid-19 have antibodies to the spike protein of SARS-CoV-2. In 43 …
[HTML][HTML] SARS-CoV-2 Omicron virus causes attenuated disease in mice and hamsters
The recent emergence of B.1.1.529, the Omicron variant 1 , 2 , has raised concerns of
escape from protection by vaccines and therapeutic antibodies. A key test for potential …
escape from protection by vaccines and therapeutic antibodies. A key test for potential …
Hepatobiliary cancers, version 2.2021, NCCN clinical practice guidelines in oncology
The NCCN Guidelines for Hepatobiliary Cancers focus on the screening, diagnosis, staging,
treatment, and management of hepatocellular carcinoma (HCC), gallbladder cancer, and …
treatment, and management of hepatocellular carcinoma (HCC), gallbladder cancer, and …
[HTML][HTML] Virus-induced senescence is a driver and therapeutic target in COVID-19
…, K Dietert, M Schotsaert, C Martínez-Romero, G Singh… - Nature, 2021 - nature.com
Derailed cytokine and immune cell networks account for the organ damage and the clinical
severity of COVID-19 (refs. ). Here we show that SARS-CoV-2, like other viruses, evokes …
severity of COVID-19 (refs. ). Here we show that SARS-CoV-2, like other viruses, evokes …
[HTML][HTML] Global, regional, and national burden of epilepsy, 1990–2016: a systematic analysis for the Global Burden of Disease Study 2016
Background Seizures and their consequences contribute to the burden of epilepsy because
they can cause health loss (premature mortality and residual disability). Data on the burden …
they can cause health loss (premature mortality and residual disability). Data on the burden …
Overlapping demyelinating syndromes and anti–N‐methyl‐D‐aspartate receptor encephalitis
…, H Shu, T Irioka, M Hirano, G Singh… - Annals of …, 2014 - Wiley Online Library
Objective To report the clinical, radiological, and immunological association of demyelinating
disorders with anti–N‐methyl‐D‐aspartate receptor (NMDAR) encephalitis. Methods …
disorders with anti–N‐methyl‐D‐aspartate receptor (NMDAR) encephalitis. Methods …