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 Colorado System
Skills you'll gain: TCP/IP, Local Area Networks, Routing Protocols, Network Routing, Digital Communications, OSI Models, Network Protocols, Dynamic Host Configuration Protocol (DHCP), Network Planning And Design, Network Security, Network Architecture, General Networking, Network Performance Management, Computer Networking, Network Model, Wireless Networks, Software-Defined Networking, Algorithms, System Programming, Data Integrity
Stanford University
Skills you'll gain: Bayesian Network, Graph Theory, Probability Distribution, Statistical Modeling, Markov Model, Decision Support Systems, Probability & Statistics, Network Analysis, Applied Machine Learning, Natural Language Processing
University of Minnesota
Skills you'll gain: Enterprise Resource Planning, Business Systems Analysis, Systems Analysis, Requirements Analysis, Cybersecurity, Business Requirements, Business Systems, Cyber Threat Intelligence, Cloud Computing, Cloud Services, IT Management, Change Management, Business Technologies, Organizational Change, Technology Strategies, System Implementation, User Requirements Documents, Information Technology, Portfolio Management, Governance
University of Pennsylvania
Skills you'll gain: Environmental Social And Corporate Governance (ESG), Risk Analysis, Risk Management, Business Risk Management, Stakeholder Management, Corporate Sustainability, Governance, Investment Management, Diversity and Inclusion, Corporate Strategy, Waste Minimization, Investments, Business Ethics, Corporate Communications, Financial Data, Crisis Management, Insurance, Return On Investment, Environmental Resource Management, Portfolio Management
University of Alberta
Skills you'll gain: Reinforcement Learning, Machine Learning, Artificial Intelligence, Markov Model, Applied Machine Learning, Algorithms
- Status: Free
DeepLearning.AI
Skills you'll gain: Generative AI, Performance Tuning, Data Processing, Applied Machine Learning, Deep Learning, Machine Learning Methods, Artificial Intelligence and Machine Learning (AI/ML)
- Status: Free
Universidad Austral
Skills you'll gain: Excel Macros, Microsoft Excel, Excel Formulas, Spreadsheet Software, Data Analysis Expressions (DAX), Business Analysis, Data Validation, Business Analytics, Data Import/Export, Process Optimization, Business Modeling, Data Integration, Automation
Skills you'll gain: Generative AI, Natural Language Processing, PyTorch (Machine Learning Library), ChatGPT, Text Mining, OpenAI, Artificial Neural Networks, Deep Learning, Application Development, Feature Engineering, Artificial Intelligence, Document Management, Machine Learning Methods, Jupyter, Data Processing, Tensorflow, Artificial Intelligence and Machine Learning (AI/ML), Applied Machine Learning, Application Frameworks, Performance Tuning
University of Illinois Urbana-Champaign
Skills you'll gain: Strategic Decision-Making, Innovation, Creativity, Team Management, Creative Thinking, Value Propositions, Entrepreneurship, Creative Problem-Solving, Technology Strategies, Ideation, Brainstorming, Presentations, Business Modeling, Go To Market Strategy, Business Planning, Collaboration, New Business Development, Open Mindset, New Product Development, Market Opportunities
New York University
Skills you'll gain: Security Engineering, Authentications, Threat Modeling, Network Security, Public Key Infrastructure, Distributed Denial-Of-Service (DDoS) Attacks, Firewall, Cyber Attacks, Cryptography, Infrastructure Security, Cyber Security Strategy, Cybersecurity, Data Encryption Standard, Threat Management, Cyber Risk, IT Security Architecture, Mobile Security, Enterprise Security, Computer Security, Network Architecture
University of California San Diego
Skills you'll gain: Bioinformatics, Dimensionality Reduction, Unsupervised Learning, Data Analysis, Computational Thinking, Graph Theory, Markov Model, Life Sciences, Infectious Diseases, Statistical Analysis, Medical Science and Research, Algorithms, Big Data, Computational Logic, Computer Programming Tools, Machine Learning, Machine Learning Methods, Probability & Statistics, Analysis, Taxonomy
Emory University
Skills you'll gain: Mental and Behavioral Health Specialties, Pharmaceuticals, Human Learning, Social Sciences, Behavioral Health, Psychology, Mental Health, Public Policies, Vulnerability, Behavior Management, Policy Analysis, Medical Science and Research, Patient Treatment, Clinical Trials, Risk Analysis
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Computer Communications:Â University of Colorado System
- Probabilistic Graphical Models 1: Representation:Â Stanford University
- Information​ ​Systems: University of Minnesota
- The Materiality of ESG Factors:Â University of Pennsylvania
- Fundamentals of Reinforcement Learning:Â University of Alberta
- Finetuning Large Language Models:Â DeepLearning.AI
- Excel aplicado a los negocios (Nivel Avanzado):Â Universidad Austral
- Generative AI Engineering with LLMs:Â IBM
- Innovation: From Creativity to Entrepreneurship:Â University of Illinois Urbana-Champaign
- Introduction to Cyber Security:Â New York University