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 Leeds
Skills you'll gain: Test Case, Software Testing, Software Quality Assurance, Quality Assurance, Test Planning, Verification And Validation, Acceptance Testing, Functional Testing, Usability Testing, Performance Testing, Software Development Life Cycle
Duke University
Skills you'll gain: Regression Analysis, Statistical Software, Statistical Analysis, R Programming, Statistical Modeling, Statistical Inference, Data Analysis, Statistical Methods, Exploratory Data Analysis, Predictive Modeling
University of Colorado Boulder
Skills you'll gain: Operations Research, Algorithms, Network Model, Linear Algebra, Combinatorics, Computational Thinking, Mathematical Modeling, Theoretical Computer Science, Computer Programming, Python Programming
Hebrew University of Jerusalem
Skills you'll gain: Computer Architecture, Hardware Architecture, Computer Engineering, Computer Hardware, Computational Logic, Systems Architecture, Computer Programming, System Design and Implementation, Program Development, Data Storage
- Status: Free
Stanford University
Skills you'll gain: Descriptive Statistics, Statistics, Statistical Methods, Sampling (Statistics), Statistical Analysis, Data Analysis, Statistical Hypothesis Testing, Regression Analysis, Statistical Inference, Probability, Exploratory Data Analysis, Quantitative Research, Probability Distribution, Correlation Analysis
University of Pennsylvania
Skills you'll gain: Mathematical Modeling, Statistical Modeling, Regression Analysis, Business Modeling, Financial Modeling, Business Mathematics, Predictive Modeling, Probability, Operations Research, Business Process Modeling, Business Risk Management, Statistical Analysis, Probability Distribution, Simulation and Simulation Software
Imperial College London
Skills you'll gain: Analytical Skills, Correlation Analysis, Regression Analysis, Sampling (Statistics), Statistical Hypothesis Testing, Statistical Analysis, Data Analysis, R Programming, Descriptive Statistics, Statistical Modeling, Quantitative Research, Exploratory Data Analysis, Probability & Statistics, Statistics, Statistical Methods, Data Wrangling, Biostatistics, Time Series Analysis and Forecasting, Probability Distribution, Predictive Modeling
Skills you'll gain: Data Mining, Big Data, Cloud Computing, Data Analysis, Data Science, Digital Transformation, Data-Driven Decision-Making, Business Logic, Deep Learning, Machine Learning, Artificial Intelligence
Georgia Institute of Technology
Skills you'll gain: Basic Electrical Systems, Electronic Components, Electrical Engineering, Engineering Analysis, Engineering Calculations, Physics, Applied Mathematics, Schematic Diagrams, Calculus, Mathematical Modeling
- Status: Free
Erasmus University Rotterdam
Skills you'll gain: Econometrics, Time Series Analysis and Forecasting, Regression Analysis, Data Analysis, Statistical Analysis, Quantitative Research, Statistical Modeling, Statistics, Forecasting, Probability, Linear Algebra, Peer Review
Kennesaw State University
Skills you'll gain: Six Sigma Methodology, Lean Six Sigma, Root Cause Analysis, Lean Methodologies, Data Collection, Process Improvement, Quality Improvement, Process Optimization, Correlation Analysis, Statistical Hypothesis Testing, Kaizen Methodology, Process Analysis, Probability Distribution, Regression Analysis, Process Capability, Business Process, Statistical Process Controls, Quality Management, Team Management, Continuous Improvement Process
Vanderbilt University
Skills you'll gain: Matlab, Computer Programming, Programming Principles, Debugging, Mathematical Software, Data Manipulation, Computer Science, Algorithms, Data Import/Export, Data Structures, Linear Algebra, Engineering Calculations, Graphing
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Foundations of Software Testing and Validation:Â University of Leeds
- Linear Regression and Modeling :Â Duke University
- Approximation Algorithms and Linear Programming :Â University of Colorado Boulder
- Build a Modern Computer from First Principles: From Nand to Tetris (Project-Centered Course):Â Hebrew University of Jerusalem
- Introduction to Statistics:Â Stanford University
- Fundamentals of Quantitative Modeling:Â University of Pennsylvania
- Statistical Analysis with R for Public Health:Â Imperial College London
- What is Data Science? :Â IBM
- Linear Circuits 1: DC Analysis:Â Georgia Institute of Technology
- Econometrics: Methods and Applications:Â Erasmus University Rotterdam