参加型プロンプティングを用いて、ユーザーが効果的にオントロジーユーザーストーリーを作成できるよう支援する。
反応的グラフは、実行中に遷移が活性化および非活性化される遷移構造であり、適応型システムのモデル化に適している。Margeツールは、反応的グラフの可視化、アニメーション、状態空間の探索、プロパティの検証などの機能を提供し、反応的グラフの理論と実践の橋渡しを支援する。
LLMと記号的解析手法を組み合わせることで、プログラムの意図を反映した仕様を生成できる。また、バグのある場合でも、意図に基づいた仕様を生成できる可能性がある。
ニュースに報告されるソフトウェア障害を自動的に収集、分析、要約することで、ソフトウェア工学の実践と研究、政策立案、教育に役立てる。
本研究では、アドバンシングフロント法、領域分割法、一貫並列最大独立集合アルゴリズムを組み合わせた新しい並列メッシュ生成手法を提案する。この手法は数値的に一貫性を保ちつつ、高い並列性能を発揮できる。
生成器の実行トレースを分析し、有効性を保持しつつ縮小されたテスト入力を生成する。
量子ソフトウェア開発における設計決定は、機能性、パフォーマンス、スケーラビリティ、信頼性などに大きな影響を及ぼすが、これらの決定に関する研究は少ない。
知識グラフを使ってスマートコントラクトのロジックを宣言的に表現し、それを自動的にブロックチェーン上のスマートコントラクトコードに変換することで、分散環境における信頼できる意思決定を実現する。
ナレッジディスティレーションは、大規模で複雑なモデルから小規模で効率的なモデルへの知識移転を可能にし、リモートセンシングの精度と計算効率のバランスを取ることができる。
要素の順序付けは、ランゲージモデルエージェントのパフォーマンスに大きな影響を与える重要な要素である。