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"
Georgia Institute of Technology
Skills you'll gain: Basic Electrical Systems, Electronic Components, Electrical Engineering, Engineering Analysis, Engineering Calculations, Physics, Applied Mathematics, Schematic Diagrams, Calculus, Mathematical Modeling
University of Colorado Boulder
Skills you'll gain: Computational Logic, Mathematical Modeling, Model Based Systems Engineering, Systems Design, Theoretical Computer Science, Verification And Validation, System Requirements, Systems Architecture, Software Systems, Simulations, Automation, Systems Engineering, Mechanics, Requirements Analysis, Computer Systems, Systems Analysis, Safety Assurance, Linear Algebra, Differential Equations, Algorithms
Skills you'll gain: Data Mining, Big Data, Cloud Computing, Data Analysis, Data Science, Digital Transformation, Data-Driven Decision-Making, Business Logic, Deep Learning, Machine Learning, Artificial Intelligence
Macquarie University
Skills you'll gain: Microsoft Excel, Dashboard, Excel Formulas, Spreadsheet Software, Data Visualization, Excel Macros, Data Validation, Data Analysis Expressions (DAX), Data Cleansing, Data Modeling, Business Intelligence, Predictive Modeling, Financial Modeling, Data Management, Microsoft 365, Consolidation, Data Integrity, Data Entry, Business Reporting, Productivity Software
University of Colorado Boulder
Skills you'll gain: Field-Programmable Gate Array (FPGA), Hardware Design, Electronic Hardware, Electronic Systems, Embedded Systems, Systems Design, Application Specific Integrated Circuits, Embedded Software, Semiconductors, Schematic Diagrams, Technical Design, System Programming, Electrical and Computer Engineering, System Design and Implementation, Software Development, Integrated Development Environments, Functional Design, Verification And Validation, Software Design, Computer Architecture
Multiple educators
Skills you'll gain: Unsupervised Learning, Supervised Learning, Classification And Regression Tree (CART), Artificial Intelligence and Machine Learning (AI/ML), Machine Learning Algorithms, Applied Machine Learning, Machine Learning, Jupyter, Data Ethics, Decision Tree Learning, Tensorflow, Scikit Learn (Machine Learning Library), NumPy, Predictive Modeling, Deep Learning, Artificial Intelligence, Reinforcement Learning, Random Forest Algorithm, Feature Engineering, Artificial Neural Networks
University of Pennsylvania
Skills you'll gain: Mathematical Modeling, Statistical Modeling, Regression Analysis, Business Modeling, Financial Modeling, Business Mathematics, Predictive Modeling, Probability, Operations Research, Business Process Modeling, Business Risk Management, Statistical Analysis, Probability Distribution, Simulation and Simulation Software
Hebrew University of Jerusalem
Skills you'll gain: Computer Architecture, Hardware Architecture, Computer Engineering, Computer Hardware, Computational Logic, Systems Architecture, Computer Programming, System Design and Implementation, Program Development, Data Storage
University of Alberta
Skills you'll gain: Reinforcement Learning, Machine Learning, Sampling (Statistics), Artificial Intelligence and Machine Learning (AI/ML), Artificial Intelligence, Machine Learning Algorithms, Deep Learning, Systems Development, Simulations, Solution Architecture, Feature Engineering, Markov Model, Supervised Learning, Artificial Neural Networks, Applied Machine Learning, Performance Testing, Algorithms, Statistical Methods, Pseudocode, Linear Algebra
University of Pennsylvania
Skills you'll gain: Risk Modeling, Financial Statements, Probability Distribution, Mathematical Modeling, Statistical Modeling, Portfolio Management, Regression Analysis, Business Modeling, Financial Modeling, Risk Management, Quantitative Research, Presentations, Decision Making, Data Visualization, Microsoft PowerPoint, Predictive Modeling, Investment Management, Spreadsheet Software, Google Sheets, Excel Formulas
Duke University
Skills you'll gain: Regression Analysis, Statistical Software, Statistical Analysis, R Programming, Statistical Modeling, Statistical Inference, Data Analysis, Statistical Methods, Exploratory Data Analysis, Predictive Modeling
University of California San Diego
Skills you'll gain: Graph Theory, Logical Reasoning, Cryptographic Protocols, Combinatorics, Computational Logic, Deductive Reasoning, Cryptography, Probability, Computational Thinking, Encryption, Mathematical Theory & Analysis, Network Analysis, Public Key Cryptography Standards (PKCS), Algorithms, Theoretical Computer Science, Python Programming, Data Structures, Cybersecurity, Computer Programming, Mathematical Modeling
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Linear Circuits 1: DC Analysis:Â Georgia Institute of Technology
- Foundations of Autonomous Systems:Â University of Colorado Boulder
- What is Data Science? :Â IBM
- Excel Skills for Business:Â Macquarie University
- FPGA Design for Embedded Systems:Â University of Colorado Boulder
- Machine Learning:Â DeepLearning.AI
- Fundamentals of Quantitative Modeling:Â University of Pennsylvania
- Build a Modern Computer from First Principles: From Nand to Tetris (Project-Centered Course):Â Hebrew University of Jerusalem
- Reinforcement Learning:Â University of Alberta
- Business and Financial Modeling:Â University of Pennsylvania