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"
Kennesaw State University
Skills you'll gain: Statistical Process Controls, Statistical Hypothesis Testing, Process Capability, Team Management, Quality Improvement, Root Cause Analysis, Six Sigma Methodology, Lean Six Sigma, Lean Methodologies, Exploratory Data Analysis, Process Improvement, Quality Control, Probability & Statistics, Operational Excellence, Statistical Analysis, Process Analysis, Process Mapping, Correlation Analysis, Business Process Management, Data Analysis
Imperial College London
Skills you'll gain: Dimensionality Reduction, NumPy, Probability & Statistics, Feature Engineering, Jupyter, Data Science, Statistics, Linear Algebra, Python Programming, Advanced Mathematics, Machine Learning, Calculus
Imperial College London
Skills you'll gain: Analytical Skills, Correlation Analysis, Regression Analysis, Sampling (Statistics), Statistical Hypothesis Testing, Data Literacy, Data Analysis, R Programming, Descriptive Statistics, Statistical Software, Biostatistics, Exploratory Data Analysis, Statistical Analysis, Statistical Programming, Statistics, Statistical Methods, Public Health, Probability & Statistics, Epidemiology, Statistical Modeling
Johns Hopkins University
Skills you'll gain: Statistical Hypothesis Testing, Sampling (Statistics), Regression Analysis, Bayesian Statistics, Statistical Analysis, Probability & Statistics, Statistical Inference, Statistical Methods, Statistical Modeling, Linear Algebra, Probability, R Programming, Biostatistics, Data Science, Probability Distribution, Mathematical Modeling, Data Analysis, Applied Mathematics, Predictive Modeling, Sample Size Determination
California Institute of the Arts
Skills you'll gain: Information Architecture, Wireframing, Persona (User Experience), Mockups, User Experience Design, Responsive Web Design, Web Design, UI/UX Strategy, User Interface (UI) Design, User Centered Design, Interaction Design, Prototyping, Graphic and Visual Design, User Research, User Interface and User Experience (UI/UX) Design, Web Language, Human Computer Interaction, HTML and CSS, User Flows, Design Elements And Principles
Johns Hopkins University
Skills you'll gain: Regression Analysis, Statistical Analysis, Statistical Modeling, Data Science, Predictive Modeling, Probability & Statistics, Statistical Inference
University of Leeds
Skills you'll gain: Test Case, Software Testing, Software Quality Assurance, Quality Assurance, User Acceptance Testing (UAT), Test Planning, Verification And Validation, Acceptance Testing, System Testing, Unit Testing, Functional Testing, Usability Testing, Integration Testing, Performance Testing, Software Development Life Cycle
Skills you'll gain: Responsive Web Design, Information Architecture, User Experience Design, Web Design, Design Reviews, Usability Testing, Wireframing, User Research, User Centered Design, User Interface (UI) Design, Mockups, Prototyping, Figma (Design Software)
DeepLearning.AI
Skills you'll gain: Unsupervised Learning, Machine Learning Methods, Artificial Intelligence and Machine Learning (AI/ML), Applied Machine Learning, Data Ethics, Machine Learning, Machine Learning Algorithms, Supervised Learning, Reinforcement Learning, Statistical Machine Learning, Artificial Neural Networks, Deep Learning, Anomaly Detection, Dimensionality Reduction, Algorithms, Collaborative Software
Skills you'll gain: Exploratory Data Analysis, Feature Engineering, Data Cleansing, Data Access, Data Analysis, Statistical Inference, Statistical Hypothesis Testing, Data Quality, Data Science, Probability & Statistics, Jupyter, Machine Learning, Data Manipulation, Pandas (Python Package), Statistical Analysis, Data Transformation, Artificial Intelligence
Duke University
Skills you'll gain: Microsoft Excel, Probability Distribution, Business Risk Management, Predictive Modeling, Regression Analysis, Risk Modeling, Business Analytics, Statistical Methods, Forecasting, Data Analysis, Probability, Financial Modeling, Classification And Regression Tree (CART)
University of Alberta
Skills you'll gain: Reinforcement Learning, Solution Architecture, Artificial Intelligence, Performance Testing, Artificial Neural Networks, Machine Learning Algorithms, Markov Model, Algorithms, Debugging
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Six Sigma Green Belt:Â Kennesaw State University
- Mathematics for Machine Learning: PCA:Â Imperial College London
- Statistical Analysis with R for Public Health:Â Imperial College London
- Advanced Statistics for Data Science:Â Johns Hopkins University
- UI / UX Design:Â California Institute of the Arts
- Regression Models:Â Johns Hopkins University
- Foundations of Software Testing and Validation:Â University of Leeds
- Build Dynamic User Interfaces (UI) for Websites:Â Google
- Unsupervised Learning, Recommenders, Reinforcement Learning:Â DeepLearning.AI
- Exploratory Data Analysis for Machine Learning:Â IBM