Lectures related to Learning-aided Program Reasoning

Scanning Electron Microscopy: Signals and Detectors

Covers the principles of Scanning Electron Microscopy, including SEM signals, detectors, and energy spectrum of electrons, as well as the efficiency of X-ray generation.

AI for Science

Explores fundamental principles in scientific research, the impact of computers, numerical algorithms, and deep learning in solving high-dimensional problems.

Instructional Design Best Practices

Covers best practices in instructional design for digital education, addressing challenges and solutions for online course design.

Data Visualization: Excel Charts

Covers the basics of creating and customizing charts in Excel.

Continuous Liquid Interface Printing

Introduces Continuous Liquid Interface Printing (CLIP) as a revolutionary 3D printing technology with rapid production and high-quality results.

EMG Analysis: Signal Processing Techniques

Explores EMG signal processing techniques using Excel for data analysis and visualization.

ECG Hemodynamics Figure

Covers the analysis of ECG signals related to hemodynamics.

Protein Labeling Techniques

Covers protein labeling techniques using self-labeling parts like FIASH and SNAP.

Regulations: Figures of Regulations

Covers the analysis of ECG heart rate data and respiratory flow measurements using Excel.

Perception: Data-Driven Approaches

Explores perception in deep learning for autonomous vehicles, covering image classification, optimization methods, and the role of representation in machine learning.

Concept of Proof in Mathematics

Delves into the concept of proof in mathematics, emphasizing the importance of evidence and logical reasoning.

Query Optimization Log in to Mediaspace to watch this video

Covers query optimization, from logical to physical plans, including query transformation and cost estimation.

Biological Contaminants: Pathogens Log in to Mediaspace to watch this video

Covers the definition of biological contaminants and the transmission of pathogens, including emerging infectious diseases and antibiotic resistance.

Relational Query Optimization Log in to Mediaspace to watch this video

Covers relational query optimization, including logical and physical query plans, cost estimation, equivalences, and the System R strategy.

Query Operators Part 2 Log in to Mediaspace to watch this video

Covers query processing with relational operations, focusing on different join methods and the impact of buffering.

Enterprise and Service-Oriented Architecture: Solutions for Business IT Alignment Log in to Mediaspace to watch this video

Explores solutions for business IT alignment through enterprise and service-oriented architecture.

Introduction to Data Science Log in to Mediaspace to watch this video

Introduces the basics of data science, covering decision trees, machine learning advancements, and deep reinforcement learning.

Dependability Overview Log in to Mediaspace to watch this video

Explores dependability in industrial automation, covering reliability, safety, fault characteristics, and examples of failure sources in various industries.

Deep Learning Agents: Reinforcement Learning Log in to Mediaspace to watch this video

Explores Deep Learning Agents in Reinforcement Learning, emphasizing neural network approximations and challenges in training multiagent systems.

Deep Learning: Principles and Applications Log in to Mediaspace to watch this video

Covers the fundamentals of deep learning, including data, architecture, and ethical considerations in model deployment.