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"
Johns Hopkins University
Skills you'll gain: Shiny (R Package), Rmarkdown, Regression Analysis, Leaflet (Software), Exploratory Data Analysis, Statistical Inference, Predictive Modeling, Statistical Hypothesis Testing, Plotly, Machine Learning Algorithms, Interactive Data Visualization, Probability & Statistics, Statistical Machine Learning, Feature Engineering, Statistical Analysis, Statistical Modeling, Probability, Correlation Analysis, Data Science, Data Analysis
Johns Hopkins University
Skills you'll gain: Regression Analysis, Statistical Modeling, R Programming, Linear Algebra, Data Science, Mathematical Modeling, Data Modeling, Predictive Modeling, Statistical Analysis, Applied Mathematics
University of Alberta
Skills you'll gain: Reinforcement Learning, Sampling (Statistics), Machine Learning Algorithms, Simulations, Artificial Intelligence and Machine Learning (AI/ML), Machine Learning, Statistical Methods, Probability Distribution, Data Modeling
Rice University
Skills you'll gain: Data Visualization Software, Plot (Graphics), Package and Software Management, Python Programming, Data Cleansing, Programming Principles, Data Processing, Data Manipulation, Software Installation, Development Environment, Computational Logic, Data Structures, File Management, Scripting, Data Storage, Data Import/Export, Scripting Languages, Data Integration, Data Analysis, Computer Programming
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
University of California San Diego
Skills you'll gain: Logical Reasoning, Computational Logic, Deductive Reasoning, Computational Thinking, Theoretical Computer Science, Mathematical Theory & Analysis, Combinatorics, Algorithms, Python Programming, Computer Programming, Computer Science, Advanced Mathematics
- Status: Free
University of Pennsylvania
Skills you'll gain: Calculus, Numerical Analysis, Applied Mathematics, Engineering Calculations, Integral Calculus, Engineering Analysis, Differential Equations, Mathematical Theory & Analysis, Advanced Mathematics, Estimation, Derivatives
University of Alberta
Skills you'll gain: Reinforcement Learning, Machine Learning, Sampling (Statistics), Artificial Intelligence and Machine Learning (AI/ML), Artificial Intelligence, Machine Learning Algorithms, Deep Learning, Systems Development, Simulations, Solution Architecture, Markov Model, Supervised Learning, Artificial Neural Networks, Applied Machine Learning, Performance Testing, Algorithms, Statistical Methods, Pseudocode, Linear Algebra, Probability Distribution
University of Colorado Boulder
Skills you'll gain: Power Electronics, Semiconductors, Electronic Systems, Electrical Engineering, USB, Electronic Components, Systems Analysis, Process Control, Simulation and Simulation Software, Basic Electrical Systems, Engineering Analysis, Mathematical Modeling, Technical Design, Systems Design, Design Specifications, Plot (Graphics), Engineering Design Process, Engineering Calculations, Graphical Tools, Differential Equations
- Status: AI skills
Skills you'll gain: Data Storytelling, Business Metrics, Key Performance Indicators (KPIs), Data Management, Data Collection, Data Governance, Bayesian Statistics, Data Analysis, Descriptive Statistics, Statistical Hypothesis Testing, Information Privacy, Data Cleansing, Pandas (Python Package), Data Visualization Software, Statistical Inference, Spreadsheet Software, Correlation Analysis, Google Sheets, Exploratory Data Analysis, Data Manipulation
California Institute of the Arts
Skills you'll gain: User Interface (UI) Design, Graphic and Visual Design, User Interface and User Experience (UI/UX) Design, Web Design, Design Elements And Principles, Human Computer Interaction, Responsive Web Design, Typography, UI Components, Information Architecture, Interaction Design, User Experience Design
Imperial College London
Skills you'll gain: Analytical Skills, Correlation Analysis, Regression Analysis, Sampling (Statistics), Statistical Hypothesis Testing, Statistical Analysis, Biostatistics, Data Analysis, R Programming, Descriptive Statistics, Statistical Modeling, Quantitative Research, Exploratory Data Analysis, Probability & Statistics, Statistics, Statistical Methods, Data Wrangling, Statistical Inference, Time Series Analysis and Forecasting, Probability Distribution
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Data Science: Statistics and Machine Learning:Â Johns Hopkins University
- Advanced Linear Models for Data Science 1: Least Squares:Â Johns Hopkins University
- Sample-based Learning Methods:Â University of Alberta
- Introduction to Scripting in Python:Â Rice University
- Regression Models:Â Johns Hopkins University
- Mathematical Thinking in Computer Science:Â University of California San Diego
- Single Variable Calculus:Â University of Pennsylvania
- Reinforcement Learning:Â University of Alberta
- Power Electronics:Â University of Colorado Boulder
- Meta Data Analyst:Â Meta