Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.


Results 1-10 of 40
Item hits:
Issue DateTitleAuthor(s)
28-Apr-2020Regulations & exemptions during the COVID-19 pandemic for new medical technology, health services & dataAlbert-Smet, I; McPherson, D; Navaie, W; Stocker, T; Faisal, AA
15-May-2020Digitalisation of Energy: An Energy Futures Lab Briefing PaperRhodes, A
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