Results for "linear+temporal+logic+specifications"
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
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: 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
Skills you'll gain: Field-Programmable Gate Array (FPGA), Computational Logic, Computer Architecture, Hardware Design, Hardware Architecture, Memory Management, Electronics, Electronic Systems, Electronic Components, Diagram Design, Data Storage, Data Storage Technologies, Algorithms
University of Illinois Urbana-Champaign
Skills you'll gain: Computational Logic, Application Specific Integrated Circuits, Theoretical Computer Science, Data Structures, Verification And Validation, Systems Design, Algorithms, Programming Principles, Design Software, Model Optimization, Digital Design
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
What brings you to Coursera today?
University of Colorado Boulder
Skills you'll gain: Field-Programmable Gate Array (FPGA), Hardware Design, System Design and Implementation, Application Specific Integrated Circuits, Test Case, Test Script Development, Verification And Validation, Electronic Hardware, Computational Logic, Electrical and Computer Engineering, Electronics, Test Tools, Development Testing, Simulation and Simulation Software, Programming Principles, Simulations, Functional Testing, Debugging, Computer Programming
University of Colorado System
Skills you'll gain: Requirements Elicitation, Software Design Documents, Requirements Analysis, Mockups, Security Requirements Analysis, Interviewing Skills, User Requirements Documents, Systems Development Life Cycle, Data Flow Diagrams (DFDs), Storyboarding, Functional Requirement, Goal Setting, Software Development Methodologies, Software Documentation, Diagram Design, Agile Methodology, Product Requirements, Unified Modeling Language, Risk Management Framework, Risking
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
Skills you'll gain: Hardware Design, Verification And Validation, Computational Logic, Simulation and Simulation Software, Design Software, Integrated Development Environments, Test Script Development, Schematic Diagrams, Simulations, Dataflow
Pragmatic AI Labs
Skills you'll gain: Retrieval-Augmented Generation, Amazon Bedrock, LLM Application, AWS SageMaker, Token Optimization, Large Language Modeling, Amazon Web Services, No-Code Development, Prompt Engineering, Generative AI, AI Orchestration, Model Deployment, Generative AI Agents, Package and Software Management, Model Training, Rust (Programming Language), Model Optimization, Performance Tuning
University of Colorado Boulder
Skills you'll gain: Computational Logic, System Requirements, Functional Requirement, Theoretical Computer Science, Functional Specification, Mathematical Modeling, Requirements Analysis, Systems Analysis, Verification And Validation, Control Systems, Computer Science, Applied Mathematics
In summary, here are 10 of our most popular linear+temporal+logic+specifications courses
- LLM Engineering That Works: Prompting, Tuning, and Retrieval:Â Coursera
- Linear Algebra from Elementary to Advanced:Â Johns Hopkins University
- LLM Engineering: Prompting, Fine-Tuning, Optimization & RAG:Â Edureka
- Fundamentals of Digital Design for VLSI Chip Design:Â L&T EduTech
- VLSI CAD Part I: Logic:Â University of Illinois Urbana-Champaign
- Chip based VLSI design for Industrial Applications:Â L&T EduTech
- Hardware Description Languages for FPGA Design:Â University of Colorado Boulder
- Requirements Engineering: Secure Software Specifications:Â University of Colorado System
- Designing Production LLM Architectures:Â Coursera
- Design of Digital Circuits with VHDL Programming:Â L&T EduTech
