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"
University of Alberta
Skills you'll gain: Reinforcement Learning, Machine Learning, Artificial Intelligence, Markov Model, Applied Machine Learning, Algorithms
Korea Advanced Institute of Science and Technology(KAIST)
Skills you'll gain: Differential Equations, Applied Mathematics, Advanced Mathematics, Calculus, Linear Algebra, Algebra
Duke University
Skills you'll gain: Regression Analysis, Statistical Software, Statistical Analysis, R Programming, Statistical Modeling, Statistical Inference, Data Analysis, Statistical Methods, Exploratory Data Analysis, Predictive Modeling
University of Colorado Boulder
Skills you'll gain: Computational Logic, Theoretical Computer Science, System Requirements, Requirements Analysis, Verification And Validation, Linear Algebra, Applied Mathematics
Johns Hopkins University
Skills you'll gain: Data Modeling, Graphing, Mathematical Modeling, Algebra, Trigonometry, Linear Algebra, Calculus, Advanced Mathematics, Applied Mathematics, Geometry
Rice University
Skills you'll gain: Statistical Hypothesis Testing, Microsoft Excel, Pivot Tables And Charts, Regression Analysis, Descriptive Statistics, Probability & Statistics, Graphing, Spreadsheet Software, Probability Distribution, Business Analytics, Statistical Analysis, Statistical Modeling, Excel Formulas, Data Analysis, Data Presentation, Statistics, Sample Size Determination, Box Plots, Analytical Skills, Statistical Inference
Korea Advanced Institute of Science and Technology(KAIST)
Skills you'll gain: Differential Equations, Applied Mathematics, Advanced Mathematics, Linear Algebra, Calculus, Engineering Analysis, Mathematical Modeling
Multiple educators
Skills you'll gain: Dashboard, Pseudocode, Jupyter, Algorithms, Data Mining, Pandas (Python Package), Data Visualization Software, Correlation Analysis, Web Scraping, NumPy, R Programming, Probability & Statistics, Predictive Modeling, Big Data, Automation, Computer Programming Tools, GitHub, Data Analysis Software, Machine Learning Algorithms, Unsupervised Learning
Duke University
Skills you'll gain: Databricks, Generative AI, Performance Analysis, Apache Airflow, Workflow Management, Data Lakes, Extract, Transform, Load, OpenAI, AWS SageMaker, Performance Tuning, Scalability, Data Transformation, Data Infrastructure, Microsoft Azure, MLOps (Machine Learning Operations), Amazon Web Services, Natural Language Processing, PyTorch (Machine Learning Library), Risk Management Framework, Artificial Intelligence
Imperial College London
Skills you'll gain: Dimensionality Reduction, NumPy, Probability & Statistics, Jupyter, Statistics, Geometry, Linear Algebra, Data Transformation, Python Programming, Advanced Mathematics, Machine Learning, Machine Learning Algorithms, Calculus
The Hong Kong University of Science and Technology
Skills you'll gain: Differential Equations, Engineering Calculations, Engineering Analysis, Applied Mathematics, Calculus, Numerical Analysis, Mathematical Modeling, Advanced Mathematics, Linear Algebra, Algebra
DeepLearning.AI
Skills you'll gain: Classification And Regression Tree (CART), Machine Learning Algorithms, Machine Learning, Data Ethics, Decision Tree Learning, Tensorflow, Supervised Learning, Deep Learning, Random Forest Algorithm, Artificial Neural Networks, Regression Analysis, Performance Tuning
In summary, here are 10 of our most popular linear temporal logic courses
- Fundamentals of Reinforcement Learning:Â University of Alberta
- Differential Equations Part II Series Solutions:Â Korea Advanced Institute of Science and Technology(KAIST)
- Linear Regression and Modeling :Â Duke University
- Requirement Specifications for Autonomous Systems:Â University of Colorado Boulder
- Calculus through Data & Modeling: Precalculus Review:Â Johns Hopkins University
- Business Statistics and Analysis:Â Rice University
- Differential Equations Part III Systems of Equations :Â Korea Advanced Institute of Science and Technology(KAIST)
- Data Science Foundations:Â IBM
- Large Language Model Operations (LLMOps):Â Duke University
- Mathematics for Machine Learning: PCA:Â Imperial College London