Filter by
SubjectRequired
LanguageRequired
The language used throughout the course, in both instruction and assessments.
Learning ProductRequired
LevelRequired
DurationRequired
SkillsRequired
SubtitlesRequired
EducatorRequired
Results for "quantitative model checking"
- Status: Free Trial
University of California, Irvine
Skills you'll gain: Unsupervised Learning, Data Analysis, Regression Analysis, Statistical Analysis, Data Mining, Predictive Modeling, Predictive Analytics, Anomaly Detection, Statistical Modeling, Classification And Regression Tree (CART), Machine Learning, Correlation Analysis, Probability & Statistics, Scatter Plots, Market Analysis, Supervised Learning, AI Personalization, Cross Selling
- Status: Free Trial
Illinois Tech
Skills you'll gain: Data Validation, Regression Analysis, Exploratory Data Analysis, Verification And Validation, Plot (Graphics), Mathematical Modeling, Statistical Methods, Statistical Modeling, Data Transformation, Predictive Modeling, Correlation Analysis, Statistical Analysis, R Programming, Statistical Inference, Linear Algebra
- Status: Free Trial
Cisco Learning and Certifications
Skills you'll gain: Software-Defined Networking, YAML, Network Protocols, Network Routing, Computer Networking, Data Modeling, Extensible Markup Language (XML), JSON, Automation, Application Programming Interface (API), Computer Programming Tools
- Status: Free Trial
Coursera Instructor Network
Skills you'll gain: Generative AI, Applied Machine Learning, Large Language Modeling, Strategic Decision-Making, Machine Learning, Integration Testing, Systems Integration, Scalability, Innovation
- Status: Free Trial
University of Colorado Boulder
Skills you'll gain: Computational Logic, Verification And Validation, Theoretical Computer Science, Systems Analysis, System Requirements, Simulations, Algorithms, Linear Algebra
- Status: Free Trial
Johns Hopkins University
Skills you'll gain: PyTorch (Machine Learning Library), Deep Learning, Supervised Learning, Artificial Neural Networks, Image Analysis, Decision Tree Learning, Machine Learning Algorithms, Machine Learning, Computer Vision
- Status: Free Trial
University of Colorado Boulder
Skills you'll gain: Simulations, Electronic Systems, Mathematical Modeling, Electrical Engineering, Matlab, Electrical Systems, Basic Electrical Systems, Laboratory Testing, Engineering Analysis, Applied Mathematics, Test Data
- Status: Free Trial
Arizona State University
Skills you'll gain: Regression Analysis, Experimentation, Statistical Methods, Statistical Analysis, Statistical Modeling, Statistical Software, Mathematical Modeling, Data Analysis Software
- Status: Free Trial
Imperial College London
Skills you'll gain: Epidemiology, Infectious Diseases, Mathematical Modeling, Public Health, R Programming, Differential Equations
Skills you'll gain: Verification And Validation, Systems Analysis, Systems Design, Mathematical Modeling, Programming Principles, Data Structures, Theoretical Computer Science, Distributed Computing, Algorithms
- Status: Free Trial
Johns Hopkins University
Skills you'll gain: Regression Analysis, Correlation Analysis, Statistical Inference, Data Analysis, Statistical Modeling, Statistical Analysis, Probability & Statistics
- Status: Free Trial
University of Colorado Boulder
Skills you'll gain: Debugging, Failure Analysis, Embedded Systems, Cyber Engineering, Simulation and Simulation Software, Technical Communication, Engineering Management, Control Systems, Engineering Practices
In summary, here are 10 of our most popular quantitative model checking courses
- Cluster Analysis, Association Mining, and Model Evaluation:Â University of California, Irvine
- Model Diagnostics and Remedial Measures:Â Illinois Tech
- Introducing Model-Driven Programmability:Â Cisco Learning and Certifications
- GenAI and Model Selection:Â Coursera Instructor Network
- Verification and Synthesis of Autonomous Systems:Â University of Colorado Boulder
- Mastering Neural Networks and Model Regularization:Â Johns Hopkins University
- Equivalent Circuit Cell Model Simulation:Â University of Colorado Boulder
- Response Surfaces, Mixtures, and Model Building:Â Arizona State University
- Developing the SIR Model:Â Imperial College London
- System Validation (2): Model process behaviour:Â EIT Digital