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
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
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?
Coursera
Skills you'll gain: Unit Testing, Test Driven Development (TDD), CI/CD, Software Testing, Model Deployment, Testability, MLOps (Machine Learning Operations), Tensorflow, Maintainability, Software Engineering, Machine Learning Methods, Python Programming
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
Coursera
Skills you'll gain: MLOps (Machine Learning Operations), Data Pipelines, Model Evaluation, Systems Design, Transfer Learning, Data Preprocessing, Data Quality, Feature Engineering, Deep Learning, Python Programming, Data Validation, Scikit Learn (Machine Learning Library), Applied Machine Learning, Predictive Modeling, Software Engineering, Debugging, Supervised Learning, Git (Version Control System), Performance Metric, Statistical Analysis
Skills you'll gain: Model Deployment, MLOps (Machine Learning Operations), AWS SageMaker, Software Documentation, Data Pipelines, Tensorflow, Model Evaluation, Apache Airflow, Systems Design, Cloud Computing Architecture, Transfer Learning, Unit Testing, Cloud Deployment, PyTorch (Machine Learning Library), API Design, Cloud Computing, Network Architecture, Deep Learning, Python Programming, Data Validation
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: Simulation and Simulation Software, Control Systems, Mathematical Modeling, Data Import/Export, Systems Engineering, Performance Tuning, Scenario Testing, Matlab
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
- Fundamentals of Model Checking: University of Colorado Boulder
- Quantitative Finance & Risk Modeling: Coursera
- Apply Test-Driven ML Code: Coursera
- Mathematics for Engineering: Birla Institute of Technology & Science, Pilani
- ML Model Training & Validation: Coursera
- AI Model Development & Deployment: Coursera
