UM

Browse/Search Results:  1-10 of 12 Help

Filters    
Selected(0)Clear Items/Page:    Sort:
Nanoencapsulation of Cyanidin-3-O-glucoside Enhances Protection Against UVB-Induced Epidermal Damage through Regulation of p53-Mediated Apoptosis in Mice Conference paper
Authors:  Liu, Zhaohan;  Hu, Yunfeng;  Li, Xia;  Mei, Zhouxiong;  Wu, Shi;  He, Yong;  Jiang, Xinwei;  Sun, Jianxia;  Xiao, Jianbo;  Deng, Liehua;  Bai, Weibin
Favorite  |  View/Download:2/0  |  Submit date:2018/10/30
ultraviolet B (UVB)  cyanidin-3-O-glucoside (C3G)  nanoparticles  mitochondrial apoptosis  skin photodamage  
Multiphase surface tracking with explicit contouring Conference paper
Proceedings of the ACM Symposium on Virtual Reality Software and Technology, VRST, Edinburgh, Scotland, November 11 - 13, 2014
Authors:  Xiaosheng Li;  Xiaowei He;  Xuehui Liu;  Baoquan Liu;  Enhua Wu
Favorite  |  View/Download:3/0  |  Submit date:2019/02/13
Level Set  Multiphase Simulation  Surface Tracking  
Properties of rough sets in normed linear space and its proof Conference paper
Proceedings - 2007 IEEE International Conference on Granular Computing, GrC 2007
Authors:  Sun H.;  Wang Y.;  He L.;  Liu Q.
Favorite  |  View/Download:2/0  |  Submit date:2019/01/16
Normed linear space  Property  Rough sets  Upper and lower approximation  
Component-based software engineering* the need to linie methods and their theories Conference paper
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Authors:  He J.;  Li X.;  Liu Z.
Favorite  |  View/Download:2/0  |  Submit date:2019/02/14
Components  Composition  Consistency  Contracts  Functionality  Interfaces  Protocols  Refinement  Simulation  
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:1/0  |  Submit date:2019/02/14
Consistency Checking  Formal requirement Specification  Requirement Analysis  UML  
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  
Unifying views of UML Conference paper
Electronic Notes in Theoretical Computer Science
Authors:  Liu Z.;  He J.;  Liu J.;  Li X.
Favorite  |  View/Download:1/0  |  Submit date:2019/02/14
Object-Orientation  RUP  UML  UTP  
Linking UML models of design and requirement Conference paper
Proceedings of the Australian Software Engineering Conference, ASWEC
Authors:  Liu J.;  Liu Z.;  He J.;  Li X.
Favorite  |  View/Download:0/0  |  Submit date:2019/02/14
Consistency  Semantics  UML  
Towards a Refinement Calculus for Object Systems Conference paper
1st IEEE International Conference on Cognitive Informatics (ICCI 2002), CALGARY, CANADA, AUG 19-20, 2002
Authors:  He, JF;  Liu, ZM;  Li, XS
Favorite  |  View/Download:18/0  |  Submit date:2019/05/20
Using transition systems to unify UML models Conference paper
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), SHANGHAI, PEOPLES R CHINA, OCT 21-25, 2002
Authors:  Liu Z.;  Li X.;  He J.
Favorite  |  View/Download:2/0  |  Submit date:2019/02/14
Conceptual Model  Object-orientation  Transition Systems  Uml  Use-case Model