Results for "linear+temporal+logic+specifications"
Status: NewStatus: PreviewUniversitat Politècnica de València
Skills you'll gain: Linear Algebra, Algebra, Geometry, General Mathematics, Applied Mathematics, Arithmetic
Status: Free TrialJohns Hopkins University
Skills you'll gain: Linear Algebra, Algebra, Applied Mathematics, Advanced Mathematics, Artificial Intelligence and Machine Learning (AI/ML), Mathematical Modeling, Engineering Analysis, Mathematical Theory & Analysis, Numerical Analysis, Geometry, Data Transformation, Applied Machine Learning, Dimensionality Reduction, Markov Model, Probability
Status: Free TrialUniversity of Colorado Boulder
Skills you'll gain: Real-Time Operating Systems, Embedded Systems, Reliability, Software Systems, Performance Tuning, Embedded Software, Control Systems, Hardware Architecture, Systems Architecture, Software Design, Debugging, Software Architecture, Verification And Validation, System Design and Implementation, Linux, System Programming, Code Review, Performance Testing, Electrical and Computer Engineering, Real Time Data
Status: NewBirla Institute of Technology & Science, Pilani
Skills you'll gain: Theoretical Computer Science, Computer Programming, Pseudocode, Algorithms, Computer Science, Formal Learning, Software Engineering, Program Development, Data Science, Analysis, Debugging, Technical Analysis
Status: NewSkills you'll gain: LLM Application, MLOps (Machine Learning Operations), Large Language Modeling, Data Processing, Model Deployment, AI Workflows, Prompt Engineering, Responsible AI, Generative AI, Scalability, Artificial Intelligence and Machine Learning (AI/ML), Model Evaluation, Data Transformation, Continuous Monitoring, Feature Engineering, Natural Language Processing, Artificial Intelligence, Data Collection
Status: NewSkills you'll gain: Retrieval-Augmented Generation, Large Language Modeling, Hugging Face, MLOps (Machine Learning Operations), OpenAI, Prompt Engineering, Model Deployment, AWS SageMaker, Extract, Transform, Load, Embeddings, Data Pipelines, CI/CD, Vector Databases, Model Evaluation
What brings you to Coursera today?
Status: NewStatus: PreviewUniversity of Colorado Boulder
Skills you'll gain: Graph Theory, Model Evaluation, Arithmetic
Status: Free TrialSkills you'll gain: Problem Solving, Vocabulary, Logical Reasoning, Critical Thinking, Data Literacy, Arithmetic, Decision Making, Deductive Reasoning, Data Analysis, Analytical Skills, Complex Problem Solving, Grammar, English Language, Case Studies, Literacy, Learning Strategies, Applied Mathematics, Data-Driven Decision-Making, Quantitative Research, Estimation
Status: Free TrialUniversity of Colorado Boulder
Skills you'll gain: Field-Programmable Gate Array (FPGA), Hardware Design, Verification And Validation, Electronic Systems, Embedded Systems, Electronics Engineering, Application Specific Integrated Circuits, Electronic Hardware, Electronics, Systems Design, Software Design, Program Development, Integrated Development Environments, System Design and Implementation, Computer Architecture, Eclipse (Software), Computational Logic, Hardware Architecture, Software Development, Computer Engineering
Status: Free TrialSkills you'll gain: Field-Programmable Gate Array (FPGA), Electronic Systems, Hardware Design, Application Specific Integrated Circuits, Electronics Engineering, Serial Peripheral Interface, Computational Logic, Electrical Engineering, Computer Architecture, Schematic Diagrams, Semiconductors, Electronic Hardware, Electronic Components, Internet Of Things, Embedded Systems, Electronics, Theoretical Computer Science, Diagram Design, Programmable Logic Controllers, Computer Engineering
Status: Free TrialUniversity of Colorado Boulder
Skills you'll gain: Verification And Validation, Systems Design, Software Design, Computational Logic, Computer Engineering, Embedded Systems, Hardware Architecture, Simulations, Test Automation
Status: NewStatus: PreviewUniversitat Politècnica de València
Skills you'll gain: Taxonomy, Deductive Reasoning, Applied Mathematics
What brings you to Coursera today?
In summary, here are 10 of our most popular linear+temporal+logic+specifications courses
- Basic Math: Algebra: Universitat Politècnica de València
- Linear Algebra from Elementary to Advanced:Â Johns Hopkins University
- Real-Time Embedded Systems:Â University of Colorado Boulder
- Formal Languages and Applications:Â Birla Institute of Technology & Science, Pilani
- Essential Guide to LLMOps:Â Packt
- LLM Engineer’s Handbook: Packt
- Model Checking with SAT and SMT :Â University of Colorado Boulder
- Job & Exam Aptitude Mastery: Reasoning | DI | Verbal | Quant:Â Board Infinity
- FPGA Design for Embedded Systems:Â University of Colorado Boulder
- Chip based VLSI design for Industrial Applications:Â L&T EduTech
