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"
- Status: Free
Princeton University
Skills you'll gain: Graph Theory, Data Structures, Algorithms, Theoretical Computer Science, Operations Research, Applied Mathematics, Computational Thinking, Computer Programming, Network Routing, Programming Principles, Network Model, Java Programming, Linear Algebra
Google Cloud
Skills you'll gain: Dataflow, Data Pipelines, Serverless Computing, Identity and Access Management, Google Cloud Platform, Cloud Security, Performance Tuning, CI/CD, Data Processing, Application Performance Management, Debugging, Real Time Data, Data Storage Technologies, Unit Testing, Containerization, Disaster Recovery, Jupyter, Java, Dashboard, JSON
- Status: Free
Skills you'll gain: Verification And Validation, Theoretical Computer Science, System Testing, Embedded Software, System Software, Software Architecture, System Design and Implementation
University of Colorado Boulder
Skills you'll gain: Linear Algebra, Physics, Applied Mathematics, Advanced Mathematics, Mathematical Modeling, Engineering Analysis, Differential Equations, Physical Science
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 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)
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
Johns Hopkins University
Skills you'll gain: Algebra, Advanced Mathematics, Applied Mathematics, Analytical Skills, Mathematical Modeling, Geometry, Graphing
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
- Status: Free
Georgia 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
É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
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
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Algorithms, Part II:Â Princeton University
- Serverless Data Processing with Dataflow:Â Google Cloud
- System Validation: Automata and behavioural equivalences:Â EIT Digital
- Foundations of Quantum Mechanics:Â University of Colorado Boulder
- Integral Calculus through Data and Modeling:Â Johns Hopkins University
- Inferential and Predictive Statistics for Business:Â University of Illinois Urbana-Champaign
- Portfolio Selection and Risk Management:Â Rice University
- Algebra: Elementary to Advanced - Polynomials and Roots:Â Johns Hopkins University
- Logistic Regression in R for Public Health:Â Imperial College London
- Advanced Engineering Systems in Motion: Dynamics of Three Dimensional (3D) Motion:Â Georgia Institute of Technology