Explore projects

3D tirf image reconstruction

#reconstruction #3D #c++

Spitfire: deconvolution & denoising for 2D & 3D images

#deconvolution #denoising

Proof of Concept of a vulnerability in OpenSSL's implementation of SRP (Secure Remote Password)

BioImageIT Docker container for noise2void

Docker container for Fiji and BioIMage-IT wrappers scripts

Unified training recipe for STT models on COMPRISE Cloud Platform

A Coq tactic for discharging goals about floating-point arithmetic and round-off errors using the Gappa prover.

CoqInterval provides tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant.

Noise2Void docker

TPDS paper.

Material for the IDESSAI summer school 2021 session