Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.


Results 1-10 of 108
Item hits:
Issue DateTitleAuthor(s)
30-Apr-2013A syntactic-semantic approach to incremental verificationBianculli, D; Filieri, A; Ghezzi, C; Mandrioli, D
13-Jul-2015Certified Roundoff Error Bounds Using Semidefinite Programming.Magron, V; Constantinides, GA; Donaldson, AF; Engineering & Physical Science Research Council (EPSRC); Engineering & Physical Science Research Council (EPSRC), et al
1-Jan-2018EchoFusion: Tracking and Reconstruction of Objects in 4D Freehand Ultrasound Imaging without External TrackersKhanal, B; Gomez, A; Toussaint, N; McDonagh, S; Zimmer, V, et al
23-Jan-2019Life history parameters in acellular extrinsic fiber cementum microstructureEdinborough, M; Fearn, S; Pilgrim, M; Cvetkovic, A; Mihailovic, B, et al
9-Oct-2018The Supernumerary Robotic 3rd Thumb for Skilled Music TasksCunningham, J; Hapsari, A; Guilleminot, P; Shafti, A; Faisal, AA
9-Oct-2018FastOrient: Lightweight Computer Vision for Wrist Control in Assistive Robotic GraspingMaymo, MR; Shafti, A; Faisal, AA
-Generalized Points-to Graphs: A New Abstraction of Memory in the Presence of PointersGharat, PM; Khedker, UP; Mycroft, A
31-Dec-2015A Common-Factor Approach for Multivariate Data Cleaning with an Application to Mars Phoenix Mission DataFang, D; Oberlin, E; Ding, W; Kounaves, SP
-Data Structures for Representing Symmetry in Quadratically Constrained Quadratic ProgramsKouyialis, G; Misener, R; Engineering & Physical Science Research Council (EPSRC)
5-Oct-2018GPdoemd: a python package for design of experiments for model discriminationOlofsson, S; Misener, R; Commission of the European Communities; Engineering and Physical Sciences Research Council