論文の概要: chemSKI with tokens: world building and economy in the SKI universe
- arxiv url: http://arxiv.org/abs/2306.00938v1
- Date: Thu, 1 Jun 2023 17:40:30 GMT
- ステータス: 処理完了
- システム内更新日: 2023-06-02 14:09:29.670902
- Title: chemSKI with tokens: world building and economy in the SKI universe
- Title(参考訳): chemSKI with tokens: World Building and economy in the SKI universe
- Authors: Marius Buliga
- Abstract要約: chemSKI with tokens は、すべての書き直しが局所的なグラフ書き換えシステムであり、SKI計算の削減に使用できる。
化学スタイルの保守的な書き直し、分散化されたグラフィカルリダクションにおける新しいエッジ名問題への解決策である。
この形式は、人工化学または局所的な還元のみを行う仮想分散マシンのモデルとして用いられる。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: chemSKI with tokens is a confluent graph rewrite system where all rewrites
are local, which moreover can be used to do SKI calculus reductions. The graph
rewrites of chemSKI are made conservative by the use of tokens. We thus achieve
several goals: conservative rewrites in a chemical style, a solution to the
problem of new edge names in a distributed, decentralized graphical reduction
and a new estimation of the cost of a combinatory calculus computation. This
formalism can be used either as an artificial chemistry or as a model of a
virtual decentralized machine which performs only local reductions. A programs
repository and the same article with simulations are available at github at
https://mbuliga.github.io/chemski/chemski-with-tokens.html
- Abstract(参考訳): chemski with tokensは、全ての書き直しが局所的に行われる合流グラフ書き換えシステムである。
chemSKIのグラフの書き直しはトークンを使用することで保守的である。
そこで我々は, 化学スタイルの保守的書き直し, 分散化された分散化されたグラフィカルリダクションにおける新しいエッジ名問題への解決策, 組合せ計算のコストを新たに見積もる, いくつかの目標を達成した。
この形式化は、人工化学としても、局所的な還元のみを行う仮想分散機械のモデルとしても使うことができる。
プログラムリポジトリとシミュレーションに関する同じ記事がgithubのhttps://mbuliga.github.io/chemski/chemski-with-tokens.htmlで入手できる。
関連論文リスト
- Scalable Graph Compressed Convolutions [68.85227170390864]
ユークリッド畳み込みのための入力グラフのキャリブレーションに置換を適用する微分可能手法を提案する。
グラフキャリブレーションに基づいて,階層型グラフ表現学習のための圧縮畳み込みネットワーク(CoCN)を提案する。
論文 参考訳(メタデータ) (2024-07-26T03:14:13Z) - FALCON: Feature-Label Constrained Graph Net Collapse for Memory
Efficient GNNs [6.572149681197959]
グラフニューラルネットワーク(GNN)は、相互接続されたデータセットによる機械学習の新しい時代の幕を閉じた。
ほとんどのGNNは、数千万のノードを持つ巨大で複雑なネットワークを含む現実世界のアプリケーションではスケールできない。
本稿では,これらの制約に対処するため,Feature-Label Constrained graph Net collapse, FALCONを提案する。
論文 参考訳(メタデータ) (2023-12-27T11:53:17Z) - Rethinking Tokenizer and Decoder in Masked Graph Modeling for Molecules [81.05116895430375]
マスク付きグラフモデリングは、分子グラフの自己教師付き表現学習において優れている。
サブグラフレベルのトークン化器とremaskデコーディングを備えた十分表現力のあるデコーダがエンコーダの表現学習に大きな影響を与えることを示す。
我々は,単純なGNNベースのTokenizer(SGT)と効果的な復号化戦略を備えた,新しいMGM手法SimSGTを提案する。
論文 参考訳(メタデータ) (2023-10-23T09:40:30Z) - Retro-fallback: retrosynthetic planning in an uncertain world [29.35379180648418]
再合成は、よりシンプルで購入可能な分子から望ましい分子を作るために一連の化学反応を計画するタスクである。
本稿では,この不確実性を考慮したレトロ合成の新規な定式化を提案する。
そこで我々は,少なくとも1つの計画が実験室で実行可能である確率を最大化する,レトロフォールバック(retro-fallback)と呼ばれる新しいグリージーアルゴリズムを提案する。
論文 参考訳(メタデータ) (2023-10-13T17:35:04Z) - The ZX-Calculus is Canonical in the Heisenberg Picture for Stabilizer
Quantum Mechanics [0.0]
2008年、コーケとダンカンは、量子回路、測定、量子状態による推論を形式化するグラフィカルなZX計算書き換えシステムを提案した。
2014年、バックンスは完全性を証明し、安定化器の量子力学における行列による導出は、ZX-計算を用いてグラフィカルに導出できることを証明した。
ここでは、安定化量子力学のために、還元ZX書き換え系がハイゼンベルク図形に既に収束していることを示す。
論文 参考訳(メタデータ) (2023-01-13T19:00:01Z) - Faster Privacy Accounting via Evolving Discretization [54.32252900997422]
プライバシランダム変数の数値合成のための新しいアルゴリズムを提案する。
本アルゴリズムは,メカニズムを自己コンパイルするタスクに対して,$mathrmpolylog(k)$の実行時間とメモリ使用量を達成する。
論文 参考訳(メタデータ) (2022-07-10T04:25:37Z) - SWAT: Spatial Structure Within and Among Tokens [53.525469741515884]
我々は,トークン化時に空間構造が保存される場合,モデルが顕著な利得が得られることを論じる。
本研究では,(1)構造認識のトークン化と(2)構造認識のミキシングという2つの重要なコントリビューションを提案する。
論文 参考訳(メタデータ) (2021-11-26T18:59:38Z) - Learning Graphons via Structured Gromov-Wasserstein Barycenters [143.42601038462965]
本稿では,graphonと呼ばれる非パラメトリックグラフモデルを学ぶための新しい原理的手法を提案する。
提案手法は, 従来の最先端手法の欠点を克服し, 合成データと実データの両方でそれを上回る。
論文 参考訳(メタデータ) (2020-12-10T13:04:29Z) - Predictive Coding Approximates Backprop along Arbitrary Computation
Graphs [68.8204255655161]
我々は、コア機械学習アーキテクチャを予測的符号化に翻訳する戦略を開発する。
私たちのモデルは、挑戦的な機械学習ベンチマークのバックプロップと同等に機能します。
本手法は,ニューラルネットワークに標準機械学習アルゴリズムを直接実装できる可能性を高める。
論文 参考訳(メタデータ) (2020-06-07T15:35:47Z) - Artificial life properties of directed interaction combinators vs.
chemlambda [0.0]
2つの人工化学薬品が人工的な生命行動(複製、代謝、死)を許容するかどうかに興味がある。
これらの実験の主な結論は、矛盾する書き直しを可能にするグラフの書き直しが、そうでないものよりも優れていることである。
これは、非競合グラフ書き換えシステムが歴史的に好まれる分散コンピューティングのための優れたグラフ書き換えシステムを探すことと矛盾する。
論文 参考訳(メタデータ) (2020-05-12T21:28:31Z) - Artificial chemistry experiments with chemlambda, lambda calculus,
interaction combinators [0.0]
これらは、Chemlambdaを用いた人工化学実験のページの序文である。
実験はページにまとめられ、すべてプログラムのライブラリに基づいて行われる。
これらの実験には、他のコントリビュータの公開リポジトリへのリンクがあり、これらのプログラムのバージョンはpython、haskell、awk、JavaScriptで書かれている。
論文 参考訳(メタデータ) (2020-03-31T16:15:18Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。