Projects I think are cool.

Formal Methods 101: Second-Order (and Higher-Order) Logic

Ron Picard 10/5/19 Ron Picard 10/5/19

Formal Methods 101: Second-Order (and Higher-Order) Logic

Read More

Formal Methods 101: First-Order Logic (FOL)

Ron Picard 10/4/19 Ron Picard 10/4/19

Formal Methods 101: First-Order Logic (FOL)

Read More

Formal Methods 101: Zero-Order (Propositional) Logic

Ron Picard 10/4/19 Ron Picard 10/4/19

Formal Methods 101: Zero-Order (Propositional) Logic

Read More

Formal Methods 101: Binary Relations

Ron Picard 10/4/19 Ron Picard 10/4/19

Formal Methods 101: Binary Relations

Read More

Action Schema Neural Networks: Generalized Policies for Stochastic Planning Problems in the Wargaming Domain

Ron Picard 8/7/19 Ron Picard 8/7/19

Action Schema Neural Networks: Generalized Policies for Stochastic Planning Problems in the Wargaming Domain

Read More

Improvements to Feed-Forward Neural Networks Used to Classify Forest Type Covers Based on Cartographic Features

Ron Picard 8/7/19 Ron Picard 8/7/19

Improvements to Feed-Forward Neural Networks Used to Classify Forest Type Covers Based on Cartographic Features

Read More

Particle Filter Speed Controller for a Closed-Loop Vehicle System

Ron Picard 5/3/19 Ron Picard 5/3/19

Particle Filter Speed Controller for a Closed-Loop Vehicle System

Read More

Analysis of N-Queens Stochastic Algorithms Using Probabilistic Model Checking

Ron Picard 5/3/19 Ron Picard 5/3/19

Analysis of N-Queens Stochastic Algorithms Using Probabilistic Model Checking

Read More

Model-Based Design of a Closed-Loop Speed Controller for a Hybrid System

Ron Picard 5/3/19 Ron Picard 5/3/19

Model-Based Design of a Closed-Loop Speed Controller for a Hybrid System

Read More

Convolutional Neural Networks

Ron Picard 4/16/19 Ron Picard 4/16/19

Convolutional Neural Networks

Read More

Neural Networks With Minibatch Stochastic Gradient Descent and Adaptive Moments (ADAM)

Ron Picard 4/4/19 Ron Picard 4/4/19

Neural Networks With Minibatch Stochastic Gradient Descent and Adaptive Moments (ADAM)

Read More

Neural Networks with Minibatch Stochastic Gradient Descent and Momentum

Ron Picard 3/19/19 Ron Picard 3/19/19

Neural Networks with Minibatch Stochastic Gradient Descent and Momentum

Read More

Neural Networks of L-Layers, N-Neurons with Dropout and L2 Regularization

Ron Picard 3/7/19 Ron Picard 3/7/19

Neural Networks of L-Layers, N-Neurons with Dropout and L2 Regularization

Read More

Neural Networks With Single Neuron Implementation

Ron Picard 3/7/19 Ron Picard 3/7/19

Neural Networks With Single Neuron Implementation

Read More

3D Linear Regression Using Gradient Descent Implementation

Ron Picard 3/7/19 Ron Picard 3/7/19

3D Linear Regression Using Gradient Descent Implementation

Read More

2D Linear Regression Using Gradient Descent Implementation

Ron Picard 3/7/19 Ron Picard 3/7/19

2D Linear Regression Using Gradient Descent Implementation

Read More

Linear Regression Using Gradient Decent

Ron Picard 1/10/19 Ron Picard 1/10/19

Linear Regression Using Gradient Decent

Read More

Build Your Own Ubuntu Linux Router

Ron Picard 1/4/19 Ron Picard 1/4/19

Build Your Own Ubuntu Linux Router

Read More

Build A Home VPN With OpenVPN

Ron Picard 1/4/19 Ron Picard 1/4/19

Build A Home VPN With OpenVPN

Read More

Build A WordPress Website From Scratch

Ron Picard 12/22/18 Ron Picard 12/22/18

Build A WordPress Website From Scratch

Read More