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
Universidad de los Andes
Skills you'll gain: Mathematics Education, Arithmetic, Geometry, Systems Of Measurement, Graphing, Algebra
Universidad Nacional Autónoma de México
Skills you'll gain: Bayesian Network, Program Development, Computational Logic, Game Theory, Artificial Intelligence, Artificial Intelligence and Machine Learning (AI/ML), Algorithms, Computational Thinking, Creativity, Engineering Software, Markov Model, Software Development, Theoretical Computer Science, Generative AI, Decision Support Systems, Applied Machine Learning, Data Ethics, Problem Management, Social Sciences, Bioinformatics
Imperial College London
Skills you'll gain: Epidemiology, Clinical Trials, Research Design, Clinical Research, Public Health, Preventative Care, Data Collection, Biostatistics, Research Methodologies, Program Evaluation, Research, General Medical Tests and Procedures, Probability & Statistics, Risk Analysis, Quantitative Research, Health Policy, Correlation Analysis, Science and Research, Statistical Methods, Statistical Analysis
- Status: Free
Nanjing University
Skills you'll gain: Language Interpretation, Translation, and Studies, Language Competency, Vocabulary, English Language, Writing and Editing, Grammar, Cultural Sensitivity
EIT Digital
Skills you'll gain: Computational Logic, Theoretical Computer Science, Systems Analysis, Verification And Validation, Algorithms, Data Structures
Johns Hopkins University
Skills you'll gain: Algebra, Arithmetic, Mathematical Modeling, Applied Mathematics, Graphing, Probability & Statistics
- 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, Distributed Computing, Python Programming, Mechanics, Vibrations, Linear Algebra, Simulations
École Polytechnique Fédérale de Lausanne
Skills you'll gain: Digital Communications, Electrical and Computer Engineering, Programming Principles, Engineering Analysis, Electronics, Telecommunications, Advanced Mathematics, Algorithms, Linear Algebra, Time Series Analysis and Forecasting, Mathematical Modeling, Computational Logic, Applied Mathematics
University of Colorado Boulder
Skills you'll gain: Statistical Hypothesis Testing, Probability, Probability & Statistics, Probability Distribution, Statistical Inference, Statistical Methods, Bayesian Statistics, Sampling (Statistics), Data Ethics, Data Science, Statistical Analysis, Quantitative Research, Statistics, Sample Size Determination, Descriptive Statistics, Correlation Analysis
Google
Skills you'll gain: Adobe XD, User Experience Design, Usability Testing, Figma (Design Software), Responsive Web Design, Wireframing, Information Architecture, User Experience, Prototyping, UI/UX Research, Presentations, Design Reviews, User Story, Storyboarding, Mockups, Ideation, Software Documentation, User Research, User Centered Design, Web Design
The Hong Kong University of Science and Technology
Skills you'll gain: Requirements Analysis, Unified Modeling Language, Object Oriented Design, Functional Requirement, Data Modeling, Object Oriented Programming (OOP), Systems Development Life Cycle, System Requirements, Software Development, Software Engineering, Software Systems
Johns Hopkins University
Skills you'll gain: Magnetic Resonance Imaging, Medical Imaging, Data Analysis, Research Design, Image Analysis, Neurology, Science and Research, Statistical Analysis, Statistical Modeling, Data Processing
In summary, here are 10 of our most popular linear temporal logic (ltl) courses
- Contenido de las matemáticas de primaria: Universidad de los Andes
- Introducción a la inteligencia artificial: Universidad Nacional Autónoma de México
- Epidemiology for Public Health: Imperial College London
- Translation in Practice: Nanjing University
- Automated Reasoning: Symbolic Model Checking: EIT Digital
- Algebra: Elementary to Advanced - Equations & Inequalities: Johns Hopkins University
- Computers, Waves, Simulations: A Practical Introduction to Numerical Methods using Python: Ludwig-Maximilians-Universität München (LMU)
- Digital Signal Processing 1: Basic Concepts and Algorithms: École Polytechnique Fédérale de Lausanne
- Data Science Foundations: Statistical Inference: University of Colorado Boulder
- Google UX Design (PT): Google