Efficient ReliK 3 Parallel For Loop
This week, I am mainly working on parallelization of enumerating xh′r′t′x_{h'r't'}xh′r′t′: for u,v in nx.DiGraph(M).subgraph(subgraph).edges(). Target Code 1234567891011121314151617181920212223for subgraph in subgraphs: count = 0 sib_sum = 0 sib_sum_h = 0 sib_sum_t = 0 start_uv = timeit.default_timer() for u,v in nx.DiGraph(M).subgraph(subgraph).edges(): w, w1, w2 = heur(u, v, M, models, entity_to_id_map, relation_to_id_map, all_triples_set, full_graph, ...
丹麦语 DU 3.3 5 At beskrive
Ordforråd om højskoler sabbatår -et, -, -ene gap 年 valgfri -t, - eller -e 可选的 valgfri fag 选修科目 tilbyde -r, tilbød, tilbudt 提供 vælge -r, valgte, valgt 选择 Du skal selv vælge din fag på højskolen. at kunne tænke sig = at have lyst til 有兴趣做某事，想做某事 Jeg kunne tænke mig, at gå på en kreativ højskole. Infinitivkæder Hun vil begynde at lære at køre bil. ‘at lære’ er objekt for ‘begynde’ ‘at køre bil’ er objekt for ‘at lære’ Han har lovet at prøve at holde op med at ryge. ‘at prøve’ er objekt f ...
Fair AI/ML 1 Core-Stability Federated Learning
I will begin a new project work 24 Fall: FAIRNESS IN AI/ML THROUGH THE LENS OF SOCIAL CHOICE The basic outline is following Tutorial: Fairness in AI/ML via Social Choice by Evi Micha & Nisarg Shah in EC 2024. The first paper I have read in last semester, Fairness in Federated Learning via Core-Stability, which was one of the possible topics. Brief notes is here. I will try to understand some mathematical proof in this semester. Core-Stability Revisit the definition of Core-Stability: A pred ...
Efficient ReliK 2 Possible Parallelization Idea
Some ideas from Maximilian. Recap Pseudo Code Look at the Pseudo code again: Input: KG K:⟨E,R,F⟩\mathcal K:\langle\mathcal E,\mathcal R,\mathcal F\rangleK:⟨E,R,F⟩, triple xhrt=(h,r,t)∈Fx_{hrt}=(h,r,t)\in\mathcal Fxhrt=(h,r,t)∈F, embedding score function s:E×R×E→Rs:\mathcal E\times\mathcal R\times\mathcal E\to\mathbb Rs:E×R×E→R, sample size k∈Nk\in\mathbb Nk∈N Output: ReliKLB(xhrt)ReliK_{LB}(x_{hrt})ReliKLB(xhrt) or ReliKApx(xhrt)ReliK_{Apx}(x_{hrt})ReliKApx(xhrt) SH←S_H\getsSH← sample k ...
丹麦语 DU 3.3 4 Højskoler
气死了！完整的笔记被覆盖掉了😡 Nyt ordforråd om højskoler og fællesskaber højskole “休闲中学”，丹麦专有的特殊的学校，没有考试和入学要求，通常是文理中学毕业的学生 gap year 的去处。 fællesskab -et, -er, -erne 社区 halvanden 一又二分之一 skynde -r, -de, -t 匆忙 netværk et, - eller -er, -ene eller -erne 网络 emne -t, -r, -rne 主题 hverken … eller … 既不……也不…… adgangskrav 入学要求 idræt -ten, -ter, -terne 体育 区分 tror, synes, tænke tror：表示相信或猜测，基于不确定的事实或推测。 synes：表示个人的主观看法或感受，通常用于表达意见。 tænke：表示思考的过程，可以是计划、反思或想念。 bl.a. 例如 vælge -r, valgte, valgt 选择 Sætningskløvninger ...
Efficient ReliK 1 Paper Reading
This is one of the two projects I undertake in 24 Fall semester, which is related to data mining. Supervisor: Assoc. Prof. Davide Mottin, PhD Student Maximilian Egger. Generally speaking, they have already developed a new method, ReliK, for measuring knowledge graph embeddings, but they want to speed it up with GPUs. So my project is focusing on this. I wish to speed them up with some tolerance on small accuracy loss. I need to first get familiar with the paper, ReliK: A Reliability Measure for ...
算法和计算复杂度 8 Branching Programs and Barrington’s Theorem
NC1⊆L/poly⊆NL/poly⊆AC1NC^1\subseteq L/poly\subseteq NL/poly\subseteq AC^1NC1⊆L/poly⊆NL/poly⊆AC1. The model of branching programs that give a precise characterization of L/polyL/polyL/poly and NL/polyNL/polyNL/poly. Deterministic / non-deterministic branching program Boolean Branching Program Deterministic 📖Definition 32. A Deterministic Boolean branching program BBB with nnn inputs consists of the following: A directed acyclic graph D=(V,A)D=(V,A)D=(V,A), where the out-degree of all nodes is ...
丹麦语 DU 3.3 3 Sammenligning af forskellige kulturer
Sammenligninger sammenligning -en, -er, -erne 比较 Sammenligninger i 1. grad 原级比较 ikke så … som Eks: Tom er ikke så høj som Mads. 汤姆没有梅兹高。Tom ist nicht so groß wie Mads. lige så … som Eks: Poul er lige så høj som Mads. 汤姆和梅兹一样高。Poul ist so groß wie Mads. lige … (-e) Eks: Poul og Mads er lige høje. 汤姆和梅兹一样高。Poul und Mads sind gleich groß. Sammenligninger i 2. grad 比较级比较 -(e)re end Eks: Poul er højere end Tom. mere … end Eks: Tom er mere sporty end Poul. mindre … end Eks: Poul er mi ...
Fair AI/ML 0 Overview
This semester, I will do a project again with Iannis. I took some time to review the tutorial Fairness in AI/ML via Social Choice by Evi Micha & Nisarg Shah. Social Choice Theory: Aggregating individual preferences into “good” collective decisions Fairness in Social Choice 很熟悉了，可以快速掠过。 ⚠️这里考虑的是 DIVISIBLE ITEMS. EF, PROP Fair division: Agents NNN, divisible resources MMM, utility function uiu_iui. Non-negative utilities (good), non-positive utilities (chores). Proportionality, envy-freenes ...
丹麦语 DU 3.3 2 Normer og uskrevne regler
Høflighed og nedtoning 降低语气，表礼貌委婉 Generalisering: Danskerne er svære at komme i kontakt med. kan: Danskerne kan være svære at komme i kontakt med. 情态动词 kan 在此处表示一种可能性，不绝对。 mange/nogle/en del/de fleste: Nogle danskerne er svære at komme i kontakt med. 定量表达：并不是所有（人）怎么怎么样。 ofte/tit/normalt/nogle gange: Danskerne er nogle gange svære at komme i kontakt med. 频率副词：并不是 100% 会发生。 vist/nok: Danskerne er vist svære at komme i kontakt med. 表示不确定的副词：可能、大概 lidt/ret: Danskerne er lidt svære at komme i konta ...
