スポンサーリンク
京都大学情報学研究科 | 論文
- ぱらぱらアニメによる体験データの要約・編集支援システム
- Peer-to-Peerアーキテクチャのメッセージ共有への応用
- Peer-to-Peer アーキテクチャのメッセージ共有への応用
- オープンソースソフトウェア開発におけるイノベーションの分析
- C-12-84 強誘電体を用いたビット直列ワード並列型機能メモリの設計
- 129 居住空間デザイン支援のためのカタストロフィー理論による生活行為の形態表現(空間デザイン)
- カタストロフィー理論に基づく行為の形態モデル表現の提案
- Host Identity Protocolを用いたロケーションプライバシを有する匿名移動通信(学生セッション)
- 二成分流体のベナール対流(混合、化学反応、燃焼の流体力学)
- 28pXG-11 二成分流体のベナール対流(28pXG 渦・安定性・その他,領域11(統計力学,物性基礎論,応用数学,力学,流体物理))
- 時間枠つき配送計画問題に対するパス再結合と適応的パラメータ調整
- SAT充足解の偏りを利用した局所探索の高速化
- 単調論理回路における還元
- シンプレクティックマップに対する特異摂動法(6)数理科学的考察・量子情報理論、生物学,京大基研短期研究会 量子力学とカオス-基礎的問題からナノサイエンスまで-,研究会報告)
- 抵抗分を含む負荷を駆動するCMOS論理回路のゲート遅延時間計算手法 (電子システムの設計技術と設計自動化)
- P2Lib:スタンダードセルライブラリ自動生成システム (電子システムの設計技術と設計自動化)
- A-3-16 設計対象毎に生成したスタンダードセルライブラリによるLSI設計
- スタンダードセルライブラリ構成法の検討
- パラメータの変化に柔軟に対応可能なタイミングモデル : DFF, 複合セルへの適用
- 逆算法に基づく詰将棋の列挙