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"
- Status: Free
Eindhoven University of Technology
Skills you'll gain: Electronic Systems, Electronic Components, Electrical Engineering, Wireless Networks, System Design and Implementation, Design Specifications, Simulations
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
University of Toronto
Skills you'll gain: Computer Vision, Image Analysis, Deep Learning, Artificial Neural Networks, Visualization (Computer Graphics), Artificial Intelligence, Machine Learning, Python Programming, NumPy, Linear Algebra
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
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
- 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
Skills you'll gain: SAS (Software), Statistical Hypothesis Testing, Statistical Software, Statistical Analysis, Predictive Modeling, Statistical Programming, Statistical Modeling, Statistical Methods, Regression Analysis, Probability & Statistics, Data Analysis
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, Computer Graphics, Social Sciences, Bioinformatics
EIT Digital
Skills you'll gain: Embedded Systems, Computer Programming, C (Programming Language), Real Time Data, System Design and Implementation, System Software, Operating Systems, System Requirements, Computer Architecture, Verification And Validation, Algorithms
Kennesaw State University
Skills you'll gain: Process Capability, Team Management, Statistical Process Controls, Exploratory Data Analysis, Six Sigma Methodology, Probability & Statistics, Probability Distribution, Process Analysis, Statistical Analysis, Lean Six Sigma, Process Mapping, Correlation Analysis, Data Collection, Performance Measurement, Pareto Chart, Descriptive Statistics, Process Improvement, Quality Improvement, Business Process
Johns Hopkins University
Skills you'll gain: Data Analysis, Applied Mathematics, Mathematical Modeling, Graphing, Trigonometry, Analytical Skills, R Programming, Data Modeling, Statistics, Algebra, Regression Analysis, Correlation Analysis, Systems Of Measurement, Geometry
University of California San Diego
Skills you'll gain: Apache Spark, PySpark, Apache Hadoop, Data Integration, Big Data, Data Pipelines, Data Processing, Data Management, NoSQL, Analytics, Splunk, Database Systems, MongoDB, Pandas (Python Package), SQL
In summary, here are 10 of our most popular linear temporal logic specifications courses
- RF and millimeter-Wave Circuit Design:Â Eindhoven University of Technology
- Design Computing: 3D Modeling in Rhinoceros with Python/Rhinoscript:Â University of Michigan
- Visual Perception for Self-Driving Cars:Â University of Toronto
- Vector Calculus for Engineers:Â The Hong Kong University of Science and Technology
- Guided Tour of Machine Learning in Finance:Â New York University
- EstadÃstica aplicada a los negocios:Â Universidad Austral
- Statistics with SAS:Â SAS
- Introducción a la inteligencia artificial: Universidad Nacional Autónoma de México
- Development of Real-Time Systems:Â EIT Digital
- Six Sigma Advanced Define and Measure Phases:Â Kennesaw State University