Skip to content
Ron Picard

Ron Picard

Data Science Is A Way Of Life

  • Home
  • About Me
  • Blog
  • Aviation
    • Private Pilot
  • Mathematics
    • Formal Methods
    • Computer Science
    • Machine Learning
  • Engineering
    • Cyber-Physical Systems
    • Software Verification & Validation
    • Software Engineering
    • Electrical Engineering
    • Machine Learning
  • Projects
    • Vanderbilt University
    • Personal
  • Publications
  • Visit My GitHub Page
  • Visit My LinkedIn Page
  • Subscribe
  • Privacy Policy
Scroll down to content

Posts

Posted on October 4, 2019March 6, 2021

Formal Methods 101: Zero-Order (Propositional) Logic

Posted on October 4, 2019March 6, 2021

Formal Methods 101: Binary Relations

Posted on October 4, 2019March 6, 2021

Formal Methods 101: Set Theory

Posted on August 7, 2019March 6, 2021

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

Posted on May 3, 2019March 6, 2021

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

Posted on May 3, 2019March 6, 2021

Particle Filter Speed Controller for a Closed-Loop Vehicle System

Posted on May 3, 2019May 3, 2019

Analysis of N-Queens Stochastic Algorithms Using Probabilistic Model Checking

Posted on May 3, 2019May 3, 2019

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

Posted on April 16, 2019April 16, 2019

Convolutional Neural Networks

Posted on April 4, 2019April 21, 2019

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

Posts navigation

Previous page Page 1 Page 2 Page 3 Page 4 Next page

Newsletter

Recent Posts

  • Second Solo
  • First Solo
  • Formal Methods 101: Induction
  • Formal Methods 101: Formal Systems
  • Formal Methods 101: Decidability

Archives

  • November 2020
  • November 2019
  • October 2019
  • August 2019
  • May 2019
  • April 2019
  • March 2019
  • January 2019
  • December 2018

Login

  • Log in
  • Entries feed
  • Comments feed
  • WordPress.org

© Ronald Picard. All Rights Reserved. | Privacy Policy

Proudly powered by WordPress