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"
Columbia University
Skills you'll gain: Project Schedules, Project Risk Management, Scheduling, Construction Management, Timelines, Lean Methodologies, Construction, Project Management Software, Work Breakdown Structure, Resource Allocation, Probability & Statistics
University of California, Santa Cruz
Skills you'll gain: Time Series Analysis and Forecasting, Bayesian Statistics, R Programming, Forecasting, Statistical Inference, Statistical Modeling, Technical Communication, Data Analysis, Probability, Statistical Machine Learning, Statistical Methods, Statistical Analysis, Mathematical Modeling, Microsoft Excel, Markov Model, Probability Distribution, Probability & Statistics, Unsupervised Learning, Regression Analysis, Predictive Modeling
University of Illinois Urbana-Champaign
Skills you'll gain: Computational Logic, Application Specific Integrated Circuits, Theoretical Computer Science, Data Structures, Verification And Validation, Computer Architecture, Algorithms, Computer Engineering, Programming Principles, Mathematical Software, Graph Theory, Software Development Tools
- Status: Free
The University of Melbourne
Skills you'll gain: Operations Research, Combinatorics, Applied Mathematics, Graph Theory, Mathematical Modeling, Algorithms, Computational Thinking, Linear Algebra, Computational Logic, Computer Programming
- Status: Free
University of Pennsylvania
Skills you'll gain: Calculus, Numerical Analysis, Applied Mathematics, Engineering Calculations, Integral Calculus, Engineering Analysis, Differential Equations, Mathematical Theory & Analysis, Advanced Mathematics, Estimation, Derivatives
Coursera Project Network
Skills you'll gain: Regression Analysis, NumPy, Applied Machine Learning, Supervised Learning, Machine Learning, Predictive Modeling
University of California San Diego
Skills you'll gain: Graph Theory, Logical Reasoning, Combinatorics, Computational Logic, Deductive Reasoning, Cryptography, Probability, Key Management, Computational Thinking, Encryption, Network Analysis, Public Key Cryptography Standards (PKCS), Algorithms, Theoretical Computer Science, Python Programming, Data Structures, Cybersecurity, Arithmetic, Computer Programming, Mathematical Modeling
DeepLearning.AI
Skills you'll gain: Classification And Regression Tree (CART), Machine Learning Algorithms, Machine Learning, Applied Machine Learning, Data Ethics, Decision Tree Learning, Tensorflow, Artificial Intelligence, Supervised Learning, Deep Learning, Random Forest Algorithm, Artificial Neural Networks, Performance Tuning
Johns Hopkins University
Skills you'll gain: Regression Analysis, Statistical Modeling, R Programming, Linear Algebra, Data Science, Mathematical Modeling, Predictive Modeling, Statistical Analysis, Applied Mathematics, Advanced Mathematics
University of Amsterdam
Skills you'll gain: Descriptive Statistics, Statistical Hypothesis Testing, Statistical Software, Probability Distribution, Sampling (Statistics), Correlation Analysis, Probability, Sample Size Determination, Statistics, Regression Analysis, Statistical Inference, Statistical Analysis
University of Toronto
Skills you'll gain: Control Systems, Embedded Software, Automation, Software Architecture, Simulations, Safety Assurance, Hardware Architecture, Systems Architecture, Verification And Validation, Mathematical Modeling, Engineering Analysis, Computer Hardware, Risk Management Framework, Mechanics
University of Illinois Urbana-Champaign
Skills you'll gain: Application Specific Integrated Circuits, Hardware Design, Computer-Aided Design, Electronic Hardware, Systems Design, Computer Architecture, Electrical and Computer Engineering, Engineering Design Process, Semiconductors, Network Routing, Computational Logic, Data Structures, Algorithms, Mathematical Modeling, Calculus
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Construction Scheduling: Columbia University
- Bayesian Statistics: University of California, Santa Cruz
- VLSI CAD Part I: Logic: University of Illinois Urbana-Champaign
- Discrete Optimization: The University of Melbourne
- Single Variable Calculus: University of Pennsylvania
- Linear Regression with Python: Coursera Project Network
- Introduction to Discrete Mathematics for Computer Science: University of California San Diego
- Advanced Learning Algorithms: DeepLearning.AI
- Advanced Linear Models for Data Science 1: Least Squares: Johns Hopkins University
- Basic Statistics: University of Amsterdam