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 Toronto
Skills you'll gain: Computer Vision, Image Analysis, Deep Learning, Artificial Neural Networks, Visualization (Computer Graphics), Artificial Intelligence, Machine Learning, Python Programming, NumPy, Linear Algebra
Queen Mary University of London
Skills you'll gain: Qualitative Research, Proposal Development, Market Research, Research Reports, Data Collection, Research Design, Research Methodologies, Data Analysis, Statistical Hypothesis Testing, Survey Creation, Statistical Analysis, Correlation Analysis, Report Writing, Quantitative Research, Research, Market Analysis, Focus Group, Regression Analysis, Marketing Analytics, Business Research
Skills you'll gain: Application Programming Interface (API), Cloud API, API Design, Continuous Deployment, Restful API, Application Deployment, Google Cloud Platform, Continuous Integration, JSON, Software Versioning, Proxy Servers, Scalability, Extensible Markup Language (XML)
The State University of New York
Skills you'll gain: Basic Electrical Systems, Electronic Systems, Equipment Design, Design Specifications, System Requirements, Engineering Calculations, Spatial Analysis, Estimation, Physics, Technical Standard
Skills you'll gain: Supervised Learning, Machine Learning Algorithms, Classification And Regression Tree (CART), Applied Machine Learning, Predictive Modeling, Scikit Learn (Machine Learning Library), Data Processing, Data Cleansing, Machine Learning, Regression Analysis, Feature Engineering, Statistical Modeling, Sampling (Statistics), Performance Metric
Skills you'll gain: Software Development Life Cycle, Computing Platforms, Cloud Applications, Database Management, Cloud Computing, Databases, Relational Databases, Data Access, Information Technology, Application Development, Software Systems, Software Installation, Browser Compatibility, SQL, Computer Programming, Web Servers, Software Versioning, Javascript
- Status: Free
University of Geneva
Skills you'll gain: Pollution Prevention, Water Resources, Environmental Issue, Diplomacy, Law, Regulation, and Compliance, International Relations, Natural Resource Management, Environment and Resource Management, Environmental Policy, Conflict Management, Governance
University of Toronto
Skills you'll gain: Automation, Graph Theory, Algorithms, Artificial Intelligence, Computer Vision, Simulations, Data Structures, Python Programming, Safety Assurance
University of Michigan
Skills you'll gain: Internet Of Things, Manufacturing Operations, Manufacturing Processes, Production Process, Digital Transformation, Business Technologies, Technology Strategies, Cloud Computing, Emerging Technologies, Strategic Partnership, Business Modeling, System Implementation, Business Valuation, Cost Benefit Analysis, Business Strategy, Product Lifecycle Management, Business Logic, Asset Management, Forecasting, Organizational Change
Johns Hopkins University
Skills you'll gain: Artificial Neural Networks, Image Analysis, Event-Driven Programming, C and C++, Scalability, Applied Machine Learning, Deep Learning, Natural Language Processing, Artificial Intelligence and Machine Learning (AI/ML), Performance Tuning, Linear Algebra, Distributed Computing, Computer Hardware, Mathematical Software, Computer Vision, Numerical Analysis, Computer Architecture, Computer Systems, Data Structures, Performance Testing
University at Buffalo
Skills you'll gain: HVAC, Basic Electrical Systems, Engineering Calculations, Architectural Design, Electrical Engineering, System Requirements, Design Specifications, Structural Analysis, Cost Estimation, Capacity Management
Korea Advanced Institute of Science and Technology(KAIST)
Skills you'll gain: Emerging Technologies, Digital Communications, Cryptography, Programming Principles, Linear Algebra, Algorithms, Computational Thinking, Information Technology, Technical Communication, Physics, Research, Mathematical Modeling
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Visual Perception for Self-Driving Cars:Â University of Toronto
- Market Research:Â Queen Mary University of London
- API Development on Google Cloud's Apigee API Platform:Â Google Cloud
- Solar Energy System Design:Â The State University of New York
- Supervised Machine Learning: Classification:Â IBM
- Introduction to Software, Programming, and Databases :Â IBM
- International Water Law:Â University of Geneva
- Motion Planning for Self-Driving Cars:Â University of Toronto
- Digital Technologies and the Future of Manufacturing:Â University of Michigan
- GPU Programming:Â Johns Hopkins University