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"
Universidad Nacional Autónoma de México
Skills you'll gain: Bayesian Network, Program Development, Computational Logic, Artificial Intelligence, Algorithms, Computational Thinking, Creativity, Markov Model, Software Development, Theoretical Computer Science, Generative AI, Decision Support Systems, Applied Machine Learning, Data Ethics, Problem Management, Artificial Intelligence and Machine Learning (AI/ML), Deductive Reasoning, Graph Theory, Social Sciences, Bioinformatics
The Hong Kong University of Science and Technology
Skills you'll gain: Integral Calculus, Engineering Calculations, Calculus, Engineering Analysis, Engineering, Geometry, Advanced Mathematics, Mechanical Engineering, Applied Mathematics, Electrical Engineering, Trigonometry, Physics, Algebra, Derivatives
University of Michigan
Skills you'll gain: Data Structures, 3D Modeling, Computational Logic, Computer Graphics, Visualization (Computer Graphics), Design, Digital Design, Python Programming, Scripting, Computer Programming
Skills you'll gain: SAS (Software), Statistical Hypothesis Testing, Statistical Software, Statistical Analysis, Predictive Modeling, Statistical Modeling, Statistical Methods, Regression Analysis, Probability & Statistics, Data Analysis
- Status: Free
Universidad Austral
Skills you'll gain: Regression Analysis, Statistical Inference, Descriptive Statistics, Risk Analysis, Business Risk Management, Business Analytics, Statistics, Sampling (Statistics), Microsoft Excel, Data Analysis, Probability, Statistical Analysis, Data-Driven Decision-Making, Quantitative Research, Predictive Modeling, Correlation Analysis, Data Presentation
Google
Skills you'll gain: Adobe XD, User Experience Design, Usability Testing, Figma (Design Software), Responsive Web Design, Wireframing, Information Architecture, User Experience, Prototyping, UI/UX Research, Presentations, Design Reviews, User Story, Storyboarding, Ideation, Mockups, Software Documentation, User Research, Design Research, User Centered Design
EIT Digital
Skills you'll gain: Embedded Systems, Computer Programming, C (Programming Language), Real Time Data, System Design and Implementation, OS Process Management, Operating Systems, System Requirements, Computer Architecture, Verification And Validation, Algorithms
New York University
Skills you'll gain: Supervised Learning, Machine Learning Methods, Applied Machine Learning, Machine Learning Algorithms, Machine Learning, Statistical Methods, Artificial Neural Networks, Statistical Modeling, Predictive Modeling, Scikit Learn (Machine Learning Library), Regression Analysis, Financial Services, Finance, Financial Market, Unsupervised Learning, Tensorflow, Reinforcement Learning
Skills you'll gain: Marketing Analytics, Marketing Effectiveness, A/B Testing, Target Audience, Marketing Strategies, Marketing Planning, Customer Insights, Advertising, Sales Process, Regression Analysis, Forecasting, Data Analysis, Key Performance Indicators (KPIs)
Skills you'll gain: Statistical Hypothesis Testing, Sample Size Determination, Statistical Inference, Estimation, Business Analytics, Statistics, Probability & Statistics, Sampling (Statistics), Statistical Analysis, Microsoft Excel, Excel Formulas, Business, Data Analysis, Spreadsheet Software, Decision Making
Rice University
Skills you'll gain: Mechanics, Torque (Physics), Physics, Calculus, Engineering Analysis, Physical Science, Mathematical Modeling, Algebra, Applied Mathematics, Linear Algebra, Trigonometry, Engineering Calculations
Vanderbilt University
Skills you'll gain: Android Studio, Android Development, Object Oriented Programming (OOP), Java, Mobile Development, Application Development, Data Structures, Integrated Development Environments, Computer Programming, Development Environment, Debugging, User Interface (UI)
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Introducción a la inteligencia artificial: Universidad Nacional Autónoma de México
- Vector Calculus for Engineers:Â The Hong Kong University of Science and Technology
- Design Computing: 3D Modeling in Rhinoceros with Python/Rhinoscript:Â University of Michigan
- Statistics with SAS:Â SAS
- EstadÃstica aplicada a los negocios:Â Universidad Austral
- Google UX Design (PT):Â Google
- Development of Real-Time Systems:Â EIT Digital
- Guided Tour of Machine Learning in Finance:Â New York University
- Data Analytics Methods for Marketing:Â Meta
- Business Applications of Hypothesis Testing and Confidence Interval Estimation :Â Rice University