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"
University of California San Diego
Skills you'll gain: Graph Theory, Logical Reasoning, Cryptographic Protocols, Combinatorics, Computational Logic, Deductive Reasoning, Cryptography, Probability, Computational Thinking, Encryption, Mathematical Theory & Analysis, Network Analysis, Public Key Cryptography Standards (PKCS), Algorithms, Theoretical Computer Science, Python Programming, Data Structures, Cybersecurity, Computer Programming, Mathematical Modeling
The University of Sydney
Skills you'll gain: Linear Algebra, Markov Model, Geometry, Arithmetic, Algebra, General Mathematics, Advanced Mathematics, Probability, Mathematics and Mathematical Modeling, Mathematical Theory & Analysis, Applied Mathematics, Statistical Methods, Engineering Analysis
- 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
- Status: Free
Universitat Autònoma de Barcelona
Skills you'll gain: System Design and Implementation, Digital Communications, Application Specific Integrated Circuits, Computer Architecture, Computer Systems, Computer Hardware, Algorithms, Simulations, Other Programming Languages
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
DeepLearning.AI
Skills you'll gain: Unsupervised Learning, Artificial Intelligence and Machine Learning (AI/ML), Data Ethics, Machine Learning, Machine Learning Algorithms, Supervised Learning, Artificial Intelligence, Reinforcement Learning, Artificial Neural Networks, Deep Learning, Anomaly Detection, Dimensionality Reduction, Algorithms, Regression Analysis
Skills you'll gain: Data Wrangling, Data Cleansing, Data Analysis, Data Manipulation, Data Transformation, Data Import/Export, Exploratory Data Analysis, Predictive Analytics, Statistical Analysis, Regression Analysis, Predictive Modeling, Pandas (Python Package), Scikit Learn (Machine Learning Library), Statistical Modeling, Machine Learning Methods, Feature Engineering, Python Programming, Data Pipelines, NumPy
Skills you'll gain: Jupyter, Automation, Web Scraping, Python Programming, Data Manipulation, Data Import/Export, Scripting, Data Structures, Data Processing, Data Collection, Application Programming Interface (API), Pandas (Python Package), Programming Principles, NumPy, Object Oriented Programming (OOP), Computer Programming
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, Predictive Modeling
University of Illinois Urbana-Champaign
Skills you'll gain: Computational Logic, Application Specific Integrated Circuits, Theoretical Computer Science, Hardware Design, Data Structures, Verification And Validation, Computer-Aided Design, Computer Architecture, Algorithms, Electrical and Computer Engineering, Programming Principles
Rice University
Skills you'll gain: Statistical Hypothesis Testing, Regression Analysis, Statistical Analysis, Statistical Modeling, Statistical Inference, Business Analytics, Microsoft Excel, Estimation, Data Analysis, Forecasting
Imperial College London
Skills you'll gain: Regression Analysis, Calculus, Advanced Mathematics, Numerical Analysis, Statistical Analysis, Linear Algebra, Artificial Neural Networks, Machine Learning, Mathematical Theory & Analysis, Python Programming, Derivatives
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Introduction to Discrete Mathematics for Computer Science:Â University of California San Diego
- Introduction to Linear Algebra:Â The University of Sydney
- Econometrics: Methods and Applications:Â Erasmus University Rotterdam
- Sistemas Digitales: De las puertas lógicas al procesador: Universitat Autònoma de Barcelona
- Foundations of Software Testing and Validation:Â University of Leeds
- Unsupervised Learning, Recommenders, Reinforcement Learning:Â DeepLearning.AI
- Data Analysis with Python:Â IBM
- Python for Data Science, AI & Development:Â IBM
- Data Analysis with R:Â Duke University
- VLSI CAD Part I: Logic:Â University of Illinois Urbana-Champaign