KG_CS 도메인

컴퓨터과학. 1.8K+ 노드. SoftwareSourceCode(646), CompilerTheory(77), AIAgent(46).

4,302 Nodes
15 Sub-Labels
10 Rel Types

라벨 분포

SoftwareSourceCode
646
ComputerScience
567
Concept
326
KG_SYM
312
KnowledgeNode
292
SoftwareApplication
246
KG_REFERENCE
86
APIMethod
80
CompilerTheory
77
KG_AI
70
ParallelComputing
59
OptimizationTheory
53

관계 타입

INSTANTIATES 2,005 FOLLOWS 1,997 STUDIES 1,705 SAME_MODULE 1,604 IN_CATEGORY 1,592 TESTS 1,531 CROSS_DOMAIN 1,512 INSTANCE_OF 1,387 CLASSIFIED_AS 1,253 RELATED_TO 1,125

샘플 노드

KnowledgeNode

AutomaticDifferentiation

Compute exact derivatives programmatically. Forward mode (dual numbers) or reverse mode (adjoint). Reverse mode = backprop. PyTorch autograd, JAX.

TDD:TYPE:ViewerHoleData:nominal_center_value_check

nominal_center must not be None

SoftwareSourceCode

agent_utils.py

Agent utility functions (NE1A only - not present in MQ4A)

KnowledgeNode

RaceCondition

Outcome depends on thread scheduling order. Data race: unsynchronized access where at least one is write. Rust borrow checker prevents data races at c

WH_Contract_Element

하이퍼그래프의 기본 이산 요소. 라벨은 임의적이며 일관된 참조만 중요.

Concept

연결_모델

논문의 weight를 확장. 단순 스칼라가 아닌 4종류의 구조화된 관계.

Concept

Long-Lived Transaction

Long-Lived Transaction: computer science concept. Related: APTMethod, NET Namespace,

assignee

assignee: computer science concept. Related: bpm_width_mm, Mapping: Quality,