David Allen McAllester

Available identifiers

zbMath Open mcallester.david-allenMaRDI QIDQ1102217

List of research outcomes

Publication	Date of Publication	Type
On the Mathematics of Diffusion Models	2023-01-25	Paper
Walther recursion	2019-01-15	Paper
A synopsis of morphoid type theory	2017-12-18	Paper
On the complexity of set-based analysis	2017-08-21	Paper
The Communication Complexity of Correlation	2017-07-27	Paper
Polynomial-time computation via local inference relations	2017-06-13	Paper
On the complexity analysis of static analyses	2015-12-07	Paper
PAC-Bayesian Theory	2015-07-20	Paper
A sound (and complete) model of contracts	2015-03-09	Paper
Computable shell decomposition bounds	2011-10-12	Paper
Simplified PAC-Bayesian margin bounds.	2010-03-23	Paper
The generalized A* architecture	2009-04-28	Paper
Sound and complete models of contracts	2006-08-28	Paper
10.1162/1532443041424292	2004-10-28	Paper
https://portal.mardi4nfdi.de/entity/Q4809167	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4472549	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4447250	2004-02-16	Paper
PAC-Bayesian stochastic model selection	2003-08-06	Paper
Tarskian set constraints	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4539638	2002-07-10	Paper
Boosting using branching programs	2002-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4955348	2000-12-18	Paper
Some PAC-Bayesian theorems	2000-03-16	Paper
https://portal.mardi4nfdi.de/entity/Q4936126	2000-01-24	Paper
https://portal.mardi4nfdi.de/entity/Q4264738	1999-10-10	Paper
Solving Polynomial Systems Using a Branch and Prune Approach	1997-11-02	Paper
A proof of strong normalization for \(F_ 2\), \(F_ \omega\), and beyond	1995-10-10	Paper
Nonexpressibility of fairness and signaling	1993-12-20	Paper
Lower bounds for the lengths of refutations	1993-12-06	Paper
Automatic recognition of tractability in inference relations	1993-06-29	Paper
Taxonomic syntax for first order inference	1993-06-29	Paper
https://portal.mardi4nfdi.de/entity/Q4692514	1993-06-05	Paper
Natural language syntax and first-order inference	1992-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q3493312	1989-01-01	Paper
Conspiracy numbers for min-max search	1988-01-01	Paper

Research outcomes over time

This page was built for person: David Allen McAllester