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: R Programming, Exploratory Data Analysis, Statistical Hypothesis Testing, Ggplot2, Data Manipulation, Data Science, Tidyverse (R Package), Data Structures, Data Analysis, Statistical Analysis, Regression Analysis, Statistical Inference, Probability & Statistics, Data Transformation, Integrated Development Environments
Coursera Project Network
Skills you'll gain: Object Oriented Programming (OOP), Jupyter, Computer Programming, Python Programming, Program Development, Electronics Engineering, Computational Logic, Simulations, Programming Principles
Skills you'll gain: Java Platform Enterprise Edition (J2EE), Object-Relational Mapping, Application Servers, Middleware, Application Deployment, Enterprise Architecture, Server Side, Transaction Processing, Business Logic
- Status: Free
École Polytechnique Fédérale de Lausanne
Skills you'll gain: Mechanics, Physics, Differential Equations, Linear Algebra, Applied Mathematics, Trigonometry, Calculus, Mathematical Modeling
University of Toronto
Skills you'll gain: Data Ethics, Data Collection, Quantitative Research, Qualitative Research, Data Analysis, Statistical Analysis, Analytics, Regression Analysis, Research, Focus Group, Correlation Analysis, Diversity and Inclusion, Surveys, Probability, Stakeholder Engagement
Alberta Machine Intelligence Institute
Skills you'll gain: Data Ethics, MLOps (Machine Learning Operations), Business Operations, Machine Learning, Ethical Standards And Conduct, Operational Analysis, Applied Machine Learning, Business Strategy, Production Planning, Data Maintenance, Maintainability, Risk Mitigation, Performance Metric, Systems Integration, Stakeholder Communications
- Status: Free
Pontificia Universidad Católica de Chile
Skills you'll gain: Field-Programmable Gate Array (FPGA), Hardware Design, Computational Logic, Application Specific Integrated Circuits, Computer-Aided Design, Electronic Hardware, Electrical Engineering, Electronic Systems, Electronics, Semiconductors, Electronic Components, Computer Architecture, Programming Principles, Engineering Design Process, Embedded Systems, Schematic Diagrams, Simulation and Simulation Software
- Status: New
Skills you'll gain: Prompt Engineering, Data Visualization, Large Language Modeling, Text Mining, Scatter Plots, Data Visualization Software, Generative AI, Histogram, Performance Tuning, Data Analysis, Natural Language Processing
Skills you'll gain: React.js, React Redux, Node.JS, Full-Stack Web Development, Middleware, JavaScript Frameworks, Web Applications, Application Deployment, Bootstrap (Front-End Framework), Front-End Web Development, Authentications, Server Side, MongoDB, User Accounts, Back-End Web Development, UI Components, Application Programming Interface (API), Restful API, Continuous Deployment, Real Time Data
Politecnico di Milano
Skills you'll gain: Application Specific Integrated Circuits, Amazon Elastic Compute Cloud, Cloud Infrastructure, Amazon Web Services, Cloud Computing Architecture, Hardware Architecture, Cloud Applications, Performance Tuning, Computer Architecture, Development Environment, System Design and Implementation
Universidad Nacional Autónoma de México
Skills you'll gain: Musical Composition, Electronic Hardware, Music, Electronic Components, Electronics, Music Theory, Digital Communications, Hardware Design, Patch Management, Programmable Logic Controllers, Instrumental Music, Embedded Systems, System Configuration, Algorithms, Performance Tuning, Programming Principles, Generative AI, Multimedia, Other Programming Languages, Development Environment
- Status: Free
Koç University
Skills you'll gain: Integral Calculus, Calculus, Differential Equations, Advanced Mathematics, Applied Mathematics, Engineering Analysis, Linear Algebra, Mathematical Theory & Analysis, Physics, Derivatives
In summary, here are 10 of our most popular linear temporal logic specifications courses
- R Programming for Statistics and Data Science:Â Packt
- Aprendiendo Python con circuitos digitales:Â Coursera Project Network
- Enterprise Java Beans (EJBs) and the Jakarta Persistence API (JPA):Â LearnQuest
- Mécanique du point matériel: École Polytechnique Fédérale de Lausanne
- Inclusive Analytic Techniques:Â University of Toronto
- Optimizing Machine Learning Performance:Â Alberta Machine Intelligence Institute
- Electrónica Digital Bit a Bit: Fundamentos, Verilog y FPGA: Pontificia Universidad Católica de Chile
- NVIDIA: Prompt Engineering and Data Analysis:Â Whizlabs
- MERN Stack Front To Back: Full Stack React, Redux & Node.js:Â Packt
- Developing FPGA-accelerated cloud applications with SDAccel: Theory:Â Politecnico di Milano