論文の概要: A note on the connectedness property of union-free generic sets of
partial orders
- arxiv url: http://arxiv.org/abs/2304.10549v2
- Date: Thu, 21 Dec 2023 09:43:50 GMT
- ステータス: 処理完了
- システム内更新日: 2023-12-22 19:06:30.813680
- Title: A note on the connectedness property of union-free generic sets of
partial orders
- Title（参考訳）: 部分順序の共役フリージェネリック集合の連結性に関する一考察
- Authors: Georg Schollmeyer, Hannah Blocher
- Abstract要約: このノートはBlocherらによって導入された連結性について記述し、証明している[2023]
連結性は、ユニオンフリーなジェネリック集合に関する構造的な洞察を与える。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by-nc-nd/4.0/
- Abstract: This short note describes and proves a connectedness property which was
introduced in Blocher et al. [2023] in the context of data depth functions for
partial orders. The connectedness property gives a structural insight into
union-free generic sets. These sets, presented in Blocher et al. [2023], are
defined by using a closure operator on the set of all partial orders which
naturally appears within the theory of formal concept analysis. In the language
of formal concept analysis, the property of connectedness can be vividly
proven. However, since within Blocher et al. [2023] we did not discuss formal
concept analysis, we outsourced the proof to this note.
- Abstract（参考訳）: この短い注記は、blocherらによって導入された連結性の性質を記述し、証明している。
2023] 部分順序に対するデータ深さ関数の文脈において。
連結性はユニオンフリーな一般集合の構造的洞察を与える。
これらの集合はblocher et alで示される。
2023]は、形式的概念解析理論の中に自然に現れるすべての部分順序の集合上のクロージャ演算子を用いて定義される。
形式的概念解析の言語では、連結性の性質は鮮明に証明できる。
しかし、その後Blocherらで活動した。
2023] 形式的な概念分析を議論しなかったので, このノートに証明をアウトソースした。
関連論文リスト
- Non-monotonic Extensions to Formal Concept Analysis via Object Preferences [3.4873708563238277]
属性の集合間の非単調条件を導入し、オブジェクトの集合よりも好みを仮定する。
この条件は、非単調性に対する仮定と一致した帰結関係をもたらすことを示す。
この典型的概念の概念は、形式的概念分析へのKLMスタイルの典型性のさらなる導入である。
論文 参考訳（メタデータ） (2024-10-05T15:01:00Z) - Compositional Structures in Neural Embedding and Interaction Decompositions [101.40245125955306]
ニューラルネットワークにおけるベクトル埋め込みにおける線形代数構造間の基本的な対応について述べる。
相互作用分解」の観点から構成構造の特徴づけを導入する。
モデルの表現の中にそのような構造が存在するためには、必要かつ十分な条件を確立する。
論文 参考訳（メタデータ） (2024-07-12T02:39:50Z) - Unextendibility, uncompletability, and many-copy indistinguishable
ensembles [77.34726150561087]
本研究では,不拡張性,不コンパイル性について検討し,多くのコピー不識別アンサンブルへの接続を解析する。
混合度を減少させて局所的不識別性を増大させる多部構成の多部構成の多部構成不識別アンサンブルについて報告する。
論文 参考訳（メタデータ） (2023-03-30T16:16:41Z) - Unifying different notions of quantum incompatibility into a strict
hierarchy of resource theories of communication [60.18814584837969]
我々は、POVM、チャネル、機器の非互換性の異なる概念を統一するq-compatibilityの概念を導入する。
我々は、情報理論資源の観点から、各非互換性の概念が何を構成しているかを正確に特定することができる。
論文 参考訳（メタデータ） (2022-11-16T21:33:31Z) - Generating Compressed Combinatory Proof Structures -- An Approach to
Automated First-Order Theorem Proving [0.0]
ここでは、自動一階述語証明に対する「証明構造としての組合せ項」のアプローチを紹介する。
このアプローチは、凝縮した分枝に根付いた証明構造の項ビューと接続法に基づいて構築される。
論文 参考訳（メタデータ） (2022-09-26T11:23:17Z) - Revisiting initial sets in abstract argumentation [7.249126423531563]
我々は、Xu と Cayrol による初期集合、すなわち議論フレームワークにおける空でない最小許容集合の概念を再考する。
初期集合の構造に関する新たな洞察に寄与し、任意の許容集合に対して単純な非決定論的構成原理を考案する。
論文 参考訳（メタデータ） (2022-04-21T09:23:12Z) - Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
完全同型暗号方式として, 完全同型暗号方式を初めて構築する。
我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
論文 参考訳（メタデータ） (2022-03-03T10:07:32Z) - On the KLM properties of a fuzzy DL with Typicality [0.0]
ファジィ論理を典型演算子で拡張することにより,多層パーセプトロンのファジィ多重参照セマンティクスを定義する手法が提案されている。
本稿では,その特性について考察する。
論文 参考訳（メタデータ） (2021-06-01T10:57:46Z) - Finite Confluences and Closed Pattern Mining [0.114219428942199]
閉域作用素に関する良好な性質を有する格子構造よりも弱い部分順序構造を提案し,検討する。
これらの構造を調べる主な動機は、要素が連結している部分への格子の減少を可能にすることである。
また、ガロア接続に関わる格子の1つが閉鎖作用素の範囲の構造にどのように影響するかについても検討した。
論文 参考訳（メタデータ） (2021-02-14T09:12:46Z) - Finite-Function-Encoding Quantum States [52.77024349608834]
任意の$d$値論理関数を符号化する有限関数符号化(FFE)を導入する。
それらの構造的特性について検討する。
論文 参考訳（メタデータ） (2020-12-01T13:53:23Z) - Models of zero-range interaction for the bosonic trimer at unitarity [91.3755431537592]
ゼロ範囲の2体相互作用によって相互に結合された同一ボソンからなる3体系に対する量子ハミルトニアンの構成について述べる。
プレゼンテーションの大部分では、無限の散乱長が考慮される。
論文 参考訳（メタデータ） (2020-06-03T17:54:43Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。