Explore projects

Instructions for the artifact that accompanies submission #189, "Compositional Symbolic Analysis for JavaScript: Unifying Symbolic Execution and Separation Logic", by José Fragoso Santos, Petar Maksimović, Gabriela Sampaio, and Philippa Gardner

MSc Computing (AI and machine learning) programme final project.

Provided examples and support documentation for 2021 WACC project

C++ command-line implementation of the board game Reversi/Othello.

[TPDS'21] COSCO: Container Orchestration using Co-Simulation and Gradient Based Optimization for Fog Computing Environments

Drift-diffusion is a Matlab based model modified to account for the presence of CT states in organic solar cells. It can simulate solutions at different temperatures and light intensities.

just for testing the aws location service api with javascript sdk

On the tradeoffs between explainability and robustness in deep neural networks