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"
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
- Status: Free
DeepLearning.AI
Skills you'll gain: ChatGPT, OpenAI, Generative AI, Natural Language Processing, Application Development, Application Frameworks, Data Import/Export
- 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
É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)
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
EIT Digital
Skills you'll gain: Computational Logic, Theoretical Computer Science, Systems Analysis, Verification And Validation, Algorithms, Data Structures
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
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
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
New York University
Skills you'll gain: Supervised Learning, Dimensionality Reduction, Unsupervised Learning, Applied Machine Learning, Machine Learning Algorithms, Decision Tree Learning, Machine Learning, Predictive Modeling, Financial Trading, Financial Market, Reinforcement Learning, Scikit Learn (Machine Learning Library), Correlation Analysis, Finance, Exploratory Data Analysis, Python Programming, Time Series Analysis and Forecasting, Artificial Neural Networks
Imperial College London
Skills you'll gain: Virtual Reality, Augmented and Virtual Reality (AR/VR), Computer Graphics, Visualization (Computer Graphics), Virtual Environment, Logo Design, Android Development, Computer Graphic Techniques, Interactive Design, Application Development, Graphics Software, Mobile Development, Creative Design, Linear Algebra
In summary, here are 10 of our most popular linear temporal logic courses
- Industrial Internet of Things (IIoT):Â University of Michigan
- Functions, Tools and Agents with LangChain:Â DeepLearning.AI
- Science Literacy :Â University of Alberta
- Mécanique quantique: École Polytechnique
- Population Health: Fundamentals of Population Health Management:Â Universiteit Leiden
- The AI Ladder: A Framework for Deploying AI in your Enterprise:Â IBM
- Automated Reasoning: Symbolic Model Checking:Â EIT Digital
- Foundations of Sports Analytics: Data, Representation, and Models in Sports:Â University of Michigan
- Operations Research (3): Theory:Â National Taiwan University
- Introducción a la ciencia de datos aplicada: Universidad de los Andes