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"
Johns Hopkins University
Skills you'll gain: Artificial Neural Networks, Image Analysis, Event-Driven Programming, C and C++, Scalability, Deep Learning, Software Development, Machine Learning Methods, Performance Tuning, Linear Algebra, Distributed Computing, System Programming, Computer Graphics, Computer Hardware, Computer Vision, Numerical Analysis, Computer Architecture, OS Process Management, Data Structures, Performance Testing
UNSW Sydney (The University of New South Wales)
Skills you'll gain: Concision, Technical Writing, Requirements Management, Requirements Analysis, Business Requirements, Functional Requirement, Writing, User Requirements Documents, System Requirements, Product Requirements, Proofreading, Editing, Grammar, Style Guides, Verification And Validation, Systems Engineering
University of Colorado Boulder
Skills you'll gain: Computational Logic, Mathematical Modeling, Theoretical Computer Science, System Requirements, Verification And Validation, Agentic systems, Software Systems, Automation, Mechanical Engineering, Systems Analysis, Systems Engineering, Simulations, Applied Mathematics, Control Systems, Linear Algebra, Differential Equations, Hardware Architecture, Computer Science, Artificial Intelligence, Algorithms
Johns Hopkins University
Skills you'll gain: Data Analysis, Applied Mathematics, Mathematical Modeling, Graphing, Trigonometry, Analytical Skills, R Programming, General Mathematics, Statistics, Algebra, Systems Of Measurement, Regression Analysis, Correlation Analysis, Calculus, Geometry
University of Michigan
Skills you'll gain: Forecasting, Statistical Methods, Regression Analysis, Data Cleansing, Scikit Learn (Machine Learning Library), Supervised Learning, Data Processing, Statistical Hypothesis Testing, Correlation Analysis, Predictive Analytics, Predictive Modeling, Matplotlib, Applied Machine Learning, Kinesiology, Injury Prevention, Statistical Machine Learning, Analytics, Data Analysis, Statistical Analysis, Probability & Statistics
Universidad Nacional Autónoma de México
Skills you'll gain: Bayesian Network, Computational Logic, Game Theory, Artificial Intelligence, Markov Model, Theoretical Computer Science, Decision Support Systems, Logical Reasoning, Deductive Reasoning, Programming Principles, Probability, Verification And Validation, Mathematical Modeling, Algorithms
University of Amsterdam
Skills you'll gain: Statistical Hypothesis Testing, Statistical Methods, Probability & Statistics, Regression Analysis, Statistical Inference, Statistical Analysis, Quantitative Research, Statistical Modeling, Probability Distribution, R Programming
University of Colorado Boulder
Skills you'll gain: Adobe Premiere, Video Production, Videography, Post-Production, Photo/Video Production and Technology, Video Editing, Storyboarding, Storytelling, Photography, Adobe Creative Cloud, Media Production, Editing, Proposal Development, Writing, Graphic and Visual Design, Multimedia, Creativity, Timelines, File Management, Quality Assurance
Skills you'll gain: Object Oriented Programming (OOP), Programming Principles, Computer Programming, Scripting Languages, Data Import/Export, Data Structures, Python Programming, Scripting, Computational Logic, Computer Science, File Management
École des Ponts ParisTech
Skills you'll gain: Environmental Engineering, Environment Health And Safety, Civil Engineering, Transportation Operations, Construction, Market Dynamics, Transportation, Supply Chain, and Logistics, Material Handling, Chemical Engineering, Product Testing, Technical Standard, Performance Testing, Manufacturing Processes, Laboratory Testing
Skills you'll gain: Statistical Hypothesis Testing, Statistical Methods, Sample Size Determination, Statistical Inference, Estimation, Statistics, Probability & Statistics, Sampling (Statistics), Statistical Analysis, Microsoft Excel, Excel Formulas, Decision Making
Universidade de São Paulo
Skills you'll gain: Usability Testing, Wireframing, Information Architecture, User Interface (UI) Design, UI Components, User Experience Design, Prototyping, User Research, Style Guides, Design Elements And Principles, Cross Platform Development, Verification And Validation
In summary, here are 10 of our most popular linear temporal logic specifications courses
- GPU Programming:Â Johns Hopkins University
- Requirements Writing:Â UNSW Sydney (The University of New South Wales)
- Foundations of Autonomous Systems:Â University of Colorado Boulder
- Precalculus through Data and Modelling:Â Johns Hopkins University
- Sports Performance Analytics:Â University of Michigan
- Razonamiento artificial: Universidad Nacional Autónoma de México
- Inferential Statistics:Â University of Amsterdam
- The Art of Visual Storytelling:Â University of Colorado Boulder
- Programming in Python: A Hands-on Introduction:Â Codio
- Mastering bitumen for better roads and innovative applications: École des Ponts ParisTech