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"
- Status: Free
Princeton University
Skills you'll gain: Risk Analysis, Network Analysis, Systems Thinking, World History, International Relations, Financial Systems, Public Health, Governance, Epidemiology, Complex Problem Solving, Economics, Supply Chain
- Status: Free
Skills you'll gain: Systems Analysis, Verification And Validation, Systems Design, Data Modeling, Software Design, Software Architecture, Theoretical Computer Science, Network Protocols, Algorithms, Data Management
- Status: Free
Tecnológico de Monterrey
Skills you'll gain: Applied Mathematics, Algebra, Mathematical Modeling, Mathematics Education, Graphing, Calculus, Mathematical Theory & Analysis, Graphical Tools, Derivatives
Skills you'll gain: Automation Engineering, Programmable Logic Controllers, Control Systems, Automation, Simulation and Simulation Software, Robotic Process Automation, Electrical Systems, Human Machine Interfaces, Manufacturing and Production, Industrial Engineering, Electronics, Mechanical Engineering, Internet Of Things, Matlab, Process Control
Duke University
Skills you'll gain: Large Language Modeling, Application Programming Interface (API), Restful API, Natural Language Processing, MLOps (Machine Learning Operations), JSON, Servers, Command-Line Interface, Open Source Technology
- Status: Free
Indian Institute for Human Settlements
Skills you'll gain: Innovation, Community Development, Environmental Issue, Social Sciences, Economics, Policy, and Social Studies, Policy Analysis, Socioeconomics, Systems Thinking, International Relations, Emerging Technologies, Technology Strategies, Research, Big Data, Research Methodologies
- Status: Free
Tecnológico de Monterrey
Skills you'll gain: Mathematical Modeling, Calculus, Physics, Integral Calculus, Graphing, Advanced Mathematics, Applied Mathematics, Mechanics, Linear Algebra, Geometry, Trigonometry, Derivatives
Alberta Machine Intelligence Institute
Skills you'll gain: Supervised Learning, Machine Learning Algorithms, Applied Machine Learning, Jupyter, Machine Learning, Classification And Regression Tree (CART), Scikit Learn (Machine Learning Library), Business Solutions, Python Programming, Regression Analysis, Performance Analysis, Feature Engineering, Data Processing, Performance Metric
- Status: Free
Politecnico di Milano
Skills you'll gain: Application Specific Integrated Circuits, Computer Architecture, Microarchitecture, Hardware Architecture, Cloud Infrastructure, Systems Design, Technical Design, Embedded Systems, System Design and Implementation, Software Design, Cloud Computing
Skills you'll gain: Field-Programmable Gate Array (FPGA), Hardware Design, Serial Peripheral Interface, Electronic Hardware, Internet Of Things, Embedded Systems, Embedded Software, Network Protocols, Digital Communications, Computer Architecture, Hardware Architecture, Software Development Tools, System Design and Implementation, Software Installation, Verification And Validation
Skills you'll gain: Dataflow, Data Pipelines, Data Processing, Real Time Data, Data Transformation, Jupyter, Google Cloud Platform, JSON, SQL
Coursera Project Network
Skills you'll gain: Adobe Illustrator, Logo Design, Graphic Design, Adobe Creative Cloud, Graphic and Visual Design, Digital Design, Typography, Design Elements And Principles, File Management, Color Theory
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Global Systemic Risk :Â Princeton University
- System Validation (4): Modelling Software, Protocols, and other behaviour:Â EIT Digital
- 3.- El Cálculo - Modelo Cúbico: Tecnológico de Monterrey
- Fundamentals of Robotics & Industrial Automation:Â L&T EduTech
- Beginning Llamafile for Local Large Language Models (LLMs):Â Duke University
- Shaping Urban Futures:Â Indian Institute for Human Settlements
- Conceptos y Herramientas para la FÃsica Universitaria: Tecnológico de Monterrey
- Machine Learning Algorithms: Supervised Learning Tip to Tail:Â Alberta Machine Intelligence Institute
- FPGA computing systems: Partial Dynamic Reconfiguration:Â Politecnico di Milano
- FPGA Architecture Based System for Industrial Application :Â L&T EduTech