Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology

Yoriyuki Yamagata

yoriyukiprf
0 Stars

Decks

Individual-based epidemiological model of COVID19 using location data
yoriyukiprf
0
79
On proving consistency of equational theories in bounded arithmetic
yoriyukiprf
0
130
On proving consistency of equational theories in bounded arithmetic
yoriyukiprf
0
110
個人レベルの位置情報を使ったCOVID19の感染モデル
yoriyukiprf
0
98
人流データを用いた人流制限解除後のCOVID-19感染状況の推定
yoriyukiprf
0
140
Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning
yoriyukiprf
0
150
引用の記述説の擁護
yoriyukiprf
0
180
Consistency proof of fragments of equational systems with substitution in bounded arithmetic
yoriyukiprf
0
92
Concepts on AI Fairness
yoriyukiprf
0
120
Falsification of Cyber Physical System Using Deep Reinforcement Learning
yoriyukiprf
1
130
Metamorphic testing vs property based testing
yoriyukiprf
0
340
On a proof theoretical semantics for bilateral classical logic
yoriyukiprf
0
85
Separation of Bounded Arithmetic using a consistency statement
yoriyukiprf
0
63
Separation of bounded arithmetics using a consistency statement
yoriyukiprf
1
72
A defense of the description theory of quotation
yoriyukiprf
0
67
強化学習による制御システムの自動反例生成
yoriyukiprf
0
2.7k
Consistency proof of an arithmetic with substitution inside a bounded arithmetic
yoriyukiprf
0
44
Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning
yoriyukiprf
0
93

Speaker Deck Pro: Add privacy options and schedule the publishing of your decks Upgrade