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"
- Status: Free
Coursera Project Network
Skills you'll gain: WordPress, Search Engine Optimization, Blogs, Web Analytics, Web Content, Keyword Research, Information Architecture, Content Management
University of Colorado Boulder
Skills you'll gain: Mechanics, Linear Algebra, Numerical Analysis, Engineering Calculations, Engineering Analysis, Differential Equations, Physics, Mathematical Modeling, Applied Mathematics, Verification And Validation, Advanced Mathematics, Estimation
Korea Advanced Institute of Science and Technology(KAIST)
Skills you'll gain: Emerging Technologies, Digital Communications, Encryption, Theoretical Computer Science, Cryptography, Linear Algebra, Algorithms, Computational Thinking, Information Technology, Physics, Simulations, Mathematical Modeling
- Status: New
Microsoft
Skills you'll gain: Data Storytelling, Data Analysis Expressions (DAX), Data Presentation, Power BI, Data Ethics, Dashboard, Data Visualization Software, Data Modeling, Data Governance, Extract, Transform, Load, Interactive Data Visualization, Business Intelligence, Data Analysis, Statistical Analysis, Data Architecture, Correlation Analysis, Data Cleansing, Data Transformation, Database Design, Statistical Visualization
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, Data Manipulation, Business Analytics, Feature Engineering, Random Forest Algorithm, Statistical Modeling, Sampling (Statistics), Performance Metric
University of Colorado Boulder
Skills you'll gain: Video Production, Storyboarding, Storytelling, Videography, Proposal Development, Writing, Editing, Creativity
Universidad de los Andes
Skills you'll gain: Data Ethics, Data Integration, Exploratory Data Analysis, Statistical Hypothesis Testing, Predictive Modeling, Correlation Analysis, Data Visualization Software, Classification And Regression Tree (CART), Data Quality, Data Science, Jupyter, Data Analysis, Data Transformation, Data Cleansing, Business Analytics, Data Manipulation, Supervised Learning, Statistical Analysis, Regression Analysis, Applied Machine Learning
University of Colorado Boulder
Skills you'll gain: Design Elements And Principles, Graphic Design, Design, Visual Design, Typography, Adobe InDesign, Content Creation, Design Research, Information Architecture, Adobe Photoshop
University of Illinois Urbana-Champaign
Skills you'll gain: Text Mining, Natural Language Processing, Data Mining, Unstructured Data, Big Data, Web Analytics and SEO, Machine Learning, Information Architecture, Statistical Methods, Algorithms, Probability & Statistics
Skills you'll gain: Computing Platforms, Software Development Life Cycle, Application Development, Programming Principles, Databases, Data Maintenance, Database Management, Web Applications, Software Installation, Browser Compatibility, Cloud Computing, Information Technology, Software Versioning, Computer Programming
Wesleyan University
Skills you'll gain: Regression Analysis, Data Storytelling, Classification And Regression Tree (CART), Statistical Hypothesis Testing, Descriptive Statistics, Data Presentation, Statistical Analysis, Statistical Software, Correlation Analysis, Exploratory Data Analysis, Decision Tree Learning, Data Manipulation, Data Management, Data Analysis, Predictive Modeling, Data Visualization, Data Literacy, Random Forest Algorithm, SAS (Software), Statistical Modeling
University at Buffalo
Skills you'll gain: Electrical Systems, HVAC, Building Design, Basic Electrical Systems, Electrical Safety, Engineering Calculations, Architectural Design, System Requirements, Building Codes, Structural Analysis, Cost Estimation
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Increase SEO Traffic with WordPress:Â Coursera Project Network
- Kinematics: Describing the Motions of Spacecraft:Â University of Colorado Boulder
- Introduction to Quantum Information:Â Korea Advanced Institute of Science and Technology(KAIST)
- Microsoft Data Visualization:Â Microsoft
- Supervised Machine Learning: Classification:Â IBM
- A Blueprint for Success – Your Video Pre-Production: University of Colorado Boulder
- Ciencia de datos​: Universidad de los Andes
- Basic Elements of Design: Design Principles and Software Overview:Â University of Colorado Boulder
- Text Retrieval and Search Engines:Â University of Illinois Urbana-Champaign
- Introduction to Software, Programming, and Databases :Â IBM