JAIST Repository > JAIST > Theses > Doctor of Philosophy(Information Science) >
血流解析による脳動脈瘤に対するステント治療後の親血管拡大が及ぼす影響
リコンフィギャラブル・コンピューティングのための高位合成を用いた自動ハードウェア・チューニングに関する研究
A Study on Updating Documents: Information Insertion and Inconsistency Recognition
Equational Reasoning and Completion