Results for "quantitative model checking"
EIT Digital
Skills you'll gain: Computational Logic, Markov Model, Verification And Validation, Theoretical Computer Science, Mathematical Modeling, Systems Analysis, Probability, Algorithms, Graph Theory, Probability Distribution
Status: Free TrialUniversity of Pennsylvania
Skills you'll gain: Business Modeling, Mathematical Modeling, Regression Analysis, Statistical Modeling, Risk Analysis, Process Optimization, Forecasting, Predictive Analytics, Business Analytics, Simulation and Simulation Software, Probability, Vocabulary
Status: NewStatus: PreviewUniversity of Colorado Boulder
Skills you'll gain: Deductive Reasoning, Test Case, Program Development
Status: Free TrialUniversity of Pennsylvania
Skills you'll gain: Financial Reporting, Return On Investment, Financial Acumen, Financial Data, Capital Budgeting, Financial Statements, Business Modeling, Mathematical Modeling, Finance, Regression Analysis, Financial Modeling, Statistical Modeling, Income Statement, Risk Analysis, Financial Analysis, Spreadsheet Software, Business Reporting, Capital Expenditure, Microsoft Excel, Corporate Finance
Status: NewStatus: Free TrialBirla Institute of Technology & Science, Pilani
Skills you'll gain: Engineering Calculations, Data Analysis, Trigonometry, Engineering Analysis, Probability & Statistics, Computational Logic, Statistical Analysis, Linear Algebra, Logical Reasoning, Deductive Reasoning, Calculus, Analytics, Bayesian Statistics, Statistical Modeling, Artificial Intelligence and Machine Learning (AI/ML), Differential Equations, Statistical Inference, Theoretical Computer Science, Programming Principles, Descriptive Analytics
Status: Free TrialSkills you'll gain: Data Collection, Research Design, Research Methodologies, Qualitative Research, Data Ethics, Quantitative Research, Data Integration, Data Presentation, Data Storytelling, Research, Report Writing, Surveys, Interactive Data Visualization, Stakeholder Communications, Presentations, Data Analysis, Data Management, Analysis
What brings you to Coursera today?
Status: NewStatus: PreviewSkills you'll gain: Application Lifecycle Management, Azure DevOps, CI/CD, DevSecOps, Continuous Delivery, GitLab, Continuous Integration, DevOps, Data Validation, Data Quality, Test Automation, Workflow Management, Extract, Transform, Load, Test Case, Enterprise Architecture, Governance, Data Pipelines, Scalability, SQL
Status: Free TrialSkills you'll gain: Quantitative Research, Data-Driven Decision-Making, Descriptive Statistics, Data Analysis, Statistical Reporting, Statistics, Research Design, Statistical Analysis, Microsoft Excel, Research Methodologies, Research, R Programming, Data Presentation, Surveys, Data Collection, Data Ethics
Status: NewStatus: PreviewSkills you'll gain: Tool Calling, LLM Application, Prompt Engineering, Application Programming Interface (API), Program Development, Systems Architecture, Test Tools, Server Side, Development Testing, Debugging, Application Design, Document Management
University of Colorado Boulder
Skills you'll gain: Verification And Validation, Systems Design, Theoretical Computer Science, Systems Analysis, Computer Architecture, Software Architecture, Simulations, Graph Theory, Hardware Architecture, Logical Reasoning
Status: Free TrialBirla Institute of Technology & Science, Pilani
Skills you'll gain: Engineering Calculations, Trigonometry, Engineering Analysis, Linear Algebra, Calculus, Differential Equations, Mathematical Modeling, Mathematical Theory & Analysis, Applied Mathematics, Algebra
Status: NewStatus: PreviewSkills you'll gain: Web Servers, File Management, Server Side
In summary, here are 10 of our most popular quantitative model checking courses
- Quantitative Model Checking: EIT Digital
- Fundamentals of Quantitative Modeling: University of Pennsylvania
- Model Checking with SAT and SMT : University of Colorado Boulder
- Finance & Quantitative Modeling for Analysts: University of Pennsylvania
- Mathematics for Engineering: Birla Institute of Technology & Science, Pilani
- Mixed Methods Research: Bridging Qualitative & Quantitative: Coursera
- Advanced Data Testing for Quality at Scale: Coursera
- Quantitative Research Methods: Tools for Data Analysis: Coursera
- Introduction to Model Context Protocol: Anthropic
- Introduction to Modeling for Formal Verification: University of Colorado Boulder
