| 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 R4non-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? Proceedings of Computability in Europe 2012, LNCS 7318, pages 395-404 |
| 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 |
| NI12031-SAS |
P Aczel |
Some open (?) problems concerning dependent type theories |
| NI12032-SAS |
P Aczel, H Ishihara, T Nemoto and Y Sangu |
Generalized geometric theories and set-generated classes |
| NI12033-SAS |
P Aczel |
Rudimentary and arithmetical constructive set theory |
| NI12035-SAS |
J Avigad and V Brattka |
Computability and analysis: the legacy of Alan Turing |
| NI12036-SAS |
V Brattka, S Le Roux and A Pauly |
Connected choice and the Brouwer Fixed Point Theorem |
| NI12037-SAS |
R Downey |
Randomness, computation and mathematics |
| NI12038-SAS |
R Downey, A Dediu and C Martin-Vide |
A parameterized complexity tutorial Proceedings, Language and Automata Theory & Applications, LATA 2012. Springer-Verlag LNCS 7183 (2012), 38-56 |
| NI12039-SAS |
RG Downey, CG Jockusch Jr. and PE Schupp |
Asymptotic density and computably enumerable sets s |
| NI12040-SAS |
R Downey |
The birth and early years of parameterized complexity The Multivariate Algorithmic Revolution and Beyond. Essays Dedicated to Michael R Fellows on Occasion of 60th Birthday. |
| NI12041-SAS |
R Downey, H Bodlaender, F Fomin and D Marx |
A basic parameterized complexity primer The Multivariate Algorithmic Revolution and Beyond, Essays Dedicated to Michael R Fellows on the Occasion of His 60th Birthday. |
| NI12042-SAS |
G Barmpalias and R Downey |
Exact pairs for the ideal of the $\it K$-trivial sequences in the turing degrees |
| NI12043-SAS |
R Downey, A Kach, S Lempp and D Turetsky |
Computable categoricity versus relative computable categoricity |
| NI12044-SAS |
R Downey, KM Ng and R Solomon |
On minimal wtt-degrees and computably enumerable Turing degrees |
| NI12045-SPD |
RC Dalang, D Khoshnevisan and E Nualart |
Hitting probabilities for systems of non-linear stochastic heat equations in spatial dimension $\it k$ $\geq 1$ |
| NI12046-SAS |
EJ Spoors and SS Wainer |
A hierarchy of ramified theories below PRA |
| NI12047-SAS |
R Downey and KM Ng |
Lowness for bounded randomness Theoretical Computer Science A |
| NI12048-SAS |
R Bod, B Fisseni, A Kurji and B Löwe |
Objectivity and reproducibility of proppian narrative annotations |
| NI12049-SAS |
B Fisseni and B Löwe |
Which dimensions of narratives are relevent for human judgments of story equivalence? |
| NI12050-SAS |
PD Welch |
$\it G \delta\sigma$-games |
| NI12051-SAS |
PD Welch |
Global reflection principles |
| NI12052-SAS |
JM Hitchcock and E Mayordomo |
Base invariance of feasible dimension |
| NI12053-SAS |
AA Abbott, CS Calude, J Conder and K Svozil |
Kochen-Specker theorem revisited and strong incomputability of quantum randomness |
| NI12054-INV |
G Alessandrini and E Sincich |
Cracks with impedance, stable determination from boundary data |
| NI12055-SAS |
JD Hamkins, G Leibman and B Löwe |
Structural connections between a forcing class and its modal logic |
| NI12056-SAS |
JD Hamkins |
Every countable model of set theory embeds into its own constructible universe |
| NI12057-BSM |
BP Dolan and RJ Szabo |
Solitons and Yukawa couplings in nearly Kähler flux compactifications |
| NI12058-SRO |
M J Esteban and S Rota-Nodari |
Ground states for a stationary mean-field model for a nucleon |
| NI12059-SAS |
JD Hamkins and B Löwe |
Moving up and down in the generic multiverse |
| NI12060-SAS |
E Mayordomo |
Effective dimension in some general metric spaces |
| NI12061-SAS |
R Glaschick |
A size index for multitape Turing Machines |
| NI12062-SPD |
Z Brzeźniak and A Millet |
On the stochastic Strichartz estimates and the stochastic nonlinear Schrödinger equation on a compact riemannian manifold |
| NI12063-SAS |
TA Slaman and A Sorbi |
A note on initial segments of the enumeration degrees |
| NI12064-SAS |
V Becher and S Grigorieff |
Wadge hardness in Scott spaces and its effectivization |
| NI12065-SAS |
V Becher and PA Heiber |
Normal numbers and finite automata |
| NI12066-SAS |
V Becher and S Grigorieff |
Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization |
| NI12067-SAS |
V Becher and PA Heiber |
Normality and differentiability |
| NI12068-SAS |
V Becher |
Turing's normal numbers: towards randomness |
| NI12069-SAS |
RA Shore |
The Turing degrees below generics and randoms |
| NI12070-SAS |
G Barmpalias, R Hölzl, AEM Lewis and W Merkle |
Analogues of Chaitin's omega in the computably enumerable sets |
| NI12071-SAS |
G Barmpalias and A Li |
Kolmogorov complexity and computably enumerable sets
|
| NI12072-SAS |
G Barmpalias and RG Downey |
Resolute sequences in initial segment complexity |
| NI12073-SAS |
G Barmpalias |
Algorithmic randomness and measures of complexity |
| NI12074-DAE |
H Großmann |
Automating the analysis of variance of orthogonal designs |
| NI12075-TOD |
RE Goldstein, HK Moffatt and AI Pesci |
Topological constraints and their breakdown in dynamical evolution |
| NI12076-DAE |
M Prus and R Schwabe |
Optimal designs for the prediction of individual effects in random coefficient regression |
| NI12077-SPD |
Z Brzeźniak, M Gubinelli and M Neklyudov |
Global solutions of the random vortex filament equation |
| NI12078-AMM |
M Ainsworth and R Rankin |
Computable error bounds for finite element approximation on non-polygonal domains |
| NI12079-AMM |
M Ainsworth, G Andriamaro and O Davydov |
A Bernstein-Bézier basis for arbitrary order Raviart-Thomas finite elements |
| NI12080-DAE |
U Graßhoff, H Holling and R Schwabe |
Optimal design for count data with binary predictors in item response theory |
| NI12081-SAS |
A Beckmann and SR Buss |
Improved witnessing and local improvement principles for second-order bounded arithmetic |
| NI12082-SAS |
A Beckmann, SR Buss and S-D Friedman |
Safe recursive set functions |
| NI12083-SPD |
V Barbu, Z Brzeźniak, E Hausenblas and L Tubaro |
Existence and convergence results for infinite dimensional nonlinear stochastic equations with multiplicative noise |
| NI12084-TOD |
J Cantarella, AY Grosberg, R Kusner and C Shonkwiler |
The expected total curvature of random polygons |
| NI12085-TOD |
HK Moffatt |
The fluid dynamics of James Clerk Maxwell |
| NI12086-AMM |
PS Peixoto and SRM Barros |
Analysis of grid imprinting on geodesic spherical icosahedral grids |
| NI12087-AMM |
S Janakiraman |
A reparametrisation of the sphere through a conformal mapping between the sphere and a Riemann surface |
| NI12088-SAS |
Y Matiyasevich |
New conjectures about zeroes of Riemann's zeta function |
| NI12089-TOD |
R V Buniy, J Cantarella, T W Kephart and E Rawdon |
The tight knot spectrum in QCD |
| NI12090-DAN |
KJ Swanepoel |
Sets of unit vectors with small subset sums |
| NI12091-TOD |
F Gay-Balmaz, M Monastyrsky and TS Ratiu |
Applications of Lagrangian reduction to condensed matter |
