Filter by
The language used throughout the course, in both instruction and assessments.
Results for "infinite-state+stochastic+model+checking+methods"
Arizona State University
Skills you'll gain: ChatGPT, OpenAI, Data Ethics, Generative AI, Artificial Intelligence, Creativity, Natural Language Processing, Research, Innovation
University of Colorado Boulder
Skills you'll gain: Estimation, Applied Mathematics, Simulation and Simulation Software, Mathematical Modeling, Anomaly Detection, Probability, Statistical Process Controls, Systems Engineering, Performance Tuning, Differential Equations
University of California, Santa Cruz
Skills you'll gain: Bayesian Statistics, Statistical Modeling, Statistical Methods, Markov Model, Statistical Analysis, Regression Analysis, R Programming, Simulations, Statistical Inference, Probability, Probability Distribution, Algorithms
University of Alberta
Skills you'll gain: Reinforcement Learning, Artificial Intelligence and Machine Learning (AI/ML), Systems Development, Solution Architecture, Simulations, Performance Testing, Artificial Neural Networks, Applied Machine Learning, Machine Learning Algorithms, Markov Model, Algorithms, Technical Writing
Skills you'll gain: Descriptive Analytics, Supply Chain, Supply Chain Management, Supply Chain Planning, Transportation, Supply Chain, and Logistics, Predictive Analytics, Forecasting, Inventory Management System, Data-Driven Decision-Making, Business Analytics, Advanced Analytics, Analytics, SQL, Data Presentation, Data Analysis, Technical Communication, Data Manipulation, Statistical Reporting, Python Programming
Johns Hopkins University
Skills you'll gain: Calculus, Integral Calculus, Advanced Mathematics, Applied Mathematics, Numerical Analysis, Mathematical Modeling, Derivatives
University of Colorado Boulder
Skills you'll gain: Embedded Systems, Real Time Data, Software Systems, System Programming, Operating Systems, System Design and Implementation, Linux, Mathematical Software, Verification And Validation, Algorithms
Universidad Nacional Autónoma de México
Skills you'll gain: Bayesian Network, Computational Logic, Artificial Intelligence, Markov Model, Theoretical Computer Science, Decision Support Systems, Deductive Reasoning, Verification And Validation, Mathematical Modeling, Python Programming, Algorithms, Probability Distribution
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
Johns Hopkins University
Skills you'll gain: Data Modeling, Graphing, Mathematical Modeling, Algebra, Trigonometry, Linear Algebra, Calculus, Advanced Mathematics, Applied Mathematics, Geometry
Skills you'll gain: Simulation and Simulation Software, Engineering Design Process, Mathematical Modeling, Engineering Analysis, Systems Analysis, Engineering, Test Data, Systems Design, Control Panels, Process Control, Matlab
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
In summary, here are 10 of our most popular infinite-state+stochastic+model+checking+methods courses
- AI Foundations: Prompt Engineering with ChatGPT: Arizona State University
- Battery State-of-Charge (SOC) Estimation: University of Colorado Boulder
- Bayesian Statistics: Techniques and Models: University of California, Santa Cruz
- A Complete Reinforcement Learning System (Capstone): University of Alberta
- Implementing Supply Chain Analytics: Unilever
- Calculus through Data & Modelling: Series and Integration: Johns Hopkins University
- Real-Time Embedded Systems Theory and Analysis: University of Colorado Boulder
- Razonamiento artificial: Universidad Nacional Autónoma de México
- Development of Real-Time Systems: EIT Digital
- Calculus through Data & Modeling: Precalculus Review: Johns Hopkins University