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: Deep Learning, Statistical Analysis, Clinical Trials, Feature Engineering, Risk Modeling, Treatment Planning, Decision Tree Learning, Predictive Modeling, Applied Machine Learning, Patient Treatment, Image Analysis, Predictive Analytics, Machine Learning, Random Forest Algorithm, Forecasting, Data Processing, Artificial Intelligence, Classification And Regression Tree (CART), Data Manipulation, Text Mining
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, Risk Management, Presentations, Decision Making, Data Visualization, Microsoft PowerPoint, Predictive Modeling, Investment Management, Spreadsheet Software, Google Sheets, Excel Formulas
- Status: Free
Yale University
Skills you'll gain: Psychology, Psychiatry, Clinical Psychology, Mental Health, Human Development, Human Learning, Social Sciences, Behavioral Health, Sociology, Creativity
Northwestern University
Skills you'll gain: Influencing, Persuasive Communication, Design Thinking, Data-Driven Decision-Making, Leadership, Strategic Communication, Innovation, Collaboration, Business Leadership, Crisis Management, Negotiation, Organizational Leadership, Ideation, Team Leadership, Resource Allocation, Human Centered Design, Strategic Leadership, Corporate Communications, Marketing Analytics, Data Science
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
University of California, Santa Cruz
Skills you'll gain: Time Series Analysis and Forecasting, Bayesian Statistics, R Programming, Forecasting, Statistical Inference, Statistical Modeling, Technical Communication, Data Analysis, Probability, Statistical Machine Learning, Statistical Methods, Statistical Analysis, Advanced Analytics, Microsoft Excel, Markov Model, Probability Distribution, Probability & Statistics, Unsupervised Learning, Regression Analysis, Predictive Modeling
University of California, Davis
Skills you'll gain: ArcGIS, GIS Software, Spatial Data Analysis, Spatial Analysis, Data Storytelling, Geographic Information Systems, Data Presentation, Data Sharing, Geospatial Mapping, Geospatial Information and Technology, Land Management, Heat Maps, Epidemiology, Metadata Management, Data Quality, Data Mapping, Data Visualization Software, File Management, Network Analysis, Data Modeling
- 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
DeepLearning.AI
Skills you'll gain: Tensorflow, Keras (Neural Network Library), Computer Vision, Image Analysis, Applied Machine Learning, Deep Learning, Artificial Neural Networks, Machine Learning, Supervised Learning, Data Processing, Data Transformation
University of Alberta
Skills you'll gain: Software Architecture, Model View Controller, Unified Modeling Language, Object Oriented Design, Service Oriented Architecture, API Design, Systems Architecture, Web Services, Software Design Patterns, Software Design, Simple Object Access Protocol (SOAP), Microservices, Restful API, Software Visualization, Code Review, Solution Architecture, Software Systems, Object Oriented Programming (OOP), Java, Software Development
Skills you'll gain: Data Storytelling, Presentations, Rmarkdown, Data Presentation, Data Cleansing, Data Visualization, Ggplot2, Data Validation, Spreadsheet Software, Data Visualization Software, Data Ethics, Data Analysis, Data-Driven Decision-Making, Tableau Software, Data Processing, Dashboard, Business Analysis, Stakeholder Communications, Analytical Skills, Databases
University of Alberta
Skills you'll gain: Reinforcement Learning, Machine Learning, Sampling (Statistics), Artificial Intelligence and Machine Learning (AI/ML), Artificial Intelligence, Machine Learning Algorithms, Deep Learning, Systems Development, Simulations, Solution Architecture, Markov Model, Supervised Learning, Artificial Neural Networks, Applied Machine Learning, Performance Testing, Algorithms, Statistical Methods, Pseudocode, Linear Algebra, Probability Distribution
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- AI for Medicine:Â DeepLearning.AI
- Business and Financial Modeling:Â University of Pennsylvania
- Introduction to Psychology :Â Yale University
- Organizational Leadership:Â Northwestern University
- Google Business Intelligence:Â Google
- Bayesian Statistics:Â University of California, Santa Cruz
- Geographic Information Systems (GIS):Â University of California, Davis
- Introduction to User Experience Design :Â Georgia Institute of Technology
- Convolutional Neural Networks in TensorFlow:Â DeepLearning.AI
- Software Design and Architecture:Â University of Alberta