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
Yale University
Skills you'll gain: Crisis Management, Financial Policy, Mortgage Loans, Financial Regulation, Public Policies, Financial Market, International Finance, Banking, Economics, Psychology
Skills you'll gain: Keras (Neural Network Library), Unsupervised Learning, Deep Learning, Artificial Neural Networks, PyTorch (Machine Learning Library), Tensorflow, Artificial Intelligence and Machine Learning (AI/ML), Machine Learning, Supervised Learning, Regression Analysis
- Status: Free
University of Toronto
Skills you'll gain: Stress Management, Mental Health, Mental Concentration, Resilience, Crisis Intervention, Positivity, Behavioral Health, Empathy, Psychology, Social Skills
University of Michigan
Skills you'll gain: PHP (Scripting Language), MySQL, Database Application, Database Development, Object Oriented Programming (OOP), Application Development, Back-End Web Development, Authentications, Web Applications, SQL, Server Side, Application Security, Model View Controller, Data Validation
- Status: Free
Erasmus University Rotterdam
Skills you'll gain: Strategic Decision-Making, Business Valuation, Private Equity, Mergers & Acquisitions, Game Theory, Corporate Strategy, Financial Analysis, Business Strategy, Investment Banking, Financial Modeling, Cash Flows, Growth Strategies, Corporate Finance
- Status: Free
University of Pennsylvania
Skills you'll gain: Supply And Demand, Economics, Market Dynamics, Market Analysis, Resource Allocation, Policy Analysis, Tax, Consumer Behaviour, Cost Benefit Analysis, Decision Making
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
DeepLearning.AI
Skills you'll gain: Generative AI, PyTorch (Machine Learning Library), Image Analysis, Deep Learning, Artificial Neural Networks, Applied Machine Learning, Data Ethics, Computer Graphics, Machine Learning
Duke University
Skills you'll gain: Regression Analysis, Statistical Software, Statistical Analysis, R Programming, Statistical Modeling, Statistical Inference, Data Analysis, Statistical Methods, Exploratory Data Analysis, Predictive Modeling
Skills you'll gain: PyTorch (Machine Learning Library), Statistical Methods, Artificial Neural Networks, Deep Learning, Feature Engineering, Probability Distribution, Performance Tuning, Machine Learning, Regression Analysis, Data Processing
Skills you'll gain: Responsive Web Design, Cascading Style Sheets (CSS), HTML and CSS, Bootstrap (Front-End Framework), Debugging, UI Components, Web Development Tools, Front-End Web Development, Web Design, Semantic Web, Hypertext Markup Language (HTML), Browser Compatibility, Web Development, Web Content Accessibility Guidelines, User Interface (UI), Data Validation
University of California, Davis
Skills you'll gain: Spatial Analysis, ArcGIS, Geographic Information Systems, Geospatial Mapping, Data Quality, Data Mapping, Data Modeling, Data Storage Technologies, Data Storage, Data Processing, Data Manipulation, Databases
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- The Global Financial Crisis:Â Yale University
- Introduction to Deep Learning & Neural Networks with Keras:Â IBM
- Mind Control: Managing Your Mental Health During COVID-19:Â University of Toronto
- Building Database Applications in PHP:Â University of Michigan
- Advanced Valuation and Strategy - M&A, Private Equity, and Venture Capital:Â Erasmus University Rotterdam
- Microeconomics: The Power of Markets:Â University of Pennsylvania
- Information​ ​Systems: University of Minnesota
- Build Basic Generative Adversarial Networks (GANs):Â DeepLearning.AI
- Linear Regression and Modeling :Â Duke University
- Introduction to Neural Networks and PyTorch:Â IBM