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 (ltl)"
Vanderbilt University
Skills you'll gain: Matlab, Computer Programming, Programming Principles, Debugging, Mathematical Software, Data Manipulation, Computer Science, Algorithms, Data Import/Export, Data Structures, Linear Algebra, Engineering Calculations, Graphing
Rice University
Skills you'll gain: Statistical Hypothesis Testing, Microsoft Excel, Pivot Tables And Charts, Regression Analysis, Descriptive Statistics, Probability & Statistics, Graphing, Spreadsheet Software, Probability Distribution, Business Analytics, Statistical Analysis, Statistical Modeling, Excel Formulas, Data Analysis, Data Presentation, Statistics, Sample Size Determination, Box Plots, Statistical Inference, Estimation
University of Colorado Boulder
Skills you'll gain: Computational Logic, Mathematical Modeling, Theoretical Computer Science, Systems Design, System Requirements, Verification And Validation, Systems Architecture, Requirements Analysis, Automation, Computer Systems, Mechanics, Systems Analysis, Embedded Systems, Systems Engineering, Linear Algebra, Differential Equations, Electrical Engineering, Applied Mathematics, Algorithms, Safety and Security
Georgia Institute of Technology
Skills you'll gain: Basic Electrical Systems, Electronic Components, Electrical Engineering, Engineering Analysis, Engineering Calculations, Physics, Applied Mathematics, Schematic Diagrams, Calculus, Mathematical Modeling
Skills you'll gain: Supervised Learning, Feature Engineering, Jupyter, Unsupervised Learning, Scikit Learn (Machine Learning Library), Machine Learning Algorithms, Python Programming, Applied Machine Learning, Statistical Machine Learning, Predictive Modeling, Machine Learning, Dimensionality Reduction, Classification And Regression Tree (CART), Matplotlib, Regression Analysis, Random Forest Algorithm, Statistical Modeling, Data Manipulation
Johns Hopkins University
Skills you'll gain: Algebra, Mathematical Modeling, Graphing, Arithmetic, Advanced Mathematics, Applied Mathematics, Analytical Skills, Probability & Statistics, Linear Algebra, Geometry, Calculus
Skills you'll gain: Unit Testing, Application Deployment, Flask (Web Framework), Application Development, Python Programming, Web Applications, Restful API, Application Programming Interface (API), Natural Language Processing, Artificial Intelligence, IBM Cloud, Programming Principles, Style Guides
Columbia University
Skills you'll gain: Project Schedules, Project Risk Management, Scheduling, Risk Management, Construction Management, Timelines, Lean Methodologies, Architecture and Construction, Milestones (Project Management), Project Management, Project Planning, Project Management Software, Resource Allocation, Dependency Analysis
University of California San Diego
Skills you'll gain: Graph Theory, Logical Reasoning, Cryptographic Protocols, Combinatorics, Computational Logic, Deductive Reasoning, Cryptography, Probability, Key Management, Computational Thinking, Encryption, Mathematical Theory & Analysis, Network Analysis, Public Key Cryptography Standards (PKCS), Algorithms, Theoretical Computer Science, Python Programming, Data Structures, Cybersecurity, Mathematical Modeling
Skills you'll gain: PyTorch (Machine Learning Library), Statistical Methods, Artificial Neural Networks, Deep Learning, Feature Engineering, Probability Distribution, Performance Tuning, Machine Learning, Regression Analysis, Data Processing
University of Amsterdam
Skills you'll gain: Qualitative Research, Statistical Hypothesis Testing, Scientific Methods, Descriptive Statistics, Statistical Inference, Statistical Analysis, Statistical Software, Probability Distribution, Research, Correlation Analysis, Research Design, Sampling (Statistics), Research Reports, Science and Research, Probability, Interviewing Skills, Data Analysis, Sample Size Determination, Statistical Methods, Social Sciences
University of Illinois Urbana-Champaign
Skills you'll gain: Computational Logic, Application Specific Integrated Circuits, Theoretical Computer Science, Hardware Design, Data Structures, Verification And Validation, Computer-Aided Design, Computer Architecture, Algorithms, Electrical and Computer Engineering, Programming Principles
In summary, here are 10 of our most popular linear temporal logic (ltl) courses
- Introduction to Programming with MATLAB:Â Vanderbilt University
- Business Statistics and Analysis:Â Rice University
- Foundations of Autonomous Systems:Â University of Colorado Boulder
- Linear Circuits 1: DC Analysis:Â Georgia Institute of Technology
- Machine Learning with Python:Â IBM
- Algebra: Elementary to Advanced:Â Johns Hopkins University
- Developing AI Applications with Python and Flask:Â IBM
- Construction Scheduling:Â Columbia University
- Introduction to Discrete Mathematics for Computer Science:Â University of California San Diego
- Introduction to Neural Networks and PyTorch:Â IBM