Results for "quantitative model checking"
28DIGITAL
Skills you'll gain: Computational Logic, Markov Model, Verification And Validation, Theoretical Computer Science, Mathematical Modeling, Systems Analysis, Statistical Modeling, Probability, Algorithms, Probability Distribution
University of Pennsylvania
Skills you'll gain: Business Modeling, Mathematical Modeling, Regression Analysis, Statistical Modeling, Risk Analysis, Forecasting, Predictive Analytics, Business Analytics, Simulation and Simulation Software, Probability, Logistic Regression, Vocabulary
Skills you'll gain: Selenium (Software), Postman API Platform, JUnit, Test Automation, API Testing, Software Quality Assurance, Test Tools, Test Script Development, Quality Assurance, Unit Testing, Software Testing, Continuous Integration, Automation, Data Validation, Performance Testing, Test Case, Agile Methodology, Integration Testing, Debugging, Javascript
University 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, Capital Expenditure, Excel Formulas, Microsoft Excel, Corporate Finance
Skills you'll gain: Model Context Protocol, Anthropic Claude, AI Workflows, Tool Calling, Program Development, Systems Architecture, Servers, Debugging, JSON, Development Environment, Document Management
Skills you'll gain: Financial Modeling, Descriptive Statistics, Data Literacy, Financial Forecasting, Reconciliation, Financial Analysis, A/B Testing, Portfolio Risk, Model Evaluation, Data Cleansing, Decision Tree Learning, Regression Analysis, Exploratory Data Analysis, Predictive Modeling, Data Analysis, Risk Analysis, Risk Management, R Programming, Statistical Analysis, Machine Learning
What brings you to Coursera today?
Birla Institute of Technology & Science, Pilani
Skills you'll gain: Data Analysis, Computational Logic, Engineering Calculations, Trigonometry, Linear Algebra, Engineering Analysis, Logical Reasoning, Deductive Reasoning, Probability & Statistics, Statistical Analysis, Calculus, Analytical Skills, Bayesian Statistics, Differential Equations, Programming Principles, Statistical Inference, Theoretical Computer Science, Numerical Analysis, Descriptive Analytics, Applied Mathematics
University of Colorado Boulder
Skills you'll gain: Computational Logic, Systems Design, Verification And Validation, Systems Analysis, Software Systems, Theoretical Computer Science, Computational Thinking, System Design and Implementation, Simulations, Programming Principles, Software Architecture, Software Design, Model Evaluation, Graph Theory, Pseudocode, Software Testing, Hardware Architecture, Software Quality Assurance, Computer Architecture, Logical Reasoning
Birla 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
Skills you'll gain: Financial Modeling, Microsoft Excel, Financial Forecasting, Excel Formulas, Cash Flow Forecasting, Auditing, Business Modeling, Data Modeling, Risk Analysis, Financial Analysis, Spreadsheet Software, Business Analytics, Cash Flows, Business Valuation, Verification And Validation, Quality Assurance
Duke University
Skills you'll gain: Prompt Engineering, Databricks, Large Language Modeling, Model Deployment, LLM Application, Generative AI, Performance Analysis, Retrieval-Augmented Generation, Generative Model Architectures, Apache Airflow, Workflow Management, Hugging Face, Amazon Bedrock, Vector Databases, Data Lakes, ChatGPT, Extract, Transform, Load, OpenAI, Multimodal Prompts, MLOps (Machine Learning Operations)
University of London
Skills you'll gain: Business Mathematics, Linear Algebra, Mathematical Modeling, Calculus, Financial Modeling, Algebra, Business Economics, Graphing
In summary, here are 10 of our most popular quantitative model checking courses
- Quantitative Model Checking: 28DIGITAL
- Fundamentals of Quantitative Modeling: University of Pennsylvania
- Software QA & Test Automation Engineering: Coursera
- Finance & Quantitative Modeling for Analysts: University of Pennsylvania
- Introduction to Model Context Protocol: Anthropic
- Quantitative Finance & Risk Modeling: Coursera
- Mathematics for Engineering: Birla Institute of Technology & Science, Pilani
- Fundamentals of Model Checking: University of Colorado Boulder
- Basic Engineering Mathematics: Birla Institute of Technology & Science, Pilani
- Build and Evaluate Robust Financial Models: Coursera
