論文の概要: Consensus-Free Spreadsheet Integration

• arxiv url: http://arxiv.org/abs/2209.14457v2
• Date: Sat, 13 Sep 2025 02:30:15 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-09-17 15:46:32.288517
• Title: Consensus-Free Spreadsheet Integration
• Title（参考訳）: コンセンサスフリースプレッドシート統合
• Authors: Brandon Baylor, Eric Daimler, James Hansen, Esteban Montero, Ryan Wisnesky,
• Abstract要約: 本稿では,複数のスプレッドシートを1枚のシートにマージし,シート間でデータを交換する方法について述べる。 我々は、圏論からコリミット、リフト、カン拡張の構成を行い、正準普遍積分理論とモデルを計算する。 本稿では, 大手エネルギー企業における実世界の石油・ガス計算におけるこの手法のケーススタディについて述べる。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: We describe a method for merging multiple spreadsheets into one sheet, and/or exchanging data among the sheets, by expressing each sheet's formulae as an algebraic (equational) theory and each sheet's values as a model of its theory, expressing the overlap between the sheets as theory and model morphisms, and then performing colimit, lifting, and Kan-extension constructions from category theory to compute a canonically universal integrated theory and model, which can then be expressed as a spreadsheet. Our motivation is to find methods of merging engineering models that do not require consensus (agreement) among the authors of the models being merged, a condition fulfilled by our method because theory and model morphisms are semantics-preserving. We describe a case study of this methodology on a real-world oil and gas calculation at a major energy company, describing the theories and models that arise when integrating two different casing pressure test (MASP) calculation spreadsheets constructed by two non-interacting engineers. We also describe the automated theorem proving burden associated with both verifying the semantics preservation of the overlap mappings as well as verifying the conservativity/consistency of the resulting integrated sheet. We conclude with thoughts on how to apply the methodology to scale engineering efforts across the enterprise.
• Abstract（参考訳）: 各シートの式を代数的(等式的)理論として表現し、各シートの値を理論のモデルとして表現し、シート間の重なりを理論とモデル射として表現し、次にカテゴリ理論からコリミット、リフト、カン伸張構造を実行し、正準普遍的な統合理論とモデルを計算し、スプレッドシートとして表す。 我々のモチベーションは、マージされるモデルの著者の間でコンセンサスを必要としないエンジニアリングモデルをマージする方法を見つけることである。 本稿では,2つの非接触技術者によって構築されたMASP計算スプレッドシートを統合する際に生じる理論とモデルについて述べる。 また、重なり合う写像のセマンティクス保存の検証と、結果として得られる積分シートの保守性/一貫性の検証にかかわる、自動定理証明の負担についても述べる。 我々は、この方法論を企業全体のエンジニアリング活動にどのように適用するかという考え方で締めくくります。

関連論文リスト

• The Differential Meaning of Models: A Framework for Analyzing the Structural Consequences of Semantic Modeling Decisions [0.0]
  我々は、モデルが潜在記号幾何学を測り、記号的データセットの下のセミオティックエージェンシーの複合体に関する仮説として理解することができると論じる。 これはモデルセマンティクスの理論の基礎を形成し、モデルとそれらを構成するモデル決定は、それ自体が記号として扱われる。
  論文  参考訳（メタデータ） (2025-08-29T21:28:10Z)
• MAP: Low-compute Model Merging with Amortized Pareto Fronts via Quadratic Approximation [80.47072100963017]
  Amortized Pareto Front (MAP) を用いた新しい低演算アルゴリズム Model Merging を導入する。 MAPは、複数のモデルをマージするためのスケーリング係数のセットを効率的に識別し、関連するトレードオフを反映する。 また,タスク数が比較的少ないシナリオではベイジアンMAP,タスク数の多い状況ではNested MAPを導入し,計算コストを削減した。
  論文  参考訳（メタデータ） (2024-06-11T17:55:25Z)
• Shape Arithmetic Expressions: Advancing Scientific Discovery Beyond Closed-Form Equations [56.78271181959529]
  GAM(Generalized Additive Models)は、変数とターゲットの間の非線形関係をキャプチャできるが、複雑な特徴相互作用をキャプチャすることはできない。 本稿では,GAMのフレキシブルな形状関数と,数学的表現に見られる複雑な特徴相互作用を融合させる形状表現算術(SHARE)を提案する。 また、標準制約を超えた表現の透明性を保証するSHAREを構築するための一連のルールを設計する。
  論文  参考訳（メタデータ） (2024-04-15T13:44:01Z)
• DIFFormer: Scalable (Graph) Transformers Induced by Energy Constrained Diffusion [66.21290235237808]
  本稿では,データセットからのインスタンスのバッチを進化状態にエンコードするエネルギー制約拡散モデルを提案する。 任意のインスタンス対間の対拡散強度に対する閉形式最適推定を示唆する厳密な理論を提供する。 各種タスクにおいて優れた性能を有する汎用エンコーダバックボーンとして,本モデルの適用性を示す実験を行った。
  論文  参考訳（メタデータ） (2023-01-23T15:18:54Z)
• Unsupervised Knowledge Graph Alignment by Probabilistic Reasoning and Semantic Embedding [22.123001954919893]
  本稿では,確率論的推論とセマンティック埋め込みに基づくPRASEという反復的フレームワークを提案する。 PRASEフレームワークは、異なる埋め込みベースのモデルと互換性があり、複数のデータセットの実験では、その最先端性能が実証されている。
  論文  参考訳（メタデータ） (2021-05-12T11:27:46Z)
• Data-Driven Logistic Regression Ensembles With Applications in Genomics [0.0]
  本稿では,正規化とアンサンブル技術を融合した高次元バイナリ分類手法を提案する。 医学ゲノミクスの応用において,本手法は競合する手法によって見落とされた重要なバイオマーカーを同定する。
  論文  参考訳（メタデータ） (2021-02-17T05:57:26Z)
• Multi-Partition Embedding Interaction with Block Term Format for Knowledge Graph Completion [3.718476964451589]
  知識グラフ埋め込み法は、実体と関係を埋め込みベクトルとして表現することでタスクを実行する。 従来の作業は通常、各埋め込み全体を扱い、これらの埋め込み全体間の相互作用をモデル化してきた。 本稿では,ブロック項形式を用いたマルチパーティション埋め込み相互作用(MEI)モデルを提案し,この問題に対処する。
  論文  参考訳（メタデータ） (2020-06-29T20:37:11Z)
• A Variational View on Bootstrap Ensembles as Bayesian Inference [24.55506395666038]
  本稿では,各モデル/粒子がパラメトリックブートストラップと先行の摂動によりデータの摂動に対応するアンサンブルに基づく手法を検討する。 実験により、アンサンブル法がベイズ近似の代替となることが確認された。
  論文  参考訳（メタデータ） (2020-06-08T13:01:37Z)

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

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