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"
American Psychological Association
Skills you'll gain: Quantitative Research, Scientific Methods, Research Design, Research, Correlation Analysis, Data Collection, Analysis, Psychology, Data Validation, Sampling (Statistics)
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
- Status: Free
Sungkyunkwan 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: New
Skills 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: Free
Skills you'll gain: Computational Thinking, Theoretical Computer Science, Mathematical Modeling, Systems Analysis, Performance Testing, Embedded Systems, Graph Theory, Algorithms
Board Infinity
Skills you'll gain: Microsoft Excel, Dashboard, Data Presentation, Pivot Tables And Charts, Interactive Data Visualization, Data Storytelling, Spreadsheet Software, Data Visualization Software, Excel Formulas, Data Manipulation, Data Cleansing, Productivity Software, Data Management, Data Validation
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
Deep Teaching Solutions
Skills you'll gain: Critical Thinking, Decision Making, Emotional Intelligence, Behavioral Economics, ChatGPT, Systems Thinking, Deductive Reasoning
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Methods for Quantitative Research in Psychology:Â American Psychological Association
- Advanced R Programming:Â Johns Hopkins University
- 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
- Quantitative Formal Modeling and Worst-Case Performance Analysis:Â EIT Digital
- Excel Essentials and Beyond:Â Board Infinity