Filter by
SubjectRequired
LanguageRequired
The language used throughout the course, in both instruction and assessments.
Learning ProductRequired
LevelRequired
DurationRequired
SkillsRequired
SubtitlesRequired
EducatorRequired
Results for "model checking"
Stanford University
Skills you'll gain: Bayesian Network, Bayesian Statistics, Statistical Inference, Markov Model, Graph Theory, Sampling (Statistics), Applied Machine Learning, Statistical Methods, Probability & Statistics, Algorithms, Probability Distribution, Machine Learning Algorithms, Computational Thinking
- Status: Free
Stanford University
Skills you'll gain: Game Theory, Strategic Decision-Making, Mathematical Modeling, Graph Theory, Bayesian Statistics, Behavioral Economics, Probability, Economics, Markov Model, Algorithms
Skills you'll gain: Data Cleansing, Sampling (Statistics), Data Integrity, Data Quality, Data Validation, Sample Size Determination, Data Analysis, Data Manipulation, SQL, Data Transformation, Spreadsheet Software
DeepLearning.AI
Skills you'll gain: Classification And Regression Tree (CART), Machine Learning Algorithms, Machine Learning, Applied Machine Learning, Data Ethics, Decision Tree Learning, Tensorflow, Artificial Intelligence, Supervised Learning, Deep Learning, Random Forest Algorithm, Artificial Neural Networks, Performance Tuning
- Status: Free
Georgia Institute of Technology
Skills you'll gain: User Experience Design, Prototyping, User Centered Design, Usability, Requirements Analysis, UI/UX Research, Interaction Design, User Interface (UI) Design, Usability Testing, User Research
- Status: Free
Coursera Project Network
Skills you'll gain: Portfolio Management, Finance, Financial Modeling, Correlation Analysis, Investment Management, Risk Modeling, Equities, Probability & Statistics
Skills you'll gain: Network Security, Hardening, Network Protocols, Cloud Security, Network Architecture, Intrusion Detection and Prevention, TCP/IP, Vulnerability Assessments, Computer Networking, Cyber Attacks, Network Infrastructure, Firewall, Cloud Computing, Virtual Private Networks (VPN)
Stanford University
Skills you'll gain: Bayesian Network, Graph Theory, Probability Distribution, Statistical Modeling, Markov Model, Decision Support Systems, Probability & Statistics, Network Analysis, Applied Machine Learning, Natural Language Processing
DeepLearning.AI
Skills you'll gain: Tensorflow, Deep Learning, Artificial Intelligence and Machine Learning (AI/ML), Performance Tuning, Artificial Neural Networks, Machine Learning Algorithms, Analysis, Debugging
University of Pennsylvania
Skills you'll gain: Risk Modeling, Probability Distribution, Mathematical Modeling, Statistical Modeling, Risk Management, Data Visualization, Predictive Modeling, Data Modeling, Probability & Statistics, Risk Analysis, Simulation and Simulation Software, Forecasting, Data-Driven Decision-Making, Business Analysis, Process Optimization, Microsoft Excel
University of Michigan
Skills you'll gain: Relational Databases, Database Design, SQL, Databases, Web Scraping, Data Modeling, Database Management, Data Visualization Software, Object-Relational Mapping, Object Oriented Programming (OOP), Data Processing, Python Programming, Application Programming Interface (API)
Skills you'll gain: Data Validation, Spreadsheet Software, Data Analysis, Analytics, Data Manipulation, Excel Formulas, Data Compilation, Pivot Tables And Charts, SQL, Data Integration, Data Transformation, User Feedback
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Probabilistic Graphical Models 2: Inference:Â Stanford University
- Game Theory:Â Stanford University
- Process Data from Dirty to Clean:Â Google
- Advanced Learning Algorithms:Â DeepLearning.AI
- Introduction to User Experience Design :Â Georgia Institute of Technology
- Portfolio Optimization using Markowitz Model:Â Coursera Project Network
- Connect and Protect: Networks and Network Security:Â Google
- Probabilistic Graphical Models 1: Representation:Â Stanford University
- Improving Deep Neural Networks: Hyperparameter Tuning, Regularization and Optimization:Â DeepLearning.AI
- Modeling Risk and Realities:Â University of Pennsylvania