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"
University of California, Santa Cruz
Skills you'll gain: Time Series Analysis and Forecasting, Bayesian Statistics, R Programming, Forecasting, Statistical Inference, Statistical Modeling, Technical Communication, Data Analysis, Probability, Statistical Machine Learning, Statistical Methods, Statistical Analysis, Advanced Analytics, Microsoft Excel, Markov Model, Probability Distribution, Probability & Statistics, Unsupervised Learning, Regression Analysis, Predictive Modeling
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
- Status: Free
The Hong Kong University of Science and Technology
Skills you'll gain: Statistical Inference, Statistical Methods, Pandas (Python Package), Probability & Statistics, Risk Analysis, Statistics, Financial Trading, Financial Data, Data Manipulation, Statistical Analysis, Regression Analysis, Financial Analysis, Jupyter, Financial Modeling, Python Programming, Data Import/Export
Skills you'll gain: Storyboarding, Wireframing, Figma (Design Software), Information Architecture, User Experience Design, User Centered Design, Prototyping, User Interface and User Experience (UI/UX) Design, Mockups, User Flows, Mobile Development, Design Elements And Principles, Data Ethics
Duke University
Skills you'll gain: Databricks, Generative AI, Performance Analysis, Apache Airflow, Workflow Management, Data Lakes, ChatGPT, Extract, Transform, Load, OpenAI, AWS SageMaker, Scalability, Data Transformation, Data Infrastructure, Database Management, Microsoft Azure, MLOps (Machine Learning Operations), Amazon Web Services, Natural Language Processing, PyTorch (Machine Learning Library), Risk Management Framework
University of Toronto
Skills you'll gain: Computer Vision, Image Analysis, Automation, Deep Learning, Simulation and Simulation Software, Software Architecture, Artificial Neural Networks, Global Positioning Systems, Visualization (Computer Graphics), Hardware Architecture, Process Control, Systems Architecture, Network Routing, Graph Theory, Estimation, Algorithms, Artificial Intelligence, Machine Learning Methods, Verification And Validation, 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
Skills you'll gain: Exploratory Data Analysis, Feature Engineering, Statistical Methods, Statistical Inference, Data Access, Anomaly Detection, Statistical Analysis, Data Analysis, Data Cleansing, Data Manipulation, Data Science, Machine Learning, Probability & Statistics, Jupyter, Pandas (Python Package), Artificial Intelligence
Skills you'll gain: Responsive Web Design, Information Architecture, User Experience Design, Web Design, Design Reviews, Usability Testing, Wireframing, UI/UX Strategy, User Research, Persona (User Experience), User Interface (UI) Design, Prototyping, Figma (Design Software)
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
In summary, here are 10 of our most popular linear temporal logic courses
- Bayesian Statistics:Â University of California, Santa Cruz
- Business Statistics and Analysis:Â Rice University
- Python and Statistics for Financial Analysis:Â The Hong Kong University of Science and Technology
- Build Wireframes and Low-Fidelity Prototypes:Â Google
- Large Language Model Operations (LLMOps):Â Duke University
- Self-Driving Cars:Â University of Toronto
- Machine Learning with Python:Â IBM
- Exploratory Data Analysis for Machine Learning:Â IBM
- Build Dynamic User Interfaces (UI) for Websites:Â Google
- Construction Scheduling:Â Columbia University