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
EIT Digital
Skills you'll gain: Computational Logic, Markov Model, Verification And Validation, System Testing, Theoretical Computer Science, Mathematical Modeling, Systems Analysis, Software Testing, Statistical Modeling, Probability, Algorithms, Probability Distribution
EIT Digital
Skills you'll gain: Computational Logic, Theoretical Computer Science, Systems Analysis, Verification And Validation, Algorithms, Data Structures
- Status: New
University of Colorado Boulder
Skills you'll gain: Computational Logic, Verification And Validation, Systems Design, Software Architecture, Theoretical Computer Science, Algorithms, Software Development Tools
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: AI skills
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
Skills you'll gain: Data Wrangling, Data Cleansing, Data Analysis, Data Manipulation, Data Import/Export, Exploratory Data Analysis, Predictive Analytics, Data Science, Statistical Analysis, Regression Analysis, Predictive Modeling, Pandas (Python Package), Analytics, Scikit Learn (Machine Learning Library), Data-Driven Decision-Making, Machine Learning Methods, Feature Engineering, Statistical Methods, Python Programming, NumPy
Johns Hopkins University
Skills you'll gain: Triage, Crisis Intervention, Emergency Response, Trauma Care, Patient Assistance, Interpersonal Communications, Community Mental Health Services, Mental Health, Stress Management, Patient Referral, Risk Analysis
- Status: New AI skills
Google
Skills you'll gain: Data Storytelling, Rmarkdown, Data Visualization, Data Presentation, Data Ethics, Interactive Data Visualization, Interviewing Skills, Data Cleansing, Data Validation, Ggplot2, Tableau Software, Presentations, Spreadsheet Software, Data Analysis, Data Visualization Software, Stakeholder Communications, Dashboard, Sampling (Statistics), Analytics, Stakeholder Management
- Status: New
Vanderbilt University
Skills you'll gain: Data Storytelling, ChatGPT, Excel Macros, Excel Formulas, Microsoft Excel, Data Visualization, Data Analysis, Presentations, Generative AI, Artificial Intelligence, Data Cleansing, Data Import/Export, Data Integration, Productivity Software, Data Transformation, Data Validation, Exploratory Data Analysis, Creative Thinking, Creative Problem-Solving, Natural Language Processing
- Status: Free
Yale University
Skills you'll gain: Psychology, Mental and Behavioral Health Specialties, Psychiatry, Mental Health, Human Development, Human Learning, Social Sciences, Psychotherapy, Behavioral Health, Sociology, Creativity
University of Pennsylvania
Skills you'll gain: Return On Investment, Finance, Capital Budgeting, Financial Modeling, Financial Analysis, Financial Planning, Corporate Finance, Business Valuation, Capital Expenditure, Financial Management, Cost Benefit Analysis, Risk Modeling, Asset Management, Cash Flows, Cash Flow Forecasting
- Status: New
Vanderbilt University
Skills you'll gain: Data Storytelling, ChatGPT, Microsoft Excel, Document Management, Data Analysis, SQL, Presentations, Generative AI, Artificial Intelligence, Data Cleansing, Data Import/Export, Query Languages, Data Integration, Data Transformation, Database Management, Data Validation, Debugging, Productivity Software, Creative Thinking, Creative Problem-Solving
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Quantitative Model Checking:Â EIT Digital
- Automated Reasoning: Symbolic Model Checking:Â EIT Digital
- Temporal Logic Model Checking :Â University of Colorado Boulder
- Large Language Model Operations (LLMOps):Â Duke University
- Microsoft Power BI Data Analyst:Â Microsoft
- Data Analysis with Python:Â IBM
- Psychological First Aid:Â Johns Hopkins University
- Google Data Analytics:Â Google
- ChatGPT + Excel: AI-Enhanced Data Analysis & Insight:Â Vanderbilt University
- Introduction to Psychology :Â Yale University