Results for "linear+temporal+logic+specifications"
University of Colorado Boulder
Skills you'll gain: Field-Programmable Gate Array (FPGA), Hardware Design, Laboratory Experience, Laboratory Reports, Application Specific Integrated Circuits, System Design and Implementation, Embedded Software, Embedded Systems, Electronic Hardware, Electronic Systems, Electrical and Computer Engineering, Eclipse (Software), Electronics Engineering, Test Case, Laboratory Testing, Test Script Development, Verification And Validation, Microarchitecture, Computer Architecture, Software Development
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
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
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
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: 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
What brings you to Coursera today?
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: 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
Birla Institute of Technology & Science, Pilani
Skills you'll gain: Data Analysis, Computational Logic, Integral Calculus, Trigonometry, Linear Algebra, Engineering Analysis, Logical Reasoning, Deductive Reasoning, Probability & Statistics, Statistical Analysis, Calculus, Statistical Methods, Analysis, Advanced Mathematics, Bayesian Statistics, Statistical Inference, Theoretical Computer Science, Mathematics and Mathematical Modeling, Numerical Analysis, Descriptive Analytics
Lund University
Skills you'll gain: Real-Time Operating Systems, Programming Principles, Control Systems, Event-Driven Programming, Robotics, Computer Programming, Program Development, Robotic Process Automation, Automation, Other Programming Languages, Real Time Data, Applied Mathematics
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
In summary, here are 10 of our most popular linear+temporal+logic+specifications courses
- FPGA Design for Embedded Systems:Â University of Colorado Boulder
- Linear Algebra from Elementary to Advanced:Â Johns Hopkins University
- Hardware Description Languages for FPGA Design:Â University of Colorado Boulder
- Job & Exam Aptitude Mastery: Reasoning | DI | Verbal | Quant:Â Board Infinity
- Chip based VLSI design for Industrial Applications:Â L&T EduTech
- LLM Engineering That Works: Prompting, Tuning, and Retrieval:Â Coursera
- Requirements Engineering: Secure Software Specifications:Â University of Colorado System
- LLM Engineering: Prompting, Fine-Tuning, Optimization & RAG:Â Edureka
- Fundamentals of Digital Design for VLSI Chip Design:Â L&T EduTech
- Mathematics for Engineering:Â Birla Institute of Technology & Science, Pilani
