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"
DeepLearning.AI
Skills you'll gain: MLOps (Machine Learning Operations), Application Deployment, Continuous Deployment, Software Development Life Cycle, Machine Learning, Applied Machine Learning, Data Validation, Feature Engineering, Data Quality, Debugging, Continuous Monitoring, Data Pipelines
- Status: [object Object]
Google
Skills you'll gain: Data Storytelling, Rmarkdown, Data Visualization, Data Presentation, Data Ethics, Interactive Data Visualization, Interviewing Skills, Data Cleansing, Data Validation, Ggplot2, Tableau Software, Presentations, Spreadsheet Software, Data Analysis, Data Visualization Software, Stakeholder Communications, Dashboard, Sampling (Statistics), Analytics, Stakeholder Management
- Status: Free
DeepLearning.AI
Skills you'll gain: Generative AI, Jupyter, PyTorch (Machine Learning Library), Image Analysis, Sampling (Statistics), Deep Learning, Artificial Neural Networks, Artificial Intelligence and Machine Learning (AI/ML), Algorithms
- Status: Free
Georgia Institute of Technology
Skills you'll gain: User Experience Design, Prototyping, User Centered Design, Usability, Requirements Analysis, User Interface (UI), Interaction Design, Usability Testing, User Research
Skills you'll gain: Jupyter, Data Modeling, Data Science, Application Deployment, Data-Driven Decision-Making, User Feedback, Data Mining, Data Cleansing, Business Research, Data Manipulation, Business Analysis, Data Processing, Predictive Modeling, Continuous Improvement Process
Skills you'll gain: PyTorch (Machine Learning Library), Supervised Learning, Feature Engineering, Generative AI, Keras (Neural Network Library), Jupyter, Unsupervised Learning, Natural Language Processing, Reinforcement Learning, Deep Learning, Scikit Learn (Machine Learning Library), Machine Learning Algorithms, Data Manipulation, Tensorflow, Python Programming, Verification And Validation, Applied Machine Learning, ChatGPT, Artificial Neural Networks, Statistical Machine Learning
University of Michigan
Skills you'll gain: Mathematical Modeling, Systems Thinking, Innovation, Behavioral Economics, Analysis, Strategic Decision-Making, Social Studies, Decision Making, Complex Problem Solving, Trend Analysis, Economics, Critical Thinking, Probability, Market Analysis, Human Learning
Skills you'll gain: Computer Networking, Network Troubleshooting, TCP/IP, Network Architecture, Routing Protocols, Network Protocols, OSI Models, Network Infrastructure, Dynamic Host Configuration Protocol (DHCP), Virtual Private Networks (VPN), Network Security, Wireless Networks
Vanderbilt University
Skills you'll gain: Data Storytelling, ChatGPT, Excel Macros, Excel Formulas, Microsoft Excel, Data Visualization, Spreadsheet Software, Data Analysis, Presentations, Generative AI, Artificial Intelligence, Data Cleansing, Data Import/Export, Data Integration, Productivity Software, Data Transformation, Data Validation, Creative Thinking, Creative Problem-Solving, Natural Language Processing
Google Cloud
Skills you'll gain: Generative AI, Google Cloud Platform, Artificial Intelligence, Natural Language Processing, Performance Tuning
Skills you'll gain: Business Intelligence, Data Modeling, Dashboard, Database Design, Extract, Transform, Load, Data Integration, Stakeholder Engagement, Data Warehousing, Databases, Data Presentation, Performance Tuning, Data Pipelines, Database Systems, Data Visualization Software, Business Reporting, Data Integrity, Business Analytics, Real Time Data, Requirements Elicitation, Scalability
Skills you'll gain: Unified Modeling Language, Systems Engineering, Software Systems, Systems Architecture, Systems Analysis, System Design and Implementation, Systems Integration, Interoperability, Solution Architecture, Requirements Analysis, Verification And Validation, Hardware Architecture
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Machine Learning in Production:Â DeepLearning.AI
- Google Data Analytics:Â Google
- How Diffusion Models Work:Â DeepLearning.AI
- Introduction to User Experience Design :Â Georgia Institute of Technology
- Data Science Methodology:Â IBM
- IBM AI Engineering:Â IBM
- Model Thinking:Â University of Michigan
- The Bits and Bytes of Computer Networking:Â Google
- ChatGPT + Excel: AI-Enhanced Data Analysis & Insight:Â Vanderbilt University
- Introduction to Large Language Models:Â Google Cloud