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: PyTorch (Machine Learning Library), Statistical Methods, Artificial Neural Networks, Deep Learning, Feature Engineering, Probability Distribution, Performance Tuning, Machine Learning, Regression Analysis, Data Processing
Skills you'll gain: Data Mining, Artificial Intelligence, Generative AI, OpenAI, Big Data, Information Architecture, Strategic Decision-Making, Cloud Computing, Data Analysis, Data Science, Deep Learning, Digital Transformation, Data Strategy, Data-Driven Decision-Making, Artificial Neural Networks, Business Strategy, Business Process Automation, ChatGPT, Technology Strategies, Business Logic
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
- Status: Free
The University of Sydney
Skills you'll gain: Calculus, Integral Calculus, Algebra, Advanced Mathematics, Geometry, Trigonometry, Arithmetic, Derivatives, Mathematical Modeling, Graphing
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
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
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
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
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)
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: Supervised Learning, Applied Machine Learning, Regression Analysis, Machine Learning, Predictive Modeling, Classification And Regression Tree (CART), Statistical Modeling, Scikit Learn (Machine Learning Library), Dimensionality Reduction, Feature Engineering, Data Processing, Pandas (Python Package), Data Manipulation, Performance Metric
Skills you'll gain: API Design, Restful API, API Gateway, Application Programming Interface (API), Cloud API, Application Lifecycle Management, Proxy Servers, Cloud Applications, Software Design Documents, Software Documentation, Google Cloud Platform, Authentications
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Introduction to Neural Networks and PyTorch:Â IBM
- IBM AI Foundations for Business:Â IBM
- Build Wireframes and Low-Fidelity Prototypes:Â Google
- Introduction to Calculus:Â The University of Sydney
- Foundations of Autonomous Systems:Â University of Colorado Boulder
- Self-Driving Cars:Â University of Toronto
- Bayesian Statistics:Â University of California, Santa Cruz
- Construction Scheduling:Â Columbia University
- Build Dynamic User Interfaces (UI) for Websites:Â Google
- Exploratory Data Analysis for Machine Learning:Â IBM