「math.CT」カテゴリーアーカイブ

Categorification of Negative Information using Enrichment

投稿日: 2023年8月8日 作成者: jarxiv

要約 多くのエンジニアリング用途では、「ネガティブな情報」について推論することが … 続きを読む →

カテゴリー: cs.RO, math.CT | Categorification of Negative Information using Enrichment はコメントを受け付けていません

Parmesan: mathematical concept extraction for education

投稿日: 2023年7月18日 作成者: jarxiv

要約 数学は高度に専門化された領域であり、独自の一連の課題を抱えているため、自然 … 続きを読む →

カテゴリー: cs.CL, cs.IR, cs.MS, math.CT | Parmesan: mathematical concept extraction for education はコメントを受け付けていません

Parmesan: mathematical concept extraction for education

投稿日: 2023年7月14日 作成者: jarxiv

要約 数学は高度に専門化された領域であり、独自の一連の課題を抱えているため、自然 … 続きを読む →

カテゴリー: cs.CL, cs.IR, cs.MS, math.CT | Parmesan: mathematical concept extraction for education はコメントを受け付けていません

String Diagrams with Factorized Densities

投稿日: 2023年7月3日 作成者: jarxiv

要約 確率的プログラムと因果モデルに関する一連の研究の増加により、有向グラフィカ … 続きを読む →

カテゴリー: cs.LG, cs.PL, math.CT, math.PR | String Diagrams with Factorized Densities はコメントを受け付けていません

Mathematical Foundations for a Compositional Account of the Bayesian Brain

投稿日: 2023年6月30日 作成者: jarxiv

要約 この論文は、能動推論とベイジアン脳の構成的説明に向けたいくつかの最初のステ … 続きを読む →

カテゴリー: cs.AI, math.CT, math.DS, math.ST, q-bio.NC, stat.TH | Mathematical Foundations for a Compositional Account of the Bayesian Brain はコメントを受け付けていません

Supervised learning with probabilistic morphisms and kernel mean embeddings

投稿日: 2023年5月30日 作成者: jarxiv

要約 この論文では、両方とも可測空間である入力空間 $\mathcal{X}$ … 続きを読む →

カテゴリー: 18N99, 46N30, 60B10, 62G05, cs.LG, math.CT, math.FA, math.PR, math.ST, stat.TH | Supervised learning with probabilistic morphisms and kernel mean embeddings はコメントを受け付けていません

Supervised learning with probabilistic morphisms and kernel mean embeddings

投稿日: 2023年5月26日 作成者: jarxiv

要約 この論文では、可測空間である入力空間 $\mathcal{X}$ とラベル … 続きを読む →

カテゴリー: 18N99, 46N30, 60B10, 62G05, cs.LG, math.CT, math.FA, math.PR, math.ST, stat.TH | Supervised learning with probabilistic morphisms and kernel mean embeddings はコメントを受け付けていません

The Compositional Structure of Bayesian Inference

投稿日: 2023年5月11日 作成者: jarxiv

要約 タイトル：ベイズ推論の構成的構造 要約：ベイズの法則は、新しい証拠に基づい … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.PL, math.CT, math.PR | The Compositional Structure of Bayesian Inference はコメントを受け付けていません

Algebraic and Geometric Models for Space Networking

投稿日: 2023年4月4日 作成者: jarxiv

要約 タイトル：宇宙ネットワークの代数的および幾何学的モデル 要約： &#821 … 続きを読む →

カテゴリー: 16Y60 (Secondary), 55N31, cs.LG, cs.NI, math.AT, math.CT | Algebraic and Geometric Models for Space Networking はコメントを受け付けていません

A Formalization of Operads in Coq

投稿日: 2023年3月17日 作成者: jarxiv

要約 プログラミング言語内での実行の正確性について最高レベルの保証を提供するもの … 続きを読む →

カテゴリー: cs.CL, cs.PL, math.CT | A Formalization of Operads in Coq はコメントを受け付けていません