Filter by
SubjectRequired
LanguageRequired
The language used throughout the course, in both instruction and assessments.
Learning ProductRequired
LevelRequired
DurationRequired
SkillsRequired
SubtitlesRequired
EducatorRequired
Results for "model checking"
Arizona State University
Skills you'll gain: Design Research, Innovation, Creativity, Design Thinking, Creative Thinking, Design, Brainstorming, Creative Problem-Solving, Ideation, Design Strategies, Aesthetics, Business Planning, Resourcefulness, Curiosity, User Experience Design, Research and Design, New Product Development, Problem Solving, Product Development, Human Centered Design
- Status: Free
Stanford University
Skills you'll gain: Network Analysis, Social Sciences, Sociology, Socioeconomics, Economics, Policy, and Social Studies, Behavioral Economics, Bayesian Network, Mathematical Modeling, Statistical Modeling, Markov Model, Probability Distribution, Probability, Simulations
- Status: Free
Knowledge Accelerators
Skills you'll gain: Power BI, Dashboard, Data Presentation, Data Visualization Software, Interactive Data Visualization, Data Import/Export, Business Intelligence, Microsoft Excel, Data Analysis, Data-Driven Decision-Making, Data Modeling
Duke University
Skills you'll gain: Generative AI, Rust (Programming Language), MLOps (Machine Learning Operations), AWS SageMaker, PyTorch (Machine Learning Library), Artificial Intelligence and Machine Learning (AI/ML), Continuous Deployment, Application Deployment, System Monitoring, Natural Language Processing, Infrastructure as Code (IaC), Continuous Integration, Application Performance Management, DevOps, Amazon Web Services, Site Reliability Engineering, Deep Learning, Cloud Security
University of California San Diego
Skills you'll gain: Bioinformatics, Dimensionality Reduction, Unsupervised Learning, Data Analysis, Markov Model, Life Sciences, Infectious Diseases, Statistical Analysis, Medical Science and Research, Big Data, Computational Logic, Computer Programming Tools, Machine Learning, Machine Learning Methods, Computational Thinking, Graph Theory, Analysis, Taxonomy, Tree Maps, Scientific Methods
University of Colorado Boulder
Skills you'll gain: Process Control, Mathematical Modeling, Engineering Analysis, Differential Equations, Engineering Calculations, Systems Analysis, Mechanical Engineering, Mechanics, Applied Mathematics, Performance Testing, Electrical Engineering, Basic Electrical Systems
Duke University
Skills you'll gain: Database Design, MySQL, Relational Databases, SQL, Data Modeling, Databases, Business Analytics, Big Data, Business Analysis, Data Analysis, Data Manipulation, Data Management
DeepLearning.AI
Skills you'll gain: Image Analysis, Predictive Modeling, Risk Modeling, Data Processing, Artificial Intelligence, Classification And Regression Tree (CART), Applied Machine Learning, Computer Vision, Deep Learning, Natural Language Processing, Machine Learning, Radiology, Artificial Neural Networks, Probability & Statistics, Supervised Learning
Skills you'll gain: Business Intelligence, Data Integration, Stakeholder Engagement, Dashboard, Data Modeling, Business Analytics, Real Time Data, Requirements Elicitation, Data Storytelling, Data Analysis, Business Metrics, Key Performance Indicators (KPIs), Data Pipelines, Project Implementation
- Status: Free
Princeton University
Skills you'll gain: Graph Theory, Data Structures, Algorithms, Theoretical Computer Science, Operations Research, Applied Mathematics, Computational Thinking, Computer Programming, Network Routing, Programming Principles, Network Model, Java Programming, Linear Algebra
Skills you'll gain: Data Manipulation, SAS (Software), Data Access, Data Import/Export, Microsoft Excel, Data Analysis, Data Transformation, Exploratory Data Analysis, Data Validation, Data Cleansing, Descriptive Statistics, Statistical Programming, Data Processing, Data Integration, SQL, Data Presentation, Debugging
University of Colorado System
Skills you'll gain: Software Design Documents, Functional Requirement, Software Documentation, Unified Modeling Language, Requirements Analysis, System Requirements, Technical Documentation, Data Modeling, Software Visualization, Dataflow
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Creatividad, diseño e innovación: Técnicas y herramientas: Arizona State University
- Social and Economic Networks: Models and Analysis: Stanford University
- From Excel to Power BI: Knowledge Accelerators
- Rust for Large Language Model Operations (LLMOps): Duke University
- Bioinformatics: University of California San Diego
- Control Systems Analysis: Modeling of Dynamic Systems: University of Colorado Boulder
- Managing Big Data with MySQL: Duke University
- AI for Medical Diagnosis: DeepLearning.AI
- Foundations of Business Intelligence: Google
- Algorithms, Part II: Princeton University