Francisco Eiras's Projects
AIMS Data Estimation and Inference Gaussian Processes Lab
Parser calculator in C++
Neural network implementation from scratch
ANCER: Anisotropic Certification via Sample-wise Volume Maximization
Repository for the MSc project "To Err is Human: Designing Correct-by-Construction Driver Assistance Systems using Cognitive Modelling".
Apple Watch App to display student's classes at Técnico Lisboa
CoderDojo@Técnico website
This is the official repo for the work "Data Dependent Randomized Smoothing"
Common English Vocabulary Word List
Personal website
HackerSchool themed buttons
A website to accept donations to HackerSchool (non-profit)
Travel salesman problem implemented in C (using abstract data structures)
Final project for the class of Systems Programming
Simplifies the process of creating a new file in Matlab with an adequate header template.
PaRoT: A Practical Framework for Robust Deep Neural Network Training
[Winner OpenFood Challenge LauzHack 2016] We want to discourage packaging food, and suggest instead the healthy recipies.
Code release for "Segment, Select, Correct: A Framework for Weakly-Supervised Referring Segmentation"
A web app where a user enters his address to receive the size of his rooftop available for solar panels. The app uses image segmentation to detect the rooftops and connects to an external API for data on the climate.
News summarizer for Hack Junction 2017