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 (ltl)"
- Status: Free
Nanjing University
Skills you'll gain: Language Interpretation, Translation, and Studies, Vocabulary, Writing and Editing, Writing, Grammar, Cultural Sensitivity
- Status: Free
Ludwig-Maximilians-Universität München (LMU)
Skills you'll gain: Finite Element Methods, Numerical Analysis, Engineering Analysis, Jupyter, Differential Equations, Applied Mathematics, NumPy, Mathematical Modeling, Computational Thinking, Python Programming, Calculus, Mechanics, Vibrations, Linear Algebra, Simulations
University of Michigan
Skills you'll gain: Probability & Statistics, Data Analysis, Deductive Reasoning, Statistics, Analytical Skills, Experimentation, Critical Thinking, Cost Benefit Analysis, Research Design, Behavioral Economics, Decision Making, Predictive Analytics, Regression Analysis, Scientific Methods, Correlation Analysis, Risk Mitigation
University of Colorado Boulder
Skills you'll gain: Computational Logic, Model Based Systems Engineering, Mathematical Modeling, Theoretical Computer Science, Systems Design, System Requirements, Verification And Validation, Systems Architecture, Requirements Analysis, Automation, Mechanical Engineering, Computer Systems, Systems Analysis, Systems Engineering, Linear Algebra, Differential Equations, Systems Integration, Electrical Engineering, Applied Mathematics, Algorithms
- Status: AI skills
Microsoft
Skills you'll gain: Storyboarding, User Research, Information Architecture, User Experience Design, Design Thinking, Prototyping, Usability Testing, Persona (User Experience), Wireframing, Design Research, User Interface and User Experience (UI/UX) Design, Interaction Design, Web Content Accessibility Guidelines, Human Centered Design, Usability, User Interface (UI) Design, User Centered Design, Figma (Design Software), Design, Mockups
The Hong Kong University of Science and Technology
Skills you'll gain: Software Design Patterns, Systems Development Life Cycle, Software Architecture, Software Development Life Cycle, Software Quality Assurance, Engineering Software, Software Design, Process Driven Development, Software Engineering, Quality Assurance, Systems Development, Systems Analysis, Software Design Documents, Object Oriented Design, Systems Design, Maintainability, Systems Architecture, Unified Modeling Language
University of Michigan
Skills you'll gain: Finite Element Methods, Differential Equations, Engineering Analysis, Numerical Analysis, Mathematical Modeling, Advanced Mathematics, Linear Algebra, C++ (Programming Language), Object Oriented Programming (OOP), Algorithms
Skills you'll gain: Bayesian Statistics, Descriptive Statistics, Statistical Hypothesis Testing, Statistical Inference, Sampling (Statistics), Data Modeling, Statistics, Probability & Statistics, Statistical Analysis, Statistical Methods, Statistical Modeling, Marketing Analytics, Tableau Software, Data Analysis, Spreadsheet Software, Quantitative Research, Analytics, Descriptive Analytics, Time Series Analysis and Forecasting, Regression Analysis
University at Buffalo
Skills you'll gain: Computer Vision, Image Analysis, Computer Graphics, Visualization (Computer Graphics), Color Theory, Data Processing, Artificial Intelligence, Matlab, Linear Algebra, Artificial Neural Networks, Algorithms, Calculus, Probability & Statistics
Johns Hopkins University
Skills you'll gain: Radiology, Psychology, Data Analysis, Research Design, Image Analysis, Statistical Analysis, Statistical Modeling, Scientific Methods, Data Processing, Data Collection, Probability & Statistics, Research
- Status: Free
University of Minnesota
Skills you'll gain: Dimensionality Reduction, NumPy, Linear Algebra, Machine Learning Methods, Data Analysis, Regression Analysis, Mathematical Modeling, Applied Mathematics, Solution Design, Applied Machine Learning, Data Manipulation, Exploratory Data Analysis, Algorithms, Python Programming
University of California San Diego
Skills you'll gain: Bioinformatics, Data Analysis, Computational Thinking, Life Sciences, Algorithms, Statistical Analysis, Computational Logic, Computer Programming, Probability & Statistics
In summary, here are 10 of our most popular linear temporal logic (ltl) courses
- Translation in Practice:Â Nanjing University
- Computers, Waves, Simulations: A Practical Introduction to Numerical Methods using Python: Ludwig-Maximilians-Universität München (LMU)
- Mindware: Critical Thinking for the Information Age :Â University of Michigan
- Foundations of Autonomous Systems:Â University of Colorado Boulder
- Microsoft UX Design:Â Microsoft
- Software Engineering: Software Design and Project Management:Â The Hong Kong University of Science and Technology
- The Finite Element Method for Problems in Physics:Â University of Michigan
- Statistics Foundations:Â Meta
- Computer Vision Basics:Â University at Buffalo
- Principles of fMRI 1:Â Johns Hopkins University