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"
Dartmouth College
Skills you'll gain: Theoretical Computer Science, Logical Reasoning, Experimentation, Artificial Intelligence, Computational Thinking, Simulations, Psychology, Scientific Methods, General Science and Research, General Mathematics
DeepLearning.AI
Skills you'll gain: Deep Learning, Artificial Neural Networks, Supervised Learning, Artificial Intelligence, Computer Vision, Network Architecture, Machine Learning, Performance Tuning, Linear Algebra, Calculus
Duke University
Skills you'll gain: Data Structures, NumPy, Data Science, Object Oriented Programming (OOP), Python Programming, Data Analysis, Image Analysis, Data Manipulation, Descriptive Statistics, Performance Tuning, Linear Algebra, Probability & Statistics
Politecnico di Milano
Skills you'll gain: Product Lifecycle Management, Mathematical Modeling, Analysis, Economic Development, Environmental Issue, Engineering Analysis, Data Modeling, Microsoft Excel, Process Analysis, Environment, Industrial Engineering, Simulation and Simulation Software, Applied Mathematics, Data Manipulation, Scenario Testing, Open Source Technology, Computer Programming
University of California, Davis
Skills you'll gain: Debugging, Jupyter, Computational Thinking, Web Scraping, Python Programming, Programming Principles, Data Manipulation, Problem Management, Data Access, Text Mining, Application Programming Interface (API), Scripting, Computer Programming, Data Cleansing, Data Dictionary, Automation, Probability & Statistics, Data Structures, Data Analysis, Web Services
Coursera Project Network
Skills you'll gain: Correlation Analysis, Probability & Statistics, Statistics, Statistical Analysis, Data Analysis, Sampling (Statistics), Data Science, Probability Distribution, Descriptive Statistics, Statistical Inference, Exploratory Data Analysis
University of Colorado Boulder
Skills you'll gain: Process Capability, Statistical Process Controls, Statistical Analysis, R Programming, Quality Control, Data Analysis, Probability & Statistics, Statistical Methods, Statistics, Data Transformation, Probability Distribution
Coursera Project Network
Skills you'll gain: Data Sharing, Document Management, User Accounts, Web Content Accessibility Guidelines, File Management, Web Content, Information Architecture
University of Colorado Boulder
Skills you'll gain: Verification And Validation, Computational Logic, Systems Design, Hardware Design, Mathematical Modeling, Theoretical Computer Science, Systems Analysis, Computer Architecture, System Programming, Software Architecture, Graph Theory, Algorithms
- Status: Free
ISAE-SUPAERO
Skills you'll gain: Finite Element Methods, Structural Engineering, Vibrations, Engineering Analysis, Mathematical Modeling, Mechanical Engineering, Linear Algebra, Mechanics, Numerical Analysis, Applied Mathematics, Differential Equations, Physics
University of Michigan
Skills you'll gain: Interactive Data Visualization, Interactive Design, Programming Principles, Visualization (Computer Graphics), Python Programming, Graphic and Visual Design, Computer Graphics, Computational Logic, Computer Programming, Data Import/Export, Data Structures
Korea Advanced Institute of Science and Technology(KAIST)
Skills you'll gain: Scala Programming, Other Programming Languages, Computer Programming, Programming Principles, Theoretical Computer Science, Software Design, Computational Logic
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Question Reality: Mind: Dartmouth College
- 신경망 및 딥 러닝: DeepLearning.AI
- Data Science with NumPy, Sets, and Dictionaries: Duke University
- Modelling and measuring the Energy Transition: Politecnico di Milano
- Python Basics for Online Research: University of California, Davis
- Statistics For Data Science: Coursera Project Network
- Stability and Capability in Quality Improvement: University of Colorado Boulder
- Getting Started with Microsoft OneNote: Coursera Project Network
- Introduction to Modeling for Formal Verification: University of Colorado Boulder
- Developments of structural dynamics: ISAE-SUPAERO