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
University of Amsterdam
Skills you'll gain: Culture, Interpersonal Communications, Media and Communications, Liberal Arts, Social Studies, Sociology, Research, Non-Verbal Communication, Qualitative Research, Journalism
DeepLearning.AI
Skills you'll gain: Unsupervised Learning, Artificial Intelligence and Machine Learning (AI/ML), Data Ethics, Machine Learning, Machine Learning Algorithms, Supervised Learning, Artificial Intelligence, Reinforcement Learning, Artificial Neural Networks, Deep Learning, Anomaly Detection, Dimensionality Reduction, Algorithms, Regression Analysis
University of Colorado Boulder
Skills you'll gain: Power Electronics, Semiconductors, Electronic Systems, Electrical Engineering, USB, Electronic Components, Systems Analysis, Process Control, Simulation and Simulation Software, Basic Electrical Systems, Engineering Analysis, Mathematical Modeling, Technical Design, Systems Design, Design Specifications, Plot (Graphics), Engineering Design Process, Engineering Calculations, Graphical Tools, Differential Equations
Skills you'll gain: API Design, Restful API, API Gateway, Application Programming Interface (API), Cloud API, Application Lifecycle Management, Proxy Servers, Cloud Applications, Software Design Documents, Software Documentation, Google Cloud Platform, Authentications
- Status: Free
The University of Sydney
Skills you'll gain: Calculus, Integral Calculus, Algebra, Advanced Mathematics, Geometry, Trigonometry, Arithmetic, Derivatives, Mathematical Modeling, Graphing
University of Colorado Boulder
Skills you'll gain: Field-Programmable Gate Array (FPGA), Hardware Design, Systems Design, Electronic Hardware, Electrical and Computer Engineering, Simulation and Simulation Software, Embedded Systems, Verification And Validation, Computer Engineering, Development Testing, Debugging
DeepLearning.AI
Skills you'll gain: Artificial Intelligence and Machine Learning (AI/ML), Classification And Regression Tree (CART), Machine Learning Algorithms, Machine Learning, Applied Machine Learning, Data Ethics, Decision Tree Learning, Tensorflow, Supervised Learning, Deep Learning, Random Forest Algorithm, Artificial Neural Networks, Algorithms, Regression Analysis, Performance Tuning
Skills you'll gain: Supervised Learning, Applied Machine Learning, Regression Analysis, Machine Learning, Predictive Modeling, Classification And Regression Tree (CART), Statistical Modeling, Scikit Learn (Machine Learning Library), Dimensionality Reduction, Feature Engineering, Data Processing, Pandas (Python Package), Data Manipulation, Performance Metric
Johns Hopkins University
Skills you'll gain: Shiny (R Package), Rmarkdown, Regression Analysis, Leaflet (Software), Exploratory Data Analysis, Statistical Inference, Predictive Modeling, Statistical Hypothesis Testing, Plotly, Machine Learning Algorithms, Interactive Data Visualization, Probability & Statistics, Statistical Machine Learning, Feature Engineering, Statistical Analysis, Statistical Modeling, Probability, Correlation Analysis, Data Science, Data Analysis
University of Toronto
Skills you'll gain: Automation, Simulation and Simulation Software, Software Architecture, Hardware Architecture, Process Control, Systems Architecture, Computer Vision, Verification And Validation, Mathematical Modeling, Mechanical Engineering, Safety and Security
Rice University
Skills you'll gain: Programming Principles, Python Programming, Computational Logic, Development Environment, Computer Programming, Scripting Languages, Debugging
University of Colorado Boulder
Skills you'll gain: Computational Logic, Theoretical Computer Science, System Requirements, Requirements Analysis, Verification And Validation, Linear Algebra, Applied Mathematics
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Introduction to Communication Science:Â University of Amsterdam
- Unsupervised Learning, Recommenders, Reinforcement Learning:Â DeepLearning.AI
- Power Electronics:Â University of Colorado Boulder
- API Design and Fundamentals of Google Cloud's Apigee API Platform:Â Google Cloud
- Introduction to Calculus:Â The University of Sydney
- Hardware Description Languages for FPGA Design:Â University of Colorado Boulder
- Advanced Learning Algorithms:Â DeepLearning.AI
- Supervised Machine Learning: Regression:Â IBM
- Data Science: Statistics and Machine Learning:Â Johns Hopkins University
- Introduction to Self-Driving Cars:Â University of Toronto