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
Georgia Institute of Technology
Skills you'll gain: Mechanics, Torque (Physics), Mechanical Engineering, Engineering Analysis, Differential Equations, Engineering, Linear Algebra, Applied Mathematics, Physics, Trigonometry, Advanced Mathematics, Calculus
University of Michigan
Skills you'll gain: Statistical Modeling, Statistical Methods, Bayesian Statistics, Statistical Inference, Statistical Analysis, Statistical Programming, Regression Analysis, Predictive Modeling, Jupyter, Exploratory Data Analysis, Statistical Hypothesis Testing, Correlation Analysis, Probability Distribution
- Status: Free
The Chinese University of Hong Kong
Skills you'll gain: Digital Communications, Theoretical Computer Science, Telecommunications, Information Management, Probability, Probability Distribution, Technical Communication, Algorithms, General Mathematics
Johns Hopkins University
Skills you'll gain: Object Oriented Programming (OOP), R Programming, Debugging, Functional Design, Programming Principles, Data Manipulation, Data Structures, Software Design Patterns, Performance Tuning
Skills you'll gain: Generative AI, Reinforcement Learning, Deep Learning, Unsupervised Learning, Artificial Neural Networks, PyTorch (Machine Learning Library), Keras (Neural Network Library), Machine Learning Algorithms, Tensorflow, Computer Vision, Dimensionality Reduction, Natural Language Processing
- Status: Free
DeepLearning.AI
Skills you'll gain: ChatGPT, Large Language Modeling, Generative AI Agents, OpenAI, Generative AI, Prompt Engineering, Application Development, Application Frameworks
Skills you'll gain: Descriptive Statistics, Statistical Analysis, Data Analysis, Probability Distribution, Statistics, Data Visualization, Statistical Hypothesis Testing, Regression Analysis, Probability & Statistics, Data Science, Matplotlib, Exploratory Data Analysis, Probability, Correlation Analysis, Pandas (Python Package), Jupyter
Skills you'll gain: COBOL (Programming Language), Integrated Development Environments, IBM Cloud, Mainframe Computing, Programming Principles, Computer Programming Tools, Development Environment, Data Management, Debugging, File Management
Rice University
Skills you'll gain: Basic Electrical Systems, Electrical Engineering, Torque (Physics), Physics, Electrical Systems, Engineering Analysis, Electronic Components, Mechanics, Electronic Systems, Mathematical Modeling, Applied Mathematics, Engineering Calculations, Calculus, Advanced Mathematics, Trigonometry, Linear Algebra
University of London
Skills you'll gain: Graphing, Computational Thinking, Arithmetic, Applied Mathematics, Mathematical Modeling, General Mathematics, Computer Science, Computer Graphics, Systems Of Measurement, Cryptography
Skills you'll gain: Electrical Substation, Electrical Systems, Electrical Power, Control Systems, Electric Power Systems, Low Voltage, High Voltage, Electrical Equipment, Electrical Safety, Three-Phase, HVAC, Basic Electrical Systems, Wiring Diagram, Mechanical Design, Schematic Diagrams, Construction, Civil Engineering, Control Panels, Programmable Logic Controllers, Technical Standard
Splunk Inc.
Skills you'll gain: Splunk, Correlation Analysis, Data Transformation, Data Manipulation, Data Visualization Software, Performance Tuning, Dashboard, Data Analysis Expressions (DAX), Statistical Analysis, Data Processing, Security Information and Event Management (SIEM), Data Analysis, Data Synthesis, Data Modeling, Ad Hoc Reporting, Time Series Analysis and Forecasting, Exploratory Data Analysis, Transaction Processing, Query Languages, Analysis
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Advanced Engineering Systems in Motion: Dynamics of Three Dimensional (3D) Motion:Â Georgia Institute of Technology
- Fitting Statistical Models to Data with Python:Â University of Michigan
- Information Theory:Â The Chinese University of Hong Kong
- Advanced R Programming:Â Johns Hopkins University
- Deep Learning and Reinforcement Learning:Â IBM
- Functions, Tools and Agents with LangChain:Â DeepLearning.AI
- Statistics for Data Science with Python:Â IBM
- COBOL Programming with VSCode:Â IBM
- Introduction to Electricity and Magnetism:Â Rice University
- Mathematics for Computer Science:Â University of London