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"
- Status: Free
National Taiwan University
Skills you'll gain: Computational Logic, Artificial Intelligence, Simulations, Programming Principles, Theoretical Computer Science, Algorithms, Machine Learning, Data Structures
- Status: New
Microsoft
Skills you'll gain: Data Storytelling, Data Analysis Expressions (DAX), Data Presentation, Power BI, Data Ethics, Dashboard, Data Visualization Software, Data Modeling, Data Governance, Extract, Transform, Load, Data Visualization, Interactive Data Visualization, Business Intelligence, Data Analysis, Statistical Analysis, Data Architecture, Correlation Analysis, Data Cleansing, Data Transformation, Database Design
Skills you'll gain: Generative AI, Reinforcement Learning, Artificial Intelligence and Machine Learning (AI/ML), Deep Learning, Unsupervised Learning, Artificial Neural Networks, PyTorch (Machine Learning Library), Keras (Neural Network Library), Machine Learning Algorithms, Tensorflow, Computer Vision, Dimensionality Reduction, Network Architecture, Natural Language Processing, NumPy
Skills you'll gain: Object Oriented Programming (OOP), Programming Principles, Computer Programming, Scripting Languages, Data Import/Export, Data Structures, Python Programming, Scripting, Software Design Patterns, Computational Logic, Computer Science, File Management
University of Colorado Boulder
Skills you'll gain: Estimation, Numerical Analysis, Linear Algebra, Physics, Engineering Calculations, Applied Mathematics, Advanced Mathematics, Mathematical Modeling, Mechanics, Engineering Analysis, Differential Equations, Physical Science, Mathematics and Mathematical Modeling
Duke University
Skills you'll gain: Deductive Reasoning, Probability, Sampling (Statistics), Statistical Inference, Correlation Analysis, Scientific Methods
Skills you'll gain: Data Visualization Software, Spreadsheet Software, Correlation Analysis, Google Sheets, Dashboard, Data Analysis, Data Storytelling, Tableau Software, Descriptive Statistics, Data Cleansing, Marketing Analytics, Exploratory Data Analysis, Excel Formulas, Data Manipulation, Statistical Analysis, SQL
Imperial College London
Skills you'll gain: Statistical Analysis, R Programming, Statistical Methods, Data Wrangling, Regression Analysis, Exploratory Data Analysis, Time Series Analysis and Forecasting, Data Analysis, Statistical Modeling, Descriptive Statistics
- Status: Free
École Polytechnique Fédérale de Lausanne
Skills you'll gain: Spatial Data Analysis, Geospatial Mapping, Geospatial Information and Technology, Geographic Information Systems, Spatial Analysis, GIS Software, Global Positioning Systems, 3D Modeling, Visualization (Computer Graphics), Survey Creation, Systems Of Measurement
University of Minnesota
Skills you'll gain: Time Series Analysis and Forecasting, Predictive Modeling, Regression Analysis, Microsoft Excel, Forecasting, Pivot Tables And Charts, Data Transformation, Data Cleansing, Statistical Methods, Business Analytics
University of Colorado Boulder
Skills you'll gain: Statistical Inference, Statistical Modeling, Regression Analysis, Data Ethics, Statistical Methods, Statistical Hypothesis Testing, Data Science, R Programming, Data Modeling, Statistical Analysis, Predictive Modeling, Predictive Analytics, Probability & Statistics, Forecasting, Linear Algebra
- Status: Free
Instituto Tecnológico de Aeronáutica
Skills you'll gain: Systems Design, Engineering Analysis, Systems Analysis, Engineering Calculations, Simulation and Simulation Software, Plot (Graphics), Mathematical Modeling, Advanced Mathematics
In summary, here are 10 of our most popular linear temporal logic specifications courses
- 人工智慧:搜尋方法與邏輯推論 (Artificial Intelligence - Search & Logic): National Taiwan University
- Microsoft Data Visualization: Microsoft
- Deep Learning and Reinforcement Learning: IBM
- Programming in Python: A Hands-on Introduction: Codio
- Quantum Mechanics for Engineers: University of Colorado Boulder
- Think Again III: How to Reason Inductively: Duke University
- Data Analysis with Spreadsheets and SQL: Meta
- Survival Analysis in R for Public Health: Imperial College London
- Éléments de Géomatique: École Polytechnique Fédérale de Lausanne
- Introduction to Predictive Modeling: University of Minnesota