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"
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
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: SAS (Software), Statistical Hypothesis Testing, Statistical Software, Statistical Analysis, Predictive Modeling, Statistical Modeling, Statistical Methods, Regression Analysis, Probability & Statistics, Data Analysis
University of Colorado System
Skills you'll gain: Software Design Documents, User Requirements Documents, Functional Requirement, Software Documentation, Unified Modeling Language, Functional Specification, Requirements Analysis, System Requirements, Systems Design, Technical Documentation, Data Modeling, Software Visualization, Systems Analysis, Dataflow
Skills you'll gain: Field-Programmable Gate Array (FPGA), Electronics Engineering, Hardware Design, Electronic Hardware, Embedded Systems, Computer Engineering, Verification And Validation, Simulation and Simulation Software, Integrated Development Environments, Simulations
EIT Digital
Skills you'll gain: Computational Logic, Deductive Reasoning, Combinatorics, Logical Reasoning, Computational Thinking, Mathematical Modeling, Operations Research, Theoretical Computer Science, Applied Mathematics, Algorithms, Linear Algebra, Verification And Validation
Coursera Project Network
Skills you'll gain: Exploratory Data Analysis, Correlation Analysis, Matplotlib, Seaborn, Data Cleansing, Data Visualization, Pandas (Python Package), Data Analysis, Data Manipulation, NumPy, Statistical Analysis
University of Colorado Boulder
Skills you'll gain: Theoretical Computer Science, Algorithms, Computational Thinking, Data Structures, Design Strategies, Programming Principles, Computer Science, Advanced Mathematics, Linear Algebra, Analysis
Northwestern University
Skills you'll gain: Simulation and Simulation Software, Mathematical Modeling, Mechanical Engineering, Engineering Calculations, Mechanics, Algorithms, Torque (Physics), Differential Equations, Control Systems, Applied Mathematics, Calculus, Linear Algebra
University of Illinois Urbana-Champaign
Skills you'll gain: Statistical Inference, Business Analytics, Analytics, Statistical Analysis, Statistical Hypothesis Testing, Regression Analysis, Data-Driven Decision-Making, Business Mathematics, Statistical Methods, Probability & Statistics, Statistical Modeling, Predictive Analytics, Microsoft Excel
Skills you'll gain: Data Wrangling, Exploratory Data Analysis, Data Analysis, Data Transformation, R Programming, Data Manipulation, Data Visualization, Box Plots, Predictive Analytics, Statistical Analysis, Regression Analysis, Statistical Modeling, Correlation Analysis, Data Cleansing, Tidyverse (R Package), Supervised Learning
Duke University
Skills you'll gain: Large Language Modeling, Generative AI, Rust (Programming Language), MLOps (Machine Learning Operations), PyTorch (Machine Learning Library), CI/CD, Applied Machine Learning, Application Deployment, System Monitoring, Cloud Development, Natural Language Processing, DevOps, Amazon Web Services, Deep Learning, Cloud Security
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Open Source LLMOps Solutions:Â Duke University
- Simple Regression Analysis in Public Health :Â Johns Hopkins University
- Statistics with SAS:Â SAS
- SRS Documents: Requirements and Diagrammatic Notations:Â University of Colorado System
- Design of Digital Circuits with VHDL Programming:Â L&T EduTech
- Automated Reasoning: satisfiability:Â EIT Digital
- Exploratory Data Analysis With Python and Pandas:Â Coursera Project Network
- Dynamic Programming, Greedy Algorithms:Â University of Colorado Boulder
- Modern Robotics, Course 3: Robot Dynamics:Â Northwestern University
- Inferential and Predictive Statistics for Business:Â University of Illinois Urbana-Champaign