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 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
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
University of Illinois Urbana-Champaign
Skills you'll gain: New Product Development, Product Development, Design Thinking, Market Research, Quantitative Research, Product Management, Customer Insights, Consumer Behaviour, Market Analysis, Target Market, Forecasting, Innovation, Needs Assessment, Analysis, Data Collection, Technology Solutions
- Status: Free Trial
University of Colorado Boulder
Skills you'll gain: Real-Time Operating Systems, Embedded Systems, Embedded Software, Software Design, Linux, System Design and Implementation, Performance Tuning, C (Programming Language), Verification And Validation, Algorithms, Debugging
Coursera Project Network
Skills you'll gain: Business Modeling, Customer Relationship Management, Entrepreneurship, New Business Development, Business Planning, Telecommuting, Business Strategy, Value Propositions, Collaborative Software
- 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: Preview
Skills you'll gain: Derivatives, Financial Market, Risk Modeling, Mathematical Modeling, Financial Modeling, Credit Risk, Risk Management, Portfolio Management, Probability, Differential Equations, Applied Mathematics, Probability Distribution, Calculus
- Status: Preview
Erasmus University Rotterdam
Skills you'll gain: Stakeholder Management, Business Modeling, New Business Development, Key Performance Indicators (KPIs), Business Analysis, Corporate Sustainability, Environmental Resource Management, Financial Analysis, Systems Thinking, Innovation, Value Propositions
Google Cloud
Skills you'll gain: Google Cloud Platform, Cloud Computing, Generative AI, Artificial Intelligence and Machine Learning (AI/ML), Machine Learning Methods
Coursera Project Network
Skills you'll gain: Business Modeling, Presentations, Business Planning, Data Visualization, Entrepreneurship, Value Propositions, Brainstorming, New Business Development, Collaborative Software
- Status: NewStatus: Free Trial
Board Infinity
Skills you'll gain: SAP Applications, Business Logic, Application Deployment, Unit Testing, Restful API, Application Development, Software Architecture, Enterprise Application Management, Data Modeling, Back-End Web Development, User Interface (UI), Data Validation
Coursera Project Network
Skills you'll gain: ChatGPT, Keras (Neural Network Library), Applied Machine Learning, Image Analysis, Machine Learning Methods, Data Import/Export, Test Data, Machine Learning, Python Programming, Performance Tuning, Artificial Neural Networks, Data Processing, Deep Learning
In summary, here are 10 of our most popular quantitative model checking courses
- Verification and Synthesis of Autonomous Systems:Â University of Colorado Boulder
- GenAI and Model Selection:Â Coursera Instructor Network
- Customer Insights: Quantitative Techniques:Â University of Illinois Urbana-Champaign
- Real-Time Embedded Systems Theory and Analysis:Â University of Colorado Boulder
- Créer un Business Model Canva avec Mural: Coursera Project Network
- Cluster Analysis, Association Mining, and Model Evaluation:Â University of California, Irvine
- Pricing Options with Mathematical Models:Â Caltech
- Business Model Innovation for Sustainable Landscape Restoration:Â Erasmus University Rotterdam
- Explore and Evaluate Models using Model Garden:Â Google Cloud
- Design a Business Model Canvas with Miro:Â Coursera Project Network