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: FreeDeepLearning.AI
Skills you'll gain: Large Language Modeling, OpenAI, Performance Tuning, Generative AI, PyTorch (Machine Learning Library)
Coursera Project Network
Skills you'll gain: Ggplot2, Data Visualization, Regression Analysis, Predictive Analytics, Data-Driven Decision-Making, Statistical Modeling, R Programming, Descriptive Statistics, Exploratory Data Analysis, Statistics
Status: FreeDeepLearning.AI
Skills you'll gain: Test Data, Large Language Modeling, Prompt Engineering, Data Quality, Performance Tuning, Generative AI, Query Languages
Status: FreeÉcole Polytechnique
Skills you'll gain: Probability, Probability Distribution, Probability & Statistics, Advanced Mathematics, Mathematical Theory & Analysis, Simulations, Statistical Methods, Statistical Inference
Universidad de los Andes
Skills you'll gain: Mathematics Education, Logical Reasoning, Childhood Education and Development, Geometry, Deductive Reasoning, General Mathematics
University of California, Irvine
Skills you'll gain: Predictive Modeling, Predictive Analytics, Classification And Regression Tree (CART), Regression Analysis, Decision Tree Learning, Statistical Modeling, Supervised Learning, Data Modeling, Data Analysis, Descriptive Analytics, Forecasting, Machine Learning, Unsupervised Learning, Statistical Analysis
Status: NewStatus: FreeGoogle Quantum AI
Skills you'll gain: Debugging, Emerging Technologies, Hardware Architecture, Failure Analysis, Simulation and Simulation Software, Theoretical Computer Science, Mathematical Modeling, Computer Architecture, Simulations, Linear Algebra, Computer Science
Status: FreeÉcole Polytechnique Fédérale de Lausanne
Skills you'll gain: Scala Programming, Programming Principles, Data Structures, Functional Design, Object Oriented Programming (OOP), Algorithms, Command-Line Interface
University of California, Davis
Skills you'll gain: Data Dictionary, Health Informatics, Extract, Transform, Load, Analytics, Data Integration, Data Analysis, Health Care, Data Mining, Data Transformation, Risk Analysis, Data Quality, Anomaly Detection, Predictive Modeling
Dartmouth College
Skills you'll gain: Theoretical Computer Science, Logical Reasoning, Artificial Intelligence, Computational Thinking, Mathematics and Mathematical Modeling, Simulations, Computer Science, Psychology, Science and Research, Scientific Methods
École Polytechnique
Skills you'll gain: Differential Equations, Advanced Mathematics, Integral Calculus, Calculus, Mathematical Theory & Analysis, Derivatives
Status: FreeCoursera Project Network
Skills you'll gain: Timelines, Microsoft PowerPoint, Presentations, Project Schedules, Data Visualization, Milestones (Project Management)
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Efficiently Serving LLMs:Â DeepLearning.AI
- Data Analysis in R: Predictive Analysis with Regression:Â Coursera Project Network
- Improving Accuracy of LLM Applications:Â DeepLearning.AI
- Aléatoire : une introduction aux probabilités - Partie 2: École Polytechnique
- Educación Matemática para profesores de infantil. Curso 1: Universidad de los Andes
- Predictive Modeling, Model Fitting, and Regression Analysis:Â University of California, Irvine
- Hands-on quantum error correction with Google Quantum AI:Â Google Quantum AI
- Functional Programming Principles in Scala (Scala 2 version): École Polytechnique Fédérale de Lausanne
- Analytical Solutions to Common Healthcare Problems:Â University of California, Davis
- Question Reality: Mind:Â Dartmouth College
