My master thesis on Whitebox cryptography & AES Whitebox schemes.
-
Updated
Jul 15, 2014 - TeX
My master thesis on Whitebox cryptography & AES Whitebox schemes.
Automatically exported from code.google.com/p/dr-prolog-proof-checker
UKZN Computer Science Theory of Computation 3rd year project.
Manuscript concerning inbreeding and parental investment, ``Inbreeding parents should invest more resources in fewer offspring''. Includes all history of model development.
Seminar work "Decision Trees - An Introduction" with presentation, seminar paper, and Python implementation
Project for 3510: Visually displaying the algorithm for computing whether a graph is an interval tree or not
Calculate torsional response for Closed-Thin Walled and Open Thin-Walled theory, then compare with experimental data.
An OCaml implementation of the Micro-Synthetic algorithm to verify a new theory of pattern discovery.
My datastructure repository written in C++11
MATH 222 - Discrete and Combinatorial Mathematics
CSC 226 - Algorithms & Data Structures II
Notes from Professor Michael Kearns' CIS 625 course on Computational Learning Theory - by @jtcho, me, and @bradyneal
3rd Year Under-graduate graph theory project using Neo4J
A model checking specification written in NuSMV that specifies a model of a single lift elevator system.
FIT2004 Assignment for my lab for week 10. Core component: Detecting if a vertex is a bridge.
A collection of course materials and lectures about robotics.
Cours de Système d'information en entreprise
Add a description, image, and links to the theory topic page so that developers can more easily learn about it.
To associate your repository with the theory topic, visit your repo's landing page and select "manage topics."