2.9k citations
- Centre National de la Recherche ScientifiqueFR147 papers
- University of OxfordGB114 papers
- University of CambridgeGB88 papers
- Max Planck Institute for Extraterrestrial PhysicsDE84 papers
- University of BristolGB80 papers
- University College LondonGB78 papers
- Center for Astrophysics Harvard & SmithsonianUS72 papers
- Space Telescope Science InstituteUS72 papers
- National Institute for AstrophysicsIT71 papers
- University of EdinburghGB69 papers
- University of WarwickGB69 papers
- University of CopenhagenDK63 papers
53 papers · 1 filter
Program Verification in the presence of complex numbers, functions with branch cuts etc
James H. Davenport, Russell Bradford, Matthew England +1
In considering the reliability of numerical programs, it is normal to "limit our study to the semantics dealing with numerical precision" (Martel, 2005). On the other hand, there i…
The hitting time of zero for a stable process
Alexey Kuznetsov, Andreas E. Kyprianou, Juan Carlos Pardo +1
For any two-sided jumping -stable process, where , we find an explicit identity for the law of the first hitting time of the origin. This complements existing work in…
The importance of anisotropic Coulomb interactions and exchange to the band gap and antiferromagnetism of β-MnO2 from DFT+U
David A. Tompsett, Derek S. Middlemiss, M. Saiful Islam
First principles density functional theory (DFT) is used to investigate the electronic structure of β-MnO2. From collinear spin polarized calculations we find that DFT+U_Eff predic…
Rank deficiency in sparse random GF[2] matrices
R. W. R. Darling, Mathew D. Penrose, Andrew R. Wade +1
Let be a random matrix with binary entries and i.i.d. rows. The weight (i.e., number of ones) of a row has a specified probability distribution, with the row chose…
Short paths for first passage percolation on the complete graph
Maren Eckhoff, Jesse Goodman, Remco van der Hofstad +1
We study the complete graph equipped with a topology induced by independent and identically distributed edge weights. The focus of our analysis is on the weight W_n and the number…
Excursion and contour uncertainty regions for latent Gaussian models
David Bolin, Finn Lindgren
An interesting statistical problem is to find regions where some studied process exceeds a certain level. Estimating such regions so that the probability for exceeding the level in…