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"
Duke University
Skills you'll gain: Databricks, Generative AI, Performance Analysis, Apache Airflow, Workflow Management, Data Lakes, Extract, Transform, Load, OpenAI, AWS SageMaker, Performance Tuning, Scalability, Data Transformation, Data Infrastructure, Microsoft Azure, MLOps (Machine Learning Operations), Amazon Web Services, Natural Language Processing, PyTorch (Machine Learning Library), Risk Management Framework, Artificial Intelligence
- Status: Free
Universitat Autònoma de Barcelona
Skills you'll gain: Computer Architecture, Computer Engineering, Hardware Architecture, System Design and Implementation, Application Specific Integrated Circuits, Digital Design, Computer Hardware, Design Software, Simulations
DeepLearning.AI
Skills you'll gain: Linear Algebra, NumPy, Dimensionality Reduction, Data Transformation, Data Manipulation, Data Science, Machine Learning Algorithms, Applied Mathematics, Python Programming
- Status: Free
Stanford University
Skills you'll gain: Mathematical Theory & Analysis, Mathematics and Mathematical Modeling, Calculus, Deductive Reasoning, General Mathematics, Logical Reasoning
Macquarie University
Skills you'll gain: Excel Formulas, Microsoft Excel, Excel Macros, Data Validation, Spreadsheet Software, Data Modeling, Predictive Modeling, Financial Modeling, Data Integrity, Automation
The Hong Kong University of Science and Technology
Skills you'll gain: Linear Algebra, Engineering Calculations, Algebra, Engineering Analysis, Advanced Mathematics, General Mathematics, Applied Mathematics, Geometry
Johns Hopkins University
Skills you'll gain: Data Modeling, Graphing, Mathematical Modeling, Algebra, Trigonometry, Linear Algebra, Calculus, Advanced Mathematics, Applied Mathematics, Geometry
Skills you'll gain: Field-Programmable Gate Array (FPGA), Application Specific Integrated Circuits, Computational Logic, Computer Architecture, Hardware Design, Electronic Hardware, Hardware Architecture, Microarchitecture, Electronic Systems, Computer Hardware, Semiconductors, Computer Engineering, Electronic Components, Functional Design, Verification And Validation, Data Storage, Data Storage Technologies
Rice University
Skills you'll gain: Statistical Hypothesis Testing, Microsoft Excel, Pivot Tables And Charts, Regression Analysis, Descriptive Statistics, Probability & Statistics, Graphing, Spreadsheet Software, Probability Distribution, Business Analytics, Statistical Analysis, Statistical Modeling, Excel Formulas, Data Analysis, Data Presentation, Statistics, Sample Size Determination, Box Plots, Analytical Skills, Statistical Inference
Rice University
Skills you'll gain: Computational Thinking, Event-Driven Programming, Algorithms, Combinatorics, Graph Theory, Programming Principles, Application Development, Object Oriented Programming (OOP), Data Structures, Theoretical Computer Science, Independent Thinking, Probability, Computer Programming, Interactive Design, Program Development, Big Data, Python Programming, Data Analysis, Probability & Statistics, Computational Logic
University of Alberta
Skills you'll gain: Reinforcement Learning, Artificial Intelligence and Machine Learning (AI/ML), Systems Development, Solution Architecture, Simulations, Performance Testing, Artificial Neural Networks, Applied Machine Learning, Machine Learning Algorithms, Markov Model, Algorithms, Technical Writing
University of Amsterdam
Skills you'll gain: Qualitative Research, Statistical Hypothesis Testing, Scientific Methods, Descriptive Statistics, Statistical Inference, Statistical Analysis, Statistical Software, Probability Distribution, Research, Correlation Analysis, Research Design, Sampling (Statistics), Research Reports, Science and Research, Probability, Interviewing Skills, Data Analysis, Sample Size Determination, Statistical Methods, Social Sciences
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Large Language Model Operations (LLMOps):Â Duke University
- Digital Systems: From Logic Gates to Processors: Universitat Autònoma de Barcelona
- Linear Algebra for Machine Learning and Data Science:Â DeepLearning.AI
- Introduction to Mathematical Thinking:Â Stanford University
- Excel Skills for Business: Intermediate II:Â Macquarie University
- Matrix Algebra for Engineers:Â The Hong Kong University of Science and Technology
- Calculus through Data & Modeling: Precalculus Review:Â Johns Hopkins University
- Fundamentals of Digital Design for VLSI Chip Design:Â L&T EduTech
- Business Statistics and Analysis:Â Rice University
- Fundamentals of Computing:Â Rice University