論文の概要: Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down

• arxiv url: http://arxiv.org/abs/2105.04817v1
• Date: Tue, 11 May 2021 07:10:13 GMT
• ステータス: 処理完了
• システム内更新日: 2021-05-12 13:53:27.685599
• Title: Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down
• Title（参考訳）: fibrational initial algebra-final coalgebra coincide over initial algebras: turn verification witnesss upside
• Authors: Mayuko Kori, Ichiro Hasuo, Shin-ya Katsumata
• Abstract要約: 初期代数 (IAs) と最終コレージュブラ (FCs) の一致は、理論計算機科学において様々な重要な結果を支える現象である。 IA-FCの一致に対する一般的なファイバー合理条件、すなわち基底圏の初期代数上のファイバーを同定する。
• 参考スコア（独自算出の注目度）: 1.4502611532302039
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: The coincidence between initial algebras (IAs) and final coalgebras (FCs) is a phenomenon that underpins various important results in theoretical computer science. In this paper, we identify a general fibrational condition for the IA-FC coincidence, namely in the fiber over an initial algebra in the base category. Identifying (co)algebras in a fiber as (co)inductive predicates, our fibrational IA-FC coincidence allows one to use coinductive witnesses (such as invariants) for verifying inductive properties (such as liveness). Our general fibrational theory features the technical condition of stability of chain colimits; we extend the framework to the presence of a monadic effect, too, restricting to fibrations of complete lattice-valued predicates. Practical benefits of our categorical theory are exemplified by new "upside-down" witness notions for three verification problems: probabilistic liveness, and acceptance and model-checking with respect to bottom-up tree automata.
• Abstract（参考訳）: 初期代数 (IAs) と最終コーデブラ (FCs) の一致は、理論計算機科学において様々な重要な結果を支える現象である。 本稿では,IA-FCの相違点,すなわち基底圏の初期代数上のファイバーについて,一般的なフィブレーション条件を同定する。 ファイバー中の(co)アルジェブラを(co)インダクティブ述語として同定し、我々のfibrational ia-fcの一致により、インダクティブな証人(不変量など)を使ってインダクティブな性質(生活性など)を検証することができる。 我々の一般的なフィブレーション理論は鎖コリミットの安定性の技術的条件を特徴とし、その枠組みをモナディック効果の存在にまで拡張し、完全格子値の述語フィブレーションに制限する。 私たちの分類理論の実際的な利点は、確率的生存、ボトムアップツリーオートマトンに対する受容とモデルチェックという3つの検証問題に対する新しい「アップサイドダウン」証人概念によって例示される。

関連論文リスト

• A Non-negative VAE:the Generalized Gamma Belief Network [49.970917207211556]
  ガンマ信念ネットワーク(GBN)は、テキストデータ中の多層解釈可能な潜在表現を明らかにする可能性を実証している。 本稿では、一般化ガンマ信念ネットワーク(Generalized GBN)を導入し、元の線形生成モデルをより表現力のある非線形生成モデルに拡張する。 また、潜伏変数の後方分布を近似する上向きのワイブル推論ネットワークを提案する。
  論文  参考訳（メタデータ） (2024-08-06T18:18:37Z)
• Graph Stochastic Neural Process for Inductive Few-shot Knowledge Graph Completion [63.68647582680998]
  I-FKGC(inductive few-shot knowledge graph completion)と呼ばれる課題に焦点をあてる。 帰納的推論(inductive reasoning)の概念に着想を得て,I-FKGCを帰納的推論問題とした。 本稿では,仮説の連成分布をモデル化したニューラルプロセスに基づく仮説抽出器を提案する。 第2のモジュールでは、この仮説に基づいて、クエリセットのトリプルが抽出された仮説と一致するかどうかをテストするグラフアテンションベースの予測器を提案する。
  論文  参考訳（メタデータ） (2024-08-03T13:37:40Z)
• Towards Demystifying the Generalization Behaviors When Neural Collapse Emerges [132.62934175555145]
  Neural Collapse(NC)は、トレーニング末期(TPT)におけるディープニューラルネットワークのよく知られた現象である 本稿では,列車の精度が100%に達した後も,継続訓練がテストセットの精度向上に繋がる理由を理論的に説明する。 我々はこの新たに発見された性質を「非保守的一般化」と呼ぶ。
  論文  参考訳（メタデータ） (2023-10-12T14:29:02Z)
• Synergies between Disentanglement and Sparsity: Generalization and Identifiability in Multi-Task Learning [79.83792914684985]
  我々は,最大スパース基底予測器が不整合表現をもたらす条件を提供する新しい識別可能性の結果を証明した。 この理論的な結果から,両レベル最適化問題に基づくアンタングル表現学習の実践的アプローチを提案する。
  論文  参考訳（メタデータ） (2022-11-26T21:02:09Z)
• Adversarially Robust Models may not Transfer Better: Sufficient Conditions for Domain Transferability from the View of Regularization [17.825841580342715]
  機械学習の堅牢性とドメインの一般化は基本的に相関している。 最近の研究では、より堅牢な(逆向きに訓練された)モデルの方がより一般化可能であることが示されている。 彼らの基本的な関係に関する理論的理解が欠如している。
  論文  参考訳（メタデータ） (2022-02-03T20:26:27Z)
• First Power Linear Unit with Sign [0.0]
  バイオニクスの直感的な意味を持ちながら、一般的な逆操作によって啓蒙される。 PFPLUSと呼ばれるより一般化された型に表される関数を2つのパラメータで拡張する。
  論文  参考訳（メタデータ） (2021-11-29T06:47:58Z)
• Sparse NMF with Archetypal Regularization: Computational and Robustness Properties [15.057021545475601]
  正規化を用いたスパース非負行列分解(NMF)の問題を考える。 目標は、データポイントの集合を、魅力のある性質を持ついくつかの非負のスパース因子の非負の線形結合として表現することである。
  論文  参考訳（メタデータ） (2021-04-08T06:06:48Z)
• GroupifyVAE: from Group-based Definition to VAE-based Unsupervised Representation Disentanglement [91.9003001845855]
  他の誘導バイアスを導入しないと、VAEベースの非監視的非絡み合いは実現できない。 グループ理論に基づく定義から導かれる制約を非確率的帰納的バイアスとして活用し,vaeに基づく教師なし不連続に対処する。 提案手法の有効性を検証するために,5つのデータセット上で,vaeベースモデルが最も目立つ1800モデルをトレーニングした。
  論文  参考訳（メタデータ） (2021-02-20T09:49:51Z)
• Robust normalizing flows using Bernstein-type polynomials [31.533158456141305]
  正規化フロー(NFs)は、正確な密度評価とサンプリングを可能にする生成モデルのクラスである。 三角写像とベルンシュタイン型の増大に基づくNFを構築するための枠組みを提案する。 実世界のデータセットと合成データセットの両方を用いた実験により,提案手法の有効性を実証的に実証した。
  論文  参考訳（メタデータ） (2021-02-06T04:32:05Z)
• Finite-Function-Encoding Quantum States [52.77024349608834]
  任意の$d$値論理関数を符号化する有限関数符号化(FFE)を導入する。 それらの構造的特性について検討する。
  論文  参考訳（メタデータ） (2020-12-01T13:53:23Z)
• Inverses, disintegrations, and Bayesian inversion in quantum Markov categories [0.0]
  確率論と情報理論に対する合成アプローチを洗練・拡張する構造として量子マルコフ圏を導入する。 可逆性と統計的推論の3つのより一般的な概念を連続的に分析する。
  論文  参考訳（メタデータ） (2020-01-21T11:19:04Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。