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"
Coursera Project Network
Skills you'll gain: Hypertext Markup Language (HTML), Web Design, Web Content, Web Design and Development, Web Development, Information Architecture
Skills you'll gain: Exploratory Data Analysis, Probability Distribution, Statistical Hypothesis Testing, Dashboard, Data Analysis, Data Science, Probability & Statistics, Statistical Analysis, Jupyter, Matplotlib, Data Cleansing, Pandas (Python Package), Statistical Inference, Statistics, Data Manipulation
University of Colorado Boulder
Skills you'll gain: New Product Development, Product Development, Design Thinking, Engineering Management, Product Management, Market Research, Prototyping, Conceptual Design, Innovation, Product Requirements, Target Market, Mockups, Wireframing, Leadership and Management, Leadership, Creativity, Customer Insights
University of Colorado Boulder
Skills you'll gain: Verification And Validation, Computational Logic, Theoretical Computer Science, Automation, Systems Analysis, Computer Science, Artificial Intelligence, Algorithms
École Polytechnique Fédérale de Lausanne
Skills you'll gain: Digital Communications, Image Analysis, Telecommunications, Electrical and Computer Engineering, Embedded Systems, Electronic Systems, Electronics, Engineering Analysis, Applied Mathematics, Algorithms, Quantitative Research, Debugging, Computer Hardware
Skills you'll gain: Unsupervised Learning, Deep Learning, Anomaly Detection, Applied Machine Learning, Machine Learning Algorithms, Machine Learning, Supervised Learning, Decision Tree Learning, Predictive Modeling, Random Forest Algorithm, Data Import/Export, Artificial Neural Networks, Data Modeling, Data Manipulation, Feature Engineering
Google
Skills you'll gain: Wireframing, Adobe XD, Mockups, Storyboarding, Information Architecture, User Experience Design, Usability Testing, Graphic and Visual Design, Figma (Design Software), Design Elements And Principles, UI/UX Research, Design Reviews, Presentations, Responsive Web Design, User Story, User Interface and User Experience (UI/UX) Design, Cross Platform Development, User Centered Design, Prototyping, Ideation
- Status: Free
École Polytechnique Fédérale de Lausanne
Skills you'll gain: Differential Equations, Engineering Analysis, Mechanics, Applied Mathematics, Calculus, Mechanical Engineering, Linear Algebra, Mathematical Modeling, Physics, Geometry, Vibrations, Logical Reasoning, Derivatives
University of Colorado Boulder
Skills you'll gain: Molecular Biology, Electrical Engineering, Chemical and Biomedical Engineering, Engineering Design Process, Systems Design, Bioinformatics, Biochemistry, Research Design, Biology, Computational Logic, Control Systems, Experimentation, Laboratory Experience, Technical Standard, Design Software
- Status: Free
Coursera Instructor Network
Skills you'll gain: Algorithms, Technical Communication, Pseudocode, Computational Thinking, Solution Design, Programming Principles, Software Design, Theoretical Computer Science, Data Structures, Problem Management, Computer Science
Skills you'll gain: Predictive Modeling, Predictive Analytics, SAS (Software), Statistical Modeling, Regression Analysis, Statistical Analysis, Data Analysis, Statistical Methods, Probability & Statistics, Statistical Hypothesis Testing
Coursera Project Network
Skills you'll gain: Exploratory Data Analysis, Box Plots, Correlation Analysis, Data Visualization, Scatter Plots, Data Cleansing, Data Manipulation, Pandas (Python Package), Statistical Hypothesis Testing, Descriptive Statistics, Statistical Analysis, Data Analysis, Probability & Statistics, Python Programming
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Images and Links in HTML:Â Coursera Project Network
- AI Workflow: Data Analysis and Hypothesis Testing:Â IBM
- Managing the New Product Development Process:Â University of Colorado Boulder
- Verification and Synthesis of Autonomous Systems:Â University of Colorado Boulder
- Digital Signal Processing 4: Applications: École Polytechnique Fédérale de Lausanne
- Practical Machine Learning on H2O:Â H2O.ai
- Desain UX Google:Â Google
- Mécanique de Newton: École Polytechnique Fédérale de Lausanne
- Engineering Genetic Circuits: Design:Â University of Colorado Boulder
- Algorithmic Solutions: Design, Problem Solving, Reporting:Â Coursera Instructor Network