Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 1-10 of 18
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
30-Jun-2010A Practical and Conceptual Framework for Learning in ControlDeisenroth, MP; Rasmussen, CE
31-Dec-2013Multi-Task Policy SearchDeisenroth, MP; Englert, P; Peters, J; Fox, D
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
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
2-Mar-2016A Tutorial Survey on Multimodal Deep LearningCoelho De Castro, D
1-Jul-2018XCLAIM: Interoperability with Cryptocurrency-Backed TokensZamyatin, A; Harz, D; Lind, J; Panayiotou, P; Arthur, G, et al
31-Dec-2015From Pixels to Torques: Policy Learning with Deep Dynamical ModelsWahlström, N; Schön, TB; Deisenroth, MP
31-Dec-2015Distributed Gaussian ProcessesDeisenroth, MP; Ng, JW