Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Lecture
Program Optimizations and Abstract Interpretation Idea
Graph Chatbot
Related lectures (31)
Previous
Page 3 of 4
Next
Translation of for
Explains the translation of for-expressions in Scala using map, flatmap, and filter functions, with examples and a discussion on its generalization to different types.
Energy Systems Optimization
Explores energy systems modeling, optimization, and cost analysis for efficient operations.
Finite Element Analysis: Advanced Mechanisms in Engineering
Provides an overview of advanced mechanisms analysis using Finite Element Method and Finite Element Analysis in engineering applications.
Introduction to Optimization and Operations Research
Covers fundamental concepts of optimization and operations research, exploring real-world examples and key topics over a semester.
Challenges in High-Level Synthesis: Optimizing Loop Constructs
Addresses the challenges of high-level synthesis and optimizing loop constructs using the polyhedral model for improved performance and scheduling.
Approximation Algorithms
Covers approximation algorithms for optimization problems, LP relaxation, and randomized rounding techniques.
Energy optimization strategies
Covers brainstorming options for smart operation changes, heat recovery, and PV panel performance.
Avoiding Variable Capture
Explores variable capture in higher-order functions and the importance of variable renaming.
Polymorphism and Proofs
Covers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.
Sparsest Subgraph: Densest Subgraph
Covers Sparsest Subgraph and Densest Subgraph, focusing on correlation clustering and approximation algorithms.
