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 (ltl)"
Johns Hopkins University
Skills you'll gain: Linear Algebra, Applied Mathematics, Algebra, Advanced Mathematics, Graph Theory, Geometry, Applied Machine Learning, Markov Model, Probability
University of Colorado Boulder
Skills you'll gain: System Design and Implementation, Verification And Validation, Computer Engineering, Programming Principles, Development Testing, Simulations, Hardware Architecture, Functional Testing, Debugging
Macquarie University
Skills you'll gain: Microsoft Excel, Dashboard, Excel Formulas, Spreadsheet Software, Data Visualization, Excel Macros, Data Validation, Data Analysis Expressions (DAX), Data Cleansing, Data Modeling, Financial Forecasting, Predictive Modeling, Financial Modeling, Workflow Management, Finance, Data Management, Business Intelligence Software, Consolidation, Data Integrity, Data Entry
Skills you'll gain: Supervised Learning, Feature Engineering, Jupyter, Unsupervised Learning, Scikit Learn (Machine Learning Library), Python Programming, Predictive Modeling, Machine Learning, Dimensionality Reduction, Classification And Regression Tree (CART), Matplotlib, NumPy, Regression Analysis, Statistical Modeling
University of Alberta
Skills you'll gain: Reinforcement Learning, Machine Learning, Sampling (Statistics), Machine Learning Algorithms, Artificial Intelligence, Deep Learning, Simulations, Solution Architecture, Feature Engineering, Artificial Intelligence and Machine Learning (AI/ML), Markov Model, Supervised Learning, Algorithms, Performance Testing, Artificial Neural Networks, Pseudocode, Linear Algebra, Probability Distribution, Debugging
DeepLearning.AI
Skills you'll gain: Natural Language Processing, Supervised Learning, Markov Model, Text Mining, Dimensionality Reduction, Artificial Intelligence and Machine Learning (AI/ML), Artificial Neural Networks, PyTorch (Machine Learning Library), Deep Learning, Tensorflow, Machine Learning Methods, Data Processing, Feature Engineering, Machine Learning Algorithms, Artificial Intelligence, Algorithms, Keras (Neural Network Library), Linear Algebra, Data Cleansing, Probability & Statistics
University of Pennsylvania
Skills you'll gain: Mathematical Modeling, Statistical Modeling, Regression Analysis, Business Modeling, Financial Modeling, Business Mathematics, Markov Model, Probability, Predictive Analytics, Process Optimization, Risk Management, Statistics, Probability Distribution, Simulation and Simulation Software, Forecasting
University of Amsterdam
Skills you'll gain: Qualitative Research, Statistical Hypothesis Testing, Scientific Methods, Descriptive Statistics, Statistical Inference, Statistical Analysis, Statistical Software, Probability Distribution, Research, Correlation Analysis, Research Design, Sampling (Statistics), Research Reports, Science and Research, Probability, Interviewing Skills, Data Analysis, Sample Size Determination, Statistical Methods, Social Sciences
University of California San Diego
Skills you'll gain: Logical Reasoning, Computational Logic, Deductive Reasoning, Computational Thinking, Theoretical Computer Science, Algorithms, Python Programming, Computer Programming, Computer Science, Program Development
Duke University
Skills you'll gain: Statistical Hypothesis Testing, Sampling (Statistics), Statistical Inference, Exploratory Data Analysis, Regression Analysis, Statistical Reporting, Probability Distribution, Statistical Methods, Data Analysis Software, R Programming, Bayesian Statistics, Statistical Analysis, Data Analysis, Statistical Software, Statistical Modeling, Probability & Statistics, Probability, Statistics, Correlation Analysis, Data Literacy
University of Colorado Boulder
Skills you'll gain: Field-Programmable Gate Array (FPGA), Hardware Design, Electronic Hardware, System Design and Implementation, Electronic Systems, Embedded Systems, Eclipse (Software), Application Specific Integrated Circuits, Electrical and Computer Engineering, Schematic Diagrams, Program Development, Technical Design, Integrated Development Environments, Computer Architecture, Hardware Architecture, Software Development, Verification And Validation, Computer Engineering, Programming Principles, Development Testing
Rice University
Skills you'll gain: Statistical Hypothesis Testing, Microsoft Excel, Pivot Tables And Charts, Regression Analysis, Descriptive Statistics, Probability & Statistics, Graphing, Spreadsheet Software, Probability Distribution, Business Analytics, Statistical Analysis, Statistical Modeling, Excel Formulas, Data Analysis, Data Presentation, Statistics, Business Analysis, Statistical Methods, Sample Size Determination, Statistical Inference
In summary, here are 10 of our most popular linear temporal logic (ltl) courses
- Linear Algebra: Matrix Algebra, Determinants, & Eigenvectors:Â Johns Hopkins University
- Hardware Description Languages for FPGA Design:Â University of Colorado Boulder
- Excel Skills for Business:Â Macquarie University
- Machine Learning with Python:Â IBM
- Reinforcement Learning:Â University of Alberta
- Natural Language Processing:Â DeepLearning.AI
- Fundamentals of Quantitative Modeling:Â University of Pennsylvania
- Methods and Statistics in Social Sciences:Â University of Amsterdam
- Mathematical Thinking in Computer Science:Â University of California San Diego
- Data Analysis with R:Â Duke University