Filter by
The language used throughout the course, in both instruction and assessments.
Results for "infinite-state+stochastic+model+checking+methods"
Icahn School of Medicine at Mount Sinai
Skills you'll gain: Matlab, Mathematical Modeling, Differential Equations, Computational Thinking, Applied Mathematics, Simulations, Statistical Modeling, Predictive Modeling, Probability, Life Sciences, Systems Analysis, Basic Electrical Systems
- Status: Free
Skills you'll gain: Verification And Validation, Theoretical Computer Science, System Testing, Embedded Software, System Software, Software Architecture, System Design and Implementation
- Status: Free
National Taiwan University
Skills you'll gain: Probability, Probability Distribution, Probability & Statistics, Statistical Methods, Combinatorics
- Status: Free
University of California, Santa Cruz
Skills you'll gain: Systems Design, Model Based Systems Engineering, Mathematical Modeling, Simulations, Embedded Systems, Computational Logic, Basic Electrical Systems, Digital Communications, Differential Equations, Estimation, Algorithms, Linear Algebra
University of Colorado System
Skills you'll gain: Cryptography, Arithmetic, Algorithms, Applied Mathematics, Probability
Columbia University
Skills you'll gain: Regression Analysis, Derivatives, Financial Market, Market Data, Financial Modeling, Securities (Finance), Risk Modeling, Financial Trading, Financial Systems, Statistical Analysis, Statistical Modeling, Mathematical Modeling, Numerical Analysis, Equities, Estimation, Applied Mathematics, Python Programming, Process Optimization, Probability Distribution, Data Analysis
Google Cloud
Skills you'll gain: Cyber Operations, Security Management, Continuous Monitoring, Cybersecurity, Cyber Security Strategy, Threat Management, DevOps, Threat Detection, Cyber Security Assessment, Incident Response, Site Reliability Engineering, Digital Transformation, Agile Methodology, Automation
Skills you'll gain: Time Series Analysis and Forecasting, Deep Learning, Statistical Analysis, Predictive Modeling, Statistical Methods, Forecasting, Jupyter, Data Cleansing, Applied Machine Learning, Exploratory Data Analysis, Pandas (Python Package), NumPy
CertNexus
Skills you'll gain: Data Ethics, Accountability, Risk Management, Operational Risk, Risk Analysis, Information Privacy, Risk Mitigation, Personally Identifiable Information, Safety and Security, Business Ethics, Artificial Intelligence, Diversity and Inclusion
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
- 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: Reliability, Performance Tuning, Embedded Software, Embedded Systems, Debugging, Performance Testing, System Programming, Safety Assurance, Systems Architecture, Systems Design, Hardware Architecture, Software Design, Real Time Data, Testability, Failure Analysis, Data Integrity, Linux
In summary, here are 10 of our most popular infinite-state+stochastic+model+checking+methods courses
- Dynamical Modeling Methods for Systems Biology: Icahn School of Medicine at Mount Sinai
- System Validation: Automata and behavioural equivalences: EIT Digital
- é ‘æƒ³å¸æ¦‚率:機率一 (Probability (1)): National Taiwan University
- Cyber-Physical Systems: Modeling and Simulation: University of California, Santa Cruz
- Mathematical Foundations for Cryptography: University of Colorado System
- Computational Methods in Pricing and Model Calibration: Columbia University
- Modern Security Operations: Google Cloud
- Specialized Models: Time Series and Survival Analysis: IBM
- Detect and Mitigate Ethical Risks: CertNexus
- Reinforcement Learning in Finance: New York University