スポンサーリンク
埼玉大学大学院工学研究科 | 論文
- 適切さと論理RとERの証明力の比較
- 適切さの論理ERの決定可能性
- 証明力を拡張した適切さの論理ER
- 結合子の適切さによる人間の演繹的な推論の形式化 (&特集>「記号論理とAI」)
- BitTorrentにより配信される音楽や映像ファイルの自動検出
- プライベートネットワークアドレスを利用する際の経路制御について
- リアクティブシステム動作仕様の段階的充足可能性の判定手続き(システム検証の科学技術)
- DNSサーバの分散管理から集中管理への移行
- リアクティブシステムの利用に伴う進化
- 舶用大型低速ディーゼル機関軸系の振動解析 : ―特にねじり振動と縦振動について―
- Access Control Listの等価性判定のためのテストケース生成(NW情報調査・可視化技術,インターネットと情報倫理教育,一般)
- Access Control Listの等価性判定のためのテストケース生成(NW情報調査・可視化技術,インターネットと情報倫理教育,一般)
- ICMPパケットの遮断によるIPv6通信における問題への対策(サービス管理,運用管理技術,セキュリティ管理,及び一般)
- 検索されたWebページにおける検索語に基づく重要箇所の表示(ネットワークサービス,インターネットと情報倫理教育,一般)
- 位置情報に基づく災害時の重要情報を優先転送するネットワーク管理手法〜実用化に向けた実地検証報告〜