tinsir888's Study Notes
Introduction to Parallel Computing
Initializing search
Codeberg
Home
Informatica@GSSI
Datalogi@AU
CS@NKU
Informatik für APS
Competitive Programming
Languages
tinsir888's Study Notes
Codeberg
Home
Informatica@GSSI
Informatica@GSSI
Algorithmic Game Theory
Algorithmic Game Theory
1 Equilibrium
2 Congestion Games and PLS
3 Hedonic Games
4 PAC Learning
Advanced Algorithms
Advanced Algorithms
1 Introduction to Parallel Computing
2 Parallel Sorting and Pointer Jumping
3 Parallel Bipartite Matching
Approximation Algorithms
Approximation Algorithms
1 Introduction
2 Linear and Integer Programming
3 Set Cover Problem
4 Greedy and Local Search Algorithm
5 Rounding and Dynamic Programming
6 Deterministic Rounding of Linear Programs
7 Randomized Rounding of Linear Programs
8 The Primal-Dual Method
9 Techniques in Proving the Hardness of Approximation
Design and Analysis of Algorithms
Design and Analysis of Algorithms
1 Big O Notation
2 Sorting and Master Theorem
3 Basic Data Structures
4 Hashing
5 Binary Search Tree
6 Greedy Algorithm
7 Dynamic Programming and Local Search
8 All Pair Shortest Paths
9 Flow Algorithms
10 Complexity Classes
Distributed Graph Algorithms
Distributed Graph Algorithms
1 Basic Algorithms for Ring Networks
2 Simple Algorithms for Coloring, Rake and Compress
3 Fast Coloring Algorithm
4 Randomized Coloring and Maximal Independent Set
5 Congest Model on APSP
6 Round Elimination
Introduction to Blockchain and Smart Contracts
Introduction to Blockchain and Smart Contracts
1 Brief Introduction
2 Distributed Consensus
3 Bitcoin
4 BitML
5 Ethereum
6 Model-checking with Solidity
Introduction to Formal Methods
Introduction to Formal Methods
1 Stochastic Process
2 Markov Processes
3 Some Priminaries
4 Concurrency
5 Message Passing
6 LAB for Markov Chains
7 Petri Nets
8 Term Algebras
9 Transition Systems
Introduction to Software Engineering
Introduction to Software Engineering
1 Overview
2 Research in Software Engineering
3 Software Development Methodology
4 [SE in Practice] MVM Mechanical Ventilator
5 Requirements Engineering
6 Software Architecture
7 Software Design Patterns
8 [SE in Practice] Train Station Simulator
9 Software Dependability
10 Low Code Development
11 Model Driven Development
Satisfiability Problems and Applications
Satisfiability Problems and Applications
1 Propositional Logic
2 Conflict-Driven Clause Learning
3 SAT Solvers in Practice
4 First Order Logic
5 SMT Solvers
6 SMT Applications
7 Logic Programming Languages
Datalogi@AU
Datalogi@AU
Algorithmic Game Theory
Algorithmic Game Theory
1 Introduction and examples
2 Mechanism design basics
3 Myerson's lemma
4 Algorithmic mechanism design
5 Revenue-maximizing auctions
6 Simple Near-Optimal
7 Exercise, examples, Q&A
8 Multi-parameter mechanism design
9 Mechanism design with payment constraints
10 Mechanism design without money
11 Non-atomic selfish routing and price of anarchy
12 Congestion games, potential functions
13 Potential games and price of stability
Computational Geometry
Computational Geometry
1 Introduction to Algorithm Engineering
2 Introduction to Parallel Computation
3 Sorting and Searching in Parallel
4 I/O Model and Permutation Lower Bound
5 Introduction to Computational Geometry
6 Linear Programming
7 Polygon Triangulation
8 Point Location
9 Arrangements and Duality, Zone Theorem
10 Orthogonal Range Searching
11 More Orthogonal problems
12 Voronoi Diagrams and 3D Convex Hull
13 Robot Motion Planning and Visibility
Computer Vision
Computer Vision
1 Introduction
2 Machine Learning fundamentals
3 Neural Networks
4 Convolutional Neural Networks
5 Backpropagation
6 Training ConvNet (1)
7 Training ConvNet (2)
8 CNN architectures
9 Object detection and segmentation
10 Generative models
11 Visualizing and understanding CNNs
12 Sequence models (NLP)
13 Roundup - Uncovered Areas
Fair Division (Project)
Fair Division (Project)
1 Survey Study
2 Relations of Fairness Properties
3 Price of Fairness and MMS Property
4 Alternatives to EFX
5 EF1-Pareto Optimality Compatibility
6 Computing EF1 + PO
7 Ex-ante and Ex-post Fairness
8 Strategic Aspects of Fair Divison
9 My Conjectures on Price of Fairness for EEFX/MXS
Data Mining
Data Mining
1 Introduction
2 Representation-based Clustering
3 Densiy-based Clustering
4 Hierarchical and Subspace Clustering
5 Outlier Detection
6 Spectral Theory and Clustering
7 Community Detection
8 Link Analysis
9 Graph Embedding
10 Graph Neural Networks
11 Frequent Subgraph Mining
12 Frequent Itemsets and Association Rules
13 Sequence Segmentation and Similarities
Randomized Algorithms
Randomized Algorithms
1 Examples of Randomized Algorithm
2 Probabilistic Inequalities, Hashing with Chaining
3 Hash Functions
4 Karger's Min Cut Algorithm
5 Streaming Algorithms for Frequency Estimation
6 Streaming Heavy Hitters
7 Dimensionality Reduction
8 Faster Dimensionality Reduction
9 Prophets, Secretaries and Martingales
10 Invertible Bloom Filters
11 Randomized Rounding for MAX SAT
12 Nearest Neighbor Search and Locality Sensitive Hashing
13 Nearest Neighbor Search with Different Distance Metrics
14 Markov Chains and Random Walks
Computational Complexity
Computational Complexity
1 Turing Machines, Time and Space
2 Nondeterminism and Determinism
3 Boolean Circuits
4 Reductions and Completeness
5 The Polynomoial-Time Hierarchy
6 Randomized Computation
7 Bounded Depth Boolean Circuits
8 Branching Programs and Barrington's Theorem
9 Circuit Lower Bounds
10 Interactive Proofs
11 Probabilistic Checkable Proofs
12 PCP-based Inapproximability
13 Random Access Machine
14 SAT Problem
15 Fine-grained and Parameterized Complexity
16 Fast Fourier Transform
17 LLL Algorithm
Efficient ReliK (Project)
Efficient ReliK (Project)
1 Investigating the Original ReliK
2 Possible Parallelization Idea
3 Parallel For Loop
4 Sampling Optimization
Fair Clustering (Project&Thesis)
Fair Clustering (Project&Thesis)
0 Fairness in AI/ML
1 Core-Stability Federated Learning
2 PROP Fair Clustering (1)
3 PROP Fair Clustering (2)
4 Endeavor to Bridge Gap between 2 and 2.414
5 PROP in Non-Centroid Clustering
6 Some Open Problems about Non-centroid Clustering
7 The Existence of Core for Max Distance Loss
8 Split and Merge Algorithm on Average Cost
9 On Fully Justified Representation
CS@NKU
CS@NKU
感知技术与应用
感知技术与应用
第一章 绪论
第二章 传感器的性能与评价
第三章 电传感原理与测量方法
第四章 常用物理效应与器件
数字信号处理
数字信号处理
课程概览
第一章 时域数字信号处理
第二章 信号分类
第三章 再探时域数字信号处理
第四章 数字信号
第五章 信号与系统
第六章 离散时间傅里叶变换
第七章 频谱分析
数据库
智能计算系统
智能计算系统
第一章 绪论
第二章 神经网络基础
第三章 深度学习
第四章 编程框架使用
第五章 编程框架机理
第六章 深度学习处理器原理
第七章 深度学习处理器架构
第八章 智能编程语言
汇编与逆向
汇编与逆向
绪论
第一章 汇编语言基本概念
第二章 IA-32 处理器体系结构
第三章 汇编语言基础
第四章 数据传送与寻址
第五章 过程
第六章 PE 文件结构
第七章 区块表、输入表和输出表
第八章 静态逆向技术
第九章 C 语言程序逆向分析
第十章 软件保护技术
网络技术与应用
网络技术与应用
第一章 概述
第二章 以太网
第三章 交换与虚拟局域网
第四章 无线局域网组网技术
第五章 互联网与 IP 协议
第六章 IP 数据报
第七章 IP 地址与 ARP
第八章 路由器与路由选择
第九章 接入互联网
计算机体系结构
计算机体系结构
第一章 概述
第二章 量化设计与评估
第三章 指令集体系结构
第四章 存储层次
第五章 流水线技术上
第六章 流水线技术下
第七章 指令级并行性上
第八章 指令级并行性下
第九章 数据级并行性上
第十章 数据级并行性下
第十一章 线程级并行性
第十二章 仓库级计算机
计算机网络
计算机网络
课程信息
第一章 计算机网络概述
第二章 应用层协议及网络编程
第三章 传输层协议
第四章 网络层协议
第五章 接口层原理与协议
强化学习
强化学习
第一章 强化学习简介
第二章 马尔可夫决策过程
第三章 值函数估计
第四章 无模型控制方法
第五章 近似逼近方法
第六章 规划与学习
第七章 深度强化学习价值方法
第八章 深度强化学习策略方法
第十四章 多智能体强化学习
Informatik für APS
Informatik für APS
重点复习课程
重点复习课程
Assembly Language and Reverse Engineering
Computer Architecture
Computer Networks
Data Structure
Database System
Deep Learning and Application
Introduction to Algorithm
Introduction to Artificial Intelligence
Introduction to Parallel Programming
Operation System
Principles of Compliers
Principles of Computer Organization
Probability and Mathematical Statistics
Software Engineering
非重点复习课程
非重点复习课程
College Physics
Computer System Design
Digital Logic
Digital Signal Processing
Discrete Mathematics
C++
Intelligent Computing System
Internet Database Development
Introduction to Python Programming
Linear Algebra
Mathematical Analysis
Methods of Computing
Network Security Technology
Network Technology and Application
Sensing Technology and Application
Visual Technology Basis
Competitive Programming
Competitive Programming
Codeforces
Codeforces
Round 805 (Div. 3)
Round 957 (Div. 3)
Round 963 (Div. 2)
Languages
Languages
Dansk
Dansk
Andersens Eventyr
Andersens Eventyr
新坑预告
Dansk Uddannelse 3 Modul 1
Dansk Uddannelse 3 Modul 1
在丹麦免费学丹麦语
1 Præsentation
2 I klassen
3 Familie, Klokken og Dato
4 将来时/过去时
5 Sundhed og livsstil
6 Bolig og lokalområde
7 Geografi og vejr, Danmark
Dansk Uddannelse 3 Modul 2
Dansk Uddannelse 3 Modul 2
1 Invitationer (1)
2 Invitationer (2)
3 Bolig
4 Humør og følelser
5 Venskab
6 Relationer - Venner, evaluering
7 Sundhed og livsstil
8 Arbejde og studieliv
9 Planer for ferie og fridage
10 Fortæl om ferier og oplevelser
Dansk Uddannelse 3 Modul 3
Dansk Uddannelse 3 Modul 3
1 Ligheder og forskelle
2 Normer og uskrevne regler
3 Sammenligning af forskellige kulturer
4 Højskoler
5 At beskrive
6 Foreninger og klubber
7 Arbejdspladskultur
8 Jobsøgning
9 Job og kompetencer
10 Skriv en jobansøgning
11 Jobansøgning og arbejdsmarked
12 Smalltalk i hverdags- og arbejdsliv
13 Bliv klar til 3.3-testen
Dansk Uddannelse 3 Modul 4
Dansk Uddannelse 3 Modul 4
1 De fire årstider
2 Noget om skole og uddannelse
3 Noget om musik
4 Noget om køn og lidt om alder
5 Noget om arbejde
6 Noget om tøj, budskaber og bæredygtighed
7 Forberedelse til modultest 4
Deutsch
Deutsch
A1
A1
发音入门
1 bis 3 省略
4 Wie spät ist es?
5 Was darf's sein?
6 Familienleben
7 Wilkommen in Berlin
8 Zimmer, Küche, Bad
9 Was ist passiert?
10 Ich arbeite bei...
11 Gesund und fit
12 Schönes Wochenende!
A2
A2
1 Das steht dir gut!
2 Feste, Freunde, Familie
3 Miteinander leben
4 Schule und danach
5 Die neue Wohnung
6 Mobil in der Stadt
7 Das finde ich schön
8 Komm doch mit!
9 Arbeitssuche
10 Alltag und Medien
11 Politik und ich
12 Bei uns und bei euch
B1
B1
1 Kennen lernen
2 Orte
3 Freizeit und Fitness
4 Tägliches Leben
5 Ausbildung und Beruf
6 Lernen
7 Zwischenmenschliche Beziehungen
8 Konsum
9 Neue Medien
10 Reise und Mobilität
B2
B2
1 Heimat ist ...
2 Sprich mit mir!
3 Arbeit ist das halbe Leben?
4 Zusammen leben
5 Wer Wissen schafft, macht Wissenschaft
6 Fit für ...
7 Kulturwelten
8 Das machte Geschichte
德语阴阳性总结
Français
Français
A1
A1
0 Phonétique
1 Rencontres
2 Portraits
3 Ça se trouve où?
4 Au rythme du temps
Italiano
Italiano
A1
A1
语音入门
1 Benvenuti!
2 Un nuovo inizio
Español
Español
A1
A1
语音入门
1 ¿Quiénes somos?
2 ¿Cómo estás?
1 Introduction to Parallel Computing
See
here
.
Back to top