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 Washington
Skills you'll gain: Unsupervised Learning, Bayesian Statistics, Applied Machine Learning, Data Mining, Statistical Machine Learning, Big Data, Statistical Inference, Dimensionality Reduction, Text Mining, Statistical Modeling, Machine Learning Algorithms, Machine Learning, Scalability, Data Structures, Distributed Computing, Probability Distribution, Algorithms
- Status: Free
Copenhagen Business School
Skills you'll gain: Culture Transformation, Talent Management, Crisis Management, Innovation, Business Leadership, Leadership, Strategic Leadership, Organizational Change, Organizational Strategy, Ethical Standards And Conduct, Communication, Governance, Change Management, Decision Making
Johns Hopkins University
Skills you'll gain: Shiny (R Package), Rmarkdown, Leaflet (Software), Plotly, Interactive Data Visualization, Data Visualization, Data Presentation, Data Visualization Software, R Programming, Statistical Reporting, UI Components, Web Applications, Hypertext Markup Language (HTML), GitHub, Package and Software Management
- Status: Free
Coursera Instructor Network
Skills you'll gain: Program Evaluation, Generative AI, Data Ethics, Artificial Intelligence, Artificial Intelligence and Machine Learning (AI/ML), Google Cloud Platform, Natural Language Processing, Quality Assessment, Analysis, Performance Measurement, Business Metrics, Human Factors, Performance Metric
- Status: Free
Duke University
Skills you'll gain: Generative AI, Application Deployment, Cloud Computing, Other Programming Languages, Data Ethics, MLOps (Machine Learning Operations), Artificial Intelligence, Risk Management Framework, Natural Language Processing, Open Source Technology, Rust (Programming Language)
Skills you'll gain: Jest (JavaScript Testing Framework), User Acceptance Testing (UAT), Cucumber (Software), Postman API Platform, Software Testing, Behavior-Driven Development, Selenium (Software), Test Driven Development (TDD), Unit Testing, Acceptance Testing, Performance Testing, Functional Testing, Test Automation, Usability Testing, Application Programming Interface (API), User Interface (UI), Test Case, API Design
The University of Melbourne
Skills you'll gain: Financial Analysis, Financial Statement Analysis, Financial Statements, Corporate Finance, Financial Accounting, Accounting, Financial Systems, Financial Modeling, Investments, Capital Markets, Market Liquidity, Financial Management, Balance Sheet, Derivatives, Financial Market, Income Statement, Business Valuation, International Finance, Mergers & Acquisitions, Capital Budgeting
- Status: Free
California Institute of the Arts
Skills you'll gain: Design Reviews, Design, Graphic Design, Design Elements And Principles, Visual Design, Aesthetics, Typography, Creative Design, Design Thinking
University of California San Diego
Skills you'll gain: Algorithms, Network Routing, Network Model, Graph Theory, Advanced Mathematics, Operations Research, Theoretical Computer Science, Network Analysis, Data Structures, Computational Thinking, Linear Algebra, Computer Science, Big Data, Computational Logic, Probability & Statistics
Google Cloud
Skills you'll gain: Machine Learning, Google Cloud Platform, Machine Learning Algorithms, Applied Machine Learning, Supervised Learning, Time Series Analysis and Forecasting, Financial Trading, Deep Learning, Statistical Machine Learning, Artificial Intelligence and Machine Learning (AI/ML), Artificial Neural Networks, Securities Trading, Technical Analysis, Predictive Modeling, Financial Forecasting, Quantitative Research, Financial Modeling, Forecasting, Regression Analysis
Skills you'll gain: Exploratory Data Analysis, Data Storytelling, Data Visualization Software, Data Presentation, Data Transformation, Data Ethics, Tableau Software, Data Manipulation, Data Cleansing, Data Analysis, Data Processing, Stakeholder Communications, Matplotlib, Pandas (Python Package), Jupyter, Data Validation, Python Programming
Skills you'll gain: Extract, Transform, Load, Power BI, Data Integrity, Data Validation, Data Transformation, Data Cleansing, Microsoft Power Platform, Data Storage, Data Analysis, Data Integration, Data Import/Export, Business Intelligence
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Machine Learning: Clustering & Retrieval:Â University of Washington
- Leadership in 21st Century Organizations:Â Copenhagen Business School
- Developing Data Products:Â Johns Hopkins University
- Evaluating Large Language Model Outputs: A Practical Guide:Â Coursera Instructor Network
- Foundations of Local Large Language models:Â Duke University
- Software Testing for Developers:Â Codio
- Essentials of Corporate Finance:Â The University of Melbourne
- The Language of Design: Form and Meaning:Â California Institute of the Arts
- Advanced Algorithms and Complexity:Â University of California San Diego
- Introduction to Trading, Machine Learning & GCP:Â Google Cloud