English  |  正體中文  |  简体中文  |  2823024  
???header.visitor??? :  30227361    ???header.onlineuser??? :  877
???header.sponsordeclaration???
 		 
???search.scope??? ???search.advance???
臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)
???ui.leftmenu.abouttair???
???ui.leftmenu.explanation???

???ui.leftmenu.bartitle???
Repositories
Author
Title
Date
???ui.leftmenu.statisticschart???
???ui.leftmenu.realtimefacts???
???ui.leftmenu.trend???

???index.news???
2019臺灣學術機構典藏
研討會
機構典藏系統RC7版本已
發佈

???ui.leftmenu.copyrighttitle???
???ui.leftmenu.copyrightpublisher???
???ui.leftmenu.copyrightconference???

???ui.leftmenu.link???
機構典藏計畫網站
ROAR
OpenDOAR
SHERPA
OAIster
JAIRO
Ira
DSPACE
RWWR
臺大學術典藏NTU Scholars
???tair.name??? >  ???browser.page.title.author???

"jie hong rol"???jsp.browse.items-by-author.description???

???jsp.browse.items-by-author.back???
???jsp.browse.items-by-author.order1??? ???jsp.browse.items-by-author.order2???

Showing items 1-10 of 10  (1 Page(s) Totally)
1 
View [10|25|50] records per page

Institution Date Title Author
臺大學術典藏 2018-09-10T15:36:37Z 2QBF: Challenges and Solutions Valeriy Balabanov;Jie-Hong Rol;Jiang, Christoph Scholl;Alan Mishchenko;Robert K. Brayton; Valeriy Balabanov; Jie-Hong Rol; Jiang, Christoph Scholl; Alan Mishchenko; Robert K. Brayton; JIE-HONG JIANG
臺大學術典藏 2018-09-10T15:36:37Z 2QBF: Challenges and Solutions Valeriy Balabanov;Jie-Hong Rol;Jiang, Christoph Scholl;Alan Mishchenko;Robert K. Brayton; Valeriy Balabanov; Jie-Hong Rol; Jiang, Christoph Scholl; Alan Mishchenko; Robert K. Brayton; JIE-HONG JIANG
臺大學術典藏 2018-09-10T15:26:16Z Hybrid Simulations of Heterogeneous Biochemical Models in SBML Hui-Ju Katherine Chiang;Francois Fages;Jie-Hong Rol;Jiang;Sylvain Soliman; Hui-Ju Katherine Chiang; Francois Fages; Jie-Hong Rol; Jiang; Sylvain Soliman; JIE-HONG JIANG
臺大學術典藏 2018-09-10T15:26:16Z Hybrid Simulations of Heterogeneous Biochemical Models in SBML Hui-Ju Katherine Chiang;Francois Fages;Jie-Hong Rol;Jiang;Sylvain Soliman; Hui-Ju Katherine Chiang; Francois Fages; Jie-Hong Rol; Jiang; Sylvain Soliman; JIE-HONG JIANG
臺大學術典藏 2018-09-10T15:00:43Z Building Reconfigurable Circuitry in a Biochemical World Hui-Ju Katherine Chiang;Jie-Hong Rol;Jiang;François Fages; Hui-Ju Katherine Chiang; Jie-Hong Rol; Jiang; Franç; ois Fages; JIE-HONG JIANG
臺大學術典藏 2018-09-10T15:00:43Z Building Reconfigurable Circuitry in a Biochemical World Hui-Ju Katherine Chiang;Jie-Hong Rol;Jiang;François Fages; Hui-Ju Katherine Chiang; Jie-Hong Rol; Jiang; Franç; ois Fages; JIE-HONG JIANG
臺大學術典藏 2018-09-10T09:50:56Z Synthesizing Multiple Boolean Functions Using Interpolation on a Single Proof Georg Hofferek;Ashutosh Gupta;Bettina Konighofer;Jie-Hong Rol;Jiang, Roderick Bloem; Georg Hofferek; Ashutosh Gupta; Bettina Konighofer; Jie-Hong Rol; Jiang, Roderick Bloem; JIE-HONG JIANG
臺大學術典藏 2018-09-10T09:50:56Z Synthesizing Multiple Boolean Functions Using Interpolation on a Single Proof Georg Hofferek;Ashutosh Gupta;Bettina Konighofer;Jie-Hong Rol;Jiang, Roderick Bloem; Georg Hofferek; Ashutosh Gupta; Bettina Konighofer; Jie-Hong Rol; Jiang, Roderick Bloem; JIE-HONG JIANG
臺大學術典藏 2018-09-10T08:18:34Z A Robust Functional ECO Engine by SAT Proof Minimization and Interpolation Techniques Bo-Han Wu;Chun-Ju Yang;Chung-Yang (Ric) Huang;Jie-Hong (Rol;) Jiang; Bo-Han Wu; Chun-Ju Yang; Chung-Yang (Ric) Huang; JIE-HONG JIANG; Jie-Hong (Rol; ) Jiang; CHUNG-YANG HUANG
臺大學術典藏 2018-09-10T08:18:34Z A Robust Functional ECO Engine by SAT Proof Minimization and Interpolation Techniques Bo-Han Wu;Chun-Ju Yang;Chung-Yang (Ric) Huang;Jie-Hong (Rol;) Jiang; Bo-Han Wu; Chun-Ju Yang; Chung-Yang (Ric) Huang; JIE-HONG JIANG; Jie-Hong (Rol; ) Jiang; CHUNG-YANG HUANG

Showing items 1-10 of 10  (1 Page(s) Totally)
1 
View [10|25|50] records per page

DSpace Software Copyright © 2002-2004  MIT   &  Hewlett-Packard   /   Enhanced by   NTU Library IR team