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: Regression Analysis, Correlation Analysis, Statistical Inference, Data Analysis, Statistical Modeling, Statistical Analysis, Probability & Statistics, Predictive Modeling
Coursera Project Network
Skills you'll gain: Exploratory Data Analysis, NumPy, Data Visualization, Data Analysis, Seaborn, Matplotlib, Cloud Computing, Jupyter, Dimensionality Reduction, Unsupervised Learning, Applied Machine Learning, Python Programming, Linear Algebra
- Status: Free
Princeton University
Skills you'll gain: Risk Analysis, Analysis, Systems Thinking, International Relations, Financial Systems, Socioeconomics, Governance, Epidemiology, Complex Problem Solving, Cultural Diversity, Economics, Supply Chain
Skills you'll gain: Tensorflow, Supervised Learning, Artificial Neural Networks, Regression Analysis, Classification And Regression Tree (CART), Applied Machine Learning, Statistical Machine Learning, Machine Learning Algorithms, Deep Learning, Machine Learning, Image Analysis, Random Forest Algorithm, Predictive Modeling, Decision Tree Learning, Natural Language Processing, Scikit Learn (Machine Learning Library), Computer Vision
University of Colorado System
Skills you'll gain: Bayesian Network, Linear Algebra, Numerical Analysis, Mathematical Modeling, Matlab, Statistical Modeling, Simulations, Estimation, Advanced Mathematics, Applied Mathematics, Global Positioning Systems, Probability & Statistics, Engineering Calculations, Statistical Methods, Predictive Analytics, Predictive Modeling, Time Series Analysis and Forecasting, Performance Tuning, Simulation and Simulation Software, Differential Equations
- Status: New
University of Colorado Boulder
Skills you'll gain: Statistical Hypothesis Testing, Descriptive Statistics, Statistical Visualization, Data Transformation, Data Cleansing, Statistical Analysis, Regression Analysis, Statistical Programming, Probability, Probability Distribution, Sampling (Statistics), Box Plots, Histogram, R Programming, Statistical Methods, Scatter Plots, Microsoft Excel, Probability & Statistics, Statistics, Data Import/Export
- Status: Free
Georgia Institute of Technology
Skills you'll gain: Game Theory, Combinatorics, Mathematical Theory & Analysis, Computational Thinking, Mathematical Modeling
Erasmus University Rotterdam
Skills you'll gain: Microsoft Excel, Excel Formulas, Verification And Validation, Business Modeling, Technical Documentation, Data Validation, Asset Protection, Information Architecture, Data Integrity, Data Management
Johns Hopkins University
Skills you'll gain: Artificial Neural Networks, Applied Machine Learning, Deep Learning, Natural Language Processing, Artificial Intelligence and Machine Learning (AI/ML), Linear Algebra, Mathematical Software, Numerical Analysis, Machine Learning, Data Processing, Data Structures, Performance Tuning, Data Transformation, Algorithms
École Polytechnique Fédérale de Lausanne
Skills you'll gain: Scala Programming, Scalability, Distributed Computing, Dataflow, Event-Driven Programming, System Design and Implementation, Software Architecture, Software Design Patterns, Software Development, Software Systems, Application Frameworks
- Status: Free
Peking University
Skills you'll gain: Microarchitecture, Computer Architecture, Computer Systems, Hardware Architecture, Computer Hardware, Data Storage, Data Storage Technologies, Systems Architecture, Computational Logic, Peripheral Devices
- Status: New
University of Colorado Boulder
Skills you'll gain: Computational Logic, Verification And Validation, Systems Design, Software Architecture, Theoretical Computer Science, Algorithms, Software Development Tools
In summary, here are 10 of our most popular linear temporal logic (ltl) courses
- Quantifying Relationships with Regression Models: Johns Hopkins University
- Principal Component Analysis with NumPy: Coursera Project Network
- Global Systemic Risk : Princeton University
- AI Workflow: Machine Learning, Visual Recognition and NLP: IBM
- Applied Kalman Filtering: University of Colorado System
- Statistics and Applied Data Analysis: University of Colorado Boulder
- Games without Chance: Combinatorial Game Theory : Georgia Institute of Technology
- Excel Modeling for Professionals: Best Practices & Pitfalls: Erasmus University Rotterdam
- CUDA Advanced Libraries: Johns Hopkins University
- Programming Reactive Systems: École Polytechnique Fédérale de Lausanne