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
University of Minnesota
Skills you'll gain: Test Automation, Regression Testing, Software Testing, Software Development Tools, Unit Testing, Software Engineering Tools, Software Technical Review, JUnit, Development Testing, System Testing, Code Coverage, Security Testing, Verification And Validation, Test Case, Test Data, Debugging, Automation, Application Security, Vulnerability Scanning, Java Programming
The Hong Kong University of Science and Technology
Skills you'll gain: Differential Equations, Linear Algebra, Matlab, Engineering Calculations, Engineering Analysis, Numerical Analysis, Finite Element Methods, Integral Calculus, Mechanical Engineering, Calculus, Algebra, Advanced Mathematics, Applied Mathematics, Mathematical Modeling, Civil Engineering, General Mathematics, Computational Thinking, Engineering, Mathematical Theory & Analysis, Geometry
EIT Digital
Skills you'll gain: Embedded Systems, Computer Programming, C (Programming Language), Real Time Data, System Design and Implementation, System Software, Operating Systems, System Requirements, Computer Architecture, Verification And Validation, Algorithms
Skills you'll gain: SQL, Jupyter, Data Mining, Data Modeling, Databases, Data Science, Stored Procedure, Relational Databases, R Programming, Database Design, Query Languages, Database Management, Big Data, Computer Programming Tools, GitHub, Data Visualization Software, Application Deployment, Data-Driven Decision-Making, Cloud Computing, Data Analysis
University of Colorado Boulder
Skills you'll gain: Computational Logic, Mathematical Modeling, Model Based Systems Engineering, Systems Design, Theoretical Computer Science, Verification And Validation, System Requirements, Systems Architecture, Software Systems, Simulations, Automation, Systems Engineering, Mechanics, Requirements Analysis, Computer Systems, Systems Analysis, Safety Assurance, Linear Algebra, Differential Equations, Algorithms
EIT Digital
Skills you'll gain: Embedded Systems, Embedded Software, Internet Of Things, Cryptography, Operating Systems, Security Requirements Analysis, Network Architecture, Network Security, Cybersecurity, Real Time Data, Web Services, Encryption, Engineering Software, Network Protocols, Public Key Cryptography Standards (PKCS), Wireless Networks, Computer Programming, C (Programming Language), System Testing, System Design and Implementation
University of Minnesota
Skills you'll gain: Software Testing, JUnit, Verification And Validation, Unit Testing, Test Case, Test Automation, Development Testing, Test Planning, Code Coverage, Software Quality Assurance, Functional Testing, Testability, Integration Testing, Test Data, Issue Tracking
University of Amsterdam
Skills you'll gain: Qualitative Research, Statistical Hypothesis Testing, Scientific Methods, Descriptive Statistics, Statistical Inference, Statistical Analysis, Statistical Software, Probability Distribution, Research, Correlation Analysis, Research Design, Sampling (Statistics), Research Reports, Science and Research, Probability, Interviewing Skills, Data Analysis, Sample Size Determination, Statistical Methods, Social Sciences
University of Washington
Skills you'll gain: Regression Analysis, Predictive Modeling, Supervised Learning, Statistical Modeling, Applied Machine Learning, Machine Learning Algorithms, Feature Engineering, Machine Learning, Statistical Methods, Dimensionality Reduction, Python Programming, Data Validation
University of Washington
Skills you'll gain: Classification And Regression Tree (CART), Applied Machine Learning, Supervised Learning, Predictive Modeling, Text Mining, Machine Learning Algorithms, Feature Engineering, Data Cleansing, Scalability, Machine Learning, Natural Language Processing, Real Time Data, Probability & Statistics, Algorithms
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
In summary, here are 10 of our most popular infinite-state stochastic model checking methods courses
- Reinforcement Learning in Finance:Â New York University
- Introduction to Automated Analysis:Â University of Minnesota
- Mathematics for Engineers:Â The Hong Kong University of Science and Technology
- Development of Real-Time Systems:Â EIT Digital
- Introduction to Data Science:Â IBM
- Foundations of Autonomous Systems:Â University of Colorado Boulder
- Development of Secure Embedded Systems:Â EIT Digital
- Introduction to Software Testing:Â University of Minnesota
- Methods and Statistics in Social Sciences:Â University of Amsterdam
- Machine Learning: Regression:Â University of Washington