This project investigated the effect of news articles on financial market trends, as compiled in lists such as the Standard
Category: Abstracts
Investigating NBA performance statistics’ capabilities in injury prediction models
This study investigated the feasibility of using NBA (National Basketball Association) performance statistics in injury prediction models, to extract potential
Intelligent dashboard for investors using data science and machine learning
This project set out to offer an informative dashboard to assist potential investors in making better financial decisions. The dashboard
Voting trends within the United Nations
Understanding the way countries voted in past sessions of the United Nations General Assembly could be useful in predicting how
Instrumenting inline runtime monitoring in Elixir
Concurrent languages present challenges for software correctness since standard approaches, such as unit testing, can be ineffective. This is due
Runtime verification of robotic applications inspecting radioactive environments
The growing reliance on robotics with respect to various hazardous applications has created the need for robust and reliable robotic
A Python DFA learning toolkit
Deterministic finite-state automata (DFA) are computational machines that are able to accept or reject words, depending on whether they belong
Secure and correct execution of the X3DH protocol through runtime verification
Messaging applications have become essential for communication, especially with respect to sharing sensitive information, such as personal and financial data.
Exploring bidirectional typing for the Semi-Axiomatic sequent calculus (SAX)
Advances in hardware technology have proven incapable of keeping up with the growing needs of increasingly complex software systems. To