| ID | 予稿受付日 | タイトル
|
OS1 | |
|
| OS1-1 | not found
| 粒子離散化法を用いた三次元動的破壊解析
|
| OS1-2 | 2007/08/09 11:23:35
| き裂先端における解の級数展開公式について
|
| OS1-3 | 2007/08/09 16:31:01
| 超弾性体におけるエネルギー解放率
|
| OS1-4 | 2007/08/09 13:59:46
| 時間域高速多重極法の超音波非破壊評価への応用
|
| OS1-5 | 2007/08/10 15:25:28
| MRE にもとづく弾性係数決定逆問題の数値計算の問題点
|
| OS1-6 | 2007/08/07 15:30:53
| 形状微分を用いた非線形逆散乱解析法の空洞形状再構成問題への適用
|
OS2 | |
|
| OS2-1 | 2007/08/10 23:58:34
| 平行最適化による脳磁図分析
|
| OS2-2 | 2007/08/15 10:10:18
| 身体化の制御ルール
|
| OS2-3 | 2007/08/06 16:25:42
| 生体粘弾性率測定法の数理
|
| OS2-4 | 2007/08/10 19:57:09
| 腎臓・肝臓のperfusion解析と臨床応用
|
| OS2-5 | 2007/08/10 16:36:13
| 腫瘍形成モデルによる医薬品効果の数理解析と数値シミュレーション
|
| OS2-6 | 2007/08/07 10:48:44
| 血管新生数理モデルの時間大域解
|
| OS2-7 | 2007/08/06 16:16:08
| Time-local solutions to one-dimensional tumor invasion model
|
| OS2-8 | 2007/08/09 22:42:43
| 感染症のシミュレーション；隔離の空間的なパターン
|
OS3 | |
|
| OS3-1 | 2007/08/09 16:27:08
| ηT ペアリングのハードウェア実装
|
| OS3-2 | 2007/08/10 16:46:00
| Itanium 2 における RSA の高速実装
|
| OS3-3 | 2007/08/10 16:17:13
| 高速データ検証の実装方式について
|
OS4 | |
|
| OS4-1 | Lecture without abstract
| 暗号プロトコルの安全性−セキュリティの世界に形式的検証から入った研究者の立場から−
|
| OS4-2 | 2007/08/10 10:16:49
| ブラインド署名を扱うことが可能な計算論的に健全なプロトコル検証法
|
| OS4-3 | 2007/08/10 18:50:35
| 証明可能安全性の形式的証明：定理証明ツールによるゲームの手法
|
| OS4-4 | 2007/08/10 12:47:22
| CryptoVerif のための MAC の安全性の定式化に関する考察
|
| OS4-5 | 2007/08/10 16:11:53
| task-PIOA フレームワークと Blanchet のフレームワークの証明能力に関する一考察
|
| OS4-6 | 2007/08/10 17:02:37
| タスク PIOA の統計的 Simulation 関係に関する考察
|
| OS4-7 | Lecture without abstract
| CSF'07, FCC'07 参加報告
|
| OS4-8 | 2007/08/10 16:21:19
| FCS-ARSPA'07 参加報告
|
G1 | |
|
| G1-1 | 2007/07/31 14:30:36
| 制約付き最適化問題に関するハイブリッド共役勾配法
|
| G1-2 | 2007/08/10 14:20:35
| 古典統計多様体および量子統計多様体におけるある種の勾配系の可積分構造
|
| G1-3 | 2007/08/09 11:04:55
| クロネッカー基底の存在に関する構成的証明
|
OS5 | |
|
| OS5-1 | 2007/07/25 17:01:44
| パンルヴェ系の代数解に付随する特殊多項式
|
| OS5-2 | 2007/08/09 18:13:49
| Higher Order速度密度関係式を用いた交通流モデルの安定性解析
|
| OS5-3 | 2007/08/08 23:15:55
| サービス窓口までの距離を考慮したフォーク型待ち行列の解析
|
| OS5-4 | 2007/08/08 17:55:47
| 超可積分時間離散化を用いた3体Calogero-Moser模型の時間離散近似
|
| OS5-5 | 2007/08/10 23:42:22
| Discrete KP equation with self-consistent sources のグラム型の解について
|
| OS5-6 | 2007/08/10 06:19:24
| 多項式回帰モデルにおけるカノニカルモーメントを用いた D-optimal designの構成
|
| OS5-7 | 2007/08/07 18:38:18
| 超離散方程式のパーマネント形式の解について
|
| OS5-8 | 2007/08/08 15:55:25
| 位相幾何的な2次元CAにおける孤立波
|
G2 | |
|
| G2-1 | 2007/07/31 02:11:00
| 実の量子システムに関する制御研究
|
| G2-2 | 2007/08/09 22:29:30
| Bose-Einstein 凝縮を記述する Gross-Pitaevskii 方程式に対する非線形及び線形保存スキームの構成と数値解析
|
| G2-3 | 2007/08/08 17:20:54
| 変化する強度を持つ複数点波源に対する同定
|
OS6 | |
|
| OS6-1 | 2007/08/10 17:20:57
| マイクロマグネティクスによる磁性薄膜の解析について
|
| OS6-2 | 2007/08/16 10:28:59
| ウインドウオプション技術を用いた時間領域境界要素法による粒子加速器の大規模航跡場解析
|
| OS6-3 | 2007/08/03 13:48:00
| 特異変数分離による行列条件数の改善と電磁界解析の高速化
|
| OS6-4 | 2007/08/11 01:11:19
| Cell Broadband Engineを用いた混合精度型CG法による電磁界解析
|
| OS6-5 | 2007/08/09 17:06:56
| 高温超伝導薄膜内の遮蔽電流密度解析−誘導法のシミュレーション−
|
| OS6-6 | 2007/08/10 21:12:39
| 積分セルを用いない境界節点法
|
G3 | |
|
| G3-1 | 2007/08/10 07:28:50
| 離散変分法を用いた時間方向に高次対称かつ安定な差分スキームの試み
|
| G3-2 | 2007/08/09 12:47:43
| Camassa-Holm 型偏微分方程式に対する保存数値解法
|
| G3-3 | 2007/08/08 14:21:47
| 高次のエネルギー保存数値積分法と面積保存性について
|
| G3-4 | 2007/08/10 02:04:03
| 解適合格子上での離散変分法
|
G4 | |
|
| G4-1 | 2007/08/10 23:39:33
| ストークス方程式の平衡化前処理付き領域分割法ソルバー
|
| G4-2 | 2007/08/11 12:26:08
| Lame 方程式の近似固有値の誤差評価
|
| G4-3 | 2007/08/10 12:15:09
| On the construction of a numerical scheme for an interface problem
|
| G4-4 | 2007/08/10 12:53:43
| 流体シミュレーション計算の近似解の構造における反復解法の誤差の依存性
|
G5 | |
|
| G5-1 | 2007/08/08 13:19:32
| 選択的フィルイン,選択的オーバーラップに基づく並列前処理付き反復法
|
| G5-2 | 2007/08/10 08:44:40
| Preconditioned GMRES Methods for Large Sparse Least-Squares Problems
|
| G5-3 | 2007/08/10 23:51:10
| 疎行列直接解法を用いた前処理付き Krylov 部分空間反復解法
|
| G5-4 | 2007/08/05 22:17:39
| Approximate Generalized Inverse Preconditioner for Rectangular Matrices
|
G6 | |
|
| G6-1 | 2007/08/03 17:30:17
| 准残差の最小化による GPBiCG AR 法の収束性について
|
| G6-2 | 2007/08/10 20:12:49
| 低階数摂動を伴う実対称固有値問題の安定な解法について
|
| G6-3 | 2007/08/10 23:13:31
| 逆作用の組み合わせによる「フィルタ対角化法」について
|
G7 | |
|
| G7-1 | 2007/08/07 15:21:16
| IDR(s) 法の算法の概要と収束性評価
|
| G7-2 | 2007/08/07 15:26:57
| 前処理つき IDR(s) 法の演算量と収束性評価
|
| G7-3 | 2007/08/06 09:50:04
| 多物体電磁波散乱問題の境界要素解析における IDR(s) 法の適用 (1) -左前処理と右前処理による収束性の比較-
|
| G7-4 | 2007/08/06 09:50:30
| 多物体電磁波散乱問題の境界要素解析における IDR(s) 法の適用 (2) - GMRES 法との収束性およびメモリ量の比較-
|
G8 | |
|
| G8-1 | 2007/08/10 15:31:36
| 特異な一般固有値問題に対する新たな解法の提案
|
| G8-2 | 2007/08/10 23:13:49
| 特異値計算のためのさまざまなシフト戦略に対する漸近的収束性解析
|
| G8-3 | 2007/08/09 16:06:08
| 高速な 4 倍精度演算と倍精度演算を組み合わせた反復解法について
|
OS7 | |
|
| OS7-1 | 2007/08/10 17:34:21
| 大規模解析対応高速４面体メッシュ生成技術の開発
|
| OS7-2 | 2007/08/10 10:26:28
| 調和関数を用いたリメッシングの spectacles による改良
|
| OS7-3 | 2007/08/10 14:25:25
| Applying the Shannon Entropy to Mesh Processing: Quality Improvement
|
| OS7-4 | 2007/08/17 10:53:28
| 3次元CADデータからの類似部分形状検索技術
|
| OS7-5 | 2007/08/08 16:33:36
| 形状認識とMulti-Sweeping法に基づく自動6面体メッシュ生成
|
| OS7-6 | 2007/08/14 10:18:34
| Hexahedral mesh growth model: new guide for hexahedral meshing
|
| OS7-7 | 2007/08/06 18:21:33
| ６面体メッシュ生成のための内部曲面生成法
|
OS8 | |
|
| OS8-1 | 2007/08/10 20:53:55
| 3次元構造折紙モデルの開発
|
| OS8-2 | 2007/08/10 20:52:36
| 新しく開発した軽量コアパネルの剛性と機能性（塑性加工による折紙モデルの製作とその応用）
|
| OS8-3 | 2007/08/10 05:17:56
| 剛体折紙シミュレーション
|
| OS8-4 | 2007/08/10 16:28:31
| 円筒形折り紙構造の自動車車両メンバへの適用に関する検討
|
G9 | |
|
| G9-1 | 2007/08/10 23:24:59
| An Algebraic and Quantum Theoretical Approach to Coding on Wiretap Channels
|
| G9-2 | 2007/08/13 23:01:25
| 試験における設問の重要度を表す指標について
|
| G9-3 | 2007/08/13 00:15:00
| 文字列圧縮を用いた Web サイトのクラスタリング
|
OS9 | |
|
| OS9-1 | 2007/08/06 15:25:34
| ある最適投資問題に現れる非線形偏微分方程式
|
| OS9-2 | 2007/08/09 12:24:18
| Numerical Analysis of the Percentage Points of the Normal Distribution
|
| OS9-3 | 2007/08/10 20:05:21
| 金融工学の手法を応用した需要予測について
|
| OS9-4 | 2007/08/10 10:24:47
| 効率的なリスクの配分と保険料計算原理
|
G10 | |
|
| G10-1 | 2007/08/10 17:36:12
| 勾配法と島モデルを用いた実数値遺伝的アルゴリズムの挙動解析
|
| G10-2 | not found
| 速度最適化 (OV) 模型のパラメータの時系列データからの推定
|
| G10-3 | 2007/08/01 09:27:54
| 確率ボラティリティを持つ fractional Black-Scholes モデルに対する漸近解析
|
OS10 | |
|
| OS10-1 | not found
| カオスの発見とその後の展開
|
| OS10-3 | 2007/08/09 21:23:46
| 実数カオスのディジタル回路実装−チェビシェフ写像を例として
|
| OS10-4 | 2007/08/10 20:12:55
| 一般化3k+1写像の時空間パターンと計算論的複雑性
|
| OS10-5 | 2007/08/10 18:45:15
| 多重通信に向けたカオス的パルス系列を用いた変復調モデルのハードウェア実装
|
OS11 | |
|
| OS11-1 | 2007/08/09 00:59:06
| 空間的投票モデルのパラメータ推定と棄権率
|
| OS11-2 | 2007/08/10 22:59:12
| ２次元平面上での新規参入阻止について
|
| OS11-3 | 2007/08/06 11:34:35
| 一票の格差と人口比例
|
| OS11-4 | 2007/08/10 13:41:51
| 議員定数配分問題とスケジューリング問題
|
OS12 | |
|
| OS12-1 | 2007/08/06 20:40:49
| 非凸形状音響散乱体の同定
|
| OS12-2 | 2007/07/23 12:51:46
| 波源推定問題に対する随伴変数の境界条件に関する検討
|
| OS12-3 | 2007/07/31 14:19:31
| 抗力最小化・揚力最大化を目的とした粘性流れ場の形状最適化
|
| OS12-4 | 2007/08/11 11:22:29
| 連続体の位相最適化問題について
|
G11 | |
|
| G11-1 | 2007/08/11 17:13:09
| 整数結晶構造の学習理論
|
| G11-2 | 2007/08/09 14:44:27
| 単精度演算を利用した前処理法とその Cell プロセッサ上での実装
|
| G11-3 | 2007/08/06 17:11:06
| データの特徴を把握した整列アルゴリズムの選択方法とその考察
|
| G11-4 | 2007/08/16 09:59:35
| AVL 木の拡張とそのアルゴリズム
|
OS13 | |
|
| OS13-1 | 2007/07/27 09:35:34
| 一般化固有値問題におけるすべての固有対の高速精度保証
|
| OS13-2 | 2007/08/10 00:26:35
| GPUによる高速な非線形方程式の全解探索法
|
| OS13-3 | 2007/08/08 09:19:27
| 対称疎行列の精度保証付き正定値判定計算におけるオーダリングの効用
|
| OS13-4 | 2007/08/24 21:30:46
| A Note on Numerical Bessel Function Calculation with Guaranteed Accuracy
|
OS14 | |
|
| OS14-1 | 2007/08/21 01:27:11
| 特異値分解ライブラリのための最小特異値見積もり公式について
|
| OS14-2 | 2007/08/03 16:09:37
| 特異値計算のための Rutishauser シフト付き dqds 法の３次収束性について
|
| OS14-3 | 2007/08/07 20:02:53
| 周回積分法を用いた固有値解法の近接固有値に対する誤差解析
|
| OS14-4 | 2007/08/10 17:54:19
| Cellプロセッサによる周回積分を用いた固有値解法の高速化
|
| OS14-5 | 2007/08/10 13:22:24
| 大脳皮質の形状情報を利用した脳磁図逆問題の直接解法
|
G12 | |
|
| G12-1 | 2007/08/10 19:01:21
| イメージマージによるボロノイ図の生成アルゴリズムについて
|
| G12-2 | 2007/08/10 16:10:49
| Delaunay 図の flip 型構成の一般化
|
| G12-3 | 2007/08/09 18:48:11
| 最大流問題に付随するトーリックイデアルの生成系
|
G13 | |
|
| G13-1 | 2007/08/10 10:45:27
| 常微分方程式系の爆発時刻を推定する超収束アルゴリズム
|
| G13-2 | 2007/08/10 12:37:43
| 並列化した古典的誤差推定法に基づく常微分方程式の初期値問題の任意精度計算について
|
| G13-3 | 2007/08/09 16:14:59
| Runge-Kutta 法と高次 Newton 法の関係について
|
| G13-4 | 2007/08/10 00:26:03
| 逆関数における Taylor 展開の性能比較
|
G14 | |
|
| G14-1 | 2007/08/14 13:24:11
| シンプレクティック FDTD 法の位相特性の評価
|
| G14-2 | 2007/08/10 16:43:13
| 地理情報を利用した差分法の数値計算-仮想領域と OpenGL を用いた可視化について-
|
| G14-3 | 2007/08/10 22:59:47
| 波動方程式に対する数値計算手法の特性評価
|
| G14-4 | 2007/08/08 13:49:30
| 単一区間積分と 1 階常微分方程式における高精度数値計算法
|
G15 | |
|
| G15-1 | 2007/08/10 22:51:35
| 特性有限要素法での数値積分則の選択〜連続な積分則系列による検討〜
|
| G15-2 | 2007/08/09 23:04:59
| 境界節点法の高精度化 II -境界近傍での解の精度劣化を回避するためのアプローチ-
|
| G15-3 | 2007/08/10 16:22:02
| 産廃・埋め立て土層中の流れの数値シミュレーション
|
| G15-4 | 2007/08/10 13:14:17
| 3次元水面波動問題に対する DtN 有限要素法の事前誤差評価
|
G16 | |
|
| G16-1 | 2007/08/21 01:20:49
| 境界が格子点間にある場合の結合コンパクト差分スキーム
|
| G16-2 | 2007/08/02 10:25:31
| 特異性の解を持つ Dirichlet 境界値問題に対する Shortley-Weller 近似解の微分の超収束性
|
| G16-3 | 2007/08/09 19:26:28
| 分数階拡散方程式の陽的数値解法について
|
OS15 | |
|
| OS15-1 | 2007/08/11 01:01:01
| ウェーブレット・フレームを用いた視知覚の数理モデルと錯視の研究
|
| OS15-2 | 2007/08/10 21:15:29
| ウェーブレット関数の連続性・不連続性について
|
| OS15-3 | 2007/08/10 16:36:26
| 滑らかな函数を補間する ”最適な”スプライン函数の構成
|
| OS15-4 | 2007/08/09 13:48:41
| 時間周波数情報を利用したブラインド信号源分離について
|
| OS15-5 | 2007/08/10 18:36:17
| 拡張SSAを用いた高精度補間・補外法
|
| OS15-6 | 2007/07/30 10:24:13
| An Uncertainty Principle for Quaternion Fourier Transform
|
| OS15-7 | 2007/08/07 12:58:55
| Tetrahedral Biorthogonal Wavelet の構成
|
| OS15-8 | 2007/08/10 14:12:59
| 多近傍情報を用いたDCT係数予測
|
OS16 | |
|
| OS16-1 | 2007/08/10 23:21:57
| 長周期線形擬似乱数について
|
| OS16-2 | 2007/08/07 15:11:02
| 準群フィルターの利用により周期と分布に保証のある高速ストリーム暗号
|
| OS16-3 | 2007/08/10 23:11:46
| 多重アクセス通信における組合せ構造
|
| OS16-4 | 2007/07/27 11:47:07
| 最適なconflict-avoiding codeの存在・構成に関する数論的アプローチ
|
| OS16-5 | 2007/08/06 15:39:54
| Greedy Approximation for Source Location Problem with Vertex-Connectivity Requirements in Undirected Graphs
|
| OS16-6 | 2007/08/10 20:42:26
| 連続緩和を用いた離散凸関数最小化
|
| OS16-7 | 2007/08/09 12:49:13
| 拡張スプリット分解による不確定性を考慮した系統樹構築の試み
|
| OS16-8 | 2007/08/07 16:41:44
| RLC回路の混合解析における冪零指数の構造的特徴付け
|
OS17 | |
|
| OS17-1 | 2007/08/08 15:57:58
| 環境配慮製品の普及モデルの構築
|
| OS17-2 | 2007/08/13 07:11:45
| 水素関連技術の普及を考慮した長期エネルギーシステムの多目的最適化
|
| OS17-3 | 2007/08/10 21:19:44
| マルチエージェントモデルを用いたネットワーク外部性市場における製品普及の分析
|
| OS17-4 | 2007/08/11 08:45:25
| ネットワーク環境における製品普及シミュレーション
|
OS18 | |
|
| OS18-1 | 2007/08/08 12:46:47
| 時間刻み2次精度特性曲線有限要素スキーム−1段法と2段法の比較−
|
| OS18-2 | 2007/08/07 13:28:37
| 変形エルミート型有限要素のアイソパラメトリック近似
|
| OS18-3 | 2007/08/10 17:22:51
| 併合を伴う混相流の数値シミュレーション
|
| OS18-4 | 2007/08/10 15:23:52
| コンパクト積分作用素の高精度特異値計算の非適切問題への応用
|
| OS18-5 | 2007/08/10 02:07:00
| 多次元準線形双曲型偏微分方程式系に対する無反射境界条件
|
| OS18-6 | 2007/08/09 09:53:56
| 弱特異な第二種積分方程式に対するSinc数値計算法の理論解析
|
| OS18-7 | 2007/08/10 17:04:52
| 熱伝導方程式の解の存在に関する数値計算
|
| OS18-8 | 2007/08/10 18:52:03
| PMLを伴う3次元FDTD法による電磁場計算
|
| OS18-9 | 2007/08/10 16:48:43
| 2層粘性浅水波方程式の界面の不安定性について
|
G17 | |
|
| G17-1 | 2007/08/10 18:08:57
| Impulsive start 型の初期関数の適合性について
|
| G17-2 | 2007/08/10 15:39:32
| メッシュレス法を用いた超伝導薄膜の遮蔽電流密度解析 ー永久磁石法のシミュレーションー
|
| G17-3 | 2007/07/31 02:47:35
| 連続体力学の変分原理で導出される 3DCG Cloth Simulation Algorithm の発展方程式
|
| G17-4 | 2007/08/10 19:48:36
| 生体影響リスク評価のための汚染物質移流拡散シミュレーション
|
G18 | |
|
| G18-1 | 2007/08/09 16:21:46
| ある2流体方程式の分散相密度について
|
| G18-2 | 2007/07/30 13:33:09
| 回転球面上の円領域内の流れパターンとその安定性について
|
| G18-3 | 2007/08/09 20:04:15
| ジョセフソン量子デバイスシミュレーションにおける固有値計算手法:前処理付共役勾配法の収束性
|
G19 | |
|
| G19-1 | 2007/08/11 00:33:35
| Ginzburug-Landau方程式の渦点の対消滅と生成
|
| G19-2 | 2007/08/10 14:52:28
| 反応拡散系のパターン形成とエントロピー変化の関係
|
| G19-3 | 2007/08/09 20:30:57
| Multiple shooting 法による常微分方程式の周期軌道の計算
|
| G19-4 | 2007/08/10 22:31:26
| 楕円形状の断面を持つ管内を伝播する音波の共鳴現象
|
G20 | |
|
| G20-1 | 2007/07/26 17:03:44
| 反応拡散方程式のチューリングパターンシミュレーションでゴーストパターンは現れるか
|
| G20-2 | 2007/08/07 13:57:25
| 3次元及び4次元超立方格子に於けるパーコレーション相転移
|
| G20-3 | 2007/08/10 11:18:35
| STDP 学習則によって得られるシナプス強度分布の多様性に関する一考察
|
| G20-4 | 2007/08/10 20:33:26
| Cosserat 連続体理論に基づく単一アクチンフィラメントのモデリング
|
G21 | |
|
| G21-1 | 2007/08/10 19:52:31
| 確率的需要予測手法の構築
|
| G21-2 | 2007/08/09 21:32:50
| Representation of Preference Relations on sigma-Algebras of Nonatomic Measure Spaces: Convexity and Continuity
|
| G21-3 | 2007/08/10 14:25:42
| 線的施設配置問題に関する研究
|
| G21-4 | 2007/08/10 21:03:38
| 総頂点間経路長を最小にする道グラフへの1辺追加
|
G22 | |
|
| G22-1 | 2007/08/10 16:01:30
| 等角写像を前処理に用いた代用電荷法
|
| G22-2 | 2007/08/07 11:42:28
| 半無限区間の積分に対する適切な二重指数公式の設計
|
| G22-3 | 2007/08/10 13:28:55
| 平行スリット領域への数値等角写像と Laurent 級数展開
|
| G22-4 | 2007/08/02 15:06:54
| 直線スリット領域への数値等角写像の方法
|
G23 | |
|
| G23-1 | 2007/08/08 17:27:56
| Taylor 級数による微分代数分方程式の数値解法の性能
|
| G23-2 | 2007/08/10 18:59:00
| 共有メモリ型並列計算機向けの微分方程式の数値解法とデュアルコア PC での性能評価
|
| G23-3 | 2007/08/10 21:46:44
| 改良型確率有限要素法のグリッド化
|
| G23-4 | 2007/08/10 11:56:11
| Draft-implicit 確率 Runge-Kutta 法について
|
G24 | |
|
| G24-1 | 2007/08/09 13:16:45
| 補間と融合した加速法による時間発展型偏微分方程式の高精度解法
|
| G24-2 | 2007/08/09 13:09:01
| 無反射境界条件とコンパクト差分法の使用による高精度で安定な Euler 方程式解法
|
| G24-3 | 2007/08/07 20:52:51
| IMEX線形多段階法の数値的安定性について
|
| G24-4 | 2007/08/09 15:53:41
| 移流拡散方程式の数値計算に対する安定性解析
|