2-C-11 オークションメカニズムの多項式表現と限量記号消去法を用いたメカニズム設計の自動化(連続最適化(2))
スポンサーリンク
概要
- 論文の詳細を見る
- 2012-09-12
著者
-
穴井 宏和
(株)富士通研究所
-
岩崎 敦
九州大学大学院システム情報科学研究院
-
横尾 真
Nttコシュニケーション科学基礎研究所
-
横尾 真
九州大学大学院システム情報科学府
-
岩崎 敦
九州大学大学院システム情報科学府
-
杉町 勇和
九州大学大学院システム情報科学府
-
穴井 宏和
(株)富士通研究所:九州大学IMI
-
横尾 真
九州大学大学院 システム情報科学府
-
岩崎 敦
九州大学大学院 システム情報科学府
関連論文
- *-SAT:SATの拡張(最近のSAT技術の発展)
- セキュアキーワード広告オークションプロトコルの提案(メカニズムデザイン,ソフトウェアエージェントとその応用論文)
- QEに基づく発電機励磁制御系設計
- 数式処理を用いた制御系設計支援ツールの開発
- 匿名の開環境下における協力ゲームについて(参加型シミュレーション,マルチエージェントの理論と応用)
- 1-D-6 特性関数の簡略記述法を用いた提携構造の形成(離散・組合せ最適化(2))
- 架空名義操作不可能な組合せオークションの割当規則の特性(メカニズムデザイン,ソフトウェアエージェントとその応用論文)
- 摂動完全均衡に基づくマルチエージェント部分観測可能マルコフ決定過程のプラン構築(モデル/理論,ソフトウェアエージェントとその応用論文)
- キーワード広告におけるゲーム理論・オークション理論(Web技術,ビジネスモデルとAI)
- Take-it-or-Leave-it方式の再配分オークションメカニズムの提案(メカニズムデザイン,ソフトウェアエージェントとその応用論文)
- 開環境での協力ゲームにおける公平な配分を実現する解概念の提案(PhDセッション)
- 2-E-9 匿名の開環境における協力ゲームについて(ゲーム理論(2))
- 開放型プロダクションシステムにおけるデータ依存関係の管理
- 適切な掲載数を決定するキーワード広告オークションプロトコルの提案(エージェント)
- 組合せオークションのための架空名義操作不可能なメカニズムの特性(メカニズムデザインと電子市場(1))
- クラーク税を用いた戦略的操作不可能な費用分担メカニズムの提案(メカニズムデザインと電子市場(1))
- Take-It-or-Leave-Itに基づく再配分オークションメカニズムの提案(メカニズムデザインと電子市場(1))
- セキュアキーワード広告オークションプロトコルの提案(メカニズムデザインと電子市場(2))
- 自動メカニズムデザインによる架空名義入札に頑健な組合せオークションメカニズムの構築(メカニズムデザインと電子市場(2))
- 非準線形効用を対象とした架空名義入札に頑健な複数ユニットオークションプロトコルの提案(「エージェント基礎」及び一般)
- 適切な掲載数を決定するキーワード広告オークションの提案(オークションとメカニズムデザイン)
- 任意の評価値に対する架空名義入札に頑健なダブルオークションプロトコル
- 特集「エージェント」の編集にあたって
- 最適化問題を効率的に解くための special CAD
- 2-D-1 数理計画法を用いたメカニズムデザインの自動化 : 架空名義入札に頑健な組合せオークションメカニズムの設計(離散・組合せ最適化(5))
- 開環境での協力ゲームにおける解の簡略記述法
- 敵対者に対応する協調問題解決：限量記号付き分散制約充足問題
- 3次元モデルの自動分解手法(魅惑の形状処理, 魅惑のCG応用およびCG一般)
- 数値数式CADの実装
- 項置換による限定子除去アルゴリズムにおける論理式簡略化について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- A Quantifier Elimination Procedure Based on Cylindrical Algebraic Decomposition in SyNRAC(Computer Algebra : Design of Algorithms, Implementations and Applications)
- 数値数式QE/CADの実装
- IMACS-ACA'98 in Prague
- 薬物動態解析における代数的手法の適用
- Parameter determination of a compartmental model for Parkinson's disease by algebraic approach (第20回 回路とシステム軽井沢ワークショップ論文集) -- (生命体システムと非線形ダイナミクス)
- 代数的算法を用いた, 多細胞における複数細胞タイプの共存条件式の導出
- On relationship between proliferation and transition raets of multicells(Computer Algebra : Design of Algorithms, Implementations and Applications)
- 1P304 多細胞生物における細胞タイプの多様性条件(数理生物学))
- 数式処理を用いた多項式のロバスト根配置とその制御系設計への応用(ロバスト計算と精度保証)
- Greedyな割当手法に基づくStrategy-proofな組合せオークションプロトコルと公開競上げ式プロトコルへの拡張(分散協調とエージェント)
- 架空名義入札に頑健な公開競上げ式複数同一財オークションプロトコル
- 限定記号消去法に基づくロバスト制御系設計ツール
- 3P270 抽象原始多細胞系における代数方程式を用いた最大多様性パターンの解析(バイオイメージング、生命の起源・進化,口頭発表,第45回日本生物物理学会年会)
- コンパートメントモデルにおける薬物動態の代数方程式を用いた解析 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- RF-002 架空名義操作不可能な組合せオークションメカニズム : VCGメカニズムの改良(F分野:人工知能・ゲーム,査読付き論文)
- RA-007 架空名義操作不可能な施設配置メカニズムの特徴付け(A分野:モデル・アルゴリズム・プログラミング,査読付き論文)
- 複数同一財権利配分型オークションの安定性 : 被験者実験による検証(市場モデル, ソフトウェアエージェントとその応用論文)
- 5 数値/数式ハイブリッド計算に基づくロバスト最適化プラットフォーム : ものづくりを支える新しいシミュレーション技術を目指して(次世代統合シミュレーション技術)
- F-037 自動メカニズムデザインによる架空名義入札に頑健な組合せオークションメカニズムの構築(人工知能・ゲーム,一般論文)
- チーム選択問題のための架空名義操作不可能なオークションメカニズムの提案(オークションとメカニズムデザイン)
- 架空名義操作不可能な施設配置メカニズムの特徴付け
- 数式処理を用いたアナログ回路解析・設計
- 計算機代数に基づく生物学 : Algebraic Biology(バイオインフォマティクスと人工知能の新たなインタラクション)
- Symbolic-Numeric Optimization for Estimation of Parameters in a Biological Kinetic Model(Computer Algebra : Design of Algorithms, Implementations and Applications)
- LF-011 不確実な状況下における協調プラン探索法への通信の導入(人工知能・ゲーム)
- 2.インターネットオークションとメカニズムデザイン(社会に向き合うエージェントシステム)
- 架空名義入札に頑健な組合せオークションプロトコルの提案と評価 : バンドルサイズ優先プロトコル(マルチエージェントの理論,マルチエージェントの理論と応用)
- ちょっと立ち止まって
- ISSAC2000参加報告
- 新しい数式処理アルゴリズムQEを用いたロバスト制御系設計
- 分散制約充足問題:特定の制約網に特化した変数順序付けヒューリスティックの提案
- 線形ハイブリッドシステムの可到達性について
- 擬似木に基づく分散制約最適化問題の精度保証付き非厳密解法の提案
- AP-1-3 信号処理への代数幾何的アプローチ(AP-1.信号処理工学の多様性と数理的体系化への挑戦,パネルセッション,ソサイエティ企画)
- 協力ゲームにおける特性関数のエージェントのタイプに基づく簡略表記法(理論,ソフトウェアエージェントとその応用論文)
- モンテカルロゲーム木探索に基づく限量記号付き制約充足問題の実時間解決(理論,ソフトウェアエージェントとその応用論文)
- MC-netsを用いた提携構造形成アルゴリズムの拡張 : 負の利得と外部性の導入(理論,ソフトウェアエージェントとその応用論文)
- CADにおける i-projection operator 導入によるQEの効率化
- 時間モデルを用いた並列性能予測の誤差を検討する一方法
- パラメトリック多項式最適化問題専用 Cylindrical Algebraic Decomposition と動的計画法への適用(数式処理 : その研究と目指すもの)
- 1-I-7 配属人数下限付き研究室配属問題(離散最適化(1))
- 1-I-6 混合整数計画法による自動メカニズムデザイン : 組合せオークションの設計と高速化(離散最適化(1))
- 1-E-1 無閉路ネットワーク上の架空名義操作不可能な施設配置メカニズムの特徴付け(都市・地域・国土)
- SDP とQE を用いた非線形システムのゲイン解析 (数式処理 : その研究と目指すもの)
- SIAM/MSRI Workshop on Hybrid Methodologies for Symbolic-Numeric Computation(Conference Reports)
- チュートリアル 『計算機科学者のためのゲーム理論入門』シリーズ(第2回)非協力ゲーム(発展編)
- 自動メカニズムデザインを利用した組合せオークションのルール抽出アルゴリズムの提案
- 非協力ゲーム(基礎編)
- 『計算機科学者のためのゲーム理論入門』シリーズについて
- 部分観測可能マルコフ決定過程を用いた私的観測付き繰返しゲームにおける均衡分析プログラム
- チュートリアル 『計算機科学者のためのゲーム理論入門』シリーズ(第3回)メカニズムデザイン(基礎編)
- Quantifier Elimination : アルゴリズム・実装・応用
- Risa/Asir上のQuantifier Elimination Packageとその応用
- 非協力ゲーム(発展編)
- 符号情報利用による数値数式 CAD の効率的な実装 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 数値数式手法による多目的最適化 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 自然言語処理と計算代数の接合による数学問題へのアプローチ(ロボットは東大に入れるか?)
- 最適化問題に対するCADの効率的な手法
- 1-D-2 ピーク電力削減のためのノートPCのバッテリー充放電計画の最適化(節電)
- メカニズムデザイン(基礎編)
- 2-C-11 オークションメカニズムの多項式表現と限量記号消去法を用いたメカニズム設計の自動化(連続最適化(2))
- 1-G-8 双対解を用いたコアおよび弱εコア^+の非空判定アルゴリズム(ゲーム理論(1))
- ゲーム理論・メカニズムデザインに関する研究動向(エージェント)
- 代数的制御理論における Coprime Factorization への Risa/Asir の応用
- Sign Definite Condition 専用 Quantifier Elimination における論理式の簡単化 (数式処理 : その研究と目指すもの)
- Interactive Algorithm for Multi-objective Constraint Optimization
- RA-003 相互処罰による協調 : 私的観測付き無限回繰り返し囚人のジレンマの部分観測マルコフ決定過程による解法(アルゴリズム・コンピュテーション(2),A分野:モデル・アルゴリズム・プログラミング)
- RA-004 多目的制約最適化問題:ユーザとの対話型解法の提案(問題解決手法,A分野:モデル・アルゴリズム・プログラミング)
- A-024 配属人数下限付き研究室配属問題(数理モデル化と問題解決(2),A分野:モデル・アルゴリズム・プログラミング)
- 自然言語処理と計算代数の接合による数学問題へのアプローチ