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
Stanford University
Skills you'll gain: Mathematical Theory & Analysis, Mathematics and Mathematical Modeling, Calculus, Deductive Reasoning, General Mathematics, Logical Reasoning
University of Colorado Boulder
Skills you'll gain: Field-Programmable Gate Array (FPGA), Hardware Design, Systems Design, Electronic Hardware, Electrical and Computer Engineering, Simulation and Simulation Software, Embedded Systems, Verification And Validation, Computer Engineering, Development Testing, Debugging
Imperial College London
Skills you'll gain: Correlation Analysis, Regression Analysis, Data Analysis, R Programming, Descriptive Statistics, Statistical Modeling, Exploratory Data Analysis, Statistical Analysis, Probability & Statistics, Biostatistics, Scatter Plots
Johns Hopkins University
Skills you'll gain: Regression Analysis, Statistical Analysis, Statistical Modeling, Correlation Analysis, Data Analysis, Statistical Methods, Predictive Modeling, Probability & Statistics, Statistical Inference, Statistical Hypothesis Testing
- 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
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
Columbia University
Skills you'll gain: Project Schedules, Project Risk Management, Scheduling, Risk Management, Construction Management, Timelines, Lean Methodologies, Architecture and Construction, Milestones (Project Management), Project Management, Project Planning, Project Management Software, Resource Allocation, Dependency Analysis
Multiple educators
Skills you'll gain: Unsupervised Learning, Supervised Learning, Classification And Regression Tree (CART), Artificial Intelligence and Machine Learning (AI/ML), Machine Learning Algorithms, Applied Machine Learning, Machine Learning, Jupyter, Data Ethics, Decision Tree Learning, Tensorflow, Scikit Learn (Machine Learning Library), NumPy, Predictive Modeling, Deep Learning, Artificial Intelligence, Reinforcement Learning, Random Forest Algorithm, Feature Engineering, Artificial Neural Networks
Skills you'll gain: Supervised Learning, Feature Engineering, Jupyter, Unsupervised Learning, Scikit Learn (Machine Learning Library), Machine Learning Algorithms, Python Programming, Applied Machine Learning, Statistical Machine Learning, Predictive Modeling, Machine Learning, Dimensionality Reduction, Classification And Regression Tree (CART), Matplotlib, Regression Analysis, Random Forest Algorithm, Statistical Modeling, Data Manipulation
Rice University
Skills you'll gain: Programming Principles, Python Programming, Computational Logic, Development Environment, Computer Programming, Scripting Languages, Debugging
- Status: Free
Johns Hopkins University
Skills you'll gain: Risk Modeling, Regression Analysis, Microsoft Excel, Business Analytics, Business Process Modeling, Business Risk Management, Business Modeling, Data Modeling, Resource Allocation, Statistical Analysis, Mathematical Modeling, Process Optimization, Financial Analysis, Spreadsheet Software, Predictive Analytics, Transportation Operations
Imperial College London
Skills you'll gain: Regression Analysis, Calculus, Advanced Mathematics, Numerical Analysis, Statistical Analysis, Linear Algebra, Artificial Neural Networks, Machine Learning, Mathematical Theory & Analysis, Python Programming, Derivatives
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Introduction to Mathematical Thinking:Â Stanford University
- Hardware Description Languages for FPGA Design:Â University of Colorado Boulder
- Linear Regression in R for Public Health :Â Imperial College London
- Regression Models:Â Johns Hopkins University
- Introduction to Statistics:Â Stanford University
- Introduction to Programming with MATLAB:Â Vanderbilt University
- Construction Scheduling:Â Columbia University
- Machine Learning:Â DeepLearning.AI
- Machine Learning with Python:Â IBM
- Python Programming Essentials:Â Rice University