[IEEE 31st IEEE Software Engineering Workshop (SEW 2007) - Columbia, MD, USA (2007.03.6-2007.02.8)] 31st IEEE Software Engineering Workshop (SEW 2007) - LTL Guided Planning: Revisiting Automatic Tool Composition in ETI
- 作者Margaria, Tiziana; Margaria, Tiziana; Margaria, Tiziana; Margaria, Tiziana; Steffen, Bernhard; Steffen, Bernhard; Steffen, Bernhard; Steffen, Bernhard
- 文件大小235.92KB
- 发表时间2007
- DOI10.1109/sew.2007.63
- 页码214-226
Endoscopic Submucosal Tunnel DissectionYang, Jin-Lin; Gan, Tao; Zhu, Lin-Lin; Wang, Yi-Ping; Yang, Li; Wu, Jun-Chao · Diseases of the Colon & Rectum · 2017
Mobility Enhancement of MOSFETs on p-SiliconChao, T.S.; Lin, Y.H.; Yang, W.L.; Chao, T.S.; Lin, Y.H.; Yang, W.L. · IEEE Electron Device Letters · 2004
Large ecosystem service benefits of assisted natural regenerationYang, Yusheng; Wang, Lixin; Yang, Zhijie; Xu, Chao; Xie, Jingsheng; Chen, Guangshui; Lin, Chengfang; Guo, Jianfen; Liu, Xiaofei; Xiong, Decheng; Lin, Weisheng; Chen, Shidong; He, Zongming; Lin, Kaimiao; Jiang, Miaohua; Lin, Teng-Chiu · Journal of Geophysical Research: Biogeosciences · 2018
Comparative Renoprotective Effect of Febuxostat and Allopurinol in Pre‐Dialysis Stage 5 Chronic Kidney Disease Patients: A Nationwide Database AnalysisHsu, Yun‐Shiuan Olivia; Wu, I‐Wen; Chang, Shang‐Hung; Lee, Cheng‐Chia; Tsai, Chung‐Ying; Lin, Chan‐Yu; Lin, Wan‐Ting; Huang, Yu‐Tung; Wu, Chao‐Yi; Kuo, George; Hsiao, Chih‐Yen; Lin, Hsing‐Lin; Yang, Chih‐Chao; Yen, Tzung‐Hai; Chen, Yung‐Chang; Hung, Cheng‐Chieh; Tian, Ya‐Chong; Kuo, Chang‐Fu; Yang, Chih‐Wei; Anderson, Gerard F.; Yang, Huang‐Yu · Clinical Pharmacology & Therapeutics · 2019
Cover ImageWen, Ling‐yi; Yang, Zhi‐gang; Li, Zhen‐lin; Ai, Hua; Xia, Chun‐chao; Zhang, Li‐zhi; Lin, Bin‐bin; Zhang, Kun; Fu, Hang; Wu, Chang‐qiang; Yang, Li; Fan, Hai‐ming; Guo, Ying‐kun · NMR in Biomedicine · 2019
Myocardial infarction-induced hippocampal microtubule damage by cardiac originating microRNA-1 in miceSun, Lin-Lin; Duan, Ming-Jing; Ma, Ji-Chao; Xu, Ling; Mao, Meng; Biddyut, Das; Wang, Qin; Yang, Chao; Zhang, Shuai; Xu, Yi; Yang, Lin; Tian, You; Liu, Ying; Xia, Sheng-Nan; Li, Ke-Xin; Jin, Zhuo; Xiong, Qiaojie; Ai, Jing · Journal of Molecular and Cellular Cardiology · 2018
Antimicrobial, Antioxidant, and Anti-Inflammatory Activities of Essential Oils from Five Selected HerbsTSAI, Mei-Lin; LIN, Chih-Chien; LIN, Wei-Chao; YANG, Chao-Hsun · Bioscience, Biotechnology and Biochemistry · 2011
Editorial BoardYang, Tsung-Lin; Hu, Yu-Feng; Lin, Yenn-Jiang; Chang, Shih-Lin; Lo, Li-Wei; Tuan, Ta-Chuan; Chao, Tze-Fan; Chung, Fa-Po; Lei, Hao-Jan; Chen, Shih-Ann · Cardiology Clinics · 2000
Estimating Matrix Condition NumbersO’Leary, Dianne Prost · SIAM Journal on Scientific and Statistical Computing · 1980
Computing Optimal Locally Constrained StepsGay, David M. · SIAM Journal on Scientific and Statistical Computing · 1981
On Generating Orthogonal PolynomialsGautschi, Walter · SIAM Journal on Scientific and Statistical Computing · 1982
Matrix Methods for Queuing ProblemsKaufman, Linda · SIAM Journal on Scientific and Statistical Computing · 1983
Quasiconformal Mappings and Grid GenerationMastin, C. W.; Thompson, J. F. · SIAM Journal on Scientific and Statistical Computing · 1984
A Conic Algorithm for OptimizationGourgeon, Hervé; Nocedal, Jorge · SIAM Journal on Scientific and Statistical Computing · 1985
Interpreting Parallel Processor Performance MeasurementsJordan, Harry F. · SIAM Journal on Scientific and Statistical Computing · 1987
Multigrid on Composite MeshesHenshaw, W. D.; Chesshire, G. · SIAM Journal on Scientific and Statistical Computing · 1987