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"
Copenhagen Business School
Skills you'll gain: Corporate Sustainability, Environmental Regulations, Business Transformation, Environmental Social And Corporate Governance (ESG), Innovation, Business Strategies, Sustainability Reporting, Consumer Behaviour, Business Modeling, Strategic Partnership, Material Handling, Waste Minimization, Product Lifecycle Management
Skills you'll gain: Databricks, Unsupervised Learning, PySpark, Microsoft Azure, Apache Spark, Scikit Learn (Machine Learning Library), MLOps (Machine Learning Operations), PyTorch (Machine Learning Library), Exploratory Data Analysis, Deep Learning, Data Visualization, Applied Machine Learning, Regression Analysis, Data Science, Predictive Modeling, Data Analysis, Image Analysis, Pandas (Python Package), Artificial Intelligence and Machine Learning (AI/ML), Cloud Computing
EDHEC Business School
Skills you'll gain: Investment Management, Portfolio Management, Asset Management, Risk Analysis, Financial Modeling, Risk Management, Financial Analysis, NumPy, Probability Distribution, Python Programming, Simulations, Pandas (Python Package), Matplotlib, Data Manipulation
University of Colorado Boulder
Skills you'll gain: Theoretical Computer Science, Algorithms, Data Structures, Graph Theory, Operations Research, Public Key Cryptography Standards (PKCS), Cryptography, Computational Thinking, Design Strategies, Pseudocode, Programming Principles, Applied Mathematics, Computer Science, Encryption, Network Model, Linear Algebra, Combinatorics, Analysis, Mathematical Modeling, Tree Maps
- Status: Free
DeepLearning.AI
Skills you'll gain: Large Language Modeling, Prompt Engineering, Generative AI, Feature Engineering, Performance Tuning, Deep Learning
DeepLearning.AI
Skills you'll gain: Natural Language Processing, Artificial Neural Networks, PyTorch (Machine Learning Library), Deep Learning, Tensorflow, Text Mining, Machine Learning Methods
Skills you'll gain: Data Storytelling, Business Metrics, Key Performance Indicators (KPIs), Data Cleansing, Data Modeling, Analytics, Data Analysis, Data Visualization, Data Validation, Exploratory Data Analysis, Data Quality, Data Manipulation, Generative AI, Data Collection
University of Colorado System
Skills you'll gain: Digital Communications, OSI Models, Network Protocols, TCP/IP, Network Routing, Network Architecture, Network Planning And Design, Computer Networking, Network Model, System Programming, Data Integrity
Emory University
Skills you'll gain: Mental Concentration, Nutrition and Diet, Anatomy, Mental Health, Stress Management, Preventative Care, Neurology, Mindfulness, Behavioral Health, Cognitive flexibility, Biology
Microsoft
Skills you'll gain: Unsupervised Learning, Generative AI, Large Language Modeling, Data Management, Natural Language Processing, MLOps (Machine Learning Operations), Supervised Learning, Microsoft Azure, Deep Learning, Artificial Intelligence and Machine Learning (AI/ML), Infrastructure Architecture, Cloud Infrastructure, Generative AI Agents, Applied Machine Learning, Reinforcement Learning, Data Ethics, Prompt Engineering, Data Processing, Artificial Intelligence, Application Deployment
DeepLearning.AI
Skills you'll gain: Risk Modeling, Decision Tree Learning, Predictive Modeling, Feature Engineering, Applied Machine Learning, Random Forest Algorithm, Forecasting, Machine Learning, Statistical Methods, Statistical Analysis, Probability & Statistics, Data Analysis, Regression Analysis
Tsinghua University
Skills you'll gain: Intercultural Competence, Cultural Diversity, Mental Health, Learning Strategies, Culture, Stress Management, Liberal Arts, English Language, Social Sciences, Literacy, Language Learning, Economics, Interpersonal Communications, Psychology, Writing, Research, Business Management, Grammar, Higher Education, Oral Comprehension
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Sustainable Fashion:Â Copenhagen Business School
- Microsoft Azure Data Scientist Associate (DP-100) Exam Prep:Â Microsoft
- Introduction to Portfolio Construction and Analysis with Python:Â EDHEC Business School
- Foundations of Data Structures and Algorithms:Â University of Colorado Boulder
- Finetuning Large Language Models:Â DeepLearning.AI
- Natural Language Processing with Sequence Models:Â DeepLearning.AI
- Introduction to Data Analytics:Â Meta
- Fundamentals of Network Communication:Â University of Colorado System
- Biohacking Your Brain's Health:Â Emory University
- Microsoft AI & ML Engineering:Â Microsoft