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"
Duke University
Skills you'll gain: Microsoft Excel, Excel Formulas, Probability Distribution, Business Risk Management, Predictive Modeling, Regression Analysis, Business Analytics, Statistical Methods, Forecasting, Data Analysis, Probability, Classification And Regression Tree (CART), Financial Analysis, Performance Metric
Skills you'll gain: Data Manipulation, SAS (Software), Data Access, Data Import/Export, Microsoft Excel, Data Analysis, Data Transformation, Exploratory Data Analysis, Data Validation, Data Cleansing, SQL Server Integration Services (SSIS), Descriptive Statistics, Statistical Programming, Data Processing, Data Integration, SQL, Data Presentation, Debugging
École Polytechnique Fédérale de Lausanne
Skills you'll gain: Scala Programming, Programming Principles, Object Oriented Programming (OOP), Functional Design, Software Design Patterns, Computer Programming, Data Structures, Software Engineering, Javascript, Algorithms, Computational Thinking
- Status: Free
Universidad Nacional Autónoma de México
Skills you'll gain: Algebra, General Mathematics, Arithmetic, Geometry
Duke University
Skills you'll gain: Statistical Hypothesis Testing, Sampling (Statistics), Statistical Inference, Exploratory Data Analysis, Regression Analysis, Statistical Reporting, Probability Distribution, Statistical Methods, Statistical Software, R Programming, Bayesian Statistics, Statistical Analysis, Data Analysis, Statistical Modeling, Probability & Statistics, Probability, Statistics, Data Science, Descriptive Statistics, Mathematical Modeling
DeepLearning.AI
Skills you'll gain: Artificial Intelligence and Machine Learning (AI/ML), Classification And Regression Tree (CART), Machine Learning Algorithms, Machine Learning, Applied Machine Learning, Data Ethics, Decision Tree Learning, Tensorflow, Supervised Learning, Deep Learning, Random Forest Algorithm, Artificial Neural Networks, Algorithms, Regression Analysis, Performance Tuning
- Status: Free
Erasmus University Rotterdam
Skills you'll gain: Econometrics, Time Series Analysis and Forecasting, Regression Analysis, Data Analysis, Statistical Analysis, Quantitative Research, Statistical Modeling, Statistics, Forecasting, Probability, Linear Algebra, Peer Review
University of Amsterdam
Skills you'll gain: Qualitative Research, Statistical Hypothesis Testing, Scientific Methods, Descriptive Statistics, Statistical Inference, Statistical Analysis, Statistical Software, Probability Distribution, Research, Correlation Analysis, Research Design, Sampling (Statistics), Research Reports, Science and Research, Probability, Interviewing Skills, Data Analysis, Sample Size Determination, Statistical Methods, Social Sciences
Skills you'll gain: ChatGPT, Generative AI, Artificial Intelligence, OpenAI, Workflow Management, Deep Learning, Business Workflow Analysis, Artificial Neural Networks, Governance, Machine Learning, Application Deployment, Business Transformation, IBM Cloud, Business Technologies, Artificial Intelligence and Machine Learning (AI/ML), Ethical Standards And Conduct, Computer Vision, Business Logic, Software Development Tools, Image Analysis
Macquarie University
Skills you'll gain: Excel Formulas, Microsoft Excel, Excel Macros, Data Validation, Spreadsheet Software, Data Modeling, Workflow Management, Financial Modeling, Data Integrity, Automation, Data Security
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
University of California San Diego
Skills you'll gain: Graph Theory, Logical Reasoning, Cryptographic Protocols, Combinatorics, Computational Logic, Deductive Reasoning, Cryptography, Probability, Key Management, Computational Thinking, Encryption, Mathematical Theory & Analysis, Network Analysis, Public Key Cryptography Standards (PKCS), Algorithms, Theoretical Computer Science, Python Programming, Data Structures, Cybersecurity, Mathematical Modeling
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Mastering Data Analysis in Excel: Duke University
- SAS Programmer: SAS
- Functional Programming Principles in Scala: École Polytechnique Fédérale de Lausanne
- Álgebra básica: Universidad Nacional Autónoma de México
- Data Analysis with R: Duke University
- Advanced Learning Algorithms: DeepLearning.AI
- Econometrics: Methods and Applications: Erasmus University Rotterdam
- Methods and Statistics in Social Sciences: University of Amsterdam
- AI Foundations for Everyone: IBM
- Excel Skills for Business: Intermediate II: Macquarie University