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, System Testing, Theoretical Computer Science, Mathematical Modeling, Systems Analysis, Software Testing, Statistical Modeling, Probability, Algorithms, Probability Distribution
EIT Digital
Skills you'll gain: Computational Logic, Theoretical Computer Science, Systems Analysis, Verification And Validation, Algorithms, Data Structures
- Status: New
Vanderbilt University
Skills you'll gain: ChatGPT, Excel Macros, Excel Formulas, Microsoft Excel, Data Visualization, Generative AI, Artificial Intelligence, Productivity Software, Creative Thinking, Creativity, Business Process Automation, Scripting, Data Validation, Natural Language Processing, Prototyping, Problem Solving, Data Import/Export, Debugging, Application Development, Communication
- Status: New AI skills
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
Vanderbilt University
Skills you'll gain: ChatGPT, Verification And Validation, Document Management, Generative AI, Creative Thinking, Artificial Intelligence, Brainstorming, Risk Management Framework, OpenAI, Pivot Tables And Charts, Microsoft Excel, Creativity, Data Ethics, Data Analysis, Natural Language Processing, Data Transformation, Technical Communication, Problem Solving, Solution Design, Data Validation
- Status: New
University of Colorado Boulder
Skills you'll gain: Computational Logic, Systems Architecture, Verification And Validation, Software Architecture, System Design and Implementation, Theoretical Computer Science, Data Structures, Algorithms, Software Development Tools
- 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
Vanderbilt University
Skills you'll gain: ChatGPT, Document Management, SQL, Generative AI, Artificial Intelligence, Query Languages, Database Management, Data Analysis, Pivot Tables And Charts, Debugging, Microsoft Excel, Data-Driven Decision-Making, Creative Thinking, Exploratory Data Analysis, Creativity, Big Data, Data Visualization Software, Natural Language Processing, Data Transformation, Data Validation
Duke University
Skills you'll gain: Databricks, Generative AI, Performance Analysis, Apache Airflow, Workflow Management, Data Lakes, ChatGPT, Extract, Transform, Load, OpenAI, AWS SageMaker, Performance Tuning, Scalability, Data Transformation, Data Infrastructure, Microsoft Azure, MLOps (Machine Learning Operations), Amazon Web Services, PyTorch (Machine Learning Library), Risk Management Framework, Natural Language Processing
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, Reinforcement Learning, Random Forest Algorithm, Feature Engineering, Artificial Intelligence, Python Programming
Skills you'll gain: Data Wrangling, Data Cleansing, Data Analysis, Data Manipulation, Data Import/Export, Exploratory Data Analysis, Statistical Analysis, Regression Analysis, Predictive Modeling, Pandas (Python Package), Scikit Learn (Machine Learning Library), Data-Driven Decision-Making, Statistical Modeling, Machine Learning Methods, Feature Engineering, Python Programming, NumPy
- Status: Free
Yale University
Skills you'll gain: Psychology, Mental and Behavioral Health Specialties, Psychiatry, Mental Health, Human Development, Human Learning, Social Sciences, Psychotherapy, Behavioral Health, Sociology, Creativity, Non-Verbal Communication
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
- ChatGPT + Excel: AI-Enhanced Data Analysis & Insight:Â Vanderbilt University
- Google Data Analytics:Â Google
- Prompt Engineering:Â Vanderbilt University
- Temporal Logic Model Checking :Â University of Colorado Boulder
- Microsoft Power BI Data Analyst:Â Microsoft
- Generative AI Data Analyst:Â Vanderbilt University
- Large Language Model Operations (LLMOps):Â Duke University
- Machine Learning:Â DeepLearning.AI