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"
EIT Digital
Skills you'll gain: Computational Logic, Combinatorics, Logical Reasoning, Computational Thinking, Mathematical Modeling, Operations Research, Theoretical Computer Science, Applied Mathematics, Algorithms, Linear Algebra, Verification And Validation, Arithmetic
University of Michigan
Skills you'll gain: Forecasting, Statistical Methods, Regression Analysis, Data Cleansing, Scikit Learn (Machine Learning Library), Supervised Learning, Statistical Hypothesis Testing, Correlation Analysis, Predictive Analytics, Predictive Modeling, Matplotlib, Applied Machine Learning, Data Visualization, Kinesiology, Injury Prevention, Data Analysis, Machine Learning Methods, Analytics, Advanced Analytics, Statistical Analysis
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
University of California San Diego
Skills you'll gain: Event-Driven Programming, Interactive Data Visualization, Java, Java Programming, Object Oriented Programming (OOP), User Interface (UI), Computer Programming, Algorithms, Graphical Tools, Software Engineering, Data Structures, Programming Principles, Software Documentation, Development Environment, Debugging
- Status: Free
École Polytechnique
Skills you'll gain: Differential Equations, Computational Logic, Numerical Analysis, Linear Algebra, Mathematical Modeling, Applied Mathematics, Advanced Mathematics
Johns Hopkins University
Skills you'll gain: Sampling (Statistics), Bayesian Statistics, Probability & Statistics, Statistical Inference, Statistical Methods, Probability, Probability Distribution, Data Analysis, Statistical Analysis, Biostatistics
Johns Hopkins University
Skills you'll gain: Data Analysis, Applied Mathematics, Mathematical Modeling, Analytical Skills, Data Modeling, Statistics, Systems Of Measurement, Correlation Analysis, Regression Analysis
DeepLearning.AI
Skills you'll gain: Natural Language Processing, PyTorch (Machine Learning Library), Keras (Neural Network Library), Deep Learning, Tensorflow, Machine Learning Methods, Artificial Intelligence, Text Mining, Data Processing
DeepLearning.AI
Skills you'll gain: Natural Language Processing, Keras (Neural Network Library), Artificial Neural Networks, PyTorch (Machine Learning Library), Deep Learning, Tensorflow, Text Mining, Machine Learning
California Institute of the Arts
Skills you'll gain: User Experience Design, User Interface (UI) Design, User Centered Design, Interaction Design, Prototyping, Wireframing, User Research, User Flows, Mockups, Information Architecture, Ideation, Mobile Development
- Status: Free
Northwestern University
Skills you'll gain: Image Analysis, Digital Communications, Computer Vision, Visualization (Computer Graphics), Electrical Engineering, Matlab, Color Theory, Applied Mathematics, Statistical Process Controls
Skills you'll gain: Field-Programmable Gate Array (FPGA), Hardware Design, Electronic Hardware, Electronic Systems, Electrical and Computer Engineering, Computer Architecture, Computer Engineering, Verification And Validation, Computational Logic, Simulation and Simulation Software, Design Software, Functional Design, System Design and Implementation, Development Testing, Schematic Diagrams, Dataflow, Development Environment
In summary, here are 10 of our most popular linear temporal logic courses
- Automated Reasoning: satisfiability:Â EIT Digital
- Sports Performance Analytics:Â University of Michigan
- Large Language Model Operations (LLMOps):Â Duke University
- Object Oriented Programming in Java:Â University of California San Diego
- Density Functional Theory: École Polytechnique
- Mathematical Biostatistics Boot Camp 1:Â Johns Hopkins University
- Precalculus: Mathematical Modeling:Â Johns Hopkins University
- Natural Language Processing with Attention Models:Â DeepLearning.AI
- Natural Language Processing with Sequence Models:Â DeepLearning.AI
- UX Design Fundamentals:Â California Institute of the Arts