Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

Results 1-10 of 138
Item hits:
Issue DateTitleAuthor(s)
30-Sep-2014Accessiblity and validity of smart meter dataBilton, M; Carmichael, R; Whitney, A; Dragovic, J; Schofield, J, et al
18-Aug-2015A formal proof of the Kepler conjectureHales, T; Adams, M; Bauer, G; Dang, DT; Harrison, J, et al
27-Mar-2015A Sums-of-Squares Extension of Policy IterationsAdjé, A; Garoche, P-L; Magron, V
20-Aug-2015Reasoning about the POSIX File System: Local Update and Global Pathnames, Technical ReportNtzik, G; Gardner, P
18-Aug-2015Polynomial template generation using sum-of-squares programmingAdjé, A; Magron, V
31-Dec-2015Periodic phase-locking and phase slips in active rotator systemsGandhi, P; Beaume, C; Knobloch, E
30-Sep-2015Fault-tolerant resource reasoning: Extended VersionNtzik, G; da Rocha Pinto, P; Gardner, P
4-Mar-2020Smart surfaces to tackle infection and antimicrobial resistanceOtter, J; Brophy, K; Palmer, J; Harrison, N; Riley, J, et al
14-Dec-2016Eco-efficient cements: Potential economically viable solutions for a low-CO2 cement- based materials industryScrivener, KL; John, VM; Gartner, EM
31-Oct-2015TWIST: High performance thin film small satellite subsystems with a twistJohnson, M;