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 Colorado Boulder
Skills you'll gain: Real-Time Operating Systems, Embedded Systems, Embedded Software, Software Systems, Operating Systems, OS Process Management, System Design and Implementation, Linux, Systems Analysis, Verification And Validation, Algorithms
University of Toronto
Skills you'll gain: Algorithms, Computer Vision, Simulations, Predictive Modeling, Scenario Testing, Data Structures, Spatial Data Analysis
University of California, Davis
Skills you'll gain: Data Governance, Data Quality, Data Integration, Data Dictionary, Data Validation, Health Informatics, Data Modeling, Extract, Transform, Load, Health Systems, Data Management, Metadata Management, Data Compilation, Health Care, Analytics, Data Mapping, Healthcare Industry Knowledge, Data Analysis, Health Information Management, Data Cleansing, Taxonomy
Skills you'll gain: Bayesian Statistics, Descriptive Statistics, Statistical Hypothesis Testing, Statistical Inference, Sampling (Statistics), Data Modeling, Statistics, Probability & Statistics, Statistical Analysis, Statistical Methods, Data Analysis Software, Statistical Modeling, Marketing Analytics, Tableau Software, Data Analysis, Spreadsheet Software, Quantitative Research, Analytics, Descriptive Analytics, Time Series Analysis and Forecasting
- Status: Free
Eindhoven University of Technology
Skills you'll gain: Electronics Engineering, Electronics, Telecommunications, Electronic Systems, Electronic Components, Hardware Design, Electrical Engineering, Wireless Networks, Electronic Hardware, Systems Design, Simulation and Simulation Software, Simulations, Laboratory Experience
University of Toronto
Skills you'll gain: Computer Vision, Image Analysis, Deep Learning, Artificial Neural Networks, Artificial Intelligence, Machine Learning Algorithms, Machine Learning, Python Programming, NumPy, Linear Algebra
- Status: Free
University of Minnesota
Skills you'll gain: Dimensionality Reduction, NumPy, Linear Algebra, Machine Learning Methods, Data Analysis, Numerical Analysis, Mathematical Modeling, Applied Mathematics, Applied Machine Learning, Data Manipulation, Exploratory Data Analysis, Algorithms, Python Programming
American Psychological Association
Skills you'll gain: Descriptive Statistics, Quantitative Research, Plot (Graphics), Scientific Methods, Graphing, Research Design, Statistical Visualization, Statistical Hypothesis Testing, Healthcare Ethics, Probability & Statistics, Research, Statistical Inference, Statistics, Surveys, Sample Size Determination, Ethical Standards And Conduct, Data Analysis, Data Collection, Research Methodologies, Correlation Analysis
University of California San Diego
Skills you'll gain: Apache Spark, Apache Hadoop, Data Integration, Big Data, Data Pipelines, Data Processing, Data Management, NoSQL, Analytics, Splunk, Database Systems, MongoDB, Pandas (Python Package), SQL, PostgreSQL
- Status: Free
Georgia Institute of Technology
Skills you'll gain: Electrical Engineering, Basic Electrical Systems, Electronics, Electronic Systems, Power Electronics, Electronic Components, Network Analysis, Engineering Analysis, Mathematical Modeling, Engineering Calculations
Duke University
Skills you'll gain: Deductive Reasoning, Logical Reasoning, Computational Logic, Scientific Methods
Northwestern University
Skills you'll gain: Mathematical Modeling, Machine Controls, Automation Engineering, Engineering Calculations, Applied Mathematics, Engineering Analysis, Mechanics, Computational Logic, Simulation and Simulation Software, Virtual Environment, Torque (Physics), Numerical Analysis, Linear Algebra, Trigonometry, Control Systems
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Real-Time Embedded Systems Theory and Analysis:Â University of Colorado Boulder
- Motion Planning for Self-Driving Cars:Â University of Toronto
- Health Information Literacy for Data Analytics:Â University of California, Davis
- Statistics Foundations:Â Meta
- RF and millimeter-Wave Circuit Design:Â Eindhoven University of Technology
- Visual Perception for Self-Driving Cars:Â University of Toronto
- Matrix Methods:Â University of Minnesota
- Psychological Research:Â American Psychological Association
- Big Data Integration and Processing:Â University of California San Diego
- Linear Circuits 2: AC Analysis :Â Georgia Institute of Technology