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)
Vanderbilt University
Skills you'll gain: Android Studio, Android Development, Object Oriented Programming (OOP), Java, Mobile Development, Application Development, Data Structures, Integrated Development Environments, Computer Programming, Development Environment, Debugging, User Interface (UI)
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
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
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
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
- 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
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
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
- Java for Android:Â Vanderbilt University
- Solar Energy System Design:Â The State University of New York
- Digital Technologies and the Future of Manufacturing:Â University of Michigan
- Introduction to Software, Programming, and Databases :Â IBM
- Supervised Machine Learning: Classification:Â IBM
- International Water Law:Â University of Geneva
- Motion Planning for Self-Driving Cars:Â University of Toronto