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
Universidad Nacional Autónoma de México
Skills you'll gain: Algebra, Mathematical Software, Trigonometry, Mathematical Modeling, General Mathematics, Graphing, Geometry, Arithmetic, Advanced Mathematics
Macquarie University
Skills you'll gain: SAS (Software), Business Analytics, Dashboard, Analytics, Data-Driven Decision-Making, Business Intelligence, Data Analysis, Trend Analysis, Forecasting, Histogram, Correlation Analysis, Ethical Standards And Conduct, Statistics, Predictive Modeling, Innovation, Sustainability Reporting
University of Colorado Boulder
Skills you'll gain: Power Electronics, Electrical Engineering, Electronic Systems, Semiconductors, Electrical Equipment, Control Systems, Simulation and Simulation Software, Design Specifications
Rice University
Skills you'll gain: Physics, Mechanics, Engineering Calculations, Vibrations, Applied Mathematics, Physical Science, Trigonometry, Mathematical Modeling, Advanced Mathematics, Differential Equations, Linear Algebra, Calculus, Integral Calculus
University of Michigan
Skills you'll gain: Exploratory Data Analysis, Rmarkdown, Statistical Modeling, Tidyverse (R Package), Data Visualization Software, Regression Analysis, R Programming, Statistical Methods, Ggplot2, Data Wrangling, Statistical Inference, Probability & Statistics, Scatter Plots, Data Manipulation, Predictive Analytics, Correlation Analysis, Histogram, Classification And Regression Tree (CART), Data Analysis, Statistical Analysis
Skills you'll gain: Unsupervised Learning, Regression Analysis, Machine Learning Algorithms, Linear Algebra, Machine Learning, Predictive Modeling, Statistical Methods, Supervised Learning, Feature Engineering, Classification And Regression Tree (CART), Performance Tuning, Algorithms
- Status: Free
Coursera Instructor Network
Skills you'll gain: Prompt Engineering, Application Deployment, Application Development, Large Language Modeling, Data Ethics, Artificial Intelligence, Generative AI, Human Machine Interfaces, Scalability, Application Security, Information Privacy
- Status: Free
Duke University
Skills you'll gain: Generative AI, Cloud Applications, Application Deployment, Large Language Modeling, Other Programming Languages, Data Ethics, MLOps (Machine Learning Operations), Prompt Engineering, Statistical Programming, Risk Management Framework, Natural Language Processing, Performance Testing, Command-Line Interface, Rust (Programming Language)
University of Colorado Boulder
Skills you'll gain: Sampling (Statistics), Engineering Management, Statistical Hypothesis Testing, Data-Driven Decision-Making, Descriptive Statistics, Correlation Analysis, Estimation, Data Analysis, Probability Distribution, Statistical Software, Sample Size Determination, Statistical Analysis, Data Visualization, Statistical Methods, Leadership and Management, Box Plots, Technical Management, Probability, Statistics, Probability & Statistics
- Status: Free
DeepLearning.AI
Skills you'll gain: Large Language Modeling, Google Cloud Platform, MLOps (Machine Learning Operations), Kubernetes, Generative AI, Data Pipelines, Software Versioning, Data Processing, Data Transformation, Application Deployment, Supervised Learning, Safety and Security
Skills you'll gain: Large Language Modeling, Artificial Neural Networks, Deep Learning, Artificial Intelligence and Machine Learning (AI/ML), Generative AI, Prompt Engineering, Machine Learning Methods, Natural Language Processing
L&T EduTech
Skills you'll gain: Electrical Systems, Electrical Power, Electrical Substation, Electric Power Systems, Low Voltage, Three-Phase, High Voltage, Electrical Equipment, Electrical Safety, Control Systems, Construction, Programmable Logic Controllers, Automation Engineering, Network Protocols
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Funciones algebraicas y trascendentes : Universidad Nacional Autónoma de México
- Business intelligence and data analytics: Generate insights:Â Macquarie University
- Input Filter Design:Â University of Colorado Boulder
- Physics of Waves and Optics:Â Rice University
- Data Science for Health Research:Â University of Michigan
- Build Regression, Classification, and Clustering Models:Â CertNexus
- Building Production-Ready Apps with Large Language Models:Â Coursera Instructor Network
- Foundations of Local Large Language models:Â Duke University
- The Data Driven Manager:Â University of Colorado Boulder
- LLMOps:Â DeepLearning.AI