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"
Johns Hopkins University
Skills you'll gain: Calculus, Integral Calculus, Numerical Analysis, Advanced Mathematics, Mathematical Theory & Analysis, Applied Mathematics, Mathematical Modeling, Linear Algebra, Probability, Geometry, Visualization (Computer Graphics), Mechanics, Engineering Calculations, Graphing, Spatial Data Analysis, Physics
- Status: Free
National Taiwan University
Skills you'll gain: Operations Research, Linear Algebra, Numerical Analysis, Applied Mathematics, Algorithms, Process Optimization, Engineering Calculations, Program Implementation, Mathematical Software, Computational Thinking, Operational Analysis, Mathematical Modeling, Decision Making, Calculus
- Status: Free
Shanghai Jiao Tong University
Skills you'll gain: Combinatorics, Graph Theory, Theoretical Computer Science, Mathematical Theory & Analysis, Advanced Mathematics, Network Analysis, Computational Thinking, Algorithms, Data Structures, Computer Science
Johns Hopkins University
Skills you'll gain: Biostatistics, Regression Analysis, Statistical Methods, Statistical Analysis, Epidemiology, Quantitative Research, Public Health, Data Analysis, Probability & Statistics, Statistical Inference
Skills you'll gain: Exploratory Data Analysis, Data Compilation, Correlation Analysis, Data Collection, Statistical Inference, Statistical Methods, Statistical Modeling, Predictive Modeling, Data Analysis, Data-Driven Decision-Making, Regression Analysis, Statistical Analysis, Probability & Statistics, Statistical Visualization
Skills you'll gain: Scheduling, Project Schedules, Project Management, Timelines, Project Management Software, Milestones (Project Management), Work Breakdown Structure, Management Reporting, Performance Reporting, Resource Management, Administration, System Configuration, User Accounts
- Status: Free
IE Business School
Skills you'll gain: Competitive Analysis, Business Strategy, Economics, Market Dynamics, Business Economics, Strategic Thinking, Market Analysis, Strategic Marketing, Resource Management
- Status: Free
Skills you'll gain: Image Analysis, Computer Vision, Digital Communications, Computer Graphics, Visualization (Computer Graphics), Medical Imaging, Applied Mathematics, Spatial Analysis, Advanced Mathematics, Linear Algebra, Matlab, Mathematical Modeling, Algorithms, Probability Distribution
University of Colorado System
Skills you'll gain: Requirements Analysis, Security Requirements Analysis, Requirements Elicitation, Functional Requirement, Goal Setting, Unified Modeling Language, Meeting Facilitation, Conflict Management, User Story, Negotiation
Duke University
Skills you'll gain: Large Language Modeling, Generative AI, Natural Language Processing, PyTorch (Machine Learning Library), Open Source Technology, Tensorflow, Artificial Intelligence and Machine Learning (AI/ML), Containerization, Application Deployment, Application Programming Interface (API), Command-Line Interface
École Polytechnique
Skills you'll gain: Probability, Probability Distribution, Simulations, Probability & Statistics, Statistical Methods, Mathematical Modeling, Mathematical Theory & Analysis, Applied Mathematics
- Status: Free
University of Maryland, College Park
Skills you'll gain: Physics, Quantitative Research, Science and Research, Mechanics, Physical Science, Chemistry, Advanced Mathematics, Linear Algebra, Calculus, Mathematical Modeling, Engineering Analysis, Differential Equations
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Integral Calculus through Data and Modeling:Â Johns Hopkins University
- Operations Research (2): Optimization Algorithms:Â National Taiwan University
- Discrete Mathematics:Â Shanghai Jiao Tong University
- Simple Regression Analysis in Public Health :Â Johns Hopkins University
- Statistical Thinking for Industrial Problem Solving, presented by JMP:Â SAS
- Advanced Scheduling and Project Optimization in Primavera P6:Â Packt
- Foundations of Strategy:Â IE Business School
- Image and Video Processing: From Mars to Hollywood with a Stop at the Hospital:Â Duke University
- Requirements Specifications: Goals and Conflict Analysis:Â University of Colorado System
- Open Source LLMOps Solutions:Â Duke University