Filter by
SubjectRequired
LanguageRequired
The language used throughout the course, in both instruction and assessments.
Learning ProductRequired
LevelRequired
DurationRequired
SkillsRequired
SubtitlesRequired
EducatorRequired
Results for "infinite-state stochastic model checking methods"
New York University
Skills you'll gain: Reinforcement Learning, Financial Trading, Financial Market, Derivatives, Markov Model, Risk Modeling, Financial Forecasting, Finance, Financial Modeling, Technical Analysis, Securities Trading, Portfolio Management, Market Dynamics, Machine Learning, Applied Machine Learning, Financial Analysis, Decision Making, Probability & Statistics
New York University
Skills you'll gain: Reinforcement Learning, Financial Trading, Financial Market, Derivatives, Finance, Market Dynamics, Financial Modeling, Artificial Intelligence and Machine Learning (AI/ML), Market Analysis, Credit Risk, Machine Learning, Risk Analysis, Probability Distribution
- Status: Free
EIT Digital
Skills you'll gain: Computational Logic, Markov Model, Verification And Validation, System Testing, Theoretical Computer Science, Mathematical Modeling, Systems Analysis, Software Testing, Statistical Modeling, Probability, Algorithms, Probability Distribution
University of Colorado Boulder
Skills you'll gain: Markov Model, Mathematical Modeling, Engineering Analysis, Computational Thinking, Simulation and Simulation Software, Numerical Analysis, Differential Equations, Predictive Modeling, Applied Mathematics, Verification And Validation, Linear Algebra, Algorithms
- Status: Free
Yale University
Skills you'll gain: Positive Behavior Support, Goal Setting, Resilience, Self-Awareness, Behavioral Economics, Emotional Intelligence, Mental Health, Psychology, Social Skills, Time Management
DeepLearning.AI
Skills you'll gain: Tensorflow, Deep Learning, Artificial Intelligence and Machine Learning (AI/ML), Performance Tuning, Machine Learning Methods, Artificial Neural Networks, Applied Machine Learning, Machine Learning, Supervised Learning, Machine Learning Algorithms, Network Architecture, Algorithms, Analysis, Debugging
University of Michigan
Skills you'll gain: Negotiation, Contract Negotiation, Conflict Management, Communication, Contract Management, Influencing, Planning, Decision Making, Ethical Standards And Conduct, Industrial and Organizational Psychology
- Status: Free
Skills you'll gain: Verification And Validation, Theoretical Computer Science, System Testing, Embedded Software, System Software, Software Architecture, System Design and Implementation
Duke University
Skills you'll gain: Presentations, Data Storytelling, Data Presentation, Database Design, MySQL, Relational Databases, SQL, Data Visualization, Business Analytics, Business Metrics, Data Visualization Software, Business Process Improvement, Business Intelligence, Tableau Software, Financial Modeling, Microsoft Excel, Excel Formulas, Business Process, Probability Distribution, Business Risk Management
University of Pennsylvania
Skills you'll gain: Financial Statements, Return On Investment, Financial Statement Analysis, Finance, Financial Reporting, Capital Budgeting, Financial Accounting, Financial Modeling, Working Capital, Balance Sheet, Accrual Accounting, Accounting, Cash Flows, Income Statement, Generally Accepted Accounting Principles (GAAP), Financial Analysis, Tax Planning, Equities, Financial Planning, Corporate Finance
EIT Digital
Skills you'll gain: Computational Logic, Theoretical Computer Science, Systems Analysis, Verification And Validation, Algorithms, Data Structures
University of Colorado System
Skills you'll gain: Linear Algebra, Mathematical Modeling, Matlab, Statistical Modeling, Simulations, Applied Mathematics, Probability & Statistics, System Implementation
In summary, here are 10 of our most popular infinite-state stochastic model checking methods courses
- Reinforcement Learning in Finance:Â New York University
- Overview of Advanced Methods of Reinforcement Learning in Finance:Â New York University
- Quantitative Model Checking:Â EIT Digital
- Engineering Genetic Circuits: Abstraction Methods:Â University of Colorado Boulder
- The Science of Well-Being:Â Yale University
- Improving Deep Neural Networks: Hyperparameter Tuning, Regularization and Optimization:Â DeepLearning.AI
- Successful Negotiation: Essential Strategies and Skills:Â University of Michigan
- System Validation: Automata and behavioural equivalences:Â EIT Digital
- Excel to MySQL: Analytic Techniques for Business:Â Duke University
- Introduction to Finance and Accounting:Â University of Pennsylvania