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, 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
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
- Status: Free
National Taiwan University
Skills you'll gain: 3D Modeling, SketchUp (3D Modeling Software), Software Installation, Visualization (Computer Graphics), Graphical Tools
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
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
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
- Status: Free
The State University of New York
Skills you'll gain: Time Series Analysis and Forecasting, Forecasting, R Programming, Statistical Analysis, Data Analysis, Data Visualization, Mathematical Modeling, Statistical Modeling, Predictive Analytics, Predictive Modeling, Correlation Analysis, Probability & Statistics, Descriptive Statistics, Statistical Inference
In summary, here are 10 of our most popular linear temporal logic specifications courses
- 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
- Discrete Optimization:Â The University of Melbourne
- Building AI Powered Chatbots Without Programming:Â IBM
- 3D CAD Fundamental:Â National Taiwan University
- Linear Regression for Business Statistics:Â Rice University
- Linear Regression in R for Public Health :Â Imperial College London