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"
Vanderbilt University
Skills you'll gain: Prompt Engineering, ChatGPT, Generative AI, Ideation, Verification And Validation, Data Validation, Productivity, AI Personalization, OpenAI, Artificial Intelligence, Personalized Service, Large Language Modeling, Risk Management Framework, Expense Management, Creative Thinking, Ingenuity, Productivity Software, Brainstorming, Data Ethics, Travel Arrangements
DeepLearning.AI
Skills you'll gain: Natural Language Processing, Supervised Learning, Markov Model, Text Mining, Dimensionality Reduction, Artificial Intelligence and Machine Learning (AI/ML), Artificial Neural Networks, PyTorch (Machine Learning Library), Deep Learning, Tensorflow, Machine Learning Methods, Data Processing, Feature Engineering, Machine Learning Algorithms, Artificial Intelligence, Algorithms, Keras (Neural Network Library), Linear Algebra, Data Cleansing, Probability & Statistics
- Status: Free
Stanford University
Skills you'll gain: Game Theory, Strategic Decision-Making, Mathematical Modeling, Graph Theory, Bayesian Statistics, Behavioral Economics, Probability, Economics, Markov Model, Algorithms
- Status: Free
Yale University
Skills you'll gain: Psychology, Mental and Behavioral Health Specialties, Child Development, Mental Health, Human Learning, Social Sciences, Behavioral Health, Neurology, Biology, Scientific Methods
Skills you'll gain: MySQL, Database Design, Version Control, Database Management Systems, Database Management, MySQL Workbench, Extract, Transform, Load, Data Modeling, Data Structures, SQL, Unix Commands, Relational Databases, Databases, Git (Version Control System), Database Systems, Stored Procedure, Object Oriented Programming (OOP), Unit Testing, Algorithms, Django (Web Framework)
Stanford University
Skills you'll gain: Data Structures, Graph Theory, Algorithms, Bioinformatics, Theoretical Computer Science, Network Model, Computational Thinking, Network Analysis, Analysis, Programming Principles, Probability & Statistics, Network Routing, Probability, Operations Research, Design Strategies
Google Cloud
Skills you'll gain: Large Language Modeling, Prompt Engineering, Generative AI, Google Cloud Platform, Artificial Intelligence and Machine Learning (AI/ML)
University of California, Davis
Skills you'll gain: ArcGIS, GIS Software, Spatial Data Analysis, Spatial Analysis, Data Storytelling, Geographic Information Systems, Data Presentation, Data Sharing, Geospatial Mapping, Public Health, Land Management, Heat Maps, Metadata Management, Data Quality, Community Health, Data Mapping, Data Visualization Software, File Management, Network Analysis, Data Modeling
Michigan State University
Skills you'll gain: Design Elements And Principles, Photography, Photo Editing, Peer Review, Graphic and Visual Design, Post-Production, Photo/Video Production and Technology, Digital Design, File Management, Adobe Creative Cloud, Creativity, Color Theory, Storytelling, Content Creation, Writing, Information Privacy, Web Design and Development
University of Alberta
Skills you'll gain: Reinforcement Learning, Machine Learning, Sampling (Statistics), Machine Learning Algorithms, Artificial Intelligence, Deep Learning, Simulations, Solution Architecture, Feature Engineering, Artificial Intelligence and Machine Learning (AI/ML), Markov Model, Supervised Learning, Algorithms, Performance Testing, Artificial Neural Networks, Pseudocode, Linear Algebra, Probability Distribution, Debugging
Google Cloud
Skills you'll gain: Feature Engineering, Prompt Engineering, Google Cloud Platform, Generative AI, Tensorflow, Keras (Neural Network Library), MLOps (Machine Learning Operations), Cloud Infrastructure, Artificial Intelligence and Machine Learning (AI/ML), Data Pipelines, Dataflow, Cloud Platforms, Data Management, Data Governance, Workflow Management, Application Deployment, Deep Learning, Applied Machine Learning, Machine Learning, Predictive Modeling
Skills you'll gain: Exploratory Data Analysis, Unsupervised Learning, Supervised Learning, Feature Engineering, Generative AI, Dimensionality Reduction, Reinforcement Learning, Data Cleansing, Applied Machine Learning, Data Access, Deep Learning, Data Analysis, Regression Analysis, Machine Learning, Statistical Analysis, Statistical Inference, Statistical Hypothesis Testing, Machine Learning Algorithms, Classification And Regression Tree (CART), Scikit Learn (Machine Learning Library)
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Generative AI Assistants:Â Vanderbilt University
- Natural Language Processing:Â DeepLearning.AI
- Game Theory:Â Stanford University
- Introduction to Psychology :Â Yale University
- Meta Database Engineer:Â Meta
- Algorithms:Â Stanford University
- Introduction to Large Language Models:Â Google Cloud
- Geographic Information Systems (GIS):Â University of California, Davis
- Photography Basics and Beyond: From Smartphone to DSLR:Â Michigan State University
- Reinforcement Learning:Â University of Alberta