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: Microsoft Excel, Excel Formulas, Probability Distribution, Business Risk Management, Predictive Modeling, Regression Analysis, Business Analytics, Statistical Methods, Forecasting, Data Analysis, Probability, Classification And Regression Tree (CART), Financial Analysis, Performance Metric
University of Colorado Boulder
Skills you'll gain: Field-Programmable Gate Array (FPGA), Hardware Design, Systems Design, Electronic Hardware, Electrical and Computer Engineering, Simulation and Simulation Software, Embedded Systems, Verification And Validation, Computer Engineering, Development Testing, Debugging
University of Leeds
Skills you'll gain: Test Case, Software Testing, Software Quality Assurance, Quality Assurance, Test Planning, Verification And Validation, Acceptance Testing, Functional Testing, Usability Testing, Performance Testing, Software Development Life Cycle
Kennesaw State University
Skills you'll gain: Statistical Process Controls, Statistical Hypothesis Testing, Process Capability, Team Management, Root Cause Analysis, Six Sigma Methodology, Lean Methodologies, Lean Six Sigma, Exploratory Data Analysis, Process Improvement, Quality Improvement, Quality Control, Probability & Statistics, Probability Distribution, Quality Management, Statistical Analysis, Process Mapping, Process Analysis, Correlation Analysis, Business Process
Macquarie University
Skills you'll gain: Excel Formulas, Microsoft Excel, Excel Macros, Data Validation, Spreadsheet Software, Data Modeling, Workflow Management, Financial Modeling, Data Integrity, Automation, Data Security
- Status: Free
Erasmus University Rotterdam
Skills you'll gain: Econometrics, Time Series Analysis and Forecasting, Regression Analysis, Data Analysis, Statistical Analysis, Quantitative Research, Statistical Modeling, Statistics, Forecasting, Probability, Linear Algebra, Peer Review
University of Alberta
Skills you'll gain: Reinforcement Learning, Sampling (Statistics), Machine Learning Algorithms, Simulations, Artificial Intelligence and Machine Learning (AI/ML), Machine Learning, Statistical Methods, Probability Distribution, Data Modeling
- Status: Free
Johns Hopkins University
Skills you'll gain: Risk Modeling, Regression Analysis, Microsoft Excel, Business Analytics, Business Process Modeling, Business Risk Management, Business Modeling, Data Modeling, Resource Allocation, Statistical Analysis, Mathematical Modeling, Process Optimization, Financial Analysis, Spreadsheet Software, Predictive Analytics, Transportation Operations
École Polytechnique Fédérale de Lausanne
Skills you'll gain: Scala Programming, Programming Principles, Object Oriented Programming (OOP), Functional Design, Software Design Patterns, Computer Programming, Data Structures, Software Engineering, Javascript, Algorithms, Computational Thinking
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
California Institute of the Arts
Skills you'll gain: User Interface (UI) Design, Graphic and Visual Design, User Interface and User Experience (UI/UX) Design, Web Design, Design Elements And Principles, Human Computer Interaction, Responsive Web Design, Typography, UI Components, Information Architecture, Interaction Design, User Experience Design
California Institute of the Arts
Skills you'll gain: Information Architecture, Wireframing, User Interface and User Experience (UI/UX) Design, Persona (User Experience), Mockups, User Experience Design, Responsive Web Design, Web Design, UI/UX Strategy, User Interface (UI) Design, User Centered Design, Interaction Design, Prototyping, Graphic and Visual Design, User Research, Web Language, User Interface (UI), HTML and CSS, User Flows, Design Elements And Principles
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Mastering Data Analysis in Excel:Â Duke University
- Hardware Description Languages for FPGA Design:Â University of Colorado Boulder
- Foundations of Software Testing and Validation:Â University of Leeds
- Six Sigma Green Belt:Â Kennesaw State University
- Excel Skills for Business: Intermediate II:Â Macquarie University
- Econometrics: Methods and Applications:Â Erasmus University Rotterdam
- Sample-based Learning Methods:Â University of Alberta
- Business Analytics with Excel: Elementary to Advanced:Â Johns Hopkins University
- Functional Programming Principles in Scala: École Polytechnique Fédérale de Lausanne
- Fundamentals of Quantitative Modeling:Â University of Pennsylvania