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: 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
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
- Status: Free
DeepLearning.AI
Skills you'll gain: ChatGPT, OpenAI, Generative AI, Natural Language Processing, Application Development, Application Frameworks, Data Import/Export
École Polytechnique Fédérale de Lausanne
Skills you'll gain: Digital Communications, Electrical and Computer Engineering, Electronic Systems, Engineering Analysis, Numerical Analysis, Systems Of Measurement, Mathematical Modeling, Basic Electrical Systems, Applied Mathematics, Quantitative Research, Algorithms, Jupyter, Data Mapping, Computer Programming
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
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
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
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
Illinois Tech
Skills you'll gain: Regression Analysis, R Programming, Statistical Inference, Data Analysis, Statistical Analysis, Predictive Modeling, Statistical Modeling, Probability & Statistics, Linear Algebra
Skills you'll gain: Design Thinking, Data Science, Process Design, Artificial Intelligence, Data Pipelines, Data Processing, Workflow Management, Data Cleansing, Data Quality, Data-Driven Decision-Making, Business Priorities, NumPy, Python Programming
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 specifications courses
- Foundations of Sports Analytics: Data, Representation, and Models in Sports:Â University of Michigan
- Population Health: Fundamentals of Population Health Management:Â Universiteit Leiden
- Operations Research (3): Theory:Â National Taiwan University
- Functions, Tools and Agents with LangChain:Â DeepLearning.AI
- Digital Signal Processing 2: Filtering: École Polytechnique Fédérale de Lausanne
- Fundamentals of Machine Learning in Finance:Â New York University
- Decision Making and Reinforcement Learning:Â Columbia University
- The AI Ladder: A Framework for Deploying AI in your Enterprise:Â IBM
- Industrial Internet of Things (IIoT):Â University of Michigan
- Linear Regression:Â Illinois Tech