roleinteract-evaluating-social-interaction-of-role-playing-agents

dvmnet-computing-relative-pose-for-unseen-objects-beyond-hypotheses

motorease-automated-detection-of-motor-impairment-accessibility-issues-in-mobile-app-uis

公開されているphm内のタスク用の劣化データセットの概要

ロボットの地形分類における損失正則化

sptnet-efficient-framework-for-generalized-category-discovery

多元ソース衛星画像の組み合わせによる多スケール船舶検出の洞察

coq形式化による微分可能論理の制御


Die Kernaussage dieses Artikels ist, dass Parametrität im Wesentlichen einen modalen Aspekt hat, der eng mit dem kategorietheoretischen Konzept der Kohäsion verbunden ist. Auf dieser Grundlage wird eine allgemeine kategorielle Semantik für modale Parametrität beschrieben und ein entsprechendes Axiomensystem in der abhängigen Typentheorie entwickelt, um solche Parametrität intern darzustellen und zu beweisen.


coremsg

parametrität-durch-kohäsion

title_rewrite

Parametrität in Typentheorie

Parametrität durch Kohäsion