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"
Imperial College London
Skills you'll gain: Epidemiology, Infectious Diseases, Mathematical Modeling, Statistical Modeling, R Programming, Differential Equations, Quantitative Research, Applied Mathematics
University of Michigan
Skills you'll gain: Forecasting, Statistical Methods, Regression Analysis, Data Cleansing, Scikit Learn (Machine Learning Library), Supervised Learning, Statistical Hypothesis Testing, Correlation Analysis, Predictive Analytics, Predictive Modeling, Matplotlib, Applied Machine Learning, Data Visualization, Kinesiology, Injury Prevention, Data Analysis, Machine Learning Methods, Analytics, Advanced Analytics, Statistical Analysis
Macquarie University
Skills you'll gain: Multimedia, Discussion Facilitation, Instructional and Curriculum Design, Content Creation, Lesson Planning, Constructive Feedback, Student Engagement, Instructional Design, Design Thinking, Pedagogy, Media Production, Interactive Learning, Graphic and Visual Design, Storytelling, Community Development, Emerging Technologies, Editing, End User Training and Support, System Configuration, Safety and Security
University of Colorado Boulder
Skills you'll gain: Computational Logic, Mathematical Modeling, Theoretical Computer Science, Verification And Validation, Systems Design, System Requirements, Systems Architecture, Automation, Network Model, Requirements Analysis, Software Systems, Mechanical Engineering, Computer Systems, Systems Analysis, Systems Engineering, Embedded Systems, Simulations, Linear Algebra, Differential Equations, Electrical Engineering
University of Colorado System
Skills you'll gain: Windows Servers, Computer Security, Linux Administration, Disaster Recovery, Authorization (Computing), Linux, Linux Servers, Microsoft Windows, Authentications, Business Continuity Planning, OSI Models, User Accounts, Group Policy, Security Management, System Monitoring, System Implementation, Systems Administration, Virtualization, Information Technology, Linux Commands
Skills you'll gain: PyTorch (Machine Learning Library), Keras (Neural Network Library), Data Manipulation, Deep Learning, Verification And Validation, Data Processing, Predictive Modeling, Applied Machine Learning, Data Import/Export, Computer Vision, Scientific Visualization, Artificial Neural Networks
- Status: New
Pontificia Universidad Católica de Chile
Skills you'll gain: Financial Statements, Financial Statement Analysis, Financial Accounting, Income Statement, Financial Analysis, Balance Sheet, Capital Budgeting, Project Finance, Cash Flows, Return On Investment, Financial Modeling, Cash Management, Investment Management, Working Capital, Capital Markets, Equities, Finance, Investments, Corporate Finance, Tax
IIMA - IIM Ahmedabad
Skills you'll gain: Digital Transformation, Business Transformation, Stakeholder Engagement, Innovation, Organizational Change, Change Management, Business Modeling, Technology Strategies, Organizational Strategy, Artificial Intelligence, Organizational Effectiveness, Performance Improvement, Cloud Computing Architecture, Governance, Business Technologies, Emerging Technologies, Data-Driven Decision-Making, Workforce Development, Operational Efficiency, Business Strategy
Skills you'll gain: Google Cloud Platform, Generative AI, Cloud Infrastructure, MLOps (Machine Learning Operations), Artificial Intelligence and Machine Learning (AI/ML), Artificial Intelligence, Cloud Solutions, Machine Learning, Data Storage, Natural Language Processing, Image Analysis, Application Programming Interface (API), Automation
University of Toronto
Skills you'll gain: Automation, Graph Theory, Algorithms, Artificial Intelligence, Computer Vision, Simulations, Data Structures, Python Programming, Safety Assurance
- Status: Free
University of Copenhagen
Skills you'll gain: Health Systems, Infectious Diseases, Health Care, Water Resources, Epidemiology, Health Administration, Sanitation, Preventative Care, Environment Health And Safety, Health Assessment, Mental Health, Socioeconomics, Governance, Environment and Resource Management, Child Welfare, Cleanliness, Human Development, Demography
University of Colorado Boulder
Skills you'll gain: Simulations, Mathematical Modeling, Electrical Engineering, Matlab, Engineering Calculations, Electronic Components, Engineering Analysis, Basic Electrical Systems, Applied Mathematics, Scripting, Data Analysis Software
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Developing the SIR Model:Â Imperial College London
- Sports Performance Analytics:Â University of Michigan
- Online Learning Design for Educators:Â Macquarie University
- Foundations of Autonomous Systems:Â University of Colorado Boulder
- Computer Security and Systems Management:Â University of Colorado System
- AI Capstone Project with Deep Learning :Â IBM
- Análisis Financiero: Pontificia Universidad Católica de Chile
- Advanced Digital Transformation:Â IIMA - IIM Ahmedabad
- Introduction to AI and Machine Learning on Google Cloud:Â Google Cloud
- Motion Planning for Self-Driving Cars:Â University of Toronto