Global ETD Search

641	Web Search Based on Hierarchical Heading-Block Structure Analysis / 階層的な見出しブロック構造の分析に基づくWeb検索 Manabe, Tomohiro 23 March 2016 (has links) The contents of Section 2.2 and Chapter 4 first appeared in proceedings of the 12th International Conference on Web Information Systems and Technologies, 2016 (www.webist.org). The contents of Section 2.3 and Chapter 5 first appeared in DBSJ Journal, vol. 14, article no. 2, March 2016. The contents of Section 2.5 and Chapter 7 first appeared in proceedings of the 11th Asia Information Retrieval Societies Conference, Lecture Notes in Computer Science, vol. 9460, pp. 188-200, 2015 (The final publication is available at link.springer.com). / 京都大学 / 0048 / 新制・課程博士 / 博士(情報学) / 甲第19854号 / 情博第605号 / 新制\|\|情\|\|105(附属図書館) / 32890 / 京都大学大学院情報学研究科社会情報学専攻 / (主査)教授田島敬史, 教授田中克己, 教授吉川正俊 / 学位規則第4条第1項該当 / Doctor of Informatics / Kyoto University / DFAM Web search Headings Heading structure Block structure Document structure 007
642	Effectiveness of the Multi-Mouse Quiz System for Collaborative Learning in Elementary Schools / 小学校での協調学習におけるマルチマウスクイズシステムの有効性 Zhou, Juan 23 March 2016 (has links) 京都大学 / 0048 / 新制・課程博士 / 博士(情報学) / 甲第19856号 / 情博第607号 / 新制\|\|情\|\|105(附属図書館) / 32892 / 京都大学大学院情報学研究科社会情報学専攻 / (主査)教授喜多一, 教授守屋和幸, 教授松下佳代 / 学位規則第4条第1項該当 / Doctor of Informatics / Kyoto University / DFAM Collaborative Learning Single Display Groupware Elementary School Quiz 007
643	An Integrated Theory of Type-Based Static and Dynamic Verification / 型に基づく静的・動的検証の統合理論 Sekiyama, Taro 23 March 2016 (has links) © 2015 Springer. http://dx.doi.org/10.1007/978-3-319-26529-2_11© 2015 ACM, Inc. http://doi.acm.org/10.1145/2676726.2676996 / 京都大学 / 0048 / 新制・課程博士 / 博士(情報学) / 甲第19863号 / 情博第614号 / 新制\|\|情\|\|107(附属図書館) / 32899 / 京都大学大学院情報学研究科通信情報システム専攻 / (主査)教授五十嵐淳, 教授山本章博, 教授岡部寿男 / 学位規則第4条第1項該当 / Doctor of Informatics / Kyoto University / DFAM refinement types contracts dynamic verification gradual typing manifest contracts 007
644	Studies on Approximation Algorithms for Bin-Packing and Train Delivery Problems / ビン詰め問題と列車配送問題に対する近似アルゴリズムの研究 Jing, Chen 23 March 2016 (has links) 京都大学 / 0048 / 新制・課程博士 / 博士(情報学) / 甲第19864号 / 情博第615号 / 新制\|\|情\|\|107(附属図書館) / 32900 / 京都大学大学院情報学研究科通信情報システム専攻 / (主査)教授岩間一雄, 教授永持仁, 教授五十嵐淳 / 学位規則第4条第1項該当 / Doctor of Informatics / Kyoto University / DGAM Approximation algorithm Bin packing Scheduling Train delivery 007
645	Improving Statistical Machine Translation with Target-Side Dependency Syntax / 目的言語側の依存構文による統計的機械翻訳の改善 John, Walter Richardson 23 September 2016 (has links) 京都大学 / 0048 / 新制・課程博士 / 博士(情報学) / 甲第20022号 / 情博第617号 / 新制\|\|情\|\|107(附属図書館) / 33118 / 京都大学大学院情報学研究科知能情報学専攻 / (主査)教授黒橋禎夫, 教授田中克己, 教授河原達也 / 学位規則第4条第1項該当 / Doctor of Informatics / Kyoto University / DFAM machine translation dependency syntax MT SMT translation 007
646	Neural Representation of Anticipation Involved in Decision Making / 意思決定に伴う予測の脳内表象に関する研究 Shikauchi, Yumi 23 January 2017 (has links) 京都大学 / 0048 / 新制・課程博士 / 博士(情報学) / 甲第20098号 / 情博第630号 / 新制\|\|情\|\|109(附属図書館) / 33214 / 京都大学大学院情報学研究科システム科学専攻 / (主査)教授石井信, 教授松田哲也, 教授加納学 / 学位規則第4条第1項該当 / Doctor of Informatics / Kyoto University / DFAM fMRI spatiol navigation decision making human behavior decoding 007
647	Understanding and Supporting Listening Comprehension of Non-native Speakers / 非母語話者のリスニング能力の理解と支援 Cao, Xun 23 March 2017 (has links) 京都大学 / 0048 / 新制・課程博士 / 博士(情報学) / 甲第20507号 / 情博第635号 / 新制\|\|情\|\|110(附属図書館) / 京都大学大学院情報学研究科社会情報学専攻 / (主査)教授石田亨, 教授矢守克也, 教授吉川正俊 / 学位規則第4条第1項該当 / Doctor of Informatics / Kyoto University / DGAM Non-native Speakers Listening Comprehension Problems Support Technology Adaptive System 007
648	Efficient Fully Homomorphic Encryption and Digital Signatures Secure from Standard Assumptions / 標準仮定の下で安全で効率的な完全準同型暗号とディジタル署名 Hiromasa, Ryo 23 March 2017 (has links) 京都大学 / 0048 / 新制・課程博士 / 博士(情報学) / 甲第20511号 / 情博第639号 / 新制\|\|情\|\|111(附属図書館) / 京都大学大学院情報学研究科社会情報学専攻 / (主査)教授石田亨, 教授中村佳正, 教授岡部寿男, 岡本龍明 / 学位規則第4条第1項該当 / Doctor of Informatics / Kyoto University / DFAM Fully Homomorphic Encryption Digital Signatures Blind Signatures LWE RSA 007
649	Towards Visuocomputational Endoscopy: Visual Computing for Multimodal and Multi-Articulated Endoscopy / ビジュアルコンピューティング内視鏡：マルチモーダル・多関節内視鏡システムのためのビジュアルコンピューティング Karvonen, Tuukka Matias 25 September 2017 (has links) 京都大学 / 0048 / 新制・課程博士 / 博士(情報学) / 甲第20738号 / 情博第652号 / 新制\|\|情\|\|112(附属図書館) / 京都大学大学院情報学研究科社会情報学専攻 / (主査)教授黒田知宏, 教授大手信人, 教授松田哲也 / 学位規則第4条第1項該当 / Doctor of Informatics / Kyoto University / DFAM endoscopy visual computing image processing augmented virtuality image analysis 007
650	Variational Bayesian Image Restoration with Transformation Parameter Estimation / 変換パラメータ推定による変分ベイズ画像復元 Sonogashira, Motoharu 26 March 2018 (has links) 京都大学 / 0048 / 新制・課程博士 / 博士(情報学) / 甲第21208号 / 情博第661号 / 新制\|\|情\|\|114(附属図書館) / 京都大学大学院情報学研究科知能情報学専攻 / (主査)教授美濃導彦, 教授河原達也, 教授中村裕一 / 学位規則第4条第1項該当 / Doctor of Informatics / Kyoto University / DFAM Image Restoration Variational Bayes Multiframe Denoising Deblurring Devignetting 007

Search results