Current filters:

Start a new search
Add filters:

Use filters to refine the search results.

Results 1-4 of 4
  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
18-Aug-2015A formal proof of the Kepler conjectureHales, T; Adams, M; Bauer, G; Dang, DT; Harrison, J, et al
18-Aug-2015Polynomial template generation using sum-of-squares programmingAdjé, A; Magron, V
27-Mar-2015A Sums-of-Squares Extension of Policy IterationsAdjé, A; Garoche, P-L; Magron, V
1-Mar-2015Emerging Modelling Capabilities for System OperationsStrbac, G; Konstantelos, I; Moreno Vieyra, R