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: Free
The Chinese University of Hong Kong
Skills you'll gain: Mathematical Modeling, Operations Research, Debugging, Computational Logic, Applied Mathematics, Performance Tuning, Algorithms, Geometry
The Hong Kong University of Science and Technology
Skills you'll gain: Web Analytics and SEO, AI Personalization, Semantic Web, Algorithms, Query Languages, Network Analysis, Text Mining, Information Architecture, Performance Testing, Natural Language Processing, User Research, Data Structures, Business Modeling, Graph Theory, Applied Machine Learning
- Status: Free
Coursera Project Network
Skills you'll gain: Wireframing, Figma (Design Software), Collaborative Software, Prototyping, User Flows, User Interface (UI), UI Components, Information Architecture
University of Colorado Boulder
Skills you'll gain: Correlation Analysis, Statistical Visualization, Data Visualization, Statistical Analysis, Data Analysis, Box Plots, Systems Of Measurement, Data Quality, Run Chart, R Programming, Scatter Plots, Regression Analysis, Statistical Methods, Verification And Validation, Continuous Monitoring, Statistical Hypothesis Testing
- Status: Free
DeepLearning.AI
Skills you'll gain: Large Language Modeling, Unstructured Data, SQL, Text Mining, Web Services, Prompt Engineering, Application Development, Generative AI, Application Programming Interface (API), Data Processing, Artificial Intelligence
University of Colorado Boulder
Skills you'll gain: Matplotlib, Seaborn, Data Visualization, Data-Driven Decision-Making, Exploratory Data Analysis, Data Presentation, Plot (Graphics), Data Visualization Software, Descriptive Statistics, Data Storytelling, Pandas (Python Package), Statistical Methods, Data Analysis, Statistics, Statistical Analysis, Data Manipulation, Box Plots, Scatter Plots, Correlation Analysis, Histogram
Alibaba Cloud Academy
Skills you'll gain: Docker (Software), Containerization, Application Deployment, Kubernetes, Terraform, Prometheus (Software), Cloud Computing, Performance Tuning, Application Performance Management, Cloud Management, Cloud Applications, DevOps, Performance Testing, Cloud Infrastructure, Database Management, Relational Databases, Systems Administration, Redis, Cloud Platforms, Database Administration
- Status: Free
Vanderbilt University
Skills you'll gain: Programming Principles, Computer Programming, Matlab, Debugging, Integrated Development Environments, Linear Algebra, Computer Science, Development Environment, User Interface (UI), Data Import/Export, Data Structures, File Management
L&T EduTech
Skills you'll gain: Structural Engineering, Structural Analysis, Construction Estimating, Civil Engineering, Engineering Practices, Construction Engineering, Construction, Architectural Engineering, Engineering Calculations, Building Codes, Building Design, Design Specifications, Engineering Documentation, Engineering Drawings, Estimation
Arizona State University
Skills you'll gain: Influencing, Strategic Thinking, Negotiation, Communication Strategies, Active Listening, Strategic Communication, Game Theory, Empathy, Critical Thinking, Decision Making, Motivational Skills, Problem Solving, Cognitive flexibility
Coursera Project Network
Skills you'll gain: Cascading Style Sheets (CSS), Hypertext Markup Language (HTML), Web Design and Development, Web Design, Web Development, UI Components, Front-End Web Development, Information Architecture
- Status: Free
DeepLearning.AI
Skills you'll gain: Generative AI, Large Language Modeling, Performance Tuning, PyTorch (Machine Learning Library), Applied Machine Learning
In summary, here are 10 of our most popular linear temporal logic specifications courses
- 离散优化建模高阶篇 Advanced Modeling for Discrete Optimization: The Chinese University of Hong Kong
- Search Engines for Web and Enterprise Data: The Hong Kong University of Science and Technology
- Crea wireframes digitales con Figma: Coursera Project Network
- Measurement Systems Analysis: University of Colorado Boulder
- Function-Calling and Data Extraction with LLMs: DeepLearning.AI
- Data Understanding and Visualization: University of Colorado Boulder
- Development and Operation on Alibaba Cloud: Alibaba Cloud Academy
- MATLAB을 사용한 프로그래밍 소개: Vanderbilt University
- Design and Detailing of RCC elements: L&T EduTech
- Perspective-Taking: Arizona State University