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
EIT Digital
Skills you'll gain: Computational Logic, Theoretical Computer Science, Systems Analysis, Verification And Validation, Algorithms, Data Structures
- 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
University of Colorado Boulder
Skills you'll gain: Computational Logic, Systems Architecture, Verification And Validation, Systems Design, Software Architecture, Theoretical Computer Science, Algorithms, Software Development Tools
- 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), Analytics, Stakeholder Management
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, Natural Language Processing, PyTorch (Machine Learning Library), Risk Management Framework
Multiple educators
Skills you'll gain: Unsupervised Learning, Supervised Learning, Artificial Intelligence and Machine Learning (AI/ML), Classification And Regression Tree (CART), Applied Machine Learning, Machine Learning Algorithms, Machine Learning, Jupyter, 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
University of Pennsylvania
Skills you'll gain: Risk Modeling, Financial Statements, Probability Distribution, Mathematical Modeling, Statistical Modeling, Portfolio Management, Regression Analysis, Business Modeling, Financial Modeling, Strategic Decision-Making, Data Presentation, Risk Management, Decision Making, Data Visualization, Microsoft PowerPoint, Predictive Modeling, Investment Management, Spreadsheet Software, Google Sheets, Excel Formulas
Columbia University
Skills you'll gain: Project Schedules, Construction Management, Construction Estimating, Project Finance, Cost Estimation, Bidding, Building Information Modeling, Scheduling, Cost Control, Environment Health And Safety, Risk Management, Project Closure, Lean Methodologies, Project Controls, Timelines, Real Estate, Cash Flows, Business Transformation, Innovation, Architecture and Construction
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
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
Skills you'll gain: Data Cleansing, Data Analysis, Data Manipulation, Data Import/Export, Exploratory Data Analysis, Predictive Analytics, Data Science, Statistical Analysis, Regression Analysis, Predictive Modeling, Pandas (Python Package), Scikit Learn (Machine Learning Library), Statistical Modeling, Machine Learning Methods, Feature Engineering, Python Programming, NumPy
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
- Microsoft Power BI Data Analyst:Â Microsoft
- Temporal Logic Model Checking :Â University of Colorado Boulder
- Google Data Analytics:Â Google
- Large Language Model Operations (LLMOps):Â Duke University
- Machine Learning:Â DeepLearning.AI
- Business and Financial Modeling:Â University of Pennsylvania
- Construction Management:Â Columbia University
- Model Thinking:Â University of Michigan