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
Parsons School of Design, The New School
Skills you'll gain: Building Design, Materials Management, Procurement, Hazard Communication (HazCom), Architectural Engineering, Environment Health And Safety, Construction Management, Civil Engineering, Commercial Construction, Pollution Prevention, Architectural Design, Systems Thinking, Health Assessment, Environmental Policy, Corporate Sustainability, Architecture and Construction, Health And Safety Standards, Waste Minimization, Design, Environmental Issue
- 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
Northwestern University
Skills you'll gain: Mathematical Modeling, Engineering Calculations, Engineering Analysis, Mechanics, Simulation and Simulation Software, Virtual Environment, Torque (Physics), Linear Algebra, Trigonometry
University of Illinois Urbana-Champaign
Skills you'll gain: Text Mining, Natural Language Processing, Data Mining, Unstructured Data, Big Data, Web Analytics and SEO, Machine Learning, Information Architecture, Statistical Methods, Algorithms, Probability & Statistics
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Think Again IV: How to Avoid Fallacies:Â Duke University
- Healthier Materials and Sustainable Building:Â Parsons School of Design, The New School
- 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