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: Deep Learning, Artificial Neural Networks, Image Analysis, Keras (Neural Network Library), Tensorflow, Computer Vision, Artificial Intelligence and Machine Learning (AI/ML), Network Architecture, Network Model, Machine Learning Algorithms, Linear Algebra
University of Minnesota
Skills you'll gain: Health Systems, Data Analysis, Health Care, Data Ethics, Correlation Analysis, Patient Education and Support, Heat Maps, Epidemiology, Community Mental Health Services, Statistical Analysis, Psychiatry, Mental and Behavioral Health Specialties, Trauma Care, Behavioral Health, Mental Health, Health Assessment, Ethical Standards And Conduct, Public Policies, Social and Human Services, Social Sciences
- Status: New
Skills you'll gain: Unsupervised Learning, Supervised Learning, Applied Machine Learning, Machine Learning Algorithms, Data-Driven Decision-Making, Regression Analysis, Machine Learning Methods, Machine Learning, Decision Tree Learning, Data Mining, Python Programming, Analytics, Statistical Modeling, Predictive Modeling, Statistical Methods, Classification And Regression Tree (CART), Statistical Analysis, Random Forest Algorithm, Feature Engineering
L&T EduTech
Skills you'll gain: Construction Engineering, Civil Engineering, Architecture and Construction, Construction Management, Public Works, Building Design, Land Development, Building Services Engineering, Engineering Plans And Specifications, Architectural Design, HVAC, Safety Assurance
- Status: New
Korea Advanced Institute of Science and Technology(KAIST)
Skills you'll gain: Integral Calculus, Calculus, Advanced Mathematics, Applied Mathematics, Mathematical Theory & Analysis, Mathematical Modeling, Differential Equations, Derivatives
American Psychological Association
Skills you'll gain: Regression Analysis, Correlation Analysis, Statistical Software, Statistical Analysis, Statistical Methods, Probability & Statistics, Quantitative Research, Data Analysis, Descriptive Statistics, Statistical Hypothesis Testing
Skills you'll gain: Computational Thinking, Pseudocode, Algorithms, Programming Principles, Computer Programming, Computational Logic, Logical Reasoning
- Status: Free
Coursera Project Network
Skills you'll gain: Wireframing, Mockups, Planning, Web Content, Web Design, Information Architecture, Collaboration, Content Management
- Status: New
Johns Hopkins University
Skills you'll gain: Artificial Neural Networks, Machine Learning Algorithms, Deep Learning, Computer Vision, Image Analysis, Machine Learning, Network Architecture, Linear Algebra, Artificial Intelligence, Probability & Statistics, Performance Testing
- Status: Free
Pontificia Universidad Católica de Chile
Skills you'll gain: Machine Learning Methods, Machine Learning Algorithms, Machine Learning, System Design and Implementation, Statistical Machine Learning, Dimensionality Reduction, Applied Machine Learning, Performance Testing, Linear Algebra, Text Mining
Coursera Project Network
Skills you'll gain: Data Visualization Software, Data Presentation, Interactive Data Visualization, Visualization (Computer Graphics)
- Status: New
Board Infinity
Skills you'll gain: Server Side, Restful API, API Design, Back-End Web Development, Node.JS, Databases, Database Management, MongoDB, Full-Stack Web Development, Application Programming Interface (API), Authentications, Web Applications, Web Development, Authorization (Computing), NoSQL
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Foundations of Deep Learning and Neural Networks:Â Packt
- Social Determinants of Health: Health Care Systems:Â University of Minnesota
- Applied Machine Learning with Python:Â Edureka
- Airport Infrastructure:Â L&T EduTech
- Applied Math for Materials Science and Engineering:Â Korea Advanced Institute of Science and Technology(KAIST)
- Measures of Correlation and Contingency:Â American Psychological Association
- Programar desde cero en pseudocódigo: UBITS
- Build a Website Map with Jumpchart:Â Coursera Project Network
- Introduction to Neural Networks:Â Johns Hopkins University
- Fundamentos de sistemas recomendadores: Pontificia Universidad Católica de Chile