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"
- Status: Free
The Hong Kong University of Science and Technology
Skills you'll gain: Arithmetic, Geometry, Mathematical Theory & Analysis, Advanced Mathematics, Combinatorics, Algebra, Applied Mathematics
- Status: Free
Ludwig-Maximilians-Universität München (LMU)
Skills you'll gain: Finite Element Methods, Numerical Analysis, Engineering Analysis, Jupyter, Differential Equations, Applied Mathematics, NumPy, Mathematical Modeling, Computational Thinking, Python Programming, Calculus, Mechanics, Vibrations, Linear Algebra, Simulations
- Status: Free
University of North Texas
Skills you'll gain: Arithmetic, Probability & Statistics, Graphing, Geometry, Statistics, Algebra, Applied Mathematics, Systems Of Measurement
EDHEC Business School
Skills you'll gain: Investment Management, Portfolio Management, Investments, Asset Management, Risk Analysis, Financial Modeling, Risk Management, Financial Analysis, NumPy, Python Programming, Simulations, Pandas (Python Package), Correlation Analysis, Matplotlib
- Status: Free
Nanjing University
Skills you'll gain: Language Interpretation, Translation, and Studies, Vocabulary, Writing and Editing, Writing, Grammar, Cultural Sensitivity
University of Michigan
Skills you'll gain: Deductive Reasoning, Analytical Skills, Experimentation, Critical Thinking, Cost Benefit Analysis, Research Design, Behavioral Economics, Decision Making, Predictive Analytics, Regression Analysis, Scientific Methods, Correlation Analysis, Risk Mitigation, Adaptability
University of California San Diego
Skills you'll gain: Bioinformatics, Data Analysis, Life Sciences, Statistical Analysis, Computational Logic
Johns Hopkins University
Skills you'll gain: Radiology, Psychology, Data Analysis, Research Design, Image Analysis, Statistical Analysis, Statistical Modeling, Scientific Methods, Data Processing, Data Collection, Probability & Statistics, Research
Skills you'll gain: Bayesian Statistics, Descriptive Statistics, Statistical Hypothesis Testing, Statistical Inference, Sampling (Statistics), Data Modeling, Statistics, Probability & Statistics, Statistical Analysis, Statistical Methods, Statistical Modeling, Marketing Analytics, Tableau Software, Data Analysis, Spreadsheet Software, Quantitative Research, Analytics, Descriptive Analytics, Time Series Analysis and Forecasting, Regression Analysis
- Status: AI skills
Microsoft
Skills you'll gain: Storyboarding, User Research, Information Architecture, User Experience Design, Design Thinking, Prototyping, Usability Testing, Persona (User Experience), Wireframing, Design Research, User Interface and User Experience (UI/UX) Design, Interaction Design, Web Content Accessibility Guidelines, Human Centered Design, Usability, User Interface (UI) Design, User Centered Design, Figma (Design Software), Design, Mockups
University of Colorado Boulder
Skills you'll gain: Field-Programmable Gate Array (FPGA), Hardware Design, Electronic Systems, System Design and Implementation, Computer Architecture, Embedded Systems, Development Environment, Software Development, Integrated Development Environments, Computer-Aided Design, Engineering Documentation
- Status: Free
University of Minnesota
Skills you'll gain: Dimensionality Reduction, NumPy, Linear Algebra, Machine Learning Methods, Data Analysis, Regression Analysis, Mathematical Modeling, Applied Mathematics, Solution Design, Applied Machine Learning, Data Manipulation, Exploratory Data Analysis, Algorithms, Python Programming
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Fibonacci Numbers and the Golden Ratio:Â The Hong Kong University of Science and Technology
- Computers, Waves, Simulations: A Practical Introduction to Numerical Methods using Python: Ludwig-Maximilians-Universität München (LMU)
- Math Prep: College & Work Ready:Â University of North Texas
- Introduction to Portfolio Construction and Analysis with Python:Â EDHEC Business School
- Translation in Practice:Â Nanjing University
- Mindware: Critical Thinking for the Information Age :Â University of Michigan
- Finding Hidden Messages in DNA (Bioinformatics I):Â University of California San Diego
- Principles of fMRI 1:Â Johns Hopkins University
- Statistics Foundations:Â Meta
- Microsoft UX Design:Â Microsoft