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: Research, Writing, Persuasive Communication, Learning Strategies
- Status: Free
EIT Digital
Skills you'll gain: Computational Logic, Markov Model, Verification And Validation, System Testing, Theoretical Computer Science, Mathematical Modeling, Systems Analysis, Software Testing, Statistical Modeling, Probability, Algorithms, Probability Distribution
Johns Hopkins University
Skills you'll gain: Calculus, Applied Mathematics, Trigonometry, Advanced Mathematics, Mathematical Modeling, Algebra, Derivatives, Graphing, Geometry
University of Pennsylvania
Skills you'll gain: Environmental Social And Corporate Governance (ESG), Corporate Sustainability, Investments, Return On Investment, Portfolio Management, Sustainability Reporting, Environmental Management Systems, Business Metrics, Stakeholder Management, Market Trend, Risk Management, Correlation Analysis, Trend Analysis, Performance Analysis
New York Institute of Finance
Skills you'll gain: Reinforcement Learning, Financial Trading, Deep Learning, Portfolio Management, Artificial Intelligence and Machine Learning (AI/ML), Artificial Neural Networks, Markov Model, Machine Learning, Financial Market, Time Series Analysis and Forecasting
University of California San Diego
Skills you'll gain: Apache Spark, PySpark, Apache Hadoop, Data Integration, Big Data, Data Pipelines, Data Processing, Data Management, NoSQL, Analytics, Splunk, Database Systems, MongoDB, Pandas (Python Package), SQL
Skills you'll gain: Field-Programmable Gate Array (FPGA), Hardware Design, Electronic Hardware, Electronic Systems, Electrical and Computer Engineering, Computer Architecture, Computer Engineering, Verification And Validation, Computational Logic, Simulation and Simulation Software, Design Software, Functional Design, System Design and Implementation, Development Testing, Schematic Diagrams, Dataflow, Development Environment
University of California, Davis
Skills you'll gain: Data Governance, Data Quality, Data Integration, Data Dictionary, Data Validation, Data Modeling, Extract, Transform, Load, Health Information Management and Medical Records, Health Systems, Data Management, Metadata Management, Health Care, Analytics, Healthcare Industry Knowledge, Data Analysis, Data Cleansing, Taxonomy, Data Transformation, Data Integrity, Clinical Data Management
University of Colorado Boulder
Skills you'll gain: Embedded Systems, Real Time Data, Software Systems, System Programming, Operating Systems, System Design and Implementation, Linux, Test Tools, Verification And Validation, Algorithms
Google Cloud
Skills you'll gain: Dataflow, Data Pipelines, Serverless Computing, Identity and Access Management, Google Cloud Platform, Cloud Security, Performance Tuning, CI/CD, Data Processing, Application Performance Management, Debugging, Real Time Data, Data Storage Technologies, Unit Testing, Containerization, Disaster Recovery, Jupyter, Java, Dashboard, JSON
- Status: Free
Princeton University
Skills you'll gain: Graph Theory, Data Structures, Algorithms, Theoretical Computer Science, Operations Research, Applied Mathematics, Computational Thinking, Computer Programming, Network Routing, Programming Principles, Network Model, Java Programming, Linear Algebra
- Status: Free
Skills you'll gain: Image Analysis, Computer Vision, Digital Communications, Computer Graphics, Visualization (Computer Graphics), Radiology, Data Processing, Applied Mathematics, Spatial Analysis, Advanced Mathematics, Linear Algebra, Matlab, Mathematical Modeling, Algorithms, Histogram, Probability Distribution
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Think Again IV: How to Avoid Fallacies:Â Duke University
- Quantitative Model Checking:Â EIT Digital
- Calculus through Data & Modeling: Differentiation Rules:Â Johns Hopkins University
- ESG Impact: Investor Perspective:Â University of Pennsylvania
- Reinforcement Learning for Trading Strategies:Â New York Institute of Finance
- Big Data Integration and Processing:Â University of California San Diego
- Design of Digital Circuits with VHDL Programming:Â L&T EduTech
- Health Information Literacy for Data Analytics:Â University of California, Davis
- Real-Time Embedded Systems Theory and Analysis:Â University of Colorado Boulder
- Serverless Data Processing with Dataflow:Â Google Cloud