17 citations · 23 across the 8 of their papers we have counts for
8 papers
Incremental units-of-measure verification
Matthew Danish, Dominic Orchard, Andrew Rice
Despite an abundance of proposed systems, the verification of units-of-measure within programs remains rare in scientific computing. We attempt to address this issue by providing a…
To use or not to use proprietary street view images in (health and place) research? That is the question
Marco Helbich, Matthew Danish, SM Labib +1
Computer vision-based analysis of street view imagery has transformative impacts on environmental assessments. Interactive web services, particularly Google Street View, play an ev…
A citizen science toolkit to collect human perceptions of urban environments using open street view images
Matthew Danish, SM Labib, Britta Ricker +1
Street View Imagery (SVI) is a valuable data source for studies (e.g., environmental assessments, green space identification or land cover classification). While commercial SVI is…
CDBB West Cambridge Digital Twin: Lessons Learned
Justas Brazauskas, Matt Danish, Vadim Safronov +3
The report describes the digital architecture developed for the West Cambridge Digital Twin, particularly focussed on real-time sensor data collection and analysis with a privacy f…
SenseRT: A Streaming Architecture for Smart Building Sensors
Rohit Verma, Justas Brazauskas, Vadim Safronov +5
Building Management Systems (BMSs) have evolved in recent years, in ways that require changes to existing network architectures that follow the store-then-analyse approach. The pri…
Data Management for Building Information Modelling in a Real-Time Adaptive City Platform
Justas Brazauskas, Rohit Verma, Vadim Safronov +5
Legacy Building Information Modelling (BIM) systems are not designed to process the high-volume, high-velocity data emitted by in-building Internet-of-Things (IoT) sensors. Histori…
Guiding user annotations for units-of-measure verification
Dominic Orchard, Mistral Contrastin, Matthew Danish +1
This extended abstract reports on previous work of the CamFort project in which we developed an external units-of-measure type system for Fortran code, targeted at scientists. Our…
Quest-V: A Virtualized Multikernel for High-Confidence Systems
Ye Li, Matthew Danish, Richard West
This paper outlines the design of `Quest-V', which is implemented as a collection of separate kernels operating together as a distributed system on a chip. Quest-V uses virtualizat…