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"
University of Michigan
Skills you'll gain: Internet Of Things, Manufacturing Operations, Production Process, Digital Transformation, Business Technologies, Cloud Computing, Emerging Technologies, System Implementation, Technology Strategies, Business Logic, Organizational Change, Real Time Data, Value Propositions
EIT Digital
Skills you'll gain: Computational Logic, Theoretical Computer Science, Systems Analysis, Verification And Validation, Algorithms, Data Structures
- Status: Free
University of Alberta
Skills you'll gain: Scientific Methods, General Science and Research, Research Methodologies, Research, Research Design, Peer Review, Media and Communications, Correlation Analysis, Probability & Statistics, Statistical Inference
- Status: Free
University of California, Santa Cruz
Skills you'll gain: Systems Design, Model Based Systems Engineering, Mathematical Modeling, Simulations, Embedded Systems, Computational Logic, Basic Electrical Systems, Digital Communications, Differential Equations, Estimation, Algorithms, Linear Algebra
Skills you'll gain: Information Architecture, Strategic Decision-Making, Data Strategy, Data Analysis, Business Strategy, Business Process Automation, Technology Strategies, Artificial Intelligence, Data Collection, Business Technologies, Emerging Technologies, Data Management
- Status: Free
École Polytechnique
Skills you'll gain: Physics, Mechanics, Semiconductors, Linear Algebra, Probability, Electrical Engineering, Calculus, Differential Equations, Advanced Mathematics, Mathematical Modeling, Experimentation
- Status: Free
Universiteit Leiden
Skills you'll gain: Health Systems, Health Care, Health Care Administration, Healthcare Industry Knowledge, Preventative Care, Epidemiology, Risk Management, Health Assessment, Continuous Quality Improvement (CQI)
- Status: Free
National Taiwan University
Skills you'll gain: Operations Research, Network Model, Statistical Methods, Applied Mathematics, Mathematical Modeling, Machine Learning, Transportation Operations, Graph Theory, Operational Analysis, Process Optimization, Advanced Mathematics, Linear Algebra, Feasibility Studies, Numerical Analysis, Resource Allocation, Engineering Analysis, Calculus, Algorithms
Columbia University
Skills you'll gain: Reinforcement Learning, Artificial Intelligence and Machine Learning (AI/ML), Machine Learning, Algorithms, Markov Model, Data-Driven Decision-Making, Simulations, Probability, Probability & Statistics
University of Michigan
Skills you'll gain: Statistical Methods, Regression Analysis, Data Cleansing, Statistical Hypothesis Testing, Correlation Analysis, Matplotlib, Data Visualization, Statistical Analysis, Probability & Statistics, R Programming, Data Analysis, Descriptive Statistics, Pandas (Python Package), Python Programming
- Status: Free
DeepLearning.AI
Skills you'll gain: ChatGPT, OpenAI, Generative AI, Natural Language Processing, Application Development, Application Frameworks, Data Import/Export
Universidad de los Andes
Skills you'll gain: Data Visualization, Exploratory Data Analysis, Statistical Hypothesis Testing, Correlation Analysis, Data Science, Jupyter, Data Analysis, Business Analytics, Statistical Analysis, Probability & Statistics, Python Programming, Descriptive Statistics, Statistical Modeling, Design Thinking, Data Manipulation
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Industrial Internet of Things (IIoT):Â University of Michigan
- Automated Reasoning: Symbolic Model Checking:Â EIT Digital
- Science Literacy :Â University of Alberta
- Cyber-Physical Systems: Modeling and Simulation:Â University of California, Santa Cruz
- The AI Ladder: A Framework for Deploying AI in your Enterprise:Â IBM
- Mécanique quantique: École Polytechnique
- Population Health: Fundamentals of Population Health Management:Â Universiteit Leiden
- Operations Research (3): Theory:Â National Taiwan University
- Decision Making and Reinforcement Learning:Â Columbia University
- Foundations of Sports Analytics: Data, Representation, and Models in Sports:Â University of Michigan