Computer-assisted proof of kernel inequalities by Cohn, Henry, Kumar, Abhinav, Miller, Stephen D., Radchenko, Danylo, Viazovska, Maryna

“…This data set provides a computer-assisted proof for the kernel inequalities needed to prove universal optimality in the paper "Universal optimality of the E_8 and Leech lattices and interpolation formulas" (by Cohn, Kumar, Miller, Radchenko, and Viazovska). It includes both our original proof using Mathematica and a revised proof using Sage.…”
Get full text

Raw data for "Hundt et al., Direct observation of the molecular mechnism underlying protein polymerization, Science Advances 2022" by Hundt, N, Cole, D, Hantke, M F, Miller, J J, Struwe, W B, Kukura, P

An Open, Simple and Extensible Gating Control Unit for Cardiac and Respiratory Synchronisation Control in Small Animal MRI and Demonstration of its Robust Performance in Steady-Sta... by Kersemans, V, Gilchrist, S, Miller, J, Vojnovic, B, Kinchesh, P, Allen, P, Brady, J, Beech, J, Smart, S, Schneider, J

Merged abundance dataset from myForest and the Countryside Survey by Hill, L

“…Gaertner), BPENDULA (Betula pendula Roth), BPUBESCENS (Betula pubescens Ehrhart), CBETULUS (Carpinus betulus L.), CSATIVA (Castanea sativa Miller), CAVELLANA (Corylus avellana L.), CMONOGYNA (Crataegus monogyna von Jacquin), FSYLVATICA (Fagus sylvatica L.), FEXCELSIOR (Fraxinus excelsior L.), PTREMULA (Populus tremula L.), PAVIUM (Prunus avium L.), PPADUS (Prunus padus L.), PMENZIESII (Pseudotsuga menziesii Franco), QPETRAEA (Quercus petraea Lieblein), QROBUR (Quercus robur L.), SCAPREA (Salix caprea L.), SCINEREA (Salix cinerea L.), SARIA (Sorbus aria Crantz), TBACCATA (Taxus baccata L.), TCORDATA (Tilia cordata Miller), UGLABRA (Ulmus glabra Hudson) and UPROCERA (Ulmus procera Salisbury). • FocalSpPp – the probability of presence of the focal species of that row, as predicted by ensemble SDMs produced using biomod2 (in R). …”