First-order reasoning and efficient semi-algebraic proofs von Part, F, Thapen, N, Tzameret, I

Volltext

DEFENDER: Detecting and Forecasting Epidemics Using Novel Data-Analytics for Enhanced Response von Hankin, CL, Thapen, N, Simmie, D, Gillard, J

Volltext

Real-time processing of social media with SENTINEL: a syndromic surveillance system incorporating deep learning for health classification von Hankin, CL, Serban, O, Thapen, N, Maginnis, B, Foot, V

Volltext

The early bird catches the term: combining twitter and news data for event detection and situational awareness von Thapen, N, Simmie, D, Hankin, CL

Volltext

The strength of replacement in weak arithmetic von Cook, S., Thapen, N.

Volltext

Structures interpretable in models of bounded arithmetic von Thapen, Neil

Volltext

A model-theoretic characterization of the weak pigeonhole principle von Thapen, Neil

Volltext

Resolution and Pebbling Games von Galesi, Nicola, Thapen, Neil

Volltext

The Complexity of Proving That a Graph Is Ramsey von Lauria, Massimo, Pudlák, Pavel, Rödl, Vojtěch, Thapen, Neil

Volltext

Space Complexity in Polynomial Calculus von Filmus, Y., Lauria, M., Nordstrom, J., Thapen, N., Ron-Zewi, N.

Volltext

Weak theories of linear algebra von Thapen, Neil, Soltys, Michael

Volltext

The complexity of treelike systems over /spl lambda/-local formulae von Galesi, N., Thapen, N.

Volltext

The complexity of treelike systems over λ-local formulae von GALESI, Nicola, THAPEN, Neil

Volltext