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"
Universidad de los Andes
Skills you'll gain: Mathematics Education, Arithmetic, Systems Of Measurement, Geometry
University of Colorado Boulder
Skills you'll gain: Statistical Hypothesis Testing, Statistical Analysis, Sampling (Statistics), Statistical Methods, Microsoft Excel, Probability & Statistics, Data Analysis, Regression Analysis, Statistical Inference, Statistical Modeling
Skills you'll gain: Matplotlib, Deep Learning, Linear Algebra, Artificial Neural Networks, NumPy, Image Analysis, Keras (Neural Network Library), Data Visualization Software, Seaborn, Pandas (Python Package), Tensorflow, Machine Learning, Applied Machine Learning, Computer Vision, Supervised Learning, Artificial Intelligence and Machine Learning (AI/ML), Data Analysis, PyTorch (Machine Learning Library), Jupyter, Python Programming
University of Colorado Boulder
Skills you'll gain: Regression Analysis, Supervised Learning, Scikit Learn (Machine Learning Library), Statistical Analysis, Data Analysis, Statistical Modeling, Predictive Modeling, Machine Learning, Feature Engineering
University of Colorado Boulder
Skills you'll gain: Dimensionality Reduction, Data Analysis, Supervised Learning, Anomaly Detection, Machine Learning, Machine Learning Algorithms, Statistical Analysis, Unsupervised Learning, Data Mining, Analytics, Predictive Modeling, Regression Analysis, Data-Driven Decision-Making, Classification And Regression Tree (CART), Exploratory Data Analysis, Statistical Methods, Feature Engineering
Skills you'll gain: Matplotlib, Linear Algebra, NumPy, Data Visualization Software, Seaborn, Pandas (Python Package), Machine Learning, Supervised Learning, Data Analysis, Jupyter, Python Programming, Data Manipulation, Programming Principles, Regression Analysis, Data Structures
University of Colorado System
Skills you'll gain: Marketing Analytics, Probability & Statistics, Statistical Methods, Regression Analysis, Data-Driven Decision-Making, Data Ethics, Statistical Analysis, Statistical Hypothesis Testing, Customer Insights, Customer Analysis, Customer Retention, Correlation Analysis, Descriptive Statistics, Data Analysis, Analytics, Marketing Strategies, Statistical Modeling, Probability Distribution, Data Visualization
- Status: Free
Vanderbilt University
Skills you'll gain: Programming Principles, Computer Programming, Matlab, Debugging, Linear Algebra, Software Development Tools, Mathematical Software, Computer Science, Development Environment, Scripting, User Interface (UI), Scripting Languages, Data Structures, Arithmetic, File Management
- Status: Free
Skills you'll gain: Statistical Inference, Regression Analysis, Statistical Methods, R Programming, Statistical Analysis, Statistical Modeling, Predictive Modeling, Advanced Analytics, Probability & Statistics, Data Validation
- Status: Free
Coursera Project Network
Skills you'll gain: Artificial Intelligence, Information Architecture, Generative AI, Data Collection, Text Mining, File Management, Unstructured Data
University of Leeds
Skills you'll gain: Artificial Intelligence, Data Ethics, Artificial Intelligence and Machine Learning (AI/ML), Automation, Computer Science, Ethical Standards And Conduct, Machine Learning
Vanderbilt University
Skills you'll gain: Calendar Management, Organizational Skills, Data Integration, Generative AI, Business Process Automation, Real Time Data, Automation, Information Architecture, Artificial Intelligence
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Educación Matemática para profesores de infantil. Curso 2: Universidad de los Andes
- Statistics and Data Analysis with Excel, Part 2: University of Colorado Boulder
- Deep Learning with Real-World Projects: Packt
- Regression Analysis: University of Colorado Boulder
- Data Analysis with Python Project : University of Colorado Boulder
- Python Fundamentals and Data Science Essentials: Packt
- Customer Data Analytics for Marketers: University of Colorado System
- MATLAB을 사용한 프로그래밍 소개: Vanderbilt University
- Variable Selection, Model Validation, Nonlinear Regression: Illinois Tech
- Perplexity.AI for Beginners: AI-Powered Search: Coursera Project Network