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"
Imperial College London
Skills you'll gain: Linear Algebra, NumPy, Applied Mathematics, Jupyter, Machine Learning Methods, Algorithms, Data Manipulation, Python Programming
- Status: New AI skills
Google
Skills you'll gain: Storyboarding, Wireframing, Responsive Web Design, User Experience Design, Design Thinking, User Research, UI/UX Research, Information Architecture, Figma (Design Software), Usability Testing, User Story, Web Design, Design Reviews, Usability, Presentations, User Experience, Design Research, Ideation, User Centered Design, Mockups
Duke University
Skills you'll gain: Regression Analysis, Data Analysis Software, Statistical Analysis, R Programming, Statistical Modeling, Statistical Inference, Correlation Analysis, Statistical Methods, Exploratory Data Analysis, Mathematical Modeling, Predictive Modeling
- Status: Free
University of Amsterdam
Skills you'll gain: Computational Logic, Logical Reasoning, Mathematics and Mathematical Modeling, Deductive Reasoning, General Mathematics
The Hong Kong University of Science and Technology
Skills you'll gain: Linear Algebra, Engineering Calculations, Algebra, Engineering Analysis, General Mathematics, Advanced Mathematics, Applied Mathematics
Georgia Institute of Technology
Skills you'll gain: Basic Electrical Systems, Electronic Components, Electrical Systems, Electrical Engineering, Engineering Analysis, Electronics, Engineering Calculations, Physics, Differential Equations
University of Colorado Boulder
Skills you'll gain: Operations Research, Algorithms, Applied Mathematics, Graph Theory, Network Model, Linear Algebra, Combinatorics, Computational Thinking, Mathematical Modeling, Theoretical Computer Science, Python Programming, Network Analysis
Skills you'll gain: Data Wrangling, Data Cleansing, Data Analysis, Data Manipulation, Data Import/Export, Exploratory Data Analysis, Data Science, Statistical Analysis, Descriptive Statistics, Regression Analysis, Predictive Modeling, Pandas (Python Package), Scikit Learn (Machine Learning Library), Machine Learning Methods, Data Pipelines, NumPy
University of Colorado Boulder
Skills you'll gain: Linear Algebra, Applied Mathematics, Data Science, Data Analysis, Statistical Methods, Algebra
- Status: New
Vanderbilt University
Skills you'll gain: Prompt Engineering, ChatGPT, Generative AI Agents, Productivity, Java Programming, Agentic systems, Java, Generative AI, Artificial Intelligence, Large Language Modeling, Creative Thinking, Artificial Intelligence and Machine Learning (AI/ML), Ingenuity, Maintainability, Brainstorming, Persona (User Experience), Systems Integration, Business Logic, Software Development Tools, Transaction Processing
Duke University
Skills you'll gain: Prompt Engineering, Databricks, Large Language Modeling, Generative AI, Performance Analysis, Apache Airflow, Workflow Management, Data Lakes, ChatGPT, Extract, Transform, Load, OpenAI, AWS SageMaker, Performance Tuning, Scalability, Dataflow, Data Transformation, Data Infrastructure, Microsoft Azure, MLOps (Machine Learning Operations), PyTorch (Machine Learning Library)
Johns Hopkins University
Skills you'll gain: Linear Algebra, Algebra, Mathematical Modeling, Engineering Analysis, Applied Mathematics, Mathematical Theory & Analysis, Geometry
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Mathematics for Machine Learning: Linear Algebra:Â Imperial College London
- Google UX Design:Â Google
- Linear Regression and Modeling :Â Duke University
- Logic for Economists:Â University of Amsterdam
- Matrix Algebra for Engineers:Â The Hong Kong University of Science and Technology
- Linear Circuits 1: DC Analysis:Â Georgia Institute of Technology
- Approximation Algorithms and Linear Programming :Â University of Colorado Boulder
- Data Analysis with Python:Â IBM
- Essential Linear Algebra for Data Science:Â University of Colorado Boulder
- AI Agents in Java with Generative AI:Â Vanderbilt University