Alex James

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2024
Learning Chemical Compositions through Music.
Proceedings of the IEEE International Conference on Consumer Electronics, 2024

2022
Variability-aware Memristive Crossbars - A Tutorial.
CoRR, 2022

PFMC: A Parallel Symbolic Model Checker for Security Protocol Verification.
Proceedings of the Formal Methods and Software Engineering, 2022

2021
Citizen science decisions: A Bayesian approach optimises effort.
Ecol. Informatics, 2021

2018
Using the Value of Information (VoI) Metric to Improve Sensemaking.
CoRR, 2018


  Loading...