Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 1-10 of 207
Item hits:
Issue DateTitleAuthor(s)
1-Apr-2019A self-adaptive motion scaling framework for surgical robot remote controlZhang, D; Xiao, B; Huang, B; Zhang, L; Liu, J, et al
1-Mar-2019An explainable multi-attribute decision model based on argumentationZhong, Q; Fan, X; Luo, X; Toni, F; Engineering & Physical Science Research Council (EPSRC)
12-Mar-2019Uncle traps: harvesting rewards in a queue-based ethereum Mining PoolWerner, S; Pritz, P; Zamyatin, A; Knottenbelt, W; Blockchain (GB) Limited
13-Mar-2019A semi-product-form for the equilibrium state probabilities in a pair of queues with finite batchesHarrison, P
27-Jan-2019Optimal Interdiction of Urban Criminals with the Aid of Real-Time InformationJennings, N; Zhang, Y; Guo, Q; An, B; Tran-Thanh, L
27-Jan-2019An abstraction-based method for verifying strategic properties in multi-agent systems with imperfect informationBelardinelli, F; Lomuscio, A; Malvone, A
2-Jan-2019JaVerT 2.0: Compositional Symbolic Execution for JavaScriptFragoso Santos, J; Maksimovic, P; Cunha Sampaio, G; Gardner, P; Engineering & Physical Science Research Council (E, et al
27-Jan-2019Argumentation for explainable schedulingCyras, K; Letsios, D; Misener, R; Toni, F; Engineering & Physical Science Research Council (EPSRC)
16-Feb-2019SUSPECT: MINLP special structure detector for pyomoCeccon, F; Siirola, J; Misener, R; Engineering and Physical Sciences Research Council
19-Dec-2019Data-driven optimization of processes with degrading equipmentWiebe, J; CecĂ­lio, I; Misener, R; Engineering and Physical Sciences Research Council