論文の概要: Practical and Verifiable Electronic Sortition
- arxiv url: http://arxiv.org/abs/2006.13920v1
- Date: Wed, 24 Jun 2020 17:49:21 GMT
- ステータス: 処理完了
- システム内更新日: 2023-05-12 22:16:31.038909
- Title: Practical and Verifiable Electronic Sortition
- Title(参考訳): 実用的かつ検証可能な電子ソート
- Authors: Hsun Lee, Hsu-Chun Hsiao
- Abstract要約: 本稿では、T に対して効率よく結果が検証できる検証可能な e-sortition スキームを提案する。
本稿では,予備設計と実装について述べるとともに,さらなる実践性向上に向けた今後の方向性を探る。
- 参考スコア(独自算出の注目度): 6.665338231160324
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Existing verifiable e-sortition systems are impractical due to
computationally expensive verification (linear to the duration of the
registration phase, T) or the ease of being denial of service. Based on the
advance in verifiable delay functions, we propose a verifiable e-sortition
scheme whose result can be efficiently verified in constant time with respect
to T. We present the preliminary design and implementation, and explore future
directions to further enhance practicability.
- Abstract(参考訳): 既存の検証可能なe-sortitionシステムは、計算にコストがかかる検証(登録フェーズTの期間)やサービス拒否の容易さのため、実用的ではない。
検証可能な遅延関数の進歩に基づいて, t に対して, 定数時間で効率的に検証できる検証可能な e 分類方式を提案し, 予備設計と実装を行い, 実用性をさらに高めるための今後の方向性について検討する。
関連論文リスト
- Longitudinal Counterfactuals: Constraints and Opportunities [59.11233767208572]
本稿では,反ファクトの妥当性を評価・改善するために,縦断データを用いた手法を提案する。
本研究では, 縦差と反実差を比較する指標を開発し, 先行観測した変化と反実差の類似性を評価する。
論文 参考訳(メタデータ) (2024-02-29T20:17:08Z) - Defining and executing temporal constraints for evaluating engineering
artifact compliance [56.08728135126139]
プロセスコンプライアンスは、実際のエンジニアリング作業が記述されたエンジニアリングプロセスに可能な限り密接に従うことを保証することに焦点を当てます。
これらのプロセスの制約をチェックすることは、依然として大変な作業であり、多くの手作業を必要とし、プロセスの後半にエンジニアにフィードバックを提供する。
関連するエンジニアリングアーティファクト間の時間的制約を,アーティファクトの変更毎に段階的にチェックする,自動制約チェックアプローチを提案する。
論文 参考訳(メタデータ) (2023-12-20T13:26:31Z) - State Sequences Prediction via Fourier Transform for Representation
Learning [111.82376793413746]
本研究では,表現表現を効率よく学習する新しい方法である,フーリエ変換(SPF)による状態列予測を提案する。
本研究では,状態系列における構造情報の存在を理論的に解析する。
実験により,提案手法はサンプル効率と性能の両面で,最先端のアルゴリズムよりも優れていることが示された。
論文 参考訳(メタデータ) (2023-10-24T14:47:02Z) - Revisiting Test Time Adaptation under Online Evaluation [98.1597448991166]
テスト時間適応(TTA)メソッドは、テスト時にラベルのないデータを活用して、分散シフトに適応する。
現在の評価プロトコルは、この余分なコストの影響を見落とし、実際の適用性に影響を与える。
本稿では,TTA手法のより現実的な評価プロトコルを提案し,一定の速度のデータストリームからデータをオンライン形式で受信する。
論文 参考訳(メタデータ) (2023-04-10T18:01:47Z) - Conformance Checking with Uncertainty via SMT (Extended Version) [66.58864135810981]
データ認識参照プロセスに対する不確実なログの適合性を確認する方法を示す。
我々のアプローチはモジュラーであり、異なるタイプの不確実性に均質に適合する。
本研究は,概念実証によるアプローチの正しさと実現可能性を示す。
論文 参考訳(メタデータ) (2022-06-15T11:39:45Z) - Formal Semantics and Formally Verified Validation for Temporal Planning [7.538482310185133]
時間計画のための簡潔で簡潔な意味論を提示する。
このセマンティクスは対話型定理証明器 Isabelle/HOL の論理で開発・形式化されている。
我々はこれらのセマンティクスから時間計画のための検証アルゴリズムを導き、Isabelle/HOLの形式的証明を用いて、この検証アルゴリズムが我々のセマンティクスを実装していることを示す。
論文 参考訳(メタデータ) (2022-03-25T12:04:03Z) - Learned ISTA with Error-based Thresholding for Adaptive Sparse Coding [58.73333095047114]
学習用ISTA(LISTA)のためのエラーベースのしきい値設定機構を提案する。
提案手法は, 縮小関数の学習可能なパラメータを再構成誤差からよく切り離していることを示す。
論文 参考訳(メタデータ) (2021-12-21T05:07:54Z) - Temporal Effects on Pre-trained Models for Language Processing Tasks [9.819970078135343]
本稿では, 時間的モデル劣化がそれほど大きな問題ではないことを示すために, 大規模なニューラルプレトレーニング表現を用いた実験を行った。
しかし、時間的領域適応が有益であり、より最近の時間的データに基づいてシステムが訓練された場合、所定の時間に対してより優れた性能が得られる。
論文 参考訳(メタデータ) (2021-11-24T20:44:12Z) - Leveraging Time Irreversibility with Order-Contrastive Pre-training [3.1848820580333737]
時系列データに基づく自己教師付き事前学習のための「順序コントラスト」手法について検討する。
本研究では,順序コントラスト事前学習で学習した表現の下流誤差に対する有限サンプル保証を証明した。
この結果から,特定の分布クラスや下流タスクのために設計された事前学習手法が,自己指導型学習の性能を向上させることが示唆された。
論文 参考訳(メタデータ) (2021-11-04T02:56:52Z) - Expected Eligibility Traces [31.942254205913798]
期待されたトレースは、現在の状態に先行する可能性のある状態やアクションを更新することを可能にする。
ブートストラップと同様のメカニズムにより,即時と期待されたトレースを円滑に補間する方法を提供する。
論文 参考訳(メタデータ) (2020-07-03T17:46:16Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。