兰州大学机构库

Browse/Search Results:  1-10 of 250 Help

Selected(0)Clear Items/Page:    Sort:
Distilling structure in Taverna scientific workflows: a refactoring approach 期刊论文
BMC BIOINFORMATICS, 2014, 卷号: 15, 页码: 1-14
Authors:  Cohen-Boulakia, Sarah;  Chen, Jiuqiang;  Missier, Paolo;  Goble, Carole;  Williams, Alan R.;  Froidevaux, Christine
Adobe PDF(2769Kb)  |  Favorite  |    Submit date:2015/12/15
Data flow analysis  Bioinformatics  Computer software reusability  Data handling  Design  Design for testability  Graphic methods  Semantics  Bioinformaticians  Contributing factor  Management systems  Operational efficiencies  Programming models  Scientific workflows  Structural complexity  Workflow structures  
Emergency Service Provision Using a Novel Hybrid SOM-Spiral STC Model for Group Decision Support under Dynamic Uncertainty 期刊论文
APPLIED SCIENCES-BASEL, 2019, 卷号: 9, 期号: 18
Authors:  Hai Van Pham;  Moore, Philip
Adobe PDF(5148Kb)  |  Favorite  |    Submit date:2020/08/06
self organizing maps  fuzzy rules  emergency planning and management  group decision support  autonomous robot control  smart-environments  
Ontology-based context modeling for emotion recognition in an intelligent web 期刊论文
WORLD WIDE WEB-INTERNET AND WEB INFORMATION SYSTEMS, 2013, 卷号: 16, 期号: 4, 页码: 497-513
Authors:  Zhang, Xiaowei;  Hu, Bin;  Chen, Jing;  Moore, Philip
Adobe PDF(1886Kb)  |  Favorite  |    Submit date:2015/12/15
ontology  context modeling  reasoning  emotion recognition  EEG  
基于指称语义的可扩展标记语言的语义研究 学位论文
硕士, 兰州: 兰州大学, 2002
Authors:  文书槐
Favorite  |    Submit date:2019/01/18
指称语义  XML  MathML  面向MathML的解释  
框架语义学下的初级汉语词汇教学初探——以格鲁吉亚第比利斯第14公立学校为例 学位论文
硕士, 兰州: 兰州大学, 2019
Authors:  侯颖杰
Favorite  |    Submit date:2020/01/16
框架教学法  汉语词汇教学  框架语义理论  
Spin-dependent electron transport along hairpinlike DNA molecules 期刊论文
PHYSICAL REVIEW B, 2020, 卷号: 102, 期号: 19
Authors:  Hu, Pei-Jia;  Wang, Si-Xian;  Gao, Xiao-Hui;  Zhang, Yan-Yang;  Fang, Tie-Feng;  Guo, Ai-Min;  Sun, Qing-Feng
Adobe PDF(561Kb)  |  Favorite  |    Submit date:2020/12/18
A non-interleaving denotational semantics of value passing CCS with action refinement 会议论文
LECT NOTES ARTIF INT, Lanzhou, PEOPLES R CHINA, 39307
Authors:  Zheng, GA;  Lie, SR;  Wu, JZ;  Li, L;  Zheng, GA (reprint author), Lanzhou Univ, Sch Informat Sci & Engn, Lanzhou 730000, Peoples R China.
Favorite  |    Submit date:2017/01/18
Value Passing Ccs  Valued Stable Event Structures  Valued Labeled Configuration Structures  Action Refinement  Semantics  
Fine Grained Semantics of Images in Digital Museum 会议论文
2010 3rd IEEE International Conference on Ubi-Media Computing, U-Media 2010, Jinhua, China, July 5, 2010 - July 6, 2010
Authors:  Zhang, Gaofeng;  Liu, Tongshan;  Liu, Shaobo;  Zhou, Qingguo;  Zhang, G. (zhanggaof@lzu.edu.cn)
Favorite  |    Submit date:2017/01/18
Museums  Animals  Digital Image  Digital Museums  Dunhuang  Fine Grained  Mogao Grottoes  Semantic Attribute  Semantic Units  Virtual Exhibitions  
Mathematics computing environment on the Web 会议论文
2006 2nd International Conference on Semantics Knowledge and Grid, SKG, Guilin Guangxi, China, November 1, 2006 - November 3, 2006
Authors:  Liu, Li;  Yang, Yi;  Li, An;  Liu, L. (liliu03@st.lzu.edu.cn)
Favorite  |    Submit date:2017/01/18
Mathematical Models  Computational Linguistics  Computational Methods  Computer Networks  Computer Systems  Engineering Research  Engineering Technology  Grid Computing  Information Services  Information Technology  Information Theory  Knowledge Acquisition  Knowledge Engineering  Knowledge Representation  Neodymium  Semantics  Statistics  Technology  Technology Transfer  Adaptive Learning  Computational Power  Dynamic Resources  End Users  Formal Representations  Grid Computing Environments  International Conferences  Mathematical Computing  Mathematical Facts  Mathematical Knowledge  Mathematical Software  Mathematics Computing  Mathematics Software  Rapid Evolution  Resource Modeling  Retrieval (Mir)  Semantic Representations  Service Provider (Sp)  Web Environment  Web Technologies  Web-based Services  
A Mathematical Characterization of System Design and Modeling 期刊论文
APPL MATH INFORM SCI, 2012, 卷号: 6, 期号: 2, 页码: 345-356
Authors:  Zhao, Xibin;  He, Anping;  Wu, Jinzhao;  Yang, Guowu;  Yang, Yi;  Zhou, Ning;  Yong, Shihan;  Li, Lian
Favorite  |    Submit date:2015/12/15
Denotational semantics  Operational semantics  Bi-simulation  Process algebra  Timed stable event structure