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"
Skills you'll gain: Supervised Learning, Feature Engineering, Jupyter, Unsupervised Learning, Scikit Learn (Machine Learning Library), Python Programming, Predictive Modeling, Machine Learning, Dimensionality Reduction, Classification And Regression Tree (CART), Matplotlib, NumPy, Regression Analysis, Statistical Modeling
Duke University
Skills you'll gain: Persuasive Communication, Research, Writing, Oral Expression, Interpersonal Communications
University of Pennsylvania
Skills you'll gain: Risk Modeling, Financial Statements, Probability Distribution, Mathematical Modeling, Statistical Modeling, Portfolio Management, Regression Analysis, Business Modeling, Financial Modeling, Strategic Decision-Making, Risk Management, Presentations, Decision Making, Data Visualization, Microsoft PowerPoint, Predictive Modeling, Investment Management, Data-Driven Decision-Making, Spreadsheet Software, Google Sheets
University of Colorado Boulder
Skills you'll gain: Computational Logic, Mathematical Modeling, Theoretical Computer Science, Verification And Validation, System Requirements, Agentic systems, Automation, Software Systems, Mechanical Engineering, Systems Analysis, Systems Engineering, Simulations, Applied Mathematics, Control Systems, Linear Algebra, Differential Equations, Computer Science, Hardware Architecture, Artificial Intelligence, Algorithms
Johns Hopkins University
Skills you'll gain: Algebra, Mathematical Modeling, Graphing, Arithmetic, Advanced Mathematics, Applied Mathematics, Mathematical Theory & Analysis, Analytical Skills, Probability & Statistics, Geometry
- Status: Free
The University of Sydney
Skills you'll gain: Calculus, Integral Calculus, Algebra, Advanced Mathematics, Geometry, Applied Mathematics, Trigonometry, Arithmetic, Derivatives, Mathematical Modeling, Graphing
Skills you'll gain: Storyboarding, Wireframing, Figma (Design Software), Information Architecture, User Story, User Experience Design, User Centered Design, Prototyping, Usability, User Interface and User Experience (UI/UX) Design, Mockups, User Flows
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, Financial Forecasting, Predictive Modeling, Financial Modeling, Workflow Management, Finance, Data Management, Business Intelligence Software, Consolidation, Data Integrity, Data Entry
University of Toronto
Skills you'll gain: Computer Vision, Image Analysis, Control Systems, Embedded Software, Automation, Deep Learning, Software Architecture, Simulations, Safety Assurance, Artificial Neural Networks, Global Positioning Systems, Hardware Architecture, Systems Architecture, Artificial Intelligence, Estimation, Algorithms, Machine Learning Methods, Predictive Modeling, Scenario Testing, Spatial Data Analysis
University of Pennsylvania
Skills you'll gain: Mathematical Modeling, Statistical Modeling, Regression Analysis, Business Modeling, Financial Modeling, Business Mathematics, Markov Model, Probability, Predictive Analytics, Process Optimization, Risk Management, Statistics, Probability Distribution, Simulation and Simulation Software, Forecasting
DeepLearning.AI
Skills you'll gain: Supervised Learning, Jupyter, Scikit Learn (Machine Learning Library), Machine Learning, NumPy, Predictive Modeling, Feature Engineering, Artificial Intelligence, Classification And Regression Tree (CART), Python Programming, Regression Analysis, Unsupervised Learning, Statistical Modeling
Skills you'll gain: Data Manipulation, SAS (Software), Data Access, Data Import/Export, Microsoft Excel, Data Analysis, Consolidation, Data Transformation, Requirements Analysis, Exploratory Data Analysis, Data Validation, Statistical Programming, Statistical Analysis, Data Processing, SQL, Data Presentation, Data Cleansing, Descriptive Statistics, Debugging
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Machine Learning with Python:Â IBM
- Think Again I: How to Understand Arguments:Â Duke University
- Business and Financial Modeling:Â University of Pennsylvania
- Foundations of Autonomous Systems:Â University of Colorado Boulder
- Algebra: Elementary to Advanced:Â Johns Hopkins University
- Introduction to Calculus:Â The University of Sydney
- Build Wireframes and Low-Fidelity Prototypes:Â Google
- Excel Skills for Business:Â Macquarie University
- Self-Driving Cars:Â University of Toronto
- Fundamentals of Quantitative Modeling:Â University of Pennsylvania