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"
University of Colorado Boulder
Skills you'll gain: Linear Algebra, Applied Mathematics, Data Science, Data Analysis, Statistical Methods, Algebra, Numerical Analysis
Johns Hopkins University
Skills you'll gain: Calculus, Applied Mathematics, Trigonometry, Advanced Mathematics, Mathematical Modeling, Algebra, Derivatives, Graphing, Geometry
Korea Advanced Institute of Science and Technology(KAIST)
Skills you'll gain: Linear Algebra, Artificial Intelligence and Machine Learning (AI/ML), Artificial Intelligence, Applied Mathematics, Deep Learning, Machine Learning
University of Toronto
Skills you'll gain: Embedded Software, Automation, Simulation and Simulation Software, Software Architecture, Safety Assurance, Hardware Architecture, Process Control, Systems Architecture, Computer Vision, Verification And Validation, Mathematical Modeling, Control Panels
Rice University
Skills you'll gain: Programming Principles, Python Programming, Computational Logic, Development Environment, Computer Programming, Scripting Languages, Debugging
California Institute of the Arts
Skills you'll gain: User Research, Wireframing, User Interface and User Experience (UI/UX) Design, UI/UX Strategy, Information Architecture, Mockups, User Experience Design, Responsive Web Design, User Interface (UI), User Experience, User Interface (UI) Design, Web Design, User Centered Design, Interaction Design, Prototyping, Graphic and Visual Design, Web Language, HTML and CSS, User Flows, Design
University of Toronto
Skills you'll gain: Computer Vision, Image Analysis, Embedded Software, Automation, Deep Learning, Simulation and Simulation Software, Software Architecture, Safety Assurance, Artificial Neural Networks, Global Positioning Systems, Visualization (Computer Graphics), Hardware Architecture, Process Control, Systems Architecture, Graph Theory, Estimation, Algorithms, Artificial Intelligence, Machine Learning Methods, Mathematical Modeling
- Status: Free
University of California, Santa Cruz
Skills you'll gain: Systems Design, Model Based Systems Engineering, Mathematical Modeling, Simulations, Embedded Systems, Computational Logic, Basic Electrical Systems, Digital Communications, Differential Equations, Estimation, Algorithms, Linear Algebra
Johns Hopkins University
Skills you'll gain: Statistical Hypothesis Testing, Sampling (Statistics), Regression Analysis, Bayesian Statistics, Statistical Analysis, Probability & Statistics, Statistical Inference, Statistical Methods, Statistical Modeling, Linear Algebra, Probability, R Programming, Biostatistics, Data Analysis, Data Science, Probability Distribution, Mathematical Modeling, Data Modeling, Applied Mathematics, Predictive Modeling
University of Illinois Urbana-Champaign
Skills you'll gain: Application Specific Integrated Circuits, Hardware Design, Computer-Aided Design, Electronic Hardware, Systems Design, Computer Architecture, Electrical and Computer Engineering, Engineering Design Process, Semiconductors, Network Routing, Computational Logic, Data Structures, Algorithms, Linear Algebra, Applied Mathematics, Mathematical Modeling, Calculus
Macquarie University
Skills you'll gain: Microsoft Excel, Dashboard, Excel Formulas, Spreadsheet Software, Data Visualization, Excel Macros, Data Validation, Data Analysis Expressions (DAX), Data Cleansing, Data Modeling, Business Intelligence, Predictive Modeling, Financial Modeling, Data Management, Microsoft 365, Consolidation, Data Integrity, Data Entry, Business Reporting, Productivity Software
Duke University
Skills you'll gain: Deductive Reasoning, Logical Reasoning, Computational Logic, Probability, Sampling (Statistics), Persuasive Communication, Research, Writing, Statistical Inference, Correlation Analysis, Scientific Methods, Interpersonal Communications, Interactive Learning, Learning Strategies
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Essential Linear Algebra for Data Science:Â University of Colorado Boulder
- Calculus through Data & Modeling: Differentiation Rules:Â Johns Hopkins University
- Math for AI beginner part 1 Linear Algebra:Â Korea Advanced Institute of Science and Technology(KAIST)
- Introduction to Self-Driving Cars:Â University of Toronto
- Python Programming Essentials:Â Rice University
- UI / UX Design:Â California Institute of the Arts
- Self-Driving Cars:Â University of Toronto
- Cyber-Physical Systems: Modeling and Simulation:Â University of California, Santa Cruz
- Advanced Statistics for Data Science:Â Johns Hopkins University
- VLSI CAD Part II: Layout:Â University of Illinois Urbana-Champaign