Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 1-10 of 289
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
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
16-Feb-2019SUSPECT: MINLP special structure detector for pyomoCeccon, F; Siirola, J; Misener, R; Engineering and Physical Sciences Research Council
10-Jan-2019Using neuromorphic hardware for the scalable execution of massively parallel, communication-intensive algorithmsBlin, L; Awan, AJ; Heinis, T; Engineering & Physical Science Research Council (E; Commission of the European Communities
17-Jan-2019Activity in perceptual classification networks as a basis for human subjective time perceptionRoseboom, W; Fountas, Z; Nikiforou, K; Bhowmik, D; Shanahan, M, et al
2-Jan-2019Skeletal semantics and their interpretationsBodin, M; Gardner, P; Jensen, T; Schmitt, A; Engineering & Physical Science Research Council (E, et al
1-Jan-2019Two sides of the same coin: session types and game semanticsCastellan, S; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC), et al
6-Apr-2019Asynchronous timed session types: from duality to time-sensitive processesBocchi, L; Murgia, M; Vasconcelos, VT; Yoshida, N; Engineering & Physical Science Research Council (E, et al
6-Apr-2019Causality in Linear Logic: full completeness and injectivity (unit-free multiplicative-additive fragment)Castellan, S; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC), et al
31-Jan-2019AUKE: Automatic Kernel Code Generation for an analogue SIMD Focal-plane Sensor-Processor ArrayDebrunner, T; Saeedi Gharahbolagh, S; Kelly, P; Engineering & Physical Science Research Council (E