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"
Johns Hopkins University
Skills you'll gain: Sampling (Statistics), Probability & Statistics, Statistical Inference, Statistical Methods, Probability, Probability Distribution, Data Analysis, Statistical Analysis, Biostatistics
University of California, Davis
Skills you'll gain: Data Cleansing, Feature Engineering, A/B Testing, Data Quality, SQL, Data Manipulation, Data Transformation, Data Integrity, Time Series Analysis and Forecasting, Data Analysis, Predictive Analytics, Business Metrics
University of Illinois Urbana-Champaign
Skills you'll gain: Learning Theory, Instructional Design, Human Learning, Technology Solutions, Disabilities, Student Engagement, Technology Strategies, User Centered Design, Innovation, Gerontology
DeepLearning.AI
Skills you'll gain: Natural Language Processing, Keras (Neural Network Library), Artificial Neural Networks, PyTorch (Machine Learning Library), Deep Learning, Tensorflow, Text Mining, Machine Learning
Google Cloud
Skills you'll gain: Machine Learning, Google Cloud Platform, Machine Learning Algorithms, Applied Machine Learning, Supervised Learning, Time Series Analysis and Forecasting, Financial Trading, Deep Learning, Statistical Machine Learning, Artificial Intelligence and Machine Learning (AI/ML), Artificial Neural Networks, Securities Trading, Technical Analysis, Predictive Modeling, Financial Forecasting, Quantitative Research, Financial Modeling, Forecasting, Regression Analysis
University of Colorado Boulder
Skills you'll gain: Field-Programmable Gate Array (FPGA), Hardware Design, Electronic Hardware, Electronic Systems, Embedded Systems, Application Specific Integrated Circuits, Microarchitecture, Schematic Diagrams, System Design and Implementation, Hardware Architecture, Design Software, Verification And Validation, Prototyping, Simulation and Simulation Software, Debugging
- Status: Free
National Taiwan University
Skills you'll gain: 3D Modeling, SketchUp (3D Modeling Software), Software Installation, Visualization (Computer Graphics), Graphical Tools
- Status: Free
The University of Melbourne
Skills you'll gain: Operations Research, Combinatorics, Applied Mathematics, Graph Theory, Algorithms, Mathematical Modeling, Computational Thinking, Linear Algebra, Computer Programming, Program Development
Skills you'll gain: Workflow Management, ChatGPT, Business Workflow Analysis, Application Deployment, IBM Cloud, Artificial Intelligence, Business Logic, Generative AI, Automation, Customer Service, Personalized Service, User Interface (UI), Interaction Design
Rice University
Skills you'll gain: Statistical Hypothesis Testing, Regression Analysis, Statistical Analysis, Statistical Modeling, Statistical Inference, Business Analytics, Microsoft Excel, Estimation, Data Analysis, Analytics, Forecasting
University of Colorado Boulder
Skills you'll gain: Vibrations, Mechanics, Torque (Physics), Linear Algebra, Numerical Analysis, Engineering Calculations, Simulations, Engineering Analysis, Mechanical Engineering, Trigonometry, Physics, Mathematical Modeling, Visualization (Computer Graphics), Differential Equations, Simulation and Simulation Software, 3D Modeling, Structural Analysis, Applied Mathematics, Advanced Mathematics, Systems Of Measurement
Imperial College London
Skills you'll gain: Correlation Analysis, Regression Analysis, Data Analysis, R Programming, Descriptive Statistics, Statistical Modeling, Exploratory Data Analysis, Statistical Analysis, Probability & Statistics, Biostatistics, Scatter Plots
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Mathematical Biostatistics Boot Camp 1:Â Johns Hopkins University
- SQL Problem Solving:Â University of California, Davis
- Learning Technologies Foundations and Applications:Â University of Illinois Urbana-Champaign
- Natural Language Processing with Sequence Models:Â DeepLearning.AI
- Introduction to Trading, Machine Learning & GCP:Â Google Cloud
- Introduction to FPGA Design for Embedded Systems:Â University of Colorado Boulder
- 3D CAD Fundamental:Â National Taiwan University
- Discrete Optimization:Â The University of Melbourne
- Building AI Powered Chatbots Without Programming:Â IBM
- Linear Regression for Business Statistics:Â Rice University