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"
Skills you'll gain: Unsupervised Learning, Dimensionality Reduction, Scikit Learn (Machine Learning Library), Machine Learning Algorithms, Feature Engineering, Machine Learning, Statistical Machine Learning, Text Mining, Data Mining, Data Science, Big Data, NumPy, Data Analysis, Algorithms, Natural Language Processing, Linear Algebra
Korea Advanced Institute of Science and Technology(KAIST)
Skills you'll gain: Linear Algebra, Artificial Intelligence and Machine Learning (AI/ML), Artificial Intelligence, Applied Mathematics, Deep Learning, Machine Learning, Supervised Learning
- Status: Free
University of Pennsylvania
Skills you'll gain: Calculus, Engineering Calculations, Mathematical Theory & Analysis, Algebra, Advanced Mathematics, Applied Mathematics, Derivatives
University of Colorado Boulder
Skills you'll gain: Unsupervised Learning, Supervised Learning, Deep Learning, Machine Learning Algorithms, Dimensionality Reduction, Applied Machine Learning, Decision Tree Learning, Keras (Neural Network Library), Scikit Learn (Machine Learning Library), Matplotlib, Random Forest Algorithm, Predictive Modeling, Data Science, Python Programming, Classification And Regression Tree (CART), Machine Learning, Computer Vision, Image Analysis, Artificial Intelligence and Machine Learning (AI/ML), Mathematical Modeling
Skills you'll gain: Application Programming Interface (API), Cloud API, API Design, Continuous Deployment, CI/CD, Restful API, Application Deployment, Google Cloud Platform, Continuous Integration, Middleware, Application Performance Management, JSON, Software Versioning, Proxy Servers, Scalability, Extensible Markup Language (XML)
- Status: Free
University of Geneva
Skills you'll gain: Pollution Prevention, Water Resources, Environmental Regulations, Environmental Laws, Mediation, Arbitration, Diplomacy, International Relations, Environment and Resource Management, Conflict Management, Adjudication, Case Law
University of Colorado Boulder
Skills you'll gain: Estimation, Linear Algebra, Physics, Mechanics, Engineering Calculations, Probability, Applied Mathematics, Advanced Mathematics, Mathematical Modeling, Engineering Analysis, Mathematical Theory & Analysis, Differential Equations, Physical Science
- Status: Free
Tecnológico de Monterrey
Skills you'll gain: Education Software and Technology, Calculus, Applied Mathematics, Algebra, Mathematical Modeling, Mathematical Software, Graphing, Derivatives
Skills you'll gain: Marketing Analytics, Marketing Effectiveness, A/B Testing, Target Audience, Marketing Strategies, Marketing Planning, Customer Analysis, Marketing Channel, Advertising Campaigns, Customer Insights, Sales Process, Regression Analysis, Forecasting, Descriptive Analytics, Key Performance Indicators (KPIs), Return On Investment
Skills you'll gain: Field-Programmable Gate Array (FPGA), Electronics, Hardware Design, Application Specific Integrated Circuits, Electronics Engineering, Serial Peripheral Interface, Computational Logic, Electrical Engineering, Computer Architecture, Schematic Diagrams, Semiconductors, Electronic Hardware, Electronic Components, Internet Of Things, Programmable Logic Controllers, Low Voltage, Embedded Software, Electronic Systems, Network Protocols, Embedded Systems
University of Colorado Boulder
Skills you'll gain: Algebra, Calculus, Graphing, Applied Mathematics, Data Science, Derivatives, Mathematical Theory & Analysis
- Status: Free
DeepLearning.AI
Skills you'll gain: Large Language Modeling, Generative AI Agents, Prompt Engineering, OpenAI, Generative AI, Application Development
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Unsupervised Machine Learning:Â IBM
- Math for AI beginner part 1 Linear Algebra:Â Korea Advanced Institute of Science and Technology(KAIST)
- Calculus: Single Variable Part 1 - Functions:Â University of Pennsylvania
- Machine Learning: Theory and Hands-on Practice with Python:Â University of Colorado Boulder
- API Development on Google Cloud's Apigee API Platform:Â Google Cloud
- International Water Law:Â University of Geneva
- Quantum Mechanics for Engineers:Â University of Colorado Boulder
- 2.- El Cálculo - Modelo Cuadrático: Tecnológico de Monterrey
- Data Analytics Methods for Marketing:Â Meta
- Chip based VLSI design for Industrial Applications:Â L&T EduTech