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"
Skills you'll gain: Supervised Learning, Regression Analysis, Machine Learning Algorithms, Machine Learning, Predictive Modeling, Classification And Regression Tree (CART), Statistical Modeling, Scikit Learn (Machine Learning Library), Feature Engineering, Pandas (Python Package), Performance Metric
Skills you'll gain: Regression Analysis, Statistical Hypothesis Testing, Statistical Analysis, Advanced Analytics, Correlation Analysis, Data Analysis, Predictive Modeling, Statistical Modeling, Supervised Learning, Variance Analysis, Machine Learning Methods, Python Programming
Google Cloud
Skills you'll gain: Machine Learning, Google Cloud Platform, Applied Machine Learning, Supervised Learning, Time Series Analysis and Forecasting, Financial Trading, Deep Learning, Statistical Machine Learning, Artificial Intelligence and Machine Learning (AI/ML), Artificial Neural Networks, Securities Trading, Technical Analysis, Financial Forecasting, Quantitative Research, Financial Modeling, Forecasting, Regression Analysis
Johns Hopkins University
Skills you'll gain: Sampling (Statistics), Bayesian Statistics, Probability & Statistics, Statistical Inference, Statistical Methods, Probability, Probability Distribution, Statistical Analysis, Biostatistics
Rice University
Skills you'll gain: Descriptive Statistics, Probability & Statistics, Probability Distribution, Business Analytics, Microsoft Excel, Data Analysis, Statistical Analysis, Box Plots, Sampling (Statistics), Correlation Analysis
University of Colorado System
Skills you'll gain: Requirements Elicitation, Software Design Documents, Requirements Analysis, Security Requirements Analysis, Mockups, User Story, Interviewing Skills, User Requirements Documents, Storyboarding, Functional Requirement, Goal Setting, Software Development Methodologies, Software Documentation, Agile Methodology, Business Requirements, Unified Modeling Language, Risk Management Framework, System Requirements, Functional Specification, Scalability
Skills you'll gain: API Design, Restful API, API Gateway, Application Programming Interface (API), Cloud API, Application Lifecycle Management, Proxy Servers, Software Design Documents, Software Documentation, Authentications
EIT Digital
Skills you'll gain: Real-Time Operating Systems, Embedded Systems, Computer Programming, C (Programming Language), System Design and Implementation, OS Process Management, System Requirements, Computer Architecture, Simulations, Verification And Validation, Algorithms, Servers
University of Alberta
Skills you'll gain: Reinforcement Learning, Sampling (Statistics), Machine Learning Algorithms, Simulations, Artificial Intelligence and Machine Learning (AI/ML), Machine Learning, Algorithms, Probability Distribution
- Status: Free
Wesleyan University
Skills you'll gain: Mathematical Theory & Analysis, Algebra, Advanced Mathematics, Geometry, Calculus, Trigonometry, Graphing
Duke University
Skills you'll gain: Bayesian Statistics, Statistical Hypothesis Testing, Statistical Modeling, Statistical Methods, Statistical Inference, Statistical Analysis, Regression Analysis, Data Analysis, R Programming, Probability, Data-Driven Decision-Making, Probability Distribution
- Status: Free
Coursera Project Network
Skills you'll gain: WordPress, Content Management Systems, Web Content, Web Design and Development, Information Architecture
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Supervised Machine Learning: Regression:Â IBM
- Regression Analysis: Simplify Complex Data Relationships:Â Google
- Introduction to Trading, Machine Learning & GCP:Â Google Cloud
- Mathematical Biostatistics Boot Camp 1:Â Johns Hopkins University
- Basic Data Descriptors, Statistical Distributions, and Application to Business Decisions:Â Rice University
- Requirements Engineering: Secure Software Specifications:Â University of Colorado System
- API Design and Fundamentals of Google Cloud's Apigee API Platform:Â Google Cloud
- Development of Real-Time Systems:Â EIT Digital
- Sample-based Learning Methods:Â University of Alberta
- Introduction to Complex Analysis:Â Wesleyan University