Explore projects

Official ECMAScript Conformance Test Suite

Coursework materials for "Data Management & Ethics"

Joint Learning of Motion Estimation and Segmentation for Cardiac MR Image Sequences

Joint Learning of Motion Estimation and Segmentation for Cardiac MR Image Sequences

KineDMD analysis code

Code and Results for the poster submitted at Sensys 2018

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

Contains a documented example of how to use tensorflow to train a CNN for automatic scan plane detection