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"
- Status: Free
EIT Digital
Skills you'll gain: Computational Logic, Markov Model, Verification And Validation, Theoretical Computer Science, Mathematical Modeling, Systems Analysis, Statistical Modeling, Probability, Algorithms, Probability Distribution, Real Time Data
EIT Digital
Skills you'll gain: Computational Logic, Theoretical Computer Science, Systems Analysis, Graph Theory, Verification And Validation, Algorithms, Data Structures
Multiple educators
Skills you'll gain: Unsupervised Learning, Supervised Learning, Artificial Intelligence and Machine Learning (AI/ML), Classification And Regression Tree (CART), Machine Learning Algorithms, Machine Learning, Jupyter, Applied Machine Learning, Data Ethics, Decision Tree Learning, Tensorflow, Scikit Learn (Machine Learning Library), NumPy, Predictive Modeling, Deep Learning, Artificial Intelligence, Reinforcement Learning, Random Forest Algorithm, Feature Engineering, Python Programming
- Status: AI skills
Microsoft
Skills you'll gain: Data Storytelling, Dashboard, Excel Formulas, Extract, Transform, Load, Power BI, Data Analysis Expressions (DAX), Microsoft Excel, Data Modeling, Data-Driven Decision-Making, Star Schema, Data Analysis, Data Presentation, Data Visualization Software, Microsoft Power Platform, Data Integrity, Spreadsheet Software, Data Validation, Data Transformation, Data Cleansing, Data Visualization
- Status: New AI skills
Google
Skills you'll gain: Data Storytelling, Data Visualization, Data Presentation, Data Ethics, Rmarkdown, 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), Stakeholder Management, R Programming
- Status: New
University of Colorado Boulder
Skills you'll gain: Computational Logic, Systems Architecture, Verification And Validation, Systems Design, Software Architecture, System Design and Implementation, Functional Specification, Theoretical Computer Science, Network Model, Simulations, Debugging, Graph Theory, Algorithms
- Status: New
Vanderbilt University
Skills you'll gain: Data Storytelling, ChatGPT, Excel Macros, Excel Formulas, Microsoft Excel, Data Visualization, Data Analysis, Presentations, Generative AI, Artificial Intelligence, Data Cleansing, Data Import/Export, Data Integration, Productivity Software, Data Transformation, Data Validation, Exploratory Data Analysis, Creative Thinking, Creativity, Natural Language Processing
- Status: New
Vanderbilt University
Skills you'll gain: Data Storytelling, ChatGPT, Microsoft Excel, Document Management, Data Analysis, SQL, Presentations, Generative AI, Artificial Intelligence, Data Cleansing, Data Import/Export, Query Languages, Data Integration, Data Transformation, Database Management, Data Validation, Debugging, Productivity Software, Creative Thinking, Creativity
Macquarie University
Skills you'll gain: Microsoft Excel, Dashboard, Excel Formulas, Spreadsheet Software, Data Visualization, Excel Macros, Data Validation, Data Analysis Expressions (DAX), Data Cleansing, Data Modeling, Business Intelligence, Workflow Management, Financial Modeling, Data Management, Microsoft 365, Consolidation, Data Integrity, Data Entry, Business Reporting, Productivity Software
DeepLearning.AI
Skills you'll gain: Natural Language Processing, Supervised Learning, Markov Model, Text Mining, Dimensionality Reduction, Artificial Intelligence, Keras (Neural Network Library), Artificial Neural Networks, PyTorch (Machine Learning Library), Machine Learning, Deep Learning, Data Processing, Feature Engineering, Algorithms, Tensorflow, Computer Programming, Machine Learning Methods, Unstructured Data, Regression Analysis, Bayesian Statistics
Kennesaw State University
Skills you'll gain: Value Propositions, Business Modeling, Presentations, Customer Analysis, Innovation, Business Planning, Communication, Customer Relationship Management, Entrepreneurship, Target Market, Business Strategy, Strategic Partnership, Cost Management, Revenue Management, New Business Development
Columbia University
Skills you'll gain: Project Schedules, Construction Management, Construction Estimating, Project Finance, Cost Estimation, Project Risk Management, Bidding, Building Information Modeling, Scheduling, Cost Control, Environment Health And Safety, Risk Management, Project Closure, Lean Methodologies, Project Controls, Real Estate, Cash Flows, Business Transformation, Innovation, Architecture and Construction
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Quantitative Model Checking: EIT Digital
- Automated Reasoning: Symbolic Model Checking: EIT Digital
- Machine Learning: DeepLearning.AI
- Microsoft Power BI Data Analyst: Microsoft
- Google Data Analytics: Google
- Temporal Logic Model Checking : University of Colorado Boulder
- ChatGPT + Excel: AI-Enhanced Data Analysis & Insight: Vanderbilt University
- Generative AI Data Analyst: Vanderbilt University
- Excel Skills for Business: Macquarie University
- Natural Language Processing: DeepLearning.AI