Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

Results 1-10 of 34
Item hits:
Issue DateTitleAuthor(s)
31-Dec-2015Exact Inference Techniques for the Dynamic Analysis of Attack GraphsMuñoz-González, L; Sgandurra, D; Barrère, M; Lupu, E
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
30-Sep-2015Fault-tolerant resource reasoning: Extended VersionNtzik, G; da Rocha Pinto, P; Gardner, P
31-Oct-2015TWIST: High performance thin film small satellite subsystems with a twistJohnson, M; UK Space Agency
26-Apr-2017The Identification and Management of Bus Priority Schemes; A Study of International Experiences and Best PracticesMundy, D; Trompet, M; Cohen, J; Graham, D
16-Mar-2016Modular Termination Verification for Non-blocking Concurrency (Extended Version)Da Rocha Pinto, P; Dinsdale-Young, T; Gardner, P; Sutherland, J; Engineering & Physical Science Research Council (E, et al
3-Apr-2017Moving mesh methods in Fluidity and FiredrakeMcManus, TM; Percival, JR; Yeager, BA; Barral, N; Gorman, GJ, et al
28-Feb-2007Sensitivity Analysis of Flexible ProvisioningStein, S; Payne, TR; Jennings, NR
20-Sep-2017The value of additive manufacturing: future opportunitiesWu, B; Myant, C; Weider, SZ