...

Maddelynn Weishaar

  • @maddel
  • /
  • /
  • Oxford United Kingdom
7 Uploads

Presentations (7)

CoqPIE: A Better IDE for Coq Proof Development
CoqPIE: A Better IDE for Coq Proof Development
GRID Computing and Data Storage Solutions
GRID Computing and Data Storage Solutions
Heat Transfer and Convection in Engineering
Heat Transfer and Convection in Engineering
Implementing Behavioral Systems Analysis in Autism Treatment
Implementing Behavioral Systems Analysis in Autism Treatment
Turkish Civil Code
Turkish Civil Code
Elastic Net Regularized Matrix Factorization for Recommender Systems
Elastic Net Regularized Matrix Factorization for Recommender Systems
X-CAPM: An Extrapolative Capital Asset Pricing Model
X-CAPM: An Extrapolative Capital Asset Pricing Model