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
Duke University
Skills you'll gain: Probability, Bayesian Statistics, Calculus, Graphing, Data Science, Algebra, Arithmetic, Derivatives
University of Toronto
Skills you'll gain: Computer Vision, Image Analysis, Embedded Software, Automation, Deep Learning, Simulation and Simulation Software, Software Architecture, Safety Assurance, Artificial Neural Networks, Global Positioning Systems, Visualization (Computer Graphics), Hardware Architecture, Process Control, Systems Architecture, Graph Theory, Estimation, Algorithms, Artificial Intelligence, Machine Learning Methods, Mathematical Modeling
Korea Advanced Institute of Science and Technology(KAIST)
Skills you'll gain: Linear Algebra, Artificial Intelligence and Machine Learning (AI/ML), Artificial Intelligence, Applied Mathematics, Deep Learning, Machine Learning
- Status: Free
Universitat Autònoma de Barcelona
Skills you'll gain: Computer Architecture, Computer Engineering, Hardware Architecture, System Design and Implementation, Application Specific Integrated Circuits, Digital Design, Computer Hardware, Design Software, Simulations
DeepLearning.AI
Skills you'll gain: Linear Algebra, NumPy, Dimensionality Reduction, Data Transformation, Data Manipulation, Data Science, Machine Learning Algorithms, Applied Mathematics, Python Programming
University of Colorado System
Skills you'll gain: Requirements Elicitation, Software Design Documents, Requirements Analysis, Security Requirements Analysis, Mockups, Interviewing Skills, User Requirements Documents, Storyboarding, Functional Requirement, Goal Setting, Software Documentation, Agile Methodology, Business Requirements, Unified Modeling Language, Risk Management Framework, System Requirements, Meeting Facilitation, Prototyping, Software Development Life Cycle, Technical Documentation
Skills you'll gain: Data Mining, Big Data, Cloud Computing, Data Analysis, Data Science, Digital Transformation, Data-Driven Decision-Making, Business Logic, Deep Learning, Machine Learning, Artificial Intelligence
University of California, Santa Cruz
Skills you'll gain: Time Series Analysis and Forecasting, Bayesian Statistics, R Programming, Forecasting, Statistical Inference, Statistical Modeling, Technical Communication, Data Analysis, Probability, Statistical Machine Learning, Statistical Methods, Statistical Analysis, Advanced Analytics, Microsoft Excel, Markov Model, Probability Distribution, Probability & Statistics, Unsupervised Learning, Regression Analysis, Predictive Modeling
University of Pennsylvania
Skills you'll gain: Risk Modeling, Financial Statements, Probability Distribution, Mathematical Modeling, Statistical Modeling, Portfolio Management, Regression Analysis, Business Modeling, Financial Modeling, Risk Management, Quantitative Research, Presentations, Decision Making, Data Visualization, Microsoft PowerPoint, Predictive Modeling, Investment Management, Spreadsheet Software, Google Sheets, Excel Formulas
Hebrew University of Jerusalem
Skills you'll gain: Computer Architecture, Hardware Architecture, Computer Engineering, Computer Hardware, Computational Logic, Systems Architecture, Computer Programming, System Design and Implementation, Program Development, Data Storage
University of California San Diego
Skills you'll gain: Graph Theory, Logical Reasoning, Cryptographic Protocols, Combinatorics, Computational Logic, Deductive Reasoning, Cryptography, Probability, Computational Thinking, Encryption, Mathematical Theory & Analysis, Network Analysis, Public Key Cryptography Standards (PKCS), Algorithms, Theoretical Computer Science, Python Programming, Data Structures, Cybersecurity, Computer Programming, Mathematical Modeling
Skills you'll gain: ChatGPT, Generative AI, Artificial Intelligence, Data Ethics, OpenAI, Artificial Intelligence and Machine Learning (AI/ML), Deep Learning, Artificial Neural Networks, Application Deployment, IBM Cloud, Governance, Machine Learning, Business Transformation, Ethical Standards And Conduct, Computer Vision, Self Service Technologies, Information Architecture, Business Process Automation, Software Development Tools, Image Analysis
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Data Science Math Skills:Â Duke University
- Self-Driving Cars:Â University of Toronto
- Math for AI beginner part 1 Linear Algebra:Â Korea Advanced Institute of Science and Technology(KAIST)
- Digital Systems: From Logic Gates to Processors: Universitat Autònoma de Barcelona
- Linear Algebra for Machine Learning and Data Science:Â DeepLearning.AI
- Requirements Engineering: Secure Software Specifications:Â University of Colorado System
- What is Data Science? :Â IBM
- Bayesian Statistics:Â University of California, Santa Cruz
- Business and Financial Modeling:Â University of Pennsylvania
- Build a Modern Computer from First Principles: From Nand to Tetris (Project-Centered Course):Â Hebrew University of Jerusalem