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"
Imperial College London
Skills you'll gain: Supervised Learning, Data Ethics, Unsupervised Learning, Exploratory Data Analysis, PySpark, Bayesian Statistics, Ggplot2, Dimensionality Reduction, Linear Algebra, Big Data, Anomaly Detection, Data Analysis, Data Visualization, A/B Testing, Data Transformation, Deep Learning, Unstructured Data, Data Pipelines, Applied Machine Learning, Learning Strategies
Universidad de los Andes
Skills you'll gain: Supervised Learning, Unsupervised Learning, Anomaly Detection, Dimensionality Reduction, Artificial Intelligence, Machine Learning, Machine Learning Methods, Regression Analysis, Probability & Statistics, Data Ethics, Image Analysis, Natural Language Processing, Computer Vision, Embedded Systems, Statistical Machine Learning, Applied Machine Learning, Machine Learning Algorithms, Linear Algebra, Statistical Methods, Ethical Standards And Conduct
IIT Guwahati
Skills you'll gain: Package and Software Management, Unsupervised Learning, Linear Algebra, Data Structures, Data Warehousing, Database Management, Database Theory, Writing, Algorithms, Object Oriented Programming (OOP), Spreadsheet Software, Econometrics, R Programming, Text Mining, Java, Artificial Intelligence, C (Programming Language), Probability, Statistical Hypothesis Testing, Operations Research
University of London
University of London
Skills you'll gain: Virtual Reality, Human Computer Interaction, Full-Stack Web Development, React Native, Agile Software Development, Data Ethics, Git (Version Control System), Event-Driven Programming, Network Security, Web Applications, Computer Graphics, Data Science, Natural Language Processing, Unsupervised Learning, Combinatorics, Database Design, Data Processing, Web Development, Generative AI, Usability Testing
University of London
Skills you'll gain: Virtual Reality, Human Computer Interaction, Full-Stack Web Development, React Native, Agile Software Development, Data Ethics, Git (Version Control System), Event-Driven Programming, Network Security, Web Applications, Computer Graphics, Data Science, Natural Language Processing, Unsupervised Learning, Combinatorics, Database Design, Data Processing, Web Development, Generative AI, Usability Testing
Indian Statistical Institute
Skills you'll gain: Sampling (Statistics), Time Series Analysis and Forecasting, Sample Size Determination, Statistical Inference, Statistical Machine Learning, Statistical Analysis, NumPy, Spatial Data Analysis, Statistical Hypothesis Testing, Probability, Data Compilation, Economics, Statistical Methods, Dimensionality Reduction, Lifelong Learning, Regression Analysis, Statistical Software, Data Collection, International Finance, Social Sciences
BITS Pilani
Skills you'll gain: Bash (Scripting Language), Relational Databases, User Research, Probability & Statistics, Data Storytelling, Graph Theory, Object Oriented Design, Operating Systems, Android Development, Database Design, Bioinformatics, Feature Engineering, Algorithms, Version Control, Java Programming, Data Structures, Model View Controller, Computational Logic, Database Systems, Computer Systems
Pontificia Universidad Católica de Chile
Skills you'll gain: Descriptive Analytics, Business Analytics, Statistical Reporting, Data Mining, Visualization (Computer Graphics), Dimensionality Reduction, Data Analysis, R Programming, Statistical Modeling, Big Data, Data-Driven Decision-Making, Data Visualization Software, Predictive Modeling, Predictive Analytics, Data Modeling, Analytics, Advanced Analytics, Regression Analysis, Statistical Visualization, Matplotlib
University of Leeds
Skills you'll gain: Data Ethics, Regression Analysis, Statistical Hypothesis Testing, Unsupervised Learning, Correlation Analysis, Statistical Machine Learning, Statistical Methods, Data Visualization, Classification And Regression Tree (CART), Exploratory Data Analysis, Planning, Applied Machine Learning, Machine Learning Methods, Data Visualization Software, Dimensionality Reduction, R Programming, Supervised Learning, Box Plots, Statistical Modeling, Data Analysis
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Master of Science in Machine Learning and Data Science:Â Imperial College London
- Inteligencia Artificial: Machine learning, ética y nuevas tendencias Certificado MasterTrack®: Universidad de los Andes
- Bachelor of Science in Data Science & AI:Â IIT Guwahati
- International Foundation Programme for Computer Science (IFP):Â University of London
- Graduate Diploma in Computer Science:Â University of London
- Graduate Certificate in Computer Science:Â University of London
- Postgraduate Diploma in Applied Statistics:Â Indian Statistical Institute
- Bachelor of Science in Computer Science:Â BITS Pilani
- Certificado en Modelos AnalÃticos para la Toma de Decisiones de Negocio: Pontificia Universidad Católica de Chile
- Master of Science in Data Science (Statistics):Â University of Leeds