T T

113 Followers

11 SlideShares 113 Followers 318 Folgens

machine learning mcml learnability alloy relational property model counting decision tree pldi2020 verification security safety cnn abstract interpretation #xxforml gbdt gauss-markov's theorem coq 線形識別関数

Präsentationen
Dokumente
Infografiken

Aktuellste Beliebteste SlideShares

A Study of the Learnability of Relational Properties - Model Counting Meets Machine Learning (MCML)

Vor 3 Jahren • 468 Aufrufe

AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation

Vor 5 Jahren • 2258 Aufrufe

第10章後半「ブースティングと加法的木」

Vor 7 Jahren • 5490 Aufrufe

続・わかりやすいパターン認識第7章「マルコフモデル」

Vor 8 Jahren • 7627 Aufrufe

第5章glmの尤度比検定と検定の非対称性前編

Vor 9 Jahren • 6056 Aufrufe

がうす・まるこふの定理とかそのへん

Vor 9 Jahren • 9926 Aufrufe

Optimizing AIC in Questionnaire Analysis

Vor 10 Jahren • 1758 Aufrufe

Software Foundation：形式的証明と非形式的証明

Vor 10 Jahren • 1685 Aufrufe

はじパタ6章前半

Vor 10 Jahren • 15071 Aufrufe

相関係数と決定係数～回帰係数とその不偏性も

Vor 10 Jahren • 5368 Aufrufe

サンプリングと推定 Siとht推定量

Vor 10 Jahren • 2751 Aufrufe