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
Shanghai Jiao Tong University
Skills you'll gain: Combinatorics, Graph Theory, Theoretical Computer Science, Advanced Mathematics, Network Analysis, Logical Reasoning, Computational Thinking, Algorithms, Data Structures, Computer Science
École Polytechnique Fédérale de Lausanne
Skills you'll gain: Digital Communications, Image Analysis, Electrical Engineering, Electrical and Computer Engineering, Embedded Systems, Electronic Systems, Engineering Analysis, Engineering Calculations, Programming Principles, Computer Engineering, Numerical Analysis, Advanced Mathematics, Algorithms, Linear Algebra, Systems Of Measurement, Mathematical Modeling, Calculus, Basic Electrical Systems, Python Programming, Applied Mathematics
University at Buffalo
Skills you'll gain: Computer Vision, Image Analysis, Computer Graphics, Visualization (Computer Graphics), Color Theory, Data Processing, Artificial Intelligence, Matlab, Artificial Neural Networks, Algorithms, Calculus, Probability & Statistics
University of Michigan
Skills you'll gain: Finite Element Methods, Engineering Analysis, Numerical Analysis, Mathematical Modeling, Advanced Mathematics, C++ (Programming Language), Object Oriented Programming (OOP)
University of Amsterdam
Skills you'll gain: Statistical Hypothesis Testing, Statistical Inference, Statistical Software, Statistical Analysis, Statistical Methods, Quantitative Research, Sampling (Statistics), Probability & Statistics, Regression Analysis, Probability Distribution
- Status: Free
Coursera Project Network
Skills you'll gain: WordPress, Content Management Systems, Web Content, Web Design and Development, Information Architecture
University of Alberta
Skills you'll gain: Reinforcement Learning, Deep Learning, Machine Learning, Supervised Learning, Artificial Neural Networks, Pseudocode, Linear Algebra
University of Michigan
Skills you'll gain: Forecasting, Statistical Methods, Regression Analysis, Data Cleansing, Scikit Learn (Machine Learning Library), Supervised Learning, Data Processing, Statistical Hypothesis Testing, Correlation Analysis, Predictive Modeling, Matplotlib, Applied Machine Learning, Statistical Modeling, Kinesiology, Injury Prevention, Machine Learning Methods, Analytics, Data Analysis, Advanced Analytics, Statistical Analysis
Skills you'll gain: Field-Programmable Gate Array (FPGA), Electronic Systems, Application Specific Integrated Circuits, Hardware Design, Serial Peripheral Interface, Computational Logic, Electrical Engineering, Computer Architecture, Schematic Diagrams, Semiconductors, Hardware Architecture, Electronic Components, Power Electronics, Internet Of Things, Embedded Systems, Electronic Hardware, Electrical and Computer Engineering, Microarchitecture, Computer Hardware, Network Protocols
University of California San Diego
Skills you'll gain: Data Modeling, Data Infrastructure, Databases, Data Architecture, Big Data, Data Management, Database Management Systems, Real Time Data, NoSQL, Database Design, Data Processing, Data Storage, Relational Databases, Scalability, Virtual Environment
Kennesaw State University
Skills you'll gain: Six Sigma Methodology, Process Improvement, Process Optimization, Correlation Analysis, Statistical Hypothesis Testing, Lean Six Sigma, Kaizen Methodology, Regression Analysis, Statistical Process Controls, Process Analysis, Continuous Improvement Process, Quality Management, Project Management, Quality Control, Cost Benefit Analysis, Document Management
University of Toronto
Skills you'll gain: Global Positioning Systems, Estimation, Machine Learning Methods, Computer Vision, Mathematical Modeling, Applied Mathematics, Linear Algebra, Python Programming, Real Time Data, Physics
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Discrete Mathematics:Â Shanghai Jiao Tong University
- Digital Signal Processing: École Polytechnique Fédérale de Lausanne
- Computer Vision Basics:Â University at Buffalo
- The Finite Element Method for Problems in Physics:Â University of Michigan
- Inferential Statistics:Â University of Amsterdam
- Build a free website with WordPress:Â Coursera Project Network
- Prediction and Control with Function Approximation:Â University of Alberta
- Sports Performance Analytics:Â University of Michigan
- Chip based VLSI design for Industrial Applications:Â L&T EduTech
- Big Data Modeling and Management Systems:Â University of California San Diego