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"
Board Infinity
Skills you'll gain: ASP.NET, Restful API, .NET Framework, Model View Controller, JSON, Web Services, Application Programming Interface (API), Back-End Web Development, Web Applications, Server Side, Extensible Markup Language (XML)
Skills you'll gain: Rmarkdown, Plot (Graphics), Box Plots, Descriptive Statistics, Scatter Plots, Histogram, Jupyter, Matplotlib, Data Presentation, Ggplot2, Statistical Visualization, Statistical Hypothesis Testing, Correlation Analysis, Data Visualization Software, Dashboard, Tidyverse (R Package), Interactive Data Visualization, Data Analysis, Data Import/Export, Data Visualization
- Status: Free
DeepLearning.AI
Skills you'll gain: Reinforcement Learning, Generative AI, Performance Tuning, Natural Language Processing, Open Source Technology, Artificial Intelligence, Data Ethics
Howard University
Skills you'll gain: Regression Analysis, Predictive Modeling, Statistical Modeling, Supervised Learning, Scikit Learn (Machine Learning Library), Applied Mathematics, Machine Learning Methods, Linear Algebra, Small Data, Statistical Analysis, Data Science, NumPy
- Status: Free
Skills you'll gain: Verification And Validation, Systems Analysis, Mathematical Modeling, Data Structures, Theoretical Computer Science, Distributed Computing, Algorithms
Rice University
Skills you'll gain: Mechanics, Physics, Calculus, Engineering Analysis, Physical Science, Linear Algebra, Applied Mathematics, Mathematical Modeling, Trigonometry
- Status: Free
Universitat Autònoma de Barcelona
Skills you'll gain: System Design and Implementation, Application Specific Integrated Circuits, Embedded Systems, Computational Logic, Computer Architecture, Digital Design, Computer Hardware, Simulations, Other Programming Languages
University of Colorado System
Skills you'll gain: Requirements Elicitation, Requirements Analysis, Mockups, Interviewing Skills, Storyboarding, Functional Requirement, Business Requirements, Prototyping, User Research, Stakeholder Engagement, Scenario Testing, Information Architecture, Prioritization
- Status: Free
Princeton University
Skills you'll gain: Combinatorics, Mathematical Theory & Analysis, Advanced Mathematics, Theoretical Computer Science, Calculus, Applied Mathematics, Probability & Statistics
University of London
Skills you'll gain: Linux, Linux Commands, Computer Systems, Command-Line Interface, Cybersecurity, Computer Architecture, Network Security, Vulnerability Assessments, Threat Detection, Authorization (Computing), Network Protocols, Virtual Private Networks (VPN), Operating Systems, Authentications, TCP/IP, Network Analysis
Politecnico di Milano
Skills you'll gain: Product Lifecycle Management, Mathematical Modeling, Analysis, Economic Development, Environmental Issue, Environment and Resource Management, Engineering Analysis, Data Modeling, Microsoft Excel, Process Analysis, Environment, Industrial Engineering, Applied Mathematics, Data Manipulation, Scenario Testing, Open Source Technology, Computer Programming
- Status: Free
Coursera Project Network
Skills you'll gain: Finite Element Methods, Engineering Analysis, Simulation and Simulation Software, Simulations, Mechanical Design, Structural Analysis, Engineering Design Process
In summary, here are 10 of our most popular linear temporal logic courses
- Backend Development using ASP.Net:Â Board Infinity
- Data Science and Analysis Tools - from Jupyter to R Markdown:Â Codio
- Reinforcement Learning from Human Feedback:Â DeepLearning.AI
- Building Regression Models with Linear Algebra:Â Howard University
- System Validation (2): Model process behaviour:Â EIT Digital
- Physics 101 - Energy and Momentum:Â Rice University
- Sistemas Digitales: De las puertas lógicas al procesador: Universitat Autònoma de Barcelona
- Requirements Elicitation: Artifact and Stakeholder Analysis:Â University of Colorado System
- Analytic Combinatorics:Â Princeton University
- Introduction to Computer Security:Â University of London