Results for "linear+temporal+logic+(ltl)"
Skills you'll gain: Vocabulary, Critical Thinking and Problem Solving, Logical Reasoning, Analytical Skills, Critical Thinking, Deductive Reasoning, Arithmetic, Problem Solving, Data Literacy, Grammar, Language Competency, English Language, Data Analysis, Literacy, Complex Problem Solving, Learning Strategies, Trend Analysis, Data Synthesis, Applied Mathematics, Algebra
Johns Hopkins University
Skills you'll gain: Linear Algebra, Algebra, Applied Mathematics, Advanced Mathematics, Artificial Intelligence and Machine Learning (AI/ML), Engineering Analysis, Mathematical Theory & Analysis, Geometry, Applied Machine Learning, Markov Model
Skills you'll gain: Responsible AI, MLOps (Machine Learning Operations), Model Optimization, Model Deployment, Feature Engineering, Product Requirements, Prompt Engineering, Data Ethics, Prompt Patterns, LLM Application, Model Training, Kubernetes, AI Security, Systems Architecture, Large Language Modeling, Model Evaluation, PyTorch (Machine Learning Library), Apache Airflow, Data Pipelines, SQL
University of Colorado Boulder
Skills you'll gain: Computational Logic, Systems Design, Verification And Validation, Computer Engineering, Communication Systems, Systems Analysis, Software Systems, Process Modeling, Functional Testing, Theoretical Computer Science, Computational Thinking, Functional Specification, Software Architecture, Model Optimization, Software Design, Graph Theory, Software Testing, Software Quality Assurance, Computer Architecture, Logical Reasoning
Skills you'll gain: Field-Programmable Gate Array (FPGA), Electronic Systems, Electronic Hardware, Electronics, Hardware Design, Electronics Engineering, Serial Peripheral Interface, Electrical and Computer Engineering, Computational Logic, Microarchitecture, Electrical Engineering, Computer Architecture, Schematic Diagrams, Semiconductors, Hardware Architecture, Electronic Components, Internet Of Things, Verification And Validation, Simulation and Simulation Software, Design Software
Skills you'll gain: Retrieval-Augmented Generation, OpenAI API, Prompt Patterns, AI Workflows, Generative Model Architectures, Fine-tuning, Model Deployment, Token Optimization, Applied Machine Learning, Hugging Face, Programming Principles, Application Deployment, Memory Management, Object Oriented Programming (OOP), Context Management, API Testing, Document Management, Model Optimization, Embeddings, Software Installation
What brings you to Coursera today?
Packt
Skills you'll gain: LLM Application, Kubernetes, Systems Architecture, Large Language Modeling, Data Pipelines, Software Architecture, Software Design, Model Deployment, Application Deployment, Microservices, Apache Airflow, Containerization, Infrastructure Architecture, Cloud-Native Computing, Scalability, AWS CloudFormation, Managed Services, Azure DevOps, Open Source Technology, Diagram Design
Birla Institute of Technology & Science, Pilani
Skills you'll gain: Computational Logic, Logical Reasoning, Deductive Reasoning, Theoretical Computer Science, Analytical Skills, Programming Principles, Computer Science, Data Analysis, Computer Programming, Algorithms, Verification And Validation, Software Development, Machine Learning
Universitat Politècnica de València
Skills you'll gain: Linear Algebra, Algebra, Geometry, General Mathematics, Applied Mathematics
Universitat Politècnica de València
Skills you'll gain: Retrieval-Augmented Generation, Prompt Engineering, Multimodal Prompts, Prompt Patterns, Prompt Engineering Tools, LLM Application, Fine-tuning, Model Evaluation, Context Engineering, LangChain, Token Optimization, Large Language Modeling, Hugging Face, Transfer Learning, Model Optimization, Model Deployment, Generative AI, LangGraph, Context Management, Vector Databases
In summary, here are 10 of our most popular linear+temporal+logic+(ltl) courses
- Job & Exam Aptitude Mastery: Reasoning | DI | Verbal | Quant:Â Board Infinity
- Linear Algebra from Elementary to Advanced:Â Johns Hopkins University
- LLM Engineering That Works: Prompting, Tuning, and Retrieval:Â Coursera
- Fundamentals of Model Checking:Â University of Colorado Boulder
- Chip based VLSI design for Industrial Applications:Â L&T EduTech
- AI & LLM Engineering Mastery - GenAI, RAG Complete Guide:Â Packt
- LLMs in Enterprise:Â Packt
- Designing Production LLM Architectures:Â Coursera
- Logic for Computer Science:Â Birla Institute of Technology & Science, Pilani
- Basic Math: Algebra: Universitat Politècnica de València
