Outputs (116)

Probabilistic resource-bounded alternating-time temporal logic (2019)
Presentation / Conference
Nguyen, H. N., & Rakib, A. (2019, May). Probabilistic resource-bounded alternating-time temporal logic. Poster presented at International Conference on Autonomous Agents and Multiagent Systems, Montreal, Canada

This paper extends resource-bounded ATL (RB-ATL) with probabilistic reasoning and provides the syntax and semantics of the resulting logic, probabilistic resource-bounded ATL (pRB-ATL).

OpenCL vs: Accelerated finite-difference digital synthesis (2019)
Conference Proceeding
Renney, H., Gaster, B. R., & Mitchell, T. (2019). OpenCL vs: Accelerated finite-difference digital synthesis. . https://doi.org/10.1145/3318170.3318172

© 2019 Copyright held by the owner/author(s). Publication rights licensed to ACM. Digital audio synthesis has become an important component of modern music production with techniques that can produce realistic simulations of real instruments. Physica... Read More about OpenCL vs: Accelerated finite-difference digital synthesis.

The aesthetics of volumetric photography for virtual reality (2019)
Presentation / Conference
Buzzo, D. (2019, May). The aesthetics of volumetric photography for virtual reality. Paper presented at EVA 2019 (Electronic Visualisation in the Arts) Florence Conference, Florence, Italy

Volumetric imaging (true 3D image capture, as opposed to left/right stereo imaging) is being recognised as a new arena for recording images of the real world. Much of the current work in this arena investigates the technical aspects of volumetric mov... Read More about The aesthetics of volumetric photography for virtual reality.

Pedagogical Approach to Effective Cybersecurity Teaching (2019)
Book Chapter
Arabo, A., & Serpell, M. (in press). Pedagogical Approach to Effective Cybersecurity Teaching. In Z. Pan, A. D. Cheok, & W. Mueller (Eds.), Transactions on Edutainment XV (129-140). Springer. https://doi.org/10.1007/978-3-662-59351-6_11

© 2019, Springer-Verlag GmbH Germany, part of Springer Nature. Initial research ruled out many factors that were thought may correlate to student academic performance. Finally, a strong correlation was found between their academic performance and the... Read More about Pedagogical Approach to Effective Cybersecurity Teaching.

NeuroProv: Provenance data visualisation for neuroimaging analyses (2019)
Journal Article
Munir, K., Arshad, B., McClatchey, R., Shamdasani, J., & Khan, Z. (2019). NeuroProv: Provenance data visualisation for neuroimaging analyses. Journal of Computer Languages, 52, 72-87. https://doi.org/10.1016/j.cola.2019.04.004

© 2019 Elsevier Ltd Visualisation underpins the understanding of scientific data both through exploration and explanation of analysed data. Provenance strengthens the understanding of data by showing the process of how a result has been achieved. Wit... Read More about NeuroProv: Provenance data visualisation for neuroimaging analyses.

Video-based evidence analysis and extraction in digital forensic investigation (2019)
Journal Article
Xiao, J., Li, S., & Xu, Q. (2019). Video-based evidence analysis and extraction in digital forensic investigation. IEEE Access, 7, 55432-55442. https://doi.org/10.1109/ACCESS.2019.2913648

As a result of the popularity of smart mobile devices and the low cost of surveillance systems, visual data are increasingly being used in digital forensic investigation. Digital videos have been widely used as key evidence sources in evidence identi... Read More about Video-based evidence analysis and extraction in digital forensic investigation.

The natural connectivity of autonomous systems (2019)
Presentation / Conference
Battle, S. (2019, April). The natural connectivity of autonomous systems. Paper presented at 2019 AISB Convention, Falmouth, UK

The concept of enaction, or embodied cognition, de- scribed by Varela et al., aims to resolve the the dilemma of Cartesian mind-body dualism by re-casting these categories as complementary explanations of the same phenomena. This paper explores Varel... Read More about The natural connectivity of autonomous systems.

Secure Social Media Spaces for Communities of Vulnerable People (2019)
Conference Proceeding
Pimenidis, E., & Polatidis, N. (2019). Secure Social Media Spaces for Communities of Vulnerable People. . https://doi.org/10.1109/ICGS3.2019.8688027

© 2019 IEEE. This paper presents a proposal for developing secure social media spaces for groups of people that could be vulnerable to external influences. These could be refuges from war torn or politically unstable countries that could be persecute... Read More about Secure Social Media Spaces for Communities of Vulnerable People.

Model checking ontology-driven reasoning agents using strategy and abstraction (2019)
Journal Article
Rakib, A., & Faruqui, R. U. (2021). Model checking ontology-driven reasoning agents using strategy and abstraction. Concurrency and Computation: Practice and Experience, 33(2), Article e5205. https://doi.org/10.1002/cpe.5205

We present a framework for the modelling, specification and verification of ontology-driven multi-agent rule-based systems (MASs). We assume that each agent executes in a separate process and that they communicate via message passing. The proposed ap... Read More about Model checking ontology-driven reasoning agents using strategy and abstraction.

Embedding geographic locations for modelling the natural environment using flickr tags and structured data (2019)
Conference Proceeding
Jeawak, S. S., Jones, C. B., & Schockaert, S. (2019). Embedding geographic locations for modelling the natural environment using flickr tags and structured data. In Advances in Information Retrieval. , (51-66). https://doi.org/10.1007/978-3-030-15712-8_4

Meta-data from photo-sharing websites such as Flickr can be used to obtain rich bag-of-words descriptions of geographic locations, which have proven valuable, among others, for modelling and predicting ecological features. One important insight from... Read More about Embedding geographic locations for modelling the natural environment using flickr tags and structured data.