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"
Status: FreeUniversidad de los Andes
Skills you'll gain: Arithmetic, Geometry, Mathematics Education, Systems Of Measurement, General Mathematics
Fractal Analytics
Skills you'll gain: User Research, UI/UX Research, Human Centered Design, Ideation, User Centered Design, User Experience Design, Generative AI, Design Thinking, Prototyping, Usability, Brainstorming, Data Ethics, OpenAI, Data Synthesis, ChatGPT, Persona (User Experience), Artificial Intelligence, Interactive Learning, Governance, Artificial Intelligence and Machine Learning (AI/ML)
Johns Hopkins University
Skills you'll gain: Object Oriented Programming (OOP), R Programming, Debugging, Functional Design, Data Analysis Software, Programming Principles, Data Structures, Computational Thinking, Software Development, Performance Tuning
American Psychological Association
Skills you'll gain: Quantitative Research, Scientific Methods, Research Design, Research, Correlation Analysis, Data Collection, Analysis, Psychology, Data Validation, Sampling (Statistics)
Status: FreeSungkyunkwan University
Skills you'll gain: Machine Learning Algorithms, Machine Learning, Python Programming, Supervised Learning, Scikit Learn (Machine Learning Library), Analysis, Regression Analysis, Data Analysis, Classification And Regression Tree (CART), Applied Mathematics, Linear Algebra, Probability
Status: NewSkills you'll gain: OpenAI, Development Environment, Generative AI, Artificial Intelligence, Python Programming, Natural Language Processing, Document Management, Application Programming Interface (API), Integrated Development Environments, Application Development, Image Analysis
University of Colorado Boulder
Skills you'll gain: Statistical Hypothesis Testing, Statistical Methods, Data Ethics, Probability & Statistics, Statistical Inference, Statistical Analysis, Quantitative Research, Statistics, Probability Distribution
Duke University
Skills you'll gain: Generative AI, Rust (Programming Language), ChatGPT, MLOps (Machine Learning Operations), OpenAI, PyTorch (Machine Learning Library), CI/CD, Artificial Intelligence and Machine Learning (AI/ML), Application Deployment, System Monitoring, Natural Language Processing, Application Performance Management, DevOps, Amazon Web Services, Site Reliability Engineering, Cloud Security
University of Colorado Boulder
Skills you'll gain: Machine Controls, Robotic Process Automation, Data Mapping, Automation, Artificial Intelligence, Graph Theory, Mechanics, Data Integration, Simulation and Simulation Software, Engineering, Algorithms, Global Positioning Systems, Image Analysis, Simulations, Computational Thinking, Experimentation, Virtual Environment, Data Structures, Computer Vision, Engineering Analysis
Coursera Project Network
Skills you'll gain: OpenAI, ChatGPT, Cost Benefit Analysis, Business Process Automation, Generative AI, Application Programming Interface (API), Development Environment, Business Logic, Scalability, Artificial Intelligence, TypeScript, Node.JS, Natural Language Processing, Application Security
Status: FreeSkills you'll gain: Computational Thinking, Theoretical Computer Science, Mathematical Modeling, Systems Analysis, Performance Testing, Embedded Systems, Graph Theory, Algorithms
University of Minnesota
Skills you'll gain: Operations Research, Supply Chain, Business Analytics, Mathematical Modeling, Process Optimization, Manufacturing Operations, Workforce Planning, Microsoft Excel, Resource Allocation, Finance, Production Planning, Investment Management, Decision Making
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Enseñanza de las matemáticas de primaria: Universidad de los Andes
- Mastering User Centric Design with Generative AI: Fractal Analytics
- Advanced R Programming: Johns Hopkins University
- Methods for Quantitative Research in Psychology: American Psychological Association
- Machine Learning Basics: Sungkyunkwan University
- The Complete LangChain & LLMs Guide: Packt
- Statistical Inference and Hypothesis Testing in Data Science Applications: University of Colorado Boulder
- Rust for Large Language Model Operations (LLMOps): Duke University
- Introduction to Robotics with Webots: University of Colorado Boulder
- Automated Reasoning with GPT Assistant API: ReAct Agents: Coursera Project Network
