Speaker Deck
Sign up for free
Menu
Search
Features
All features
Private URLs
Password Protection
Custom URLS
Scheduled publishing
Remove Branding
Restrict embedding
Deck Collections
Notes
Features
All features
Private URLs
Password Protection
Custom URLS
Scheduled publishing
Remove Branding
Restrict embedding
Deck Collections
Notes
Explore
Featured decks
Featured speakers
Programming
Technology
Storyboards
Explore
Featured decks
Featured speakers
Programming
Technology
Storyboards
Pricing
Search
Sign in
Sign up for free
Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology
Yoriyuki Yamagata
yoriyukiprf
20 Decks
0 Following
0 Followers
0 Stars
Decks
Language
All Languages
한국인
Deutsch
English
Español
Français
Italiano
Português
Pусский
Svenska
Tiếng Việt
中文 (simplified)
中文 (traditional)
日本語
Individual-based epidemiological model of COVID19 using location data
yoriyukiprf
0
150
On proving consistency of equational theories in bounded arithmetic
yoriyukiprf
0
220
On proving consistency of equational theories in bounded arithmetic
yoriyukiprf
0
190
個人レベルの位置情報を使ったCOVID19の感染モデル
yoriyukiprf
0
140
人流データを用いた人流制限解除後のCOVID-19感染状況の推定
yoriyukiprf
0
190
Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning
yoriyukiprf
0
220
引用の記述説の擁護
yoriyukiprf
0
270
Consistency proof of fragments of equational systems with substitution in bounded arithmetic
yoriyukiprf
0
180
Concepts on AI Fairness
yoriyukiprf
0
200
Falsification of Cyber Physical System Using Deep Reinforcement Learning
yoriyukiprf
1
210
Metamorphic testing vs property based testing
yoriyukiprf
0
500
On a proof theoretical semantics for bilateral classical logic
yoriyukiprf
0
120
Separation of Bounded Arithmetic using a consistency statement
yoriyukiprf
0
99
Separation of bounded arithmetics using a consistency statement
yoriyukiprf
1
110
A defense of the description theory of quotation
yoriyukiprf
0
100
強化学習による制御システムの自動反例生成
yoriyukiprf
0
3k
Consistency proof of an arithmetic with substitution inside a bounded arithmetic
yoriyukiprf
0
90
Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning
yoriyukiprf
0
120
‹ Prev
Next ›
Speaker Deck Pro:
Add privacy options and schedule the publishing of your decks
Upgrade