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"
- Status: Free
Coursera Instructor Network
Skills you'll gain: Algorithms, Technical Communication, Computational Thinking, Solution Design, Programming Principles, Software Design, Theoretical Computer Science, Data Structures, Problem Management, Applied Mathematics
University of Leeds
Skills you'll gain: Resource Allocation, Operations Research, Production Planning, Graph Theory, Data-Driven Decision-Making, Decision Making, Business Technologies, Mathematical Modeling, Process Optimization, Complex Problem Solving, Algorithms, Linear Algebra
University of Colorado Boulder
Skills you'll gain: Computational Logic, Verification And Validation, Automation, Theoretical Computer Science, Systems Analysis, System Requirements, Simulations, Algorithms, Safety and Security
École Polytechnique Fédérale de Lausanne
Skills you'll gain: Scalability, Scala Programming, Distributed Computing, Event-Driven Programming, System Design and Implementation, Systems Design, Software Architecture, Software Design Patterns, Application Frameworks
LearnKartS
Skills you'll gain: Salesforce, Data Import/Export, Dashboard, Salesforce Development, Application Deployment, Data Cleansing, User Accounts, Workflow Management, Business Reporting, Customer Relationship Management, Management Reporting, Data Management, Identity and Access Management, Release Management, Data Quality, Data Integration, Authorization (Computing), Change Management, Configuration Management, Business Process Automation
Coursera Project Network
Skills you'll gain: Exploratory Data Analysis, Box Plots, Correlation Analysis, Data Visualization, Scatter Plots, Data Cleansing, Statistical Visualization, Data Manipulation, Pandas (Python Package), Statistical Hypothesis Testing, Descriptive Statistics, Statistical Analysis, Data Analysis, Probability & Statistics, Python Programming
Skills you'll gain: Predictive Modeling, Predictive Analytics, SAS (Software), Statistical Modeling, Regression Analysis, Statistical Analysis, Data Analysis, Statistical Methods, Probability & Statistics, Statistical Hypothesis Testing
Pontificia Universidad Católica de Chile
Skills you'll gain: Semiconductors, Electronic Systems, Electronic Components, Basic Electrical Systems, Electrical Engineering, Power Electronics, Engineering Design Process, Schematic Diagrams, Performance Testing, Computational Logic, Mathematical Modeling, Engineering Analysis
Skills you'll gain: PyTorch (Machine Learning Library), Deep Learning, Machine Learning, Artificial Neural Networks, Supervised Learning, Python Programming, Artificial Intelligence, Regression Analysis, Performance Tuning, System Configuration, Software Installation
- Status: Free
Coursera Project Network
Skills you'll gain: Game Theory, Strategic Decision-Making, Decision Making, Operations Research, Complex Problem Solving, Spreadsheet Software, Economics
- Status: Free
DeepLearning.AI
Skills you'll gain: Data Quality, Performance Tuning, Generative AI, MLOps (Machine Learning Operations), SQL, Open Source Technology, Artificial Intelligence and Machine Learning (AI/ML)
Skills you'll gain: Process Mapping, Root Cause Analysis, Lean Six Sigma, Lean Methodologies, Correlation Analysis, Process Improvement, Quality Improvement, Lean Manufacturing, Six Sigma Methodology, Regression Analysis, Statistical Methods, Statistical Process Controls, Continuous Improvement Process, Data Collection, Descriptive Statistics, Probability & Statistics, Process Optimization, Continuous Quality Improvement (CQI), Project Risk Management, Process Management
In summary, here are 10 of our most popular linear temporal logic courses
- Algorithmic Solutions: Design, Problem Solving, Reporting:Â Coursera Instructor Network
- Introduction to Technology-Assisted Decision-Making:Â University of Leeds
- Verification and Synthesis of Autonomous Systems:Â University of Colorado Boulder
- Programming Reactive Systems (Scala 2 version): École Polytechnique Fédérale de Lausanne
- Salesforce Admin and App Builder:Â LearnKartS
- Basic Statistics in Python (Correlations and T-tests):Â Coursera Project Network
- Regression Modeling Fundamentals:Â SAS
- Electrónica en cápsulas: Pontificia Universidad Católica de Chile
- Foundations and Core Concepts of PyTorch:Â Packt
- Game-Theoretic Solution Concept with Spreadsheets:Â Coursera Project Network