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"
Korea Advanced Institute of Science and Technology(KAIST)
Skills you'll gain: Semiconductors, Electronic Components, Display Devices, Electronics, Electrical Engineering, Electronics Engineering, Data Storage Technologies
Skills you'll gain: Matplotlib, Natural Language Processing, Linear Algebra, Data Visualization, Machine Learning Algorithms, Deep Learning, NumPy, Semantic Web, Seaborn, Pandas (Python Package), Machine Learning, Artificial Neural Networks, Data Processing, Supervised Learning, Text Mining, Unstructured Data, Applied Machine Learning, Markov Model, Dimensionality Reduction, Python Programming
Skills you'll gain: Application Deployment, MLOps (Machine Learning Operations), Unit Testing, Docker (Software), Containerization, Kubernetes, IBM Cloud, User Feedback, Performance Analysis, Project Performance, Business Metrics, Natural Language Processing, Project Implementation, Time Series Analysis and Forecasting, Continuous Monitoring
- Status: NewStatus: Free
DeepLearning.AI
Skills you'll gain: Large Language Modeling, Generative AI Agents, ChatGPT, OpenAI, Prompt Engineering, Artificial Intelligence and Machine Learning (AI/ML), Agentic systems, System Design and Implementation, Document Management, Collaborative Software, Record Keeping
Universidad Autónoma Metropolitana
Skills you'll gain: Graphing, Geometry, Trigonometry, Algebra, Mathematical Modeling, Applied Mathematics
- Status: Free
Coursera Project Network
Skills you'll gain: Document Management, Microsoft Power Platform, Data Entry, Microsoft 365, Database Application, Application Development
Pontificia Universidad Católica de Chile
Skills you'll gain: Semiconductors, Electronic Components, Electronics, Electronics Engineering, Power Electronics, Electronic Systems, Basic Electrical Systems, Engineering Analysis, Computational Logic, Mathematical Modeling
L&T EduTech
Skills you'll gain: Structural Engineering, Construction Engineering, Engineering Management, Equipment Design, Construction Management, Engineering Practices, Engineering Plans And Specifications, Hydraulics, Architecture and Construction, Mechanics, Construction, Engineering, Engineering Design Process, Civil Engineering, Structural Analysis, Safety Assurance, Engineering Calculations, Mechanical Engineering, Engineering Analysis, Estimation
Skills you'll gain: Earned Value Management, Scheduling, Project Schedules, Project Performance, Project Controls, Project Management Software, Project Portfolio Management, Change Control, User Accounts, Work Breakdown Structure, Resource Management, Data Management, Data Import/Export
Skills you'll gain: Statistical Inference, Regression Analysis, Statistical Methods, R Programming, Statistical Analysis, Statistical Modeling, Predictive Modeling, Advanced Analytics, Probability & Statistics, Data Validation
Rice University
Skills you'll gain: Physics, Engineering Calculations, Applied Mathematics, Advanced Mathematics, Physical Science, Mathematical Modeling, Trigonometry, Calculus, Linear Algebra
- Status: Free
Xi'an Jiaotong University
Skills you'll gain: Operating Systems, Computer Hardware, Computer Systems, Computer Networking, System Software, TCP/IP, Computer Architecture, Computing Platforms, Information Technology, Network Protocols, Computational Logic, File Management
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Introduction to Semiconductor Devices 2: Korea Advanced Institute of Science and Technology(KAIST)
- Natural Language Processing with Real-World Projects: Packt
- AI Workflow: AI in Production: IBM
- LLMs as Operating Systems: Agent Memory: DeepLearning.AI
- Geometría Analítica Preuniversitaria: Universidad Autónoma Metropolitana
- Create Power App for Adding Records to SharePoint List: Coursera Project Network
- Cómo entrenar a tus electrones 2: Diodos y Transistores: Pontificia Universidad Católica de Chile
- Strategies for Heavy Lifting: L&T EduTech
- Oracle Primavera P6 PPM Professional Advanced Features: Packt
- Variable Selection, Model Validation, Nonlinear Regression: Illinois Tech