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"
University of Illinois Urbana-Champaign
Skills you'll gain: Text Mining, Natural Language Processing, Data Mining, Unstructured Data, Big Data, Web Analytics and SEO, Machine Learning, Information Architecture, Statistical Methods, Algorithms, Probability & Statistics
Northwestern University
Skills you'll gain: Mathematical Modeling, Engineering Calculations, Engineering Analysis, Mechanics, Simulation and Simulation Software, Virtual Environment, Torque (Physics), Linear Algebra, Trigonometry
Status: FreeSkills you'll gain: Verification And Validation, Theoretical Computer Science, System Testing, Embedded Software, System Software, Software Architecture, System Design and Implementation
Johns Hopkins University
Skills you'll gain: Calculus, Integral Calculus, Numerical Analysis, Advanced Mathematics, Applied Mathematics, Data Integration, Mathematical Modeling, Mathematical Theory & Analysis, Probability, Geometry, Visualization (Computer Graphics), Mechanics, Spatial Data Analysis, Derivatives, Graphing, Physics
University of Colorado Boulder
Skills you'll gain: Linear Algebra, Physics, Applied Mathematics, Advanced Mathematics, Mathematical Modeling, Engineering Analysis, Differential Equations, Physical Science
University of Illinois Urbana-Champaign
Skills you'll gain: Statistical Inference, Business Analytics, Statistical Analysis, Statistical Hypothesis Testing, Regression Analysis, Data-Driven Decision-Making, Statistical Methods, Probability & Statistics, Predictive Analytics, Microsoft Excel, Sampling (Statistics)
Imperial College London
Skills you'll gain: Descriptive Statistics, Exploratory Data Analysis, Regression Analysis, Data Analysis, R Programming, Statistical Modeling, Predictive Modeling, Statistical Analysis, Biostatistics, Data Manipulation, Statistical Hypothesis Testing
Johns Hopkins University
Skills you'll gain: Algebra, Advanced Mathematics, Applied Mathematics, Analytical Skills, Mathematical Modeling, Geometry, Graphing
Rice University
Skills you'll gain: Portfolio Management, Investment Management, Risk Modeling, Investments, Financial Market, Risk Management, Equities, Finance, Risk Appetite, Asset Management, Return On Investment, Risk Analysis, Statistical Methods, Correlation Analysis, Decision Making, Business Mathematics, Quantitative Research, Descriptive Statistics, Variance Analysis
Status: FreeGeorgia 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
Skills you'll gain: Shiny (R Package), Data Presentation, Exploratory Data Analysis, Data Wrangling, Predictive Modeling, Tidyverse (R Package), Data Science, Data Collection, Data Storytelling, Interactive Data Visualization, Data Manipulation, Dashboard, Data Analysis, Data Cleansing, Statistical Modeling, R Programming, Regression Analysis, Ggplot2, Data Visualization Software, Web Scraping
École Polytechnique Fédérale de Lausanne
Skills you'll gain: Scala Programming, User Interface (UI), Heat Maps, Data Visualization Software, Interactive Data Visualization, Big Data, Geospatial Mapping, Data Manipulation, Data Transformation, Spatial Data Analysis, Web Applications
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Text Retrieval and Search Engines:Â University of Illinois Urbana-Champaign
- Modern Robotics, Course 2: Robot Kinematics:Â Northwestern University
- System Validation: Automata and behavioural equivalences:Â EIT Digital
- Integral Calculus through Data and Modeling:Â Johns Hopkins University
- Foundations of Quantum Mechanics:Â University of Colorado Boulder
- Inferential and Predictive Statistics for Business:Â University of Illinois Urbana-Champaign
- Logistic Regression in R for Public Health:Â Imperial College London
- Algebra: Elementary to Advanced - Polynomials and Roots:Â Johns Hopkins University
- Portfolio Selection and Risk Management:Â Rice University
- Advanced Engineering Systems in Motion: Dynamics of Three Dimensional (3D) Motion:Â Georgia Institute of Technology
