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"
Packt
Skills you'll gain: Alteryx, Data Cleansing, Data Manipulation, Data Processing, Data Transformation, Data Quality, Advanced Analytics, Predictive Modeling, Data Integration, Database Management, Machine Learning, Feature Engineering, Data Pipelines, Business Process Automation, Workflow Management, Complex Problem Solving
Skills you'll gain: JUnit, Unit Testing, Apache Maven, IntelliJ IDEA, Test Case, Software Testing, Java, Test Tools, Mockups, Business Logic
University of Colorado Boulder
Skills you'll gain: Data Science, R Programming, Statistical Machine Learning, Advanced Analytics, Dimensionality Reduction, Statistical Modeling, Statistical Analysis, Statistical Methods, Sampling (Statistics), Regression Analysis, Statistical Inference, Predictive Modeling, Applied Mathematics
Skills you'll gain: Routing Protocols, TCP/IP, Network Switches, Network Routers, Wireless Networks, Virtual Local Area Network (VLAN), Network Security, Network Troubleshooting, General Networking, Network Administration, Network Routing, Network Infrastructure, Network Protocols, Computer Networking, Open Shortest Path First (OSPF), Network Monitoring, Local Area Networks, Dynamic Host Configuration Protocol (DHCP), Network Planning And Design, Network Performance Management
- Status: Free
Coursera Instructor Network
Skills you'll gain: Algorithms, Technical Communication, Computational Thinking, Solution Design, Programming Principles, Software Design, Theoretical Computer Science, Data Structures, Problem Management, Applied Mathematics
- Status: Free
Vanderbilt University
Skills you'll gain: Programming Principles, Computer Programming, Matlab, Debugging, Linear Algebra, Software Development Tools, Mathematical Software, Computer Science, Development Environment, Scripting, User Interface (UI), Scripting Languages, Data Structures, Arithmetic, File Management
Skills you'll gain: Machine Learning, Applied Machine Learning, Google Cloud Platform, Artificial Intelligence and Machine Learning (AI/ML), Data Processing, Predictive Modeling, Test Data, Feature Engineering, Supervised Learning, Deep Learning, Business Logic, Image Analysis, Natural Language Processing, Application Programming Interface (API)
- Status: Free
Universidad Austral
Skills you'll gain: Data Visualization, Data Visualization Software, Tableau Software, Visual Design, Exploratory Data Analysis, Data Storytelling, Data Presentation, Data Ethics, Graphic and Visual Design, Design Elements And Principles, Color Theory, Analysis, Information Architecture, Human Factors
- Status: Free
Institut Mines-Télécom
Skills you'll gain: Image Analysis, Computer Vision, Data Processing, Advanced Mathematics, NumPy, Spatial Analysis, Python Programming, Histogram
University of Colorado System
Skills you'll gain: Statistical Software, Marketing Analytics, Regression Analysis, Statistical Modeling, Data Visualization, Data Presentation, Statistical Methods, Statistical Analysis, Advanced Analytics, Customer Analysis, Strategic Marketing, Market Analysis, Marketing, Marketing Effectiveness, Predictive Analytics, Marketing Strategies, Predictive Modeling, Customer Insights, Statistical Hypothesis Testing, A/B Testing
Skills you'll gain: Deep Learning, Artificial Neural Networks, Image Analysis, Keras (Neural Network Library), Tensorflow, Computer Vision, Artificial Intelligence and Machine Learning (AI/ML), Network Architecture, Network Model, Machine Learning Algorithms, Linear Algebra
Howard University
Skills you'll gain: Data Wrangling, Regression Analysis, Dimensionality Reduction, Data Science, Python Programming, Predictive Modeling, Statistical Modeling, Data Analysis, Linear Algebra, Exploratory Data Analysis
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Alteryx Advanced: Packt
- JUnit and Mockito Unit Testing for Java Developers: Packt
- Resampling, Selection and Splines: University of Colorado Boulder
- TCP/IP, Routing, and Wireless Networking: Packt
- Algorithmic Solutions: Design, Problem Solving, Reporting: Coursera Instructor Network
- MATLAB을 사용한 프로그래밍 소개: Vanderbilt University
- Applying Machine Learning to Your Data with GC - 日本語版: Google Cloud
- Principios esenciales de diseño en Tableau: Universidad Austral
- Traitement d'images : analyse fréquentielle et multi-échelle: Institut Mines-Télécom
- Regression Modeling for Marketers: University of Colorado System