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"
Imperial College London
Skills you'll gain: Regression Analysis, Calculus, Advanced Mathematics, Machine Learning Algorithms, Applied Mathematics, Linear Algebra, Artificial Neural Networks, Mathematical Modeling, Deep Learning, Mathematical Theory & Analysis, Python Programming, Derivatives
University of Michigan
Skills you'll gain: PHP (Scripting Language), Hypertext Markup Language (HTML), MySQL, Web Applications, Web Development, Secure Coding, Cascading Style Sheets (CSS), Development Environment, Back-End Web Development, Database Development, Web Servers, Data Validation
Duke University
Skills you'll gain: Statistical Hypothesis Testing, Sampling (Statistics), Statistical Inference, Exploratory Data Analysis, Regression Analysis, Statistical Reporting, Probability Distribution, Statistical Methods, Statistical Software, R Programming, Bayesian Statistics, Statistical Analysis, Data Analysis, Statistical Modeling, Probability & Statistics, Probability, Statistics, Data Science, Descriptive Statistics, Mathematical Modeling
- Status: AI skills
Skills you'll gain: Data Storytelling, Business Metrics, Key Performance Indicators (KPIs), Data Management, Data Collection, Data Governance, Bayesian Statistics, Data Analysis, Descriptive Statistics, Statistical Hypothesis Testing, Information Privacy, Data Cleansing, Pandas (Python Package), Data Visualization Software, Statistical Inference, Spreadsheet Software, Correlation Analysis, Google Sheets, Exploratory Data Analysis, Data Manipulation
Imperial College London
Skills you'll gain: Dimensionality Reduction, NumPy, Probability & Statistics, Jupyter, Statistics, Geometry, Linear Algebra, Data Transformation, Python Programming, Advanced Mathematics, Machine Learning, Machine Learning Algorithms, Calculus
University of California San Diego
Skills you'll gain: Event-Driven Programming, Interactive Data Visualization, Java, Java Programming, Object Oriented Programming (OOP), User Interface (UI), Computer Programming, Algorithms, Graphical Tools, Software Engineering, Data Structures, Programming Principles, Software Documentation, Development Environment, Debugging
University of Alberta
Skills you'll gain: Reinforcement Learning, Artificial Intelligence and Machine Learning (AI/ML), Systems Development, Solution Architecture, Simulations, Performance Testing, Artificial Neural Networks, Applied Machine Learning, Machine Learning Algorithms, Markov Model, Algorithms, Technical Writing
University of California San Diego
Skills you'll gain: Logical Reasoning, Computational Logic, Deductive Reasoning, Computational Thinking, Theoretical Computer Science, Mathematical Theory & Analysis, Combinatorics, Algorithms, Python Programming, Computer Programming, Computer Science, Advanced Mathematics
- Status: Free
Universidad Nacional Autónoma de México
Skills you'll gain: Algebra, General Mathematics, Arithmetic, Geometry
Coursera Project Network
Skills you'll gain: Regression Analysis, NumPy, Applied Machine Learning, Supervised Learning, Machine Learning Algorithms, Machine Learning, Python Programming
University of Colorado System
Skills you'll gain: Requirements Elicitation, Software Design Documents, Requirements Analysis, Security Requirements Analysis, Mockups, 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, Meeting Facilitation, Prototyping, Software Development Life Cycle
Johns Hopkins University
Skills you'll gain: Regression Analysis, Statistical Modeling, R Programming, Linear Algebra, Data Science, Mathematical Modeling, Data Modeling, Predictive Modeling, Statistical Analysis, Applied Mathematics
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Mathematics for Machine Learning: Multivariate Calculus: Imperial College London
- Building Web Applications in PHP: University of Michigan
- Data Analysis with R: Duke University
- Meta Data Analyst: Meta
- Mathematics for Machine Learning: PCA: Imperial College London
- Object Oriented Programming in Java: University of California San Diego
- A Complete Reinforcement Learning System (Capstone): University of Alberta
- Mathematical Thinking in Computer Science: University of California San Diego
- Álgebra básica: Universidad Nacional Autónoma de México
- Linear Regression with Python: Coursera Project Network