UM

Browse/Search Results:  1-10 of 15 Help

Selected(0)Clear Items/Page:    Sort:
Decoding the role of TET family dioxygenases in lineage specification Journal article
EPIGENETICS & CHROMATIN, 2018,Volume: 11
Authors:  Wu, XW;  Li, G;  Xie, RY
Favorite  |  View/Download:3/0  |  Submit date:2019/01/17
Lineage Specification  Tet  Enhancer  Bivalent Promoter  5mc  5hmc  
A formal approach to chart patterns classification in financial time series Journal article
INFORMATION SCIENCES, 2017,Volume: 411,Page: 151-175
Authors:  Yuqing Wan;  Yain-Whar Si
Favorite  |  View/Download:8/0  |  Submit date:2018/10/30
Chart Patterns  Formal Specification  Pattern Matching  Financial Time Series  Technical Analysis  
Temporal establishment of neural cell identity in vivo and in vitro Journal article
JOURNAL OF TISSUE ENGINEERING AND REGENERATIVE MEDICINE, 2017,Volume: 11,Issue: 9,Page: 2582-2589
Authors:  Yuen, Shun Ming;  Kwok, Hang Fai
Favorite  |  View/Download:10/0  |  Submit date:2018/10/30
Temporal Regulation  Neural Stem Cells  Embryonic Stem Cells  Induced Pluripotent Stem Cells  Cis-regulatory Elements  Cell Fates  Neural Specification  
Basic research in computer science and software engineering at SKLCS Journal article
Frontiers of Computer Science in China, 2008,Volume: 2,Issue: 1,Page: 1-11
Authors:  Zhang J.;  Zhang W.;  Zhan N.;  Shen Y.;  Chen H.;  Zhang Y.;  Wang Y.;  Wu E.;  Wang H.;  Zhu X.
Favorite  |  View/Download:0/0  |  Submit date:2019/02/13
Automated reasoning  Computer graphics  Concurrency theory  Formal specification  Human-computer interaction  Middleware  Parallel algorithms  Real-time system  Software process  
rCOS: Refinement of component and object systems Conference paper
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Authors:  Liu Z.;  Jifeng H.;  Li X.
Favorite  |  View/Download:4/0  |  Submit date:2019/02/14
Component-Based Development  Consistency  Object-Orientation  Refinement  Specification  
Consistency checking of UML requirements Conference paper
Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
Authors:  Li X.;  Liu Z.;  He J.
Favorite  |  View/Download:3/0  |  Submit date:2019/02/14
Consistency Checking  Formal requirement Specification  Requirement Analysis  UML  
Towards a Rigorous Approach to UML-Based Development Journal article
Electronic Notes in Theoretical Computer Science, 2005,Volume: 130,Page: 57–77
Authors:  ZhimingLiu;  He Jifeng;  Xiaoshan Li
Favorite  |  View/Download:1/0  |  Submit date:2019/05/20
Object-orientation  Transformation  Component-based Development  Refinement  Specification  
Towards a rigorous approach to UML-based development Conference paper
Electronic Notes in Theoretical Computer Science
Authors:  Liu Z.;  He J.;  Li X.
Favorite  |  View/Download:2/0  |  Submit date:2019/02/14
Component-Based Development  Object-Orientation  Refinement  Specification  Transformation  
Generating a prototype from a UML model of system requirements Journal article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004,Volume: 3347,Page: 255-265
Authors:  Li X.;  Liu Z.;  He J.;  Long Q.
Favorite  |  View/Download:2/0  |  Submit date:2019/02/14
Code generation  Formal specification  Prototype  Requirements analysis  
Unifying proof methodologies of duration calculus and timed linear temporal logic Conference paper
Formal Aspects of Computing
Authors:  Liu Z.;  Ravn A.P.;  Li X.
Favorite  |  View/Download:0/0  |  Submit date:2019/02/14
Design  Real-time  Refinement  Specification  Verification