MizAR 60 for Mizar 50
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 ...
Publications
Explore 146 academic publications
Showing 12 of
146 publications
Improved Survival with Ipilimumab in Patients with Metastatic Melanoma
Ipilimumab, with or without a gp100 peptide vaccine, as compared with gp100 alone, improved overall survival in patients with previously treated metastatic melanoma. Adverse eve...
Risk, Return, and Equilibrium: Empirical Tests
This paper tests the relationship between average return and risk for New York Stock Exchange common stocks. The theoretical basis of the tests is the "two-parameter" portfolio ...
Global, regional, and national incidence, prevalence, and years lived with disability for 354 diseases and injuries for 195 countries and territories, 1990–2017: a systematic analysis for the Global Burden of Disease Study 2017
The Global Burden of Diseases, Injuries, and Risk Factors Study 2017 (GBD 2017) includes a comprehensive assessment of incidence, prevalence, and years lived with disability (YL...
Global burden of bacterial antimicrobial resistance in 2019: a systematic analysis
Antimicrobial resistance (AMR) poses a major threat to human health around the world. Previous publications have estimated the effect of AMR on incidence, deaths, hospital lengt...
Optical Properties and Electronic Structure of Amorphous Germanium
Abstract The optical constants of amorphous Ge are determined for the photon energies from 0.08 to 1.6 eV. From 0.08 to 0.5 eV, the absorption is due to k ‐conserving transition...
Conditional Heteroskedasticity in Asset Returns: A New Approach
This paper introduces an ARCH model (exponential ARCH) that (1) allows correlation between returns and volatility innovations (an important feature of stock market volatility ch...
The Foucault Effect: Studies in Governmentality
Governmental rationality - an introduction, Colin Gordon politics and study of discourse, Michel Foucault questions of method, Michel Foucault governmentality, Michel Foucault ...