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"
University of Colorado System
Skills you'll gain: Requirements Analysis, User Requirements Documents, Requirements Elicitation, Agile Methodology, Functional Requirement, Software Documentation, System Requirements, Software Development Life Cycle, Agile Software Development, Waterfall Methodology, Technical Communication
- Status: Free
The Hong Kong University of Science and Technology
Skills you'll gain: Statistical Inference, Statistical Methods, Pandas (Python Package), Probability & Statistics, Risk Analysis, Statistics, Financial Trading, Financial Data, Data Manipulation, Statistical Analysis, Regression Analysis, Financial Analysis, Jupyter, Financial Modeling, Python Programming, Data Import/Export
DeepLearning.AI
Skills you'll gain: Classification And Regression Tree (CART), Machine Learning Algorithms, Machine Learning, Data Ethics, Decision Tree Learning, Tensorflow, Supervised Learning, Deep Learning, Random Forest Algorithm, Artificial Neural Networks, Regression Analysis, Performance Tuning
Amazon Web Services
Skills you'll gain: AWS Identity and Access Management (IAM), Amazon CloudWatch, Amazon DynamoDB, Amazon Web Services, Cloud Computing, Amazon S3, Scalability, Cloud Infrastructure, Amazon Elastic Compute Cloud, Cloud Security, Serverless Computing, Cloud Storage, Databases, Virtual Private Networks (VPN), Load Balancing, General Networking, Virtual Machines, Containerization
University of Pennsylvania
Skills you'll gain: Risk Modeling, Probability Distribution, Mathematical Modeling, Risk Management, Data Visualization, Predictive Modeling, Data Modeling, Probability, Strategic Decision-Making, Simulation and Simulation Software, Forecasting, Data-Driven Decision-Making, Statistics, Microsoft Excel
DeepLearning.AI
Skills you'll gain: Tensorflow, Deep Learning, Artificial Intelligence and Machine Learning (AI/ML), Performance Tuning, Machine Learning Methods, Artificial Neural Networks, Applied Machine Learning, Machine Learning, Supervised Learning, Machine Learning Algorithms, Network Architecture, Algorithms, Analysis, Debugging
DeepLearning.AI
Skills you'll gain: iOS Development, Android Development, Tensorflow, Swift Programming, Mobile Development, Application Deployment, Applied Machine Learning, Deep Learning, Embedded Systems, Computer Vision, Machine Learning
DeepLearning.AI
Skills you'll gain: Generative AI, PyTorch (Machine Learning Library), Deep Learning, Tensorflow, Artificial Intelligence, Applied Machine Learning, Scalability, Natural Language Processing, Machine Learning Methods, Application Deployment, Reinforcement Learning, User Feedback, Performance Tuning, Application Performance Management
University of Michigan
Skills you'll gain: Relational Databases, Database Design, SQL, Databases, Web Scraping, Data Modeling, Database Management, Data Visualization Software, Object Oriented Programming (OOP), Data Processing, Data Storage, Python Programming, Application Programming Interface (API)
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
Universidad Nacional Autónoma de México
Skills you'll gain: Bayesian Network, Computational Logic, Artificial Intelligence, Markov Model, Theoretical Computer Science, Decision Support Systems, Deductive Reasoning, Verification And Validation, Mathematical Modeling, Python Programming, Algorithms, Probability Distribution
University of California, Davis
Skills you'll gain: Data Governance, SQL, Data Quality, Query Languages, Data Manipulation, Data Modeling, Relational Databases, Data Science, Data Analysis, Database Management Systems, Descriptive Statistics
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Requirements Gathering for Secure Software Development:Â University of Colorado System
- Python and Statistics for Financial Analysis:Â The Hong Kong University of Science and Technology
- Advanced Learning Algorithms:Â DeepLearning.AI
- AWS Cloud Technical Essentials:Â Amazon Web Services
- Modeling Risk and Realities:Â University of Pennsylvania
- Improving Deep Neural Networks: Hyperparameter Tuning, Regularization and Optimization:Â DeepLearning.AI
- Device-based Models with TensorFlow Lite:Â DeepLearning.AI
- Generative AI with Large Language Models:Â DeepLearning.AI
- Using Databases with Python:Â University of Michigan
- Software Design and Architecture:Â University of Alberta