Filter by
The language used throughout the course, in both instruction and assessments.
Results for "verification+techniques"
University of Toronto
Skills you'll gain: Data Ethics, Data Collection, Quantitative Research, Qualitative Research, Data Analysis, Statistical Analysis, Analytical Skills, Regression Analysis, Focus Group, Correlation Analysis, Diversity and Inclusion, Research Methodologies, Customer Insights, Law, Regulation, and Compliance, Probability, Stakeholder Engagement
Skills you'll gain: Anomaly Detection, Image Analysis, Computer Vision, Matlab, Deep Learning, Applied Machine Learning, Application Deployment, PyTorch (Machine Learning Library), Artificial Intelligence and Machine Learning (AI/ML), Data Synthesis, Data Manipulation
Skills you'll gain: Unsupervised Learning, Generative AI, Supervised Learning, Deep Learning, Applied Machine Learning, Artificial Intelligence and Machine Learning (AI/ML), Reinforcement Learning, OpenAI, Predictive Modeling, Machine Learning Algorithms, Image Analysis, Artificial Intelligence, Artificial Neural Networks, Machine Learning, Feature Engineering, Unstructured Data, Business Logic, ChatGPT, Dimensionality Reduction, Data Modeling
University of Minnesota
Skills you'll gain: Test Automation, Regression Testing, Software Testing, Software Development Tools, Unit Testing, Software Engineering Tools, Software Technical Review, JUnit, Development Testing, System Testing, Code Coverage, Security Testing, Verification And Validation, Test Case, Test Data, Debugging, Automation, Application Security, Vulnerability Scanning, Java Programming
University of California, Irvine
Skills you'll gain: Blockchain, Cryptography, Encryption, Public Key Infrastructure, Key Management, Transaction Processing, Authentications, FinTech, Emerging Technologies, Payment Systems, Data Integrity, Distributed Computing
University of Colorado System
Skills you'll gain: Public Key Infrastructure, Public Key Cryptography Standards (PKCS), Key Management, Cryptography, Cryptographic Protocols, Encryption, Authentications
- Status: Free
University of Minnesota
Skills you'll gain: Dimensionality Reduction, NumPy, Linear Algebra, Machine Learning Methods, Data Analysis, Regression Analysis, Mathematical Modeling, Applied Mathematics, Solution Design, Applied Machine Learning, Data Manipulation, Exploratory Data Analysis, Algorithms, Python Programming
- Status: Free
National Taiwan University
Skills you'll gain: Feature Engineering, Supervised Learning, Machine Learning Algorithms, Random Forest Algorithm, Deep Learning, Machine Learning, Applied Machine Learning, Decision Tree Learning, Artificial Neural Networks, Dimensionality Reduction, Regression Analysis
- Status: Free
Skills you'll gain: Verification And Validation, Theoretical Computer Science, System Testing, Embedded Software, System Software, Software Architecture, System Design and Implementation
EIT Digital
Skills you'll gain: Computational Logic, Combinatorics, Logical Reasoning, Computational Thinking, Mathematical Modeling, Operations Research, Theoretical Computer Science, Applied Mathematics, Algorithms, Linear Algebra, Verification And Validation, Arithmetic
University of Colorado System
Skills you'll gain: Cryptography, Arithmetic, Algorithms, Applied Mathematics, Probability
University of Colorado Boulder
Skills you'll gain: Power Electronics, Electronic Systems, Electrical Engineering, Engineering Analysis, Simulation and Simulation Software, Systems Analysis, Matlab, Technical Design
In summary, here are 10 of our most popular verification+techniques courses
- Inclusive Analytic Techniques: University of Toronto
- Advanced Deep Learning Techniques for Computer Vision: MathWorks
- AI and Machine Learning Algorithms and Techniques: Microsoft
- Introduction to Automated Analysis: University of Minnesota
- Cryptography and Hashing Overview: University of California, Irvine
- Asymmetric Cryptography and Key Management: University of Colorado System
- Matrix Methods: University of Minnesota
- 機器å¸ç¿’技法 (Machine Learning Techniques): National Taiwan University
- System Validation: Automata and behavioural equivalences: EIT Digital
- Automated Reasoning: satisfiability: EIT Digital