3-SAT問題解決に対する生体分子計算の複雑性について
スポンサーリンク
概要
- 論文の詳細を見る
SAT問題解決に対する代表的な生体分子計算アルゴリズムの複雑性をサーベイする概要を述べる。
- 一般社団法人情報処理学会の論文
- 2007-01-23
著者
-
劉 健勤
独立行政法人情報通信研究機構未来ict研究センター
-
劉 健勤
独立行政法人情報通信研究機構神戸研究所未来ict研究センター
-
劉 健勤
独立行政法人情報通信研究機構 未来ict研究所脳情報通信研究室
関連論文
- 自己集合型ネットワークのためのポルフィリン・オートマトン
- T2-5 ナノ・バイオICTにおけるシグナル伝達ネットワーキングと細胞情報処理(T-2 ネットワーク情報学の最前線)
- A-041 Rho族GTPアーゼ・インタラクトーム・ネットワークの再構築 : 細胞核受容体とのクロストークの調整メカニズム(A.モデル・アルゴリズム・プログラミング)
- キナーゼコンピューティングの理論からナノバイオインフォマティクスヘの展開I : クロストーク・メカニズムの探索
- キナーゼコンピューティングによる人工化学システムの書き換え
- トポロジーによるグラフ書き換え系III : Heegaard splittingsによる計算プロセス
- 算法的化学としてキナーゼコンピューティング : Part A : 3次元人工化学の一つモデルの紹介
- キナーゼコンピューティング (特集 DNA計算・光情報処理・ナノテクノロジー--新しいコンピュータの可能性)
- Heterogeneous Kinase Computing : A Novel Class of Optimization Algorithms Inspired by Molecular Biology (Mathematical Optimization Theory and its Algorithm)
- キナーゼを基づく分子計算機のための算術単元と論理操作
- Rho-GTPアーゼによるキナーゼコンピューティング : 解析とシミュレーション
- 蛋白質配列のメカニズムによる並列計算プロトタイプ
- トポロジーによるグラフ書き換え系(1)オペレターと文法
- 視覚パターンの発見II : 創発モデルとアルゴリズム
- 視覚パターンの発見I : 視覚エージェント理論とパターンマイニング
- 細胞周期・パスウェイ・ネットワークの制御器によるTCP Vegasの拡張定式化
- 細胞周期・パスウェイ・ネットワークの制御器によるTCP Vegasの拡張定式化
- 情報ネットワーク学に見る細胞シグナル伝達とTCP輻輳制御の情報処理メカニズムの比較(セッション3:通信プロトコル)
- 神経細胞内分子モータにおけるシグナル伝達:数学モデルに基づくシミュレーション
- 複雑系に見たDefault Mode Network
- 生命に学ぶ新世代ネットワーク・アーキテクチャの研究I:ネットワーク制御器における安定性の分析
- 情報理論基準に基づくダイナミクス・ネットワークの自己構造化
- 分子モーターに基づく計算的なモレウェア・コミュニケーションのための数学モデルについて
- 細胞シグナリング・パスウェイからヒントされた一つ情報処理モデルの定量化について : 経験的分析(セッション2)
- 細胞の信号パスウェウからヒントされた一つ新しい計算モデルのデータ構造について(Session 3)
- 3-SAT問題解決に対する生体分子計算の複雑性について
- フィードバック付き複数リン酸化と脱リン酸化分子スイッチの数学的な分析(セッション5)
- フィードバック付き複数リン酸化と脱リン酸化分子スイッチの数学的な分析(セッション5)
- フィードバック付き複数リン酸化と脱リン酸化分子スイッチの数学的な分析
- 視覚パターンの発見I : 視覚エージェント理論とパターンマイニング
- On the dynamics of the default-mode brain network (非線形問題)
- Exploring the network dynamics by its autonomous distributed systematical structure: a new method for controlling communication networks (非線形問題)
- Analysis of the dynamics mechanism of flow control in communication networks based on networked control systems (データ工学)
- 脳内デフォルト・モードの自発的な認知プロセスに関するネットワーク化非単調論理の研究 (ヒューマンコミュニケーション基礎)
- 脳におけるDefault-mode Networkのダイナミクス
- 複雑なネットワークとしてのインターネットにおける動的制御の信号処理方法 (マルチメディア情報ハイディング・エンリッチメント)
- 複雑なネットワークとしてのインターネットにおける動的制御の信号処理方法 (画像工学)
- 複雑なネットワークとしてのインターネットにおける動的制御の信号処理方法 (ライフインテリジェンスとオフィス情報システム)
- 自律分散システム構造によるネットワーク・ダイナミックスの探索 : 通信ネットワーク制御の新方法
- 脳内デフォルト・モードの自発的な認知プロセスに関するネットワーク化非単調論理の研究(「コミュニケーションと気づき」及び一般)
- シグナル・パスウェイ・ネットワークのコミュニケーション・メカニズムについて
- ネットワーク化制御系に基づく通信ネットワーク・フロー制御に関するダイナミクス・メカニズムの分析方法(英語セッション,アーバンセンシングによる情報創出とその応用,及び一般)
- 自伝的記憶に関するデコーディングの情報理論的研究(第一部) : 刺激非依存性思考における論理的デフォルト・モード・ネットワークの情報理論的分析
- 複雑なネットワークとしてのインターネットにおける動的制御の信号処理方法(マルチメディア通信/システム,ライフログ活用技術、IP放送/映像伝送,メディアセキュリティ,一般)
- 複雑なネットワークとしてのインターネットにおける動的制御の信号処理方法(マルチメディア通信/システム,ライフログ活用技術、IP放送/映像伝送,メディアセキュリティ,一般)
- 複雑なネットワークとしてのインターネットにおける動的制御の信号処理方法
- 複雑なネットワークとしてのインターネットにおける動的制御の信号処理方法(マルチメディア通信/システム,ライフログ活用技術、IP放送/映像伝送,メディアセキュリティ,一般)
- Decoding an Unknown Channel with Correlated Signals (情報論的学習理論と機械学習)
- Mathematical Analysis of Nonlinear Circuits of Spontaneous Memory Retrieval : An Analytic Approach Based on Algebras (磁気記録・情報ストレージ)
- Mathematical Analysis of Nonlinear Circuits of Spontaneous Memory Retrieval : An Analytic Approach Based on Algebras (マルチメディアストレージ)
- 複雑なネットワークとしてのインターネットにおける動的制御の信号処理方法 (メディア工学)
- Designing a Filter for Internet Flow Control under Macro Dynamics : Towards Innovating Autonomous Network Architecture for Future Dynamics-aware Internet (情報セキュリティ)
- Designing a Filter for Internet Flow Control under Macro Dynamics : Towards Innovating Autonomous Network Architecture for Future Dynamics-aware Internet (ライフインテリジェンスとオフィス情報システム)
- 複雑なネットワークとしてのインターネットにおける動的制御の信号処理方法
- 複雑なネットワークとしてのインターネットにおける動的制御の信号処理方法
- 相関信号による未知な通信路の複合化(ポスターセッション,第14回情報論的学習理論ワークショップ)
- マクロ・ダイナミクスにおけるインターネット流量制御のためのフィルターの設計 : ダイナミクス・アウェアな未来のインターネットに関する自律的なネットワーク・アーキテクチャの創りへの試み(オフィスシステム,情報セキュリティ,ライフログ活用技術,ライフインテリジェンス,オフィス情報システム,一般)
- マクロ・ダイナミクスにおけるインターネット流量制御のためのフィルターの設計 : ダイナミクス・アウェアな未来のインターネットに関する自律的なネットワーク・アーキテクチャの創りへの試み(オフィスシステム,情報セキュリティ,ライフログ活用技術,ライフインテリジェンス,オフィス情報システム,一般)
- 自発的なメモリ検索における非線形回路の数学的分析 : 代数系に基づく分析方法(信号処理,一般)
- 自発的なメモリ検索における非線形回路の数学的分析 : 代数系に基づく分析方法
- マクロ・ダイナミクスにおけるインターネット流量制御のためのフィルターの設計 : ダイナミクス・アウェアな未来のインターネットに関する自律的なネットワーク・アーキテクチャの創りへの試み
- 相関信号による未知な通信路の複号化
- マクロ・ダイナミクスにおけるインターネット流量制御のためのフィルターの設計 : ダイナミクス・アウェアな未来のインターネットに関する自律的なネットワーク・アーキテクチャの創りへの試み