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"
- Status: Free
Stanford University
Skills you'll gain: Mathematical Theory & Analysis, Mathematics and Mathematical Modeling, Calculus, Deductive Reasoning, General Mathematics, Logical Reasoning
Amazon Web Services
Skills you'll gain: AWS Identity and Access Management (IAM), Amazon CloudWatch, Amazon DynamoDB, Amazon Web Services, Cloud Computing, Amazon S3, Scalability, Cloud Infrastructure, Amazon Elastic Compute Cloud, Cloud Security, Serverless Computing, Cloud Storage, Databases, Virtual Private Networks (VPN), Load Balancing, General Networking, Virtual Machines, Containerization
Skills you'll gain: ChatGPT, Generative AI, Database Design, Data Pipelines, Extract, Transform, Load, OpenAI, Data Warehousing, Data Ethics, Data Infrastructure, Data Mining, Data Modeling, Data Integration, Data Synthesis, Artificial Intelligence, IBM Cloud, Artificial Intelligence and Machine Learning (AI/ML), Test Data, Software Development Tools, Image Analysis, Technical Communication
- Status: New
Skills you'll gain: PyTorch (Machine Learning Library), Keras (Neural Network Library), Deep Learning, Reinforcement Learning, Unsupervised Learning, Data Manipulation, Tensorflow, Verification And Validation, Generative AI, Artificial Neural Networks, Data Processing, Predictive Modeling, Applied Machine Learning, Artificial Intelligence and Machine Learning (AI/ML), Statistical Methods, Data Import/Export, Artificial Intelligence, Scientific Visualization, Computer Vision, Time Series Analysis and Forecasting
Rice University
Skills you'll gain: Statistical Hypothesis Testing, Microsoft Excel, Pivot Tables And Charts, Regression Analysis, Descriptive Statistics, Probability & Statistics, Graphing, Spreadsheet Software, Probability Distribution, Business Analytics, Statistical Analysis, Statistical Modeling, Excel Formulas, Data Analysis, Data Presentation, Statistics, Sample Size Determination, Box Plots, Statistical Inference, Estimation
- Status: New
Vanderbilt University
Skills you'll gain: ChatGPT, Generative AI, Crisis Management, Incident Response, OpenAI, Data Ethics, Computer Security Incident Management, Artificial Intelligence, Personalized Service, Business Ethics, Information Privacy, Personally Identifiable Information, Cross-Functional Collaboration, Threat Detection, Threat Management, Expense Management, Artificial Intelligence and Machine Learning (AI/ML), Threat Modeling, Creative Thinking, Creativity
IE Business School
Skills you'll gain: Product Lifecycle Management, Marketing Communications, Integrated Marketing Communications, Advertising, Marketing, Brand Strategy, Strategic Decision-Making, Brand Management, Marketing Planning, Branding, Price Negotiation, Marketing Strategies, Retail Management, Data-Driven Decision-Making, Marketing Channel, Product Strategy, Revenue Management, Market Dynamics, Merchandising, Conflict Management
- Status: Free
Università Bocconi
Skills you'll gain: Annual Reports, Retail Store Operations, Brand Management, Global Marketing, Brand Strategy, Digital Publishing, Social Media Content, Communication Strategies, Marketing Strategies, Business Management, Business Modeling, Business Strategy, E-Commerce, Consumer Behaviour, Market Trend, Product Development
Skills you'll gain: ChatGPT, Generative AI, Exploratory Data Analysis, Data Ethics, OpenAI, Feature Engineering, Predictive Modeling, Artificial Intelligence, IBM Cloud, Data Storytelling, Data Modeling, Artificial Intelligence and Machine Learning (AI/ML), Predictive Analytics, Data Science, Data Analysis, Data Transformation, Data Visualization Software, Software Development Tools, Image Analysis, Technical Communication
Skills you'll gain: Network Security, Hardening, Network Protocols, Network Architecture, Intrusion Detection and Prevention, TCP/IP, Vulnerability Assessments, Computer Networking, Network Infrastructure, Firewall, Cloud Computing, Virtual Private Networks (VPN)
Skills you'll gain: Dashboard, Data Visualization Software, Plotly, Data Wrangling, Data Visualization, Interactive Data Visualization, Statistical Reporting, Exploratory Data Analysis, Data Cleansing, Jupyter, Matplotlib, Data Analysis, Pandas (Python Package), Data Manipulation, Seaborn, Data Import/Export, Predictive Modeling, Web Scraping, Automation, Python Programming
Universidad Nacional Autónoma de México
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
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Introduction to Mathematical Thinking:Â Stanford University
- AWS Cloud Technical Essentials:Â Amazon Web Services
- Generative AI for Data Engineers:Â IBM
- IBM Deep Learning with PyTorch, Keras and Tensorflow:Â IBM
- Business Statistics and Analysis:Â Rice University
- Generative AI Cybersecurity & Privacy for Leaders:Â Vanderbilt University
- Marketing Mix Implementation:Â IE Business School
- Management of Fashion and Luxury Companies: Università Bocconi
- Generative AI for Data Scientists:Â IBM
- Connect and Protect: Networks and Network Security:Â Google