| Preprint No. |
Author(s) |
Title and publication details |
| NI12001-DAE |
HY Wang and N Flournoy |
Inference on a new sigmoid regression model with unknown support and unbounded likelihood function |
| NI12002-DAE |
D Dragulji\'c, DC Woods, AM Dean, SM Lewis and AE Vine |
Screening strategies in the presence of Interactions |
| NI12003-DAE |
PM van de Ven and DC Woods |
Optimal blocked minimum-support designs for non-linear models |
| NI12004-DAN |
KJ Swanepoel and R Villa |
Maximal equilateral sets |
| NI12005-DAE |
CJ Brien, RA Bailey, TT Tran and J Boland |
Quasi-Latin designs and their use in glasshouse experiments |
| NI12006-DAE |
H Dette and J Kunert |
Optimal designs for the Michaelis Menten model with correlated observations |
| NI12007-DAE |
H Dette and C Kiss |
Optimal designs for rational regression models |
| NI12008-BSM |
P Tourkine and P Vanhove |
A $\it R$$^4$ non-renormalisation theorem in $\mathcal{N}$ = 4 supergravity |
| NI12009-DAE |
N Flournoy, LM Haines and WF Rosenberger |
A graphical method for comparing response-adaptive randomization procedures |
| NI12010-SAS |
J Alama, L Mamame and J Urban |
Dependencies in formal mathematics: applications and extraction for Coq and Mizar |
| NI12011-SAS |
C Bylinski and J Alama |
New developments in parsing Mizar |
| NI12012-DAE |
A Lane, P Yao and N Flournoy |
Information in a two-stage adaptive optimal design |
| NI12014-BSM |
A Bagchi and R Fareghbal |
BSM/GCA redux:
towards flatspace holography from non-relativistic symmetries |
| NI12015-INV |
J Eckhardt and G Teschl |
Uniqueness results for one-dimensional Schrödinger operators with purely discrete spectra |
| NI12016-INV |
J Eckhardt and G Teschl |
Singular Weyl-Titchmarsh-Kodaira theory for Jacobi operators
|
| NI12017-SAS |
J Alama |
Tipi: A TPTP-based theory development environment emphasizing proof dependencies |
| NI12018-SAS |
J Alama, T Heskes, D Kühlwein, E Tsivtsivadze and J Urban |
Premise selection for mathematics by corpus analysis and Kernel methods |
| NI12019-SAS |
J Alama and R Kahle |
Checking proofs |
| NI12020-SAS |
U Andrews, S Lempp, JS Miller, Keng Meng Ng and L San Mauro et Al |
Universal computably enumerable equivalence relations |
| NI12021-SAS |
B Kjos-Hassen, A Taveneaux and N Thapen |
How much randomness is needed for statistics? |
| NI12022-SAS |
D Doty, JH Lutz, MJ Patitz, RT Schweller and SM Summers et Al |
The tile assembly model is intrinsically universal |
| NI12023-DAE |
RA Bailey, K Schiffl and RD Hilgers |
A note on robustness of D-optimal block designs for two-colour microarray experiments |
| NI12024-DAE |
L Lee Ho, CA Vivacqua and AL Santos de Pinho |
Split-plot type designs for physical prototype testing |
| NI12025-SAS |
J Alama |
Escape to Mizar from ATPs |
| NI12026-SAS |
G Primiero |
Intuitionistic logic of proofs with dependant proof terms |
| NI12027-SAS |
X Gu, JH Lutz, E Mayordomo and P Moser |
Dimension spectra of random subfractals of self-similar fractals |
| NI12028-MOS |
A Casimiro and C Florentino |
Stability of affine $\it G$-varieties and irreducibility in reductive groups |
| NI12029-SPD |
R Dalang and M Sanz-Solé |
Hitting probabilities for non-linear systems of stochastic waves |
| NI12030-SAS |
RR Lutz, JH Lutz, JI Lathrop, TH Klinge and D Mathur et Al |
Requirements analysis for a product family of DNA Nanodevices |
