Zobrazeno 1 - 10
of 70
pro vyhledávání: '"Danish, Matthew"'
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 lightweight static verification system for units-of-measure in Fortra
Externí odkaz:
http://arxiv.org/abs/2406.02174
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 available, such providers commonly restrict copying or reuse in ways n
Externí odkaz:
http://arxiv.org/abs/2403.00174
Computer vision-based analysis of street view imagery has transformative impacts on environmental assessments. Interactive web services, particularly Google Street View, play an ever-important role in making imagery data ubiquitous. Despite the techn
Externí odkaz:
http://arxiv.org/abs/2402.11504
Autor:
Verma, Rohit, Brazauskas, Justas, Safronov, Vadim, Danish, Matthew, Merino, Jorge, Xie, Xiang, Lewis, Ian, Mortier, Richard
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 primary cause is the increasing deployment of a diverse range of cost-eff
Externí odkaz:
http://arxiv.org/abs/2103.09169
Autor:
Brazauskas, Justas, Verma, Rohit, Safronov, Vadim, Danish, Matthew, Merino, Jorge, Xie, Xiang, Lewis, Ian, Mortier, Richard
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. Historical lack of consideration for the real-time nature of such data means
Externí odkaz:
http://arxiv.org/abs/2103.04924
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 approach can guide the programmer in adding specifications (type annot
Externí odkaz:
http://arxiv.org/abs/2011.06094
Autor:
Danish, Matthew
Operating systems software is fundamental to modern computer systems: all other applications are dependent upon the correct and timely provision of basic system services. At the same time, advances in programming languages and type theory have lead t
Externí odkaz:
https://hdl.handle.net/2144/16360
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 virtualization techniques to isolate kernels and prevent local faults from affect
Externí odkaz:
http://arxiv.org/abs/1112.5136
Autor:
Danish, Matthew L.1 (AUTHOR) mdanish@lifespan.org, Shah, Mansi R.2 (AUTHOR), Lin, Yong3,4 (AUTHOR), Ho, Joseph K.5 (AUTHOR), Copeland, Tabitha M.5 (AUTHOR), Cooper, Dennis L.2,5 (AUTHOR)
Publikováno v:
European Journal of Haematology. Jun2022, Vol. 108 Issue 6, p503-509. 7p.
To asset owners and managers, understanding how people move through and use the built environment is a high priority, enabling better, more user-focused decisions. However, many of the methods for getting these insights can feel invasive to users. Th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bf5a7ac53a20ff191f65e437bb4a2eac