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
DeepLearning.AI
Skills you'll gain: OpenAI, Generative AI, Application Development, Application Frameworks, Natural Language Processing, Artificial Intelligence, Unstructured Data
University of Colorado Boulder
Skills you'll gain: Reliability, Performance Tuning, Embedded Systems, Debugging, Hardware Design, System Programming, Systems Architecture, Systems Design, Hardware Architecture, Software Design, Real Time Data, Failure Analysis, Software Testing, Linux
- Status: Free
University of Maryland, College Park
Skills you'll gain: Physics, Quantitative Research, Science and Research, Mechanics, Physical Science, Advanced Mathematics, Linear Algebra, Calculus, Mathematical Modeling, Differential Equations
University of Minnesota
Skills you'll gain: Operations Research, Mathematical Modeling, Business Modeling, Business Analytics, Analytics, Data Modeling, Business Mathematics, Process Optimization, Data-Driven Decision-Making, Business Intelligence, Microsoft Excel, Decision Making, Complex Problem Solving, Linear Algebra, Spreadsheet Software, Graphical Tools
Skills you'll gain: Exploratory Data Analysis, Data Compilation, Correlation Analysis, Data Collection, Statistical Inference, Statistical Process Controls, Statistical Methods, Predictive Modeling, Data Analysis, Statistical Hypothesis Testing, Data-Driven Decision-Making, Regression Analysis, Statistical Analysis, Experimentation, Probability & Statistics, Descriptive Statistics, Interactive Data Visualization
Google
Skills you'll gain: User Experience Design, UI/UX Research, Information Architecture, Storyboarding, Wireframing, User Research, Adobe XD, Usability Testing, Figma (Design Software), Design Reviews, User Interface and User Experience (UI/UX) Design, Design Research, Conceptual Design, Ideation, Persona (User Experience), Presentations, Web Design, Cross Platform Development, User Story, User Centered Design
University of Colorado Boulder
Skills you'll gain: Supervised Learning, Machine Learning Algorithms, Applied Machine Learning, Decision Tree Learning, Scikit Learn (Machine Learning Library), Matplotlib, Statistical Machine Learning, Random Forest Algorithm, Machine Learning, Predictive Modeling, Data Science, Statistical Visualization, Python Programming, Applied Mathematics, Exploratory Data Analysis, Statistical Programming, Regression Analysis, Statistical Modeling, Feature Engineering, Performance Tuning
Johns Hopkins University
Skills you'll gain: Epidemiology, Event Monitoring, Health Care, Descriptive Analytics, Continuous Monitoring, Technical Communication, Preventative Care, Anomaly Detection, Media and Communications, Infectious Diseases, Law, Regulation, and Compliance, Data Ethics, Information Privacy
Peking University
Skills you'll gain: Data Structures, Algorithms, C++ (Programming Language), Object Oriented Programming (OOP), Computational Thinking, Graph Theory, C (Programming Language), Programming Principles, Theoretical Computer Science, Program Development, Computer Science, Computer Architecture, Computer Programming, Systems Development, Software Design Patterns, Performance Tuning, Databases, Computational Logic, Software Development, Debugging
- Status: Free
Lund University
Skills you'll gain: High Voltage, Equipment Design, Machine Controls, Semiconductors, Physics, Electrical Engineering, Mechanics, Science and Research, Experimentation, Simulation and Simulation Software, General Science and Research
University of Colorado Boulder
Skills you'll gain: Process Control, Mathematical Modeling, Engineering Analysis, Differential Equations, Engineering Calculations, Systems Analysis, Mechanical Engineering, Mechanics, Applied Mathematics, Performance Testing, Electrical Engineering, Basic Electrical Systems
Università di Napoli Federico II
Skills you'll gain: NoSQL, Apache Hadoop, Apache Hive, Big Data, Machine Controls, Simulation and Simulation Software, Database Systems, Artificial Intelligence, Mechanical Engineering, Computer Vision, Systems Architecture, Process Control, Distributed Computing, Simulations, Data Processing, Experimentation, Matlab, Technical Design, Vibrations, Global Positioning Systems
In summary, here are 10 of our most popular linear temporal logic specifications courses
- LangChain for LLM Application Development: DeepLearning.AI
- Real-Time Mission-Critical Systems Design: University of Colorado Boulder
- Exploring Quantum Physics: University of Maryland, College Park
- Optimization for Decision Making: University of Minnesota
- Statistical Thinking for Industrial Problem Solving, presented by JMP: SAS
- Google UX Design: Google
- Introduction to Machine Learning: Supervised Learning: University of Colorado Boulder
- Surveillance Systems: Analysis, Dissemination, and Special Systems: Johns Hopkins University
- 程序设计与算法: Peking University
- Introduction to Particle Accelerators (NPAP MOOC): Lund University