研究成果

第 1 到 245 筆結果，共 245 筆。

公開日期標題作者來源出版物scopusWOS全文
12021Prior art search and reranking for generated patent textLee J.-S; JIEH HSIANG CEUR Workshop Proceedings2
22020Patent classification by fine-tuning BERT language modelLee, J.-S.; JIEH HSIANG World Patent Information
32020PatentTransformer-1.5: Measuring Patent Claim Generation by Span RelevancyLee, J.-S.; JIEH HSIANG Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
42020DocuSky, A Personal Digital Humanities Platform for ScholarsTu, H.-C.; Hsiang, J.; Hung, I.-M.; Hu, C.; JIEH HSIANG Journal of Chinese History
52020Patent claim generation by fine-tuning OpenAI GPT-2Lee J.-S; JIEH HSIANG World Patent Information
62019新世紀數位與人文的研究取徑－「國立臺灣大學數位人文研究中心」簡介項潔(Hsiang Jieh); 洪一梅(Hung I-mei); JIEH HSIANG 漢學研究通訊
72019Finding Documents Related to Taiwan in the Veritable Records of Qing Using Relevance Feedback.Sung, Hsin-Hsuan; Chen, Jou-An; JIEH HSIANG Digital Libraries for Open Knowledge - 23rd International Conference on Theory and Practice of Digital Libraries, TPDL 2019, Oslo, Norway, September 9-12, 2019, Proceedings10
82018發刊詞：從數位典藏到數位人文項潔(Jieh Hsiang); JIEH HSIANG 數位典藏與數位人文0
92018On Natural Disasters In Chinese Standard Histories.Su, Hong-Ting; Hsiang, Jieh; Lin, Nungyao; JIEH HSIANG Digital Humanities 2018, DH 2018, Book of Abstracts, El Colegio de M?xico, UNAM, and RedHD, Mexico City, Mexico, June 26-29, 2018
102015Exploring alternative metrics of scholarly performance in the social sciences and humanities in taiwanKUANG-HUA CHEN ; MUH-CHYUN TANG ; Wang, Chunmei; JIEH HSIANG Scientometrics3331
112015A longitudinal Analysis of Knowledge Integration in Digital Humanities Using Co-Citation AnalysisMUH-CHYUN TANG ; Cheng, Y. J.; Chen, K. H. ; Hsiang, J. Digital Humanities 2015 
122014Transliteration Extraction from Classical Chinese Buddhist Literature Using Conditional Random Fields with Language ModelsYu-Chun Wang; Karol Chia-Tien Chang; Richard Tzong-Han Tsai; Jieh Hsiang; JIEH HSIANG 中文計算語言學期刊 
132013On mapping the ontologies of leishu - A preliminary investigationChung, C.-H.; JIEH HSIANG 2013 International Conference on Culture and Computing00
142013Discovering land transaction relations from land deeds of TaiwanChen, S.-P.; Huang, Y.-M.; Hsiang, J.; Tu, H.-C.; Ho, H.-T.; Chen, P.-Y.; JIEH HSIANG Literary and Linguistic Computing33
152013Transliteration pair extraction from classical Chinese buddhist literature using phonetic similarity measurementWang, Y.-C.; Wu, C.-K.; Tsai, R.T.-H.; JIEH HSIANG New Generation Computing
162012Exploring alternative cyberbibliometrics for evaluation of scholarly performance in the social sciences and humanities in Taiwan.Tang, Muh-Chyun; Wang, Chun-mei; Chen, Kuang-hua; MUH-CHYUN TANG ; JIEH HSIANG ; KUANG-HUA CHEN Information, Interaction, Innovation: Celebrating the Past, Constructing the Present and Creating the Future - Proceedings of the 75th ASIS&T Annual Meeting, ASIST 2012, Baltimore, MD, USA, October 26-30, 2012100
172012Information preservation in static index pruning.Chen, Ruey-Cheng; Lee, Chia-Jung; Tsai, Chiung-Min; JIEH HSIANG 21st ACM International Conference on Information and Knowledge Management, CIKM'12, Maui, HI, USA, October 29 - November 02, 201240
182012Discovering relationships from imperial court documents of Qing China.Hsiang, Jieh; Chen, Shih-Pei; Ho, Hou Ieong; Tu, Hsieh-Chang; JIEH HSIANG IJHAC
192011國立臺灣大學圖書館藏小川文庫聖經文獻介紹項潔; 湯世鑄; 涂豐恩; JIEH HSIANG 大學圖書館 00
202011Breathing New Life into Static Materials.Hsiang, Jieh; JIEH HSIANG 44th Hawaii International International Conference on Systems Science (HICSS-44 2011), Proceedings, 4-7 January 2011, Koloa, Kauai, HI, USA00
212011Introduction to digital libraries minitrackHsiang, J.; Rauber, A.; Zarndt, F.; JIEH HSIANG Proceedings of the Annual Hawaii International Conference on System Sciences
222010Relevance model revisited: With multiple document representationsChen, R.-C.; Tsai, C.-M.; JIEH HSIANG Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
232010Relevance Model Revisited: With Multiple Document Representations.Chen, Ruey-Cheng; Tsai, Chiung-Min; JIEH HSIANG Information Retrieval Technology - 6th Asia Information Retrieval Societies Conference, AIRS 2010, Taipei, Taiwan, December 1-3, 2010. Proceedings
242009日治法院檔案數位典藏系統之研發與建置JIEH HSIANG 日治法院檔案與跨界的法律史研究國際研討會
252009On Building a Full-Text Digital Library of Land Deeds of?TaiwanHsiang Jieh ; Chen Szu-Pei; Tu Hsieh-ChangDigital Humanities 2009
262009台灣古契約文書全文資料庫的建置JIEH HSIANG 第三屆台灣古文書與歷史研究學術研討會
272009The unique approach to institutional repository: Practice of National Taiwan UniversityJIEH HSIANG ; KUANG-HUA CHEN Electronic Library
282009The Web-Scalable LibraryHsiang Jieh GRL2020, 2009
292008數位典藏國家型科技計畫 臺灣大學典藏數位化計畫－臺灣大學臺灣文獻文物典藏數位化計畫(子計畫一) 5/5項潔 
302008數位典藏國家型科技計畫 應用服務分項計畫－總計畫 5/5項潔 
312008國立臺灣大學深化臺灣研究核心典藏數位化計畫－國立臺灣大學臺灣研究核心典藏數位資源整合計畫JIEH HSIANG 
322008臺灣大學深化臺灣研究核心典藏數位化計畫－深化臺灣核心文獻典藏數位化計畫JIEH HSIANG 
332008臺灣歷史資訊學初探　（新制多年期第1年）JIEH HSIANG 
342008臺灣歷史資訊學初探　（新制多年期第2年）JIEH HSIANG 
352008「日治法院檔案」資料庫建置暨應用計畫JIEH HSIANG 
362008數位典藏國家型科技計畫 臺灣大學典藏數位化計畫－臺灣大學臺灣文獻文物典藏數位化計畫(子計畫一) 5/5JIEH HSIANG 
372008數位典藏國家型科技計畫 應用服務分項計畫－總計畫 5/5JIEH HSIANG 
382008Implementing an Institutional Repository for Digital Archive, Library and Museum Communities: Experience from National Taiwan UniversityHsiang Jieh ; Tsai Chiung-MinMuseum Computer Network 2008 Conference
392008臺灣省議會檔案數位典藏系統之研發與建置JIEH HSIANG 臺灣省諮議會會訊 
402008數位典藏之加值與服務JIEH HSIANG 中華民國圖書館學會97年度數位典藏實務與加值服務研習班研習手冊 
412007數位典藏國家型科技計畫 應用服務分項計畫－數位典藏創意加值公開徵選計畫（子計畫一） 5/5項潔 
422007臺灣大學數位典藏創新發展應用基礎計畫－臺灣文獻數位典藏教學研究應用計畫：《淡新檔案》學習知識網JIEH HSIANG 
432007數位典藏國家型科技計畫 應用服務分項計畫－數位典藏創意加值公開徵選計畫（子計畫一） 5/5JIEH HSIANG 
442007台灣大學數位典藏創新發展應用基礎計畫—總計畫:台灣大學數位典藏推廣中心JIEH HSIANG 
452007創造、管理及使用數位館藏：臺大圖書館經驗談JIEH HSIANG 中國圖書館學報2007年增刊
462007On building a full-text digital library of historical documentsChen, S.-P.; Hsiang, J.; Tu, H.-C.; Wu, M.; JIEH HSIANG Lecture Notes in Computer Science
472007特藏圖書資料之「創生性典藏」與其主題分類：以臺灣原住民照片為例JIEH HSIANG 從數位典藏到數位學習：臺灣原住民族的文化傳承學術研討會
482007臺灣大學圖書館數位典藏計畫與展望JIEH HSIANG 臺灣圖書館數位典藏現況與展望 
492007The NTU Digital Library & Museum of Buddhist Studies: Past, Present and FutureHsiang Jieh ; Kao CipherInternational Conference on Domestication of Buddhism
502007Bringing Taiwan’s Cultural and Scientific Heritage On-line:The Digital Archives Project of National Taiwan UniversityHsiang Jieh ; Chen Hsueh-hua ; Tsai Chiung-min73rd IFLA General Conference and Council, World Library and Information Congress
512007Digitalizing the Past, Creating the Future: On-line Archives of Taiwan Heritage (OATH)Hsiang Jieh ; Chen Hsueh-hua ; Tsai Chiung-minThe 26th Annual ALA Poster Sessions, American Library Association Annual Conference
522007On Building a Full-Text Digital Library of Historical Documents.Chen, Szu-Pei; Hsiang, Jieh; Tu, Hsieh-Chang; Wu, Micha; JIEH HSIANG Asian Digital Libraries. Looking Back 10 Years and Forging New Frontiers, 10th International Conference on Asian Digital Libraries, ICADL 2007, Hanoi, Vietnam, December 10-13, 2007, Proceedings
532006Implementing an institutional repository for digital archive communities: Experiences from National Taiwan UniversityChen, Hsueh-Hua ; Hsiang, Jieh ; Tsai, Chiung-MinInternational Conference on Dublin Core and Metadata Applications: Metadata for Knowledge and Learning
542006Boolean rings for intersection-based satisfiabilityDershowitz, N.; Hsiang, J.; Huang, G.-S.; Kaiss, D.; JIEH HSIANG Lecture Notes in Computer Science
552006大學圖書館數位保存與管藏發展策略：以臺大圖書館為例Jieh Hsiang; Hsiao-Ying Hung; JIEH HSIANG 大學圖書館 
562006臺灣機構典藏發展芻議Jieh Hsiang; Hsiao-Ying Hung; JIEH HSIANG 數位時代圖書館館藏發展研討會論文集 
572006Implementing an institutional repository for digital archive communities: Experiences from National Taiwan universityTsai, C.-M.; Hsiang, J.; Chen, H.-H.; JIEH HSIANG International Conference on Dublin Core and Metadata Applications
58200695 年度創意加值計畫書撰寫諮詢輔導會議座談會記錄林芳吟; 陳雪華 ; 項潔 ; 趙國仁; 洪滋遠
592006An Effectiveness Measure for Evaluating Open Retrieval SystemsTu Hsieh-Chang; Hsiang Jieh OSIR 2006
602006Various criteria in the evaluation of biomedical named entity recognitionTsai Richard Tzong-Han; Wu Shih-Hung; Chou Wen-Chi; Lin Yu-Chun; He Ding; Hsiang Jieh ; Sung Ting-Yi; Hsu Wen-LianBMC Bioinformatics 
612006Integrating linguistic knowledge into a conditional random field framework to identify biomedical named entitiesTsai Richard Tzong-Han; Chou Wen-Chi; Wu Shih-Hung; Sung Ting-Yi; Hsiang Jieh ; Hsu Wen-LianExpert Systems with Applications
622006Boolean Rings for Intersection-Based SatisfiabilityDershowitz Nachum; Hsiang Jieh ; Huang Guan-shieng; Kaiss DaherLPAR 2006
632006大學圖書館數位保存與館藏發展策略：以臺大圖書館為例JIEH HSIANG 大學圖書館
642006Boolean Rings for Intersection-Based Satisfiability.Dershowitz, Nachum; Hsiang, Jieh; Huang, Guan-Shieng; Kaiss, Daher; JIEH HSIANG Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings
652006Integrating linguistic knowledge into a conditional random fieldframework to identify biomedical named entitiesTsai, T.-H.; Chou, W.-C.; Wu, S.-H.; Sung, T.-Y.; Hsiang, J.; Hsu, W.-L.; JIEH HSIANG Expert Systems with Applications
662005Toward an integrated digital museum system - the Chi Nan experiencesHong, Jen Shin; Chen, Bai Hsuan; Hung, Sheng Hao; Hsiang, Jieh International Journal on Digital Libraries 
672005EditorialHong, Jen Shin; Doerr, Martin; Hsiang, Jieh International Journal on Digital Libraries 
682005臺灣機構典藏發展芻議Jieh Hsiang; Hsiao-Ying Hung; JIEH HSIANG 教育資料與圖書館學
692005數位典藏之加值與應用JIEH HSIANG 二十一世紀數位圖書館發展趨勢
702005On developing digital institutional repositories in TaiwanHsiang, J.; Hung, H.-Y.; JIEH HSIANG Journal of Educational Media and Library Science
712005數位典藏之加值與應用陳雪華 ; 項潔 二十一世紀數位圖書館發展趨勢
722005數位典藏國家型科技計畫-應用服務分項計畫─(總計畫)JIEH HSIANG 
732005數位典藏產業商業模式之探討項潔 ; 陳雪華 ; 陳昭珍; 郭筑盈中華民國圖書館學會會報 
742005數位典藏產業商業模式之探討JIEH HSIANG 中華民國圖書館學會會報 
752005數位典藏國家型科技計畫-應用服務分項計畫─數位典藏應用公開徵選計畫(子計畫一)JIEH HSIANG 
762005適用於網際網路的邏輯推理架構之研究(2/3)項潔 
772005Editorial.Hong, Jen-Shin; Doerr, Martin; JIEH HSIANG Int. J. on Digital Libraries
782005Configurable Meta-search for Integrating Web Public Access Catalogs.Ho, Hou Ieong; JIEH HSIANG Digital Libraries: Implementing Strategies and Sharing Experiences, 8th International Conference on Asian Digital Libraries, ICADL 2005, Bangkok, Thailand, December 12-15, 2005, Proceedings
792005Toward an integrated digital museum system - The Chi Nan experiencesHong, J.-S.; Chen, B.-H.; Hung, S.-H.; JIEH HSIANG International Journal on Digital Libraries
802005Configurable meta-search for integrating web public access catalogsHo, H.I.; JIEH HSIANG Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
812004國家檔案數位化影像品質之研究陳雪華 ; 項潔 ; 吳海如檔案季刊 
822004國家檔案數位化影像品質之研究JIEH HSIANG 檔案季刊 
832004各國檔案數位化之探討項潔 ; 陳雪華 ; 吳海如; 洪淑芬檔案季刊 = Archives Quarterly 
842004各國檔案數位化之探討= A Survey of Digitization Methodologies of ArchivesJIEH HSIANG 檔案季刊 = Archives Quarterly 
852004數位典藏加值應用探討項潔 ; 陳雪華 ; 鄭惇方; 魏雅惠圖書資訊學刊 
862004台灣歷史數位圖書館系統架構、功能需求分析研究計畫JIEH HSIANG 
872004台灣歷史數位圖書館系統架構、功能需求分析研究計畫項潔 ; 陳雪華 ; 吳密察
882004Digital archives and the digital content industryHsiang, Jieh ; Chen, Hsueh-Hua 2004 APEC Workshop on Resource Sharing in Digital Libraries
892004可攜式字集資源架構－用以解決缺字問題JIEH HSIANG 第三屆數位典藏技術研討會
902004國家檔案數位化影像品質之研究項潔 ; 陳雪華 
912004運用命題邏輯解決數學問題之搜尋方法研究(3/3)項潔 
92200492年度「資訊教育學門」專題研究計畫成果討論會JIEH HSIANG 
932004A Logical Framework of Knowledge Retrieval with FuzzinessChen Bee-Chung; Hsiang Jieh 2004 IEEE/WIC/ACM International Conference on Web Intelligence
942004數位典藏國家型科技計畫－應用服務分項計畫─（總計畫）項潔 
952004適用於網際網路的邏輯推理架構之研究(1/3)項潔 
962004臺灣歷史數位圖書館系統架構、功能需求分析研究計畫JIEH HSIANG 國立臺灣歷史博物館籌備處委託研究計劃成果報告 
97200424皇后問題共有227,514,171,973,736個解JIEH HSIANG 第二十一屆組合數學與計算理論研討會論文集
982004數位典藏國家型科技計畫－應用服務分項計畫─數位典藏應用開放性計畫（子計畫一）項潔 
992004臺灣歷史數位圖書館系統架構、功能需求分析研究計畫項潔 ; 陳雪華 ; 吳密察國立臺灣歷史博物館籌備處委託研究計劃成果報告 
1002004On the hardness of counting problems of complete mappingsHsiang, J.; Hsu, D.F.; Shieh, Y.-P.; JIEH HSIANG Discrete Mathematics1410
1012004各國檔案數位化之探討JIEH HSIANG 檔案季刊 
1022004A Logical Framework of Knowledge Retrieval with Fuzziness.Chen, Bee-Chung; JIEH HSIANG 2004 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2004), 20-24 September 2004, Beijing, China
1032003臺灣地區數位內容產業人力發展之研究陳雪華 ; 項潔 ; 陳香君 ; 郭筑盈; 朱瀅潔大學圖書館 
1042003台灣地區數位內容產業人力發展之研究JIEH HSIANG 大學圖書館 
1052003Multidimensional interactive fine-grained image retrievalLiu, Wen-Jun; Chen, Bee-Chung; JIEH HSIANG 2003 International Conference on Multimedia and Expo10
1062003數位博物館大觀園項潔 ; 陳雪華 
1072003數位典藏應用加值研討會論文集項潔 ; 陳雪華 
1082003數位典藏應用加值研討會論文集JIEH HSIANG 
1092003數位博物館大觀園JIEH HSIANG 
1102003數位典藏國家型科技計畫：應用服務分項計畫─數位典藏應用開放型計畫(子計畫一)項潔 
1112003臺灣地區文化數位典藏發展與現況JIEH HSIANG 海峽兩岸服務主導型數字圖書館建設學術研討會
1122003運用命題邏輯解決數學問題之搜尋方法研究(2/3)JIEH HSIANG 
1132003數位博物館專輯出版計畫項潔 ; 陳雪華 
1142003國科會「數位博物館專輯出版」計畫項潔 
1152003數位典藏國家型科技計畫---臺灣大學典藏數位化計畫─子計畫一：臺灣文獻文物典藏數位化計畫項潔 
1162003數位內容產業人才發展推動策略報告JIEH HSIANG 
1172003A reasoning framework for heterogeneous XMLShieh, Yuh-Pyng; Chen, Chung-Chen; JIEH HSIANG International Conference on Information Technology: Research and Education00
1182003數位內容產業人才發展推動策略報告項潔 ; 陳雪華 
1192003數位博物館專輯出版計畫JIEH HSIANG 
1202003─數位典藏國家型科技計畫：應用服務分項計畫(總計畫)項潔 
1212003資訊科技跨領域規劃推動小組項潔 
1222003可攜式文字資源--用以解決中文的缺字問題JIEH HSIANG 第三屆海峽兩岸科學技術學術研討會
1232002數位典藏創意加值應用之初探項潔 ; 陳雪華 ; 魏雅惠; 高世芯訊與教育雜誌 
1242002數位典藏創意加值應用之初探JIEH HSIANG 訊與教育雜誌 
1252002數位典藏之產業前景探討項潔 ; 陳雪華 ; 鄭惇方
1262002數位典藏互通性架構之探討陳雪華 ; 項潔 ; 陳昭珍; 洪筱盈; 徐代昕; 張懷文中國圖書館學會會報 
1272002數位典藏互通性架構之探討JIEH HSIANG 中國圖書館學會會報 
1282002Web Technology規劃推動小組項潔 
1292002數位典藏之產業前景探討JIEH HSIANG 2002 經濟部技術處學界科專非技術領域學術研討會論文集
1302002The Design of Metadata for the Digital Museum Initiative in TaiwanChen, Chao-Chen; Chen, Hsueh-Hua ; Chen, Kuang-Hua ; Jieh, Hsiang Online Information Review122
1312002國際數位圖書館合作研究計畫(IDLP)Ⅱ--總計畫JIEH HSIANG 
1322002數位典藏在數位內容產業之應用加值陳雪華 ; 項潔 ; 鄭惇方博物館典藏數位再造理論與實務研討會－人與自然論文集
1332002數位典藏在數位內容產業之應用加值JIEH HSIANG 博物館典藏數位再造理論與實務研討會－人與自然論文集
1342002國際數位圖書館合作研究計畫(IDLP)Ⅱ--總計畫陳雪華 ; 項潔 
1352002運用命題邏輯解決數學問題之搜尋方法研究(1/3)JIEH HSIANG 
1362002寬邊琉璃小灰蝶Callenya melaena shonen (Esaki) (鱗翅目：小灰蝶科) 之幼生期形態描述JIEH HSIANG 特有生物研究
1372002寬邊琉璃小灰蝶Callenya melaena shonen (Esaki) (鱗翅目：小灰蝶科) 之幼生期形態描述張連浩; 洪政欣; 何健鎔; 周文一; 項潔 特有生物研究
1382002適用於蝴蝶的內容與影像查詢技術之研究(2/2)項潔 
1392002數位博物館探討JIEH HSIANG 博物館學季刊
1402002「90年度-數位博物館主題計畫」延續計畫項潔 
1412001Taiwan’s experience of multidisciplinary and international collaboration in digital library developmentChen, Hsueh-hua ; Hsiang, Jieh Panel—Different Cultures Meet: Lessons Learned in Global Digital Library Development
1422001全國文化資料庫系統架構、詮釋資料及數位檔案格式研究計畫陳昭珍; 項潔 ; 陳雪華 行政院文化建設委員會研究計劃成果報告 
1432001在命題邏輯推理方法中去除多餘性的研究與應用(2/2)項潔 
1442001XSL-based Content Management for Multi-presentation Digital Museum Exhibitions.Hong, Jen-Shin; Chen, Bai-Hsuen; JIEH HSIANG Research and Advanced Technology for Digital Libraries, 5th European Conference, ECDL 2001, Darmstadt, Germany, September 4-9, 2001, Proceedings80
1452001全國文化資料庫系統架構、詮釋資料及數位檔案格式研究計畫JIEH HSIANG 行政院文化建設委員會研究計劃成果報告 
1462001Content management for digital museum exhibitions.Hong, Jen-Shin; Chen, Bai-Hsuen; Hsiang, Jieh; JIEH HSIANG ACM/IEEE Joint Conference on Digital Libraries, JCDL 2001, Roanoke, Virginia, USA, June 24-28, 2001, Proceedings30
1472001資訊工程學門研究發展及推動小組項潔 
1482001適用於蝴蝶的內容與影像查詢技術之研究(1/2)JIEH HSIANG 
1492001國際數位圖書館合作研究計畫--IDLP─國際數位圖書館合作研究計畫項潔 
1502000資訊工程學門研究發展及推動小組項潔 
1512000在命題邏輯推理方法中去除多餘性的研究與應用(1/2)JIEH HSIANG 
1522000Digital museum of Taiwanese butterfliesN?rnberg, Peter J.; Hicks, David L.; Furuta, Richard; Jen-Shin Hong; Herng-Yow Chen; JIEH HSIANG fifth ACM conference on Digital libraries00
1532000淡新檔案的數位化整理JIEH HSIANG 中國現代史專題研究報告
1542000Architecture and category knowledge for intelligent information retrieval agentsTu, H.-C.; Hsiang, J.; JIEH HSIANG Decision Support Systems3627
1552000Special issue on advances in computing science - Asian '98Hsiang, J.; Ohori, A.; JIEH HSIANG International Journal of Foundations of Computer Science
1561999Agent technology for website browsing and navigationTu, Hsieh-Chang; Lyu, Michael L.; JIEH HSIANG 32nd Annual Hawaii International Conference on System Sciences00
1571999Taiwan Austronesian Electronic Cultural Atlas of the PacificBlundell, David; Hsiang, Jieh 1999 EBTI, ECAI, SEER & PNC Joint Meeting 
1581999Personalized web retrieval: Three agents for retrieving web informationHsiang, J.; Tu, H.-C.; JIEH HSIANG Lecture Notes in Computer Science2
1591999助理型軟體系統之研製與應用─子計畫四：助理型軟體環境中架構及語言的研發(3/3)項潔 
1601999─助理型軟體系統之研製與應用3/3(總計畫)項潔 
1611999電子圖書館文獻與博物館藏品數位化技術與應用之研究─子計畫二：台灣史料中知識擷取與覽讀環境之研究(II)項潔 
1621998An architecture and category knowledge for intelligent information retrieval agentsTu, Hsieh-Chang; Hsiang, Jieh System Sciences00
1631998布爾環的理論與應用研究(I)JIEH HSIANG 
1641998On the Modelling of Search in Theorem Proving - Towards a Theory of Strategy AnalysisBonacina, M.P.; JIEH HSIANG Information and Computation129
1651998助理型軟體系統之研製與應用2/3(總計畫)JIEH HSIANG 
1661998臺灣史料數位化的一些挑戰JIEH HSIANG 21世紀資訊科學與技術的展望 
1671998PrefaceHsiang, J.; Ohori, A.; JIEH HSIANG Lecture Notes in Computer Science
1681998Architecture and category knowledge for intelligent information retrieval agentsTu, Hsieh-Chang; JIEH HSIANG Hawaii International Conference on System Sciences36
1691998臺灣史料數位化－臺大電子圖書館與博物館計畫JIEH HSIANG 科學發展
1701998助理型軟體系統之研製與應用─子計畫四：助理型軟體環境中架構及語言的研發(2/3)JIEH HSIANG 
1711998Advances in Computing Science - ASIAN '98, 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, ProceedingsJIEH HSIANG 
1721998An Architecture and Category Knowledge for Intelligent Information Retrieval Agents.Tu, Hsieh-Chang; JIEH HSIANG Thirty-First Annual Hawaii International Conference on System Sciences, Kohala Coast, Hawaii, USA, January 6-9, 1998
1731998Personalized Web Retrieval: Three Agents for Retrieving Web Information.Hsiang, Jieh; JIEH HSIANG Multiagent Platforms, First Pacific Rim International Workshop on Multi-Agents, PRIMA '98, Singapore, November 23, 1998, Selected Papers
1741998On semantic resolution with lemmaizing and contraction and a formal treatment of cachingBonacina, M.P.; JIEH HSIANG New Generation Computing
1751997A generic virus detection agent on the InternetHsiang, Jieh ; Lee, Jieh-Sheng; Tsang, Po-HaoThirtieth Hawaii International Conference on System Sciences 
1761997台灣大學電腦系統技術研發重點中心JIEH HSIANG 
1771997助理型軟體系統之研製與應用─子計劃四：助理型軟體環境中架構及語言的研發（Ⅰ）JIEH HSIANG 
1781997Generic virus detection agent on the InternetLee, Jieh-Sheng; Hsiang, Jieh; Tsang, Po-Hao; JIEH HSIANG Hawaii International Conference on System Sciences
1791997助理型軟體系統之研製與應用─總計畫(Ⅰ)JIEH HSIANG 
1801997定理證明之策略分析的理論基礎JIEH HSIANG 
1811997Some fundamental properties of Boolean ring normal formsHsiang J.; Huang G. S.; HsiangJ DIMACS Series on Discrete Mathematics and Theoretical Computer Science, American Mathematical Society 
1821997A Generic Virus Detection Agent on the Internet.Lee, Jieh-Sheng; Hsiang, Jieh; Tsang, Po-Hao; JIEH HSIANG 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 7-10 January 1997, Maui, Hawaii, USA
1831996PSATO: A distributed propositional prover and its application to quasigroup problemsZHANG, HANTAO; BONACINA, MARIA PAOLA; HSIANG, JIEHZhang, H.; Bonacina, M.P.; JIEH HSIANG 15097
1841996Automating algebraic proofs in algebraic logicHsiang, J.; Wasilewska, A.; JIEH HSIANG Fundamenta Informaticae
1851996用０階邏輯中之推論方法解決數學問題JIEH HSIANG 
1861996從Internet看未來的資訊革命JIEH HSIANG 網際網路應用技術研討會 
1871996自動推理系統環境II─自動推理系統環境：子計畫(一)邏輯推理系統之完備性及有效性之探討JIEH HSIANG 
1881996自動推理系統環境II─自動推理系統環境總計畫(Ⅱ)JIEH HSIANG 
1891996自動推理方法之平行/分散化JIEH HSIANG 
1901996Automating Algebraic Proofs in Algebraic Logic.Hsiang, Jieh; Wasilewska, Anita; JIEH HSIANG Fundam. Inform.
1911996On semantic resolution with lemmaizing and contractionBonacina, M.P.; JIEH HSIANG Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1921996On Semantic Resolution with Lemmaizing and Contraction.Bonacina, Maria Paola; JIEH HSIANG PRICAI'96: Topics in Artificial Intelligence, 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26-30, 1996, Proceedings
1931996Some fundamental properties of Boolean ring normal forms.Hsiang, Jieh; Huang, Guan-Shieng; JIEH HSIANG Satisfiability Problem: Theory and Applications, Proceedings of a DIMACS Workshop, Piscataway, New Jersey, USA, March 11-13, 1996
1941995Recurrence Domains:Their Unification and Application to Logic ProgrammingChen, H.; 項潔; Hsiang, Jieh Information and Computation74
1951995Distributed Deduction by Clause-Diffusion:Distributed Contraction and the Aquarius ProverBonacina, M. P.; Hsiang, Jieh; JIEH HSIANG Journal of Symbolic Computation96
1961995PrefaceJIEH HSIANG Lecture Notes in Computer Science
1971995Rewriting Techniques and Applications, 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995, ProceedingsJIEH HSIANG 
1981995The Clause-Diffusion Methodology for Distributed Deduction.Bonacina, Maria Paola; JIEH HSIANG Fundam. Inform.
1991994Distributed Deduction by Clause-Diffusion:the Aquarius ProverBonacina, P. B.; Hsiang, Jieh; JIEH HSIANG Third Conference on the Design and Implemetntation of Symbolic Computation 
2001994收縮型自動推論方法JIEH HSIANG 
2011994A Category Theory Approach to Completion-Based Theorem Proving StrategiesBonacina, M. P.; Hsiang, Jieh; JIEH HSIANG Journal of Information Science and Engineering 
2021994Distributed Deduction by Clause-DiffusionBonacina, M. P.; Hsiang, Jieh; JIEH HSIANG Fundamenta Informaticae 
2031994Towards a Foundation of Completion Procedures as Semidecision ProceduresBonacina, M. P.; 項潔; Hsiang, Jieh Theoretical Computer Science2721
2041994On subsumption in distributed derivationsBonacina, M.P.; JIEH HSIANG Journal of Automated Reasoning
2051994Parallelization of deduction strategies: An analytical studyBonacina, M.P.; JIEH HSIANG Journal of Automated Reasoning
2061993On Fairness in Distributed Automated Deduction.Bonacina, Maria Paola; JIEH HSIANG STACS 93, 10th Annual Symposium on Theoretical Aspects of Computer Science, W?rzburg, Germany, February 25-27, 1993, Proceedings
2071993Distributed Deduction by Clause-Diffusion: The Aquarius Prover.Bonacina, Maria Paola; JIEH HSIANG Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993, Proceedings
2081992Automated Proofs of the Moufang Identities in Alternative RingsAnantharaman, S.; 項潔; Hsiang, Jieh Journal of Automated Reasoning290
2091992On rewrite programs: Semantics and relationship with prologBonacina, M.P.; Hsiang, J.; JIEH HSIANG The Journal of Logic Programming138
2101992The Term Rewriting Approach to Automated Theorem Proving.Hsiang, Jieh; Kirchner, Hélène; Lescanne, Pierre; Rusinowitch, Michaël; JIEH HSIANG J. Log. Program.
2111991Computing with Recurrence DomainsChen, H.; Hsiang, Jieh; JIEH HSIANG Symposium on Theoretical Computer Science 
2121991Rewrite Techniques in Theorem ProvingJIEH HSIANG 
2131991Proving Refutational Completeness of Theovem-Proving Strategies:The Transfinite Semantic Tree MethodRusinowitch, M.; 項潔; Hsiang, Jieh Journal of the Association for Computing Machinery 
2141991Logic Programming with Recurrence DomainsJIEH HSIANG 18th International Conference on Automata,Languages and Programming160
2151991On Fairness of Completion-Based Theorem Proving Strategies.Bonacina, Maria Paola; JIEH HSIANG Rewriting Techniques and Applications, 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991, Proceedings
2161991Proving Refutational Completeness of Theorem-Proving Strategies: The Transfinite Semantic Tree Method.Hsiang, Jieh; Rusinowitch, Michaël; JIEH HSIANG J. ACM
2171990SbReve:A Term Rewritiong Laboratory with Unfailing CompletionAnantharaman, S.; 項潔; Mzali, J.; Hsiang, Jieh 3rd International Conference on Rewrite Techniques and Applications 
2181990On Finite Representation of Infinite TermsChen, H.; 項潔; Kung, H. C.; Hsiang, Jieh 2nd International Conference on Conditional Term Rewriting Systems 
2191990Automatic Inductive Theorem Proving Using PrologSrivas, M. K.; 項潔; Hsiang, Jieh Theoretical Computer Science06
2201990Completion Procedures as Semidecision Procedures.Bonacina, Maria Paola; JIEH HSIANG Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings
2211990Tutorial on Rewrite-Based Theorem Proving.Hsiang, Jieh; Jouannaud, Jean-Pierre; JIEH HSIANG 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings
2221990On Finite Representations of Infinite Sequences of Terms.Chen, Hong; Hsiang, Jieh; Kong, Hwa-Chung; JIEH HSIANG Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings
2231989SbReve2: A Term Rewriting Laboratory with (AC-) Unfailing Completion.Anantharaman, Siva; Hsiang, Jieh; Mzali, Jalel; JIEH HSIANG Rewriting Techniques and Applications, 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings
2241987A New Method for Establishing Refutational Completeness in Theorem Proving項潔; Rusinowitch, M.; Hsiang, Jieh 8th Conference on Automated Deduction 
2251987Refutational Theorem Proving with Oriented EquationsDershowitz, N.; Hsiang, Jieh; JIEH HSIANG Colloquium on the Resolution of Equations in Algebraic Structures 
2261987Term Rewriting Theorem Proving for EqualityJIEH HSIANG Workshop in Combinatorial Algorithms in Algebraic Structures 
2271987Rewrite Method for Theorem Proving in First Order Theory with EqualityJIEH HSIANG Journal of Symbolic Computation
2281987On Word Problems in Equational Theories.Hsiang, Jieh; Rusinowitch, Michaël; JIEH HSIANG Automata, Languages and Programming, 14th International Colloquium, ICALP87, Karlsruhe, Germany, July 13-17, 1987, Proceedings
2291986Orderings for Equational ProofsBachmair, L.; Dershowitz, D.; Hsiang, Jieh; JIEH HSIANG The Symposium on Logic in Computer Science
2301986Prolog-based Inductive Theorem ProvingHsiang, Jieh; Srivas, M. K.; JIEH HSIANG 5th Foundations of Software Technolong Theoretical Computer Science 
2311986ORDERINGS FOR EQUATIONAL PROOFS.Bachmair, Leo; Dershowitz, Nachum; Hsiang, Jieh; JIEH HSIANG 
2321986A New Method for Establishing Refutational Completeness in Theorem Proving.Hsiang, Jieh; Rusinowitch, Michaël; JIEH HSIANG 8th International Conference on Automated Deduction, Oxford, England, July 27 - August 1, 1986, Proceedings
2331985Two Results in Term Rewriting Theorem ProvingJIEH HSIANG Rewriting Techniques and Applications 
2341985TeRSe:A Term Rewriting Theorem ProverHsiang, Jieh; Josephson, N. A.; JIEH HSIANG Rewrite Rule Laboratory Workshop 
2351985A Prolog Environment for Developing and Reasoning About Data TypesJIEH HSIANG Colloquium on Software Engineering
2361985Refutational theorem proving using term-rewriting systemsJIEH HSIANG Artificial Intelligence131102
2371985Two Results in Term Rewriting Theorem Proving.JIEH HSIANG Rewriting Techniques and Applications, First International Conference, RTA-85, Dijon, France, May 20-22, 1985, Proceedings
2381985Rewrite Techniques and ApplicationsJIEH HSIANG 
2391985A PROLOG Environment for Developing and Reasoning about Data Types.Hsiang, Jieh; Srivas, Mandayam K.; JIEH HSIANG Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 2: Colloquium on Software Engineering (CSE)
2401985PROLOG-Based Inductive Theorem Proving.Hsiang, Jieh; Srivas, Mandayam K.; JIEH HSIANG Foundations of Software Technology and Theoretical Computer Science, Fifth Conference, New Delhi, India, December 16-18, 1985, Proceedings
2411983Solving Open Problems in Quasigroups by Propositional ReasoningZhang, H.; Hsiang, Jieh; JIEH HSIANG 
2421983Rewrite Methods for Clausal and Nonclausal Theorem Proving項潔; Dershowitz, N.; Hsiang, Jieh 10th International Conference on Automata, Languages and Programming 
2431983REWRITE METHODS FOR CLAUSAL AND NON-CLAUSAL THEOREM PROVING.Hsiang, Jieh; Dershowitz, Nachum; JIEH HSIANG Lecture Notes in Computer Science
2441983ASSOCIATIVE-COMMUTATIVE REWRITING.Dershowitz, Nachum; Josephson, N.Alan; Hsiang, Jieh; Plaisted, David A.; JIEH HSIANG 
2451983Rewrite Methods for Clausal and Non-Clausal Theorem Proving.Hsiang, Jieh; Dershowitz, Nachum; JIEH HSIANG Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain, July 18-22, 1983, Proceedings