Formal Methods 101: Set Theory
Action Schema Neural Networks: Generalized Policies for Stochastic Planning Problems in the Wargaming Domain
Improvements to Feed-Forward Neural Networks Used to Classify Forest Type Covers Based on Cartographic Features
Particle Filter Speed Controller for a Closed-Loop Vehicle System
Analysis of N-Queens Stochastic Algorithms Using Probabilistic Model Checking
Model-Based Design of a Closed-Loop Speed Controller for a Hybrid System
Convolutional Neural Networks
Neural Networks With Minibatch Stochastic Gradient Descent and Adaptive Moments (ADAM)
Neural Networks with Minibatch Stochastic Gradient Descent and Momentum
Neural Networks of L-Layers, N-Neurons with Dropout and L2 Regularization
