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
Updated -
Contains a documented example of how to use tensorflow to train a CNN for automatic scan plane detection
Updated -
Updated
-
Updated
-
-
Updated
-
-
-
UnID or Unified Identification is a smart way of storing and sharing just the data you need to use, through your phone, a special card or a web server. It should provide convenience and security through the use of blockchains.
Updated -
-
-
-
Updated
-
Updated
-
-
Joint Learning of Motion Estimation and Segmentation for Cardiac MR Image Sequences
Updated -
-
UnID or Unified Identification is a smart way of storing and sharing just the data you need to use, through your phone, a special card or a web server. It should provide convenience and security through the use of blockchains.
Updated -
Updated
-