Filter by
SubjectRequired
LanguageRequired
The language used throughout the course, in both instruction and assessments.
Learning ProductRequired
LevelRequired
DurationRequired
SkillsRequired
SubtitlesRequired
EducatorRequired
Results for "linear temporal logic"
Alberta Machine Intelligence Institute
Skills you'll gain: Feature Engineering, Data Quality, Data Processing, Supervised Learning, Data Validation, Data Cleansing, Data Transformation, Verification And Validation, Applied Machine Learning, Machine Learning, Unsupervised Learning, Machine Learning Algorithms, Predictive Modeling, Exploratory Data Analysis, Algorithms
Erasmus University Rotterdam
Skills you'll gain: Microsoft Excel, Excel Formulas, Verification And Validation, Business Modeling, Technical Documentation, Data Validation, Asset Protection, Information Architecture, Data Integrity, Data Management
Coursera Project Network
Skills you'll gain: Postman API Platform, OAuth, Application Programming Interface (API), API Design, Performance Testing, Security Testing, Software Testing, Restful API, Test Tools, Authentications, Authorization (Computing)
École Polytechnique Fédérale de Lausanne
Skills you'll gain: Scala Programming, Scalability, Distributed Computing, Dataflow, Event-Driven Programming, System Design and Implementation, Software Architecture, Software Design Patterns, Software Development, Software Systems, Application Frameworks
- Status: Free
Peking University
Skills you'll gain: Microarchitecture, Computer Architecture, Computer Systems, Hardware Architecture, Computer Hardware, Data Storage, Data Storage Technologies, Computational Logic, Peripheral Devices
Skills you'll gain: Tensorflow, Supervised Learning, Artificial Neural Networks, Regression Analysis, Classification And Regression Tree (CART), Applied Machine Learning, Statistical Machine Learning, Machine Learning Algorithms, Deep Learning, Image Analysis, Machine Learning, Random Forest Algorithm, Predictive Modeling, Decision Tree Learning, Natural Language Processing, Scikit Learn (Machine Learning Library), Computer Vision
LearnQuest
Skills you'll gain: Software Design Patterns, Object Oriented Programming (OOP), Computational Thinking, Programming Principles, Algorithms, Software Architecture, Computer Programming, Python Programming, Model View Controller, Data Structures
University of Colorado Boulder
Skills you'll gain: Deep Learning, Unsupervised Learning, Keras (Neural Network Library), Computer Vision, Image Analysis, Artificial Intelligence and Machine Learning (AI/ML), Artificial Neural Networks, Machine Learning Methods, Generative AI, Applied Machine Learning, Natural Language Processing, Python Programming
University of Leeds
Skills you'll gain: Artificial Intelligence, Data Ethics, Artificial Intelligence and Machine Learning (AI/ML), Automation, Computer Science, Ethical Standards And Conduct, Machine Learning
- Status: Free
Skills you'll gain: Systems Analysis, Verification And Validation, Computational Logic, Data Modeling, Programming Principles, Software Design, Software Architecture, Theoretical Computer Science, Network Protocols, Algorithms
- Status: Free
Princeton University
Skills you'll gain: Risk Analysis, Analysis, Systems Thinking, International Relations, Financial Systems, Socioeconomics, Governance, Epidemiology, Complex Problem Solving, Cultural Diversity, Economics, Supply Chain
- Status: Free
Georgia Institute of Technology
Skills you'll gain: Game Theory, Combinatorics, Mathematical Theory & Analysis, Computational Thinking, Mathematical Modeling
In summary, here are 10 of our most popular linear temporal logic courses
- Data for Machine Learning: Alberta Machine Intelligence Institute
- Excel Modeling for Professionals: Best Practices & Pitfalls: Erasmus University Rotterdam
- API Testing a real web application via Postman: Coursera Project Network
- Programming Reactive Systems: École Polytechnique Fédérale de Lausanne
- 计算机组成 Computer Organization: Peking University
- AI Workflow: Machine Learning, Visual Recognition and NLP: IBM
- Application Programming Fundamentals: LearnQuest
- Introduction to Deep Learning: University of Colorado Boulder
- How to Get Into AI: University of Leeds
- System Validation (4): Modelling Software, Protocols, and other behaviour: EIT Digital