scholarly journals Machine Learning Methods in Statistical Model Checking and System Design – Tutorial

2015 ◽  
pp. 323-341 ◽  
Author(s):  
Luca Bortolussi ◽  
Dimitrios Milios ◽  
Guido Sanguinetti
Keyword(s):  
Machine Learning ◽  
Model Checking ◽  
Statistical Model ◽  
System Design ◽  
Learning Methods ◽  
Statistical Model Checking ◽  
Machine Learning Methods

Application of machine learning methods for automatic interpretation of open hole logging data

2020 ◽  
pp. 44-47
Author(s):  
M.A. Basyrov ◽  
◽  
A.V. Akinshin ◽  
I.R. Makhmutov ◽  
Yu.D. Kantemirov ◽  
...  
Keyword(s):  
Machine Learning ◽  
Learning Methods ◽  
Machine Learning Methods ◽  
Automatic Interpretation ◽  
Open Hole
Sign in / Sign up

Export Citation Format

Share Document