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"
University of Washington
Skills you'll gain: Applied Machine Learning, Feature Engineering, Regression Analysis, Machine Learning, Artificial Intelligence and Machine Learning (AI/ML), Supervised Learning, Deep Learning, Classification And Regression Tree (CART), Computer Vision, Predictive Modeling, Natural Language Processing, Text Mining, Python Programming
Skills you'll gain: Malware Protection, Identity and Access Management, Incident Response, Cybersecurity, Threat Modeling, Computer Security Incident Management, Network Security, Threat Management, Threat Detection, Cyber Attacks, Authentications, Distributed Denial-Of-Service (DDoS) Attacks, Security Awareness, Security Controls, Authorization (Computing), Multi-Factor Authentication, Human Factors (Security)
- Status: [object Object]
Microsoft
Skills you'll gain: Data Storytelling, Dashboard, Excel Formulas, Extract, Transform, Load, Power BI, Data Analysis Expressions (DAX), Microsoft Excel, Data Modeling, Data-Driven Decision-Making, Star Schema, Data Analysis, Data Presentation, Data Visualization Software, Microsoft Power Platform, Data Integrity, Spreadsheet Software, Data Validation, Data Transformation, Data Cleansing, Data Visualization
University of California, Davis
Skills you'll gain: ArcGIS, GIS Software, Spatial Analysis, Data Storytelling, Spatial Data Analysis, Geographic Information Systems, Data Presentation, Data Sharing, Geospatial Mapping, Geospatial Information and Technology, Land Management, Heat Maps, Epidemiology, Metadata Management, Data Mapping, Data Visualization Software, Data Quality, File Management, Network Analysis, Data Modeling
Johns Hopkins University
Skills you'll gain: Data Modeling, Graphing, Mathematical Modeling, Algebra, Trigonometry, Linear Algebra, Calculus, Advanced Mathematics, Applied Mathematics, Geometry
University of Colorado Boulder
Skills you'll gain: Embedded Software, Embedded Systems, Debugging, Failure Analysis, Technical Communication, Simulations, System Design and Implementation, Scenario Testing, Computer Programming Tools
University of Colorado System
Skills you'll gain: Extract, Transform, Load, Data Modeling, Clinical Data Management, Database Design, Data Warehousing, Data Quality, Data Transformation, Data Integration, Relational Databases, SQL
Duke University
Skills you'll gain: Databricks, Generative AI, Performance Analysis, Apache Airflow, Workflow Management, Data Lakes, Extract, Transform, Load, OpenAI, AWS SageMaker, Performance Tuning, Scalability, Data Transformation, Data Infrastructure, Microsoft Azure, MLOps (Machine Learning Operations), Amazon Web Services, Natural Language Processing, PyTorch (Machine Learning Library), Risk Management Framework, Artificial Intelligence
- Status: Free
Stanford University
Skills you'll gain: Game Theory, Business Strategy, Strategic Decision-Making, Mathematical Modeling, Graph Theory, Bayesian Statistics, Decision Making, Behavioral Economics, Probability, Economics, Competitive Analysis, Algorithms, Theoretical Computer Science, Human Learning, Probability Distribution
Multiple educators
Skills you'll gain: Unsupervised Learning, Supervised Learning, Classification And Regression Tree (CART), Artificial Intelligence and Machine Learning (AI/ML), Machine Learning Algorithms, Applied Machine Learning, Machine Learning, Jupyter, Data Ethics, Decision Tree Learning, Tensorflow, Scikit Learn (Machine Learning Library), NumPy, Predictive Modeling, Deep Learning, Artificial Intelligence, Reinforcement Learning, Random Forest Algorithm, Feature Engineering, Artificial Neural Networks
University of Virginia
Skills you'll gain: Design Thinking, Creative Problem-Solving, Ideation, Innovation, Creativity, Strategic Thinking, Market Opportunities, Human Centered Design, Storytelling, Business Modeling, Empathy, Leadership
- Status: Free
Skills you'll gain: Verification And Validation, Systems Analysis, Mathematical Modeling, Data Structures, Theoretical Computer Science, Distributed Computing, Algorithms
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Machine Learning Foundations: A Case Study Approach:Â University of Washington
- Introduction to Cybersecurity Tools & Cyberattacks:Â IBM
- Microsoft Power BI Data Analyst:Â Microsoft
- Geographic Information Systems (GIS):Â University of California, Davis
- Calculus through Data & Modeling: Precalculus Review:Â Johns Hopkins University
- Modeling and Debugging Embedded Systems:Â University of Colorado Boulder
- Clinical Data Models and Data Quality Assessments:Â University of Colorado System
- Large Language Model Operations (LLMOps):Â Duke University
- Game Theory:Â Stanford University
- Machine Learning:Â DeepLearning.AI