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 specifications"
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
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
- Status: Free
Skills you'll gain: Verification And Validation, Computational Logic, System Requirements, Functional Requirement, Systems Design, Data Modeling
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
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
- 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
É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
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
Georgia Institute of Technology
Skills you'll gain: Game Theory, Combinatorics, Mathematical Theory & Analysis, Computational Thinking, Mathematical Modeling
Coursera Project Network
Skills you'll gain: Adobe Illustrator, Logo Design, Graphic Design, Creative Design, Adobe Creative Cloud, Graphic and Visual Design, Digital Design, Typography, File Management, Color Theory
- 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
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Excel Modeling for Professionals: Best Practices & Pitfalls: Erasmus University Rotterdam
- Data for Machine Learning: Alberta Machine Intelligence Institute
- System Validation (3): Requirements by modal formulas: EIT Digital
- Introduction to Deep Learning: University of Colorado Boulder
- Application Programming Fundamentals: LearnQuest
- 计算机组成 Computer Organization: Peking University
- AI Workflow: Machine Learning, Visual Recognition and NLP: IBM
- Programming Reactive Systems: École Polytechnique Fédérale de Lausanne
- How to Get Into AI: University of Leeds
- Games without Chance: Combinatorial Game Theory : Georgia Institute of Technology