Daniel Weinand's repositories
Priors-for-Logical-Sentences
Algorithms to generate prior probabilities for logical sentences.
2D-Wavelet-Density-Estimation
Java applet for density estimation on 2-dimensional streaming data sets.
DensityEstimation1D
Java applet for a 1-Dimensional probability density estimation for streaming data (Algorithm from García-Treviño and Barria 2011)
Wavelet-Technical-Report
Technical report for the wavelet based density estimator for streaming data. Funded by the AMALTHEA REU.
ProgrammingAssignment2
Repository for Programming Assignment 2 for R Programming on Coursera
DeepLearnToolbox
Matlab/Octave toolbox for deep learning. Includes Deep Belief Nets, Stacked Autoencoders, Convolutional Neural Nets, Convolutional Autoencoders and vanilla Neural Nets. Each method has examples to get you started.
software-foundations-coq-workshop
Materijal za radionicu Coq-a prema kursu "Software foundations" (CIS 500) Benjamina Piercea