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"
DeepLearning.AI
Skills you'll gain: Natural Language Processing, Artificial Neural Networks, PyTorch (Machine Learning Library), Deep Learning, Tensorflow, Text Mining, Machine Learning Methods
University of Colorado Boulder
Skills you'll gain: Theoretical Computer Science, Algorithms, Graph Theory, Data Structures, Operations Research, Public Key Cryptography Standards (PKCS), Cryptography, Programming Principles, Computational Thinking, Design Strategies, Applied Mathematics, Computer Science, Encryption, Network Model, Linear Algebra, Combinatorics, Mathematical Modeling, Tree Maps, Advanced Mathematics, Analysis
Skills you'll gain: Data Structures, Algorithms, Software Visualization, Pseudocode, Programming Principles, Computational Thinking, Computer Science, Technical Communication, Computational Logic, Program Development
- Status: Free
National Taiwan University
Skills you'll gain: 3D Modeling, SketchUp (3D Modeling Software), Software Installation, Visualization (Computer Graphics), Computer Graphics
University of Colorado Boulder
Skills you'll gain: Internet Of Things, Cloud Computing Architecture, Amazon Web Services, Application Security, Application Programming Interface (API), Microservices, Embedded Systems, Cloud Services, Network Protocols, Cloud Technologies, Cybersecurity, Serial Peripheral Interface, Wireless Networks, Wide Area Networks
Peking University
Skills you'll gain: Data Structures, Algorithms, C++ (Programming Language), Object Oriented Programming (OOP), Object Oriented Design, Computational Thinking, Graph Theory, C (Programming Language), Programming Principles, Theoretical Computer Science, Program Development, Computer Science, Data Storage, Computer Architecture, Computer Programming, Database Systems, Software Design Patterns, Performance Tuning, Computational Logic, Debugging
Northwestern University
Skills you'll gain: Engineering, Mechanics, Mathematical Modeling, Torque (Physics), Simulation and Simulation Software, Matlab, Linear Algebra, Angular
- Status: Free
Universidad Nacional Autónoma de México
Skills you'll gain: Descriptive Statistics, Data Analysis, Correlation Analysis, Statistical Analysis, Data Presentation, Statistical Visualization, Probability, Histogram, Data-Driven Decision-Making, Regression Analysis, Probability Distribution, Box Plots, Graphing, Scatter Plots
Coursera Project Network
Skills you'll gain: Regression Analysis, NumPy, Applied Machine Learning, Supervised Learning, Machine Learning, Predictive Modeling
University of California, Davis
Skills you'll gain: Data Cleansing, Feature Engineering, A/B Testing, Data Quality, SQL, Data Manipulation, Data Integrity, Time Series Analysis and Forecasting, Data Analysis, Predictive Analytics, Business Metrics
University of Colorado Boulder
Skills you'll gain: Field-Programmable Gate Array (FPGA), Hardware Design, Program Development, Electronic Systems, System Design and Implementation, Eclipse (Software), Embedded Software, Embedded Systems, Development Environment, Software Development, Integrated Development Environments, Hardware Troubleshooting, Design Software, Engineering Documentation, Laboratory Experience
University of Colorado Boulder
Skills you'll gain: Linear Algebra, Integral Calculus, Algebra, Numerical Analysis, Calculus, Graphing, Applied Mathematics, Data Science, Mathematical Theory & Analysis, Data Analysis, Statistical Methods, Derivatives
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Natural Language Processing with Sequence Models: DeepLearning.AI
- Foundations of Data Structures and Algorithms: University of Colorado Boulder
- Coding Interview Preparation: Meta
- 3D CAD Fundamental: National Taiwan University
- M2M & IoT Interface Design & Protocols for Embedded Systems: University of Colorado Boulder
- 程序设计与算法: Peking University
- Modern Robotics, Course 1: Foundations of Robot Motion: Northwestern University
- Estadística y probabilidad: Universidad Nacional Autónoma de México
- Linear Regression with Python: Coursera Project Network
- SQL Problem Solving: University of California, Davis