UM

Browse/Search Results:  1-10 of 10 Help

Selected(0)Clear Items/Page:    Sort:
Model checking bounded continuous-time Extended Linear Duration Invariants Conference paper
HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)
Authors:  An J.;  Zhan N.;  Li X.;  Zhang M.;  Yi W.
Favorite  |  View/Download:2/0  |  Submit date:2019/02/14
Duration calculus  ELDI  Model checking  Quantified linear real arithmetic  Timed automata  
The genetic basis for ecological adaptation of the Atlantic herring revealed by genome sequencing Journal article
eLife, 2016,Volume: 5,Issue: 2016-05-01
Authors:  Barrio A.M.;  Lamichhaney S.;  Fan G.;  Rafati N.;  Pettersson M.;  Zhang H.;  Dainat J.;  Ekman D.;  Höppner M.;  Jern P.;  Martin M.;  Nystedt B.;  Liu X.;  Chen W.;  Liang X.;  Shi C.;  Fu Y.;  Ma K.;  Zhan X.;  Feng C.;  Gustafson U.;  Rubin C.-J.;  Almén M.;  Blass M.;  Casini M.;  Folkvord A.;  Laikre L.;  Ryman N.;  Lee S.-Y.;  Xu X.;  Andersson L.
Favorite  |  View/Download:1/0  |  Submit date:2018/10/30
Expression of TNFR2 by regulatory T cells in peripheral blood is correlated with clinical pathology of lung cancer patients Journal article
Cancer Immunology, Immunotherapy, 2015,Volume: 64,Issue: 11,Page: 1475-1485
Authors:  Yan F.;  Du R.;  Wei F.;  Zhao H.;  Yu J.;  Wang C.;  Zhan Z.;  Ding T.;  Ren X.;  Chen X.;  Li H.
Favorite  |  View/Download:11/0  |  Submit date:2018/11/06
cd4+foxp3+ Regulatory t Cells  Clinical Pathology  Immunosuppression  Lung Cancer  Tumor Necrosis Factor Receptor Type Ii (Tnfr2)  
Three-dimensional α-Fe2O3/carbon nanotube sponges as flexible supercapacitor electrodes Journal article
Journal of Materials Chemistry A, 2015,Volume: 3,Issue: 42,Page: 20927
Authors:  Cheng X.;  Gui X.;  Lin Z.;  Zheng Y.;  Liu M.;  Zhan R.;  Zhu Y.;  Tang Z.
Favorite  |  View/Download:2/0  |  Submit date:2018/10/30
Targeted depletion of tumour-associated macrophages by an alendronate-glucomannan conjugate for cancer immunotherapy Journal article
Biomaterials, 2014,Volume: 35,Issue: 38,Page: 10046
Authors:  Zhan X.;  Jia L.;  Niu Y.;  Qi H.;  Chen X.;  Zhang Q.;  Zhang J.;  Wang Y.;  Dong L.;  Wang C.
Favorite  |  View/Download:4/0  |  Submit date:2018/10/30
Bisphosphonate  Bletilla Striata Polysaccharide  Cancer Immunotherapy  Glucomannan  Macrophage Mannose Receptor  Tumour-associated Macrophages  
Nanofiber scaffolds facilitate functional regeneration of peripheral nerve injury Journal article
Nanomedicine: Nanotechnology, Biology, and Medicine, 2013,Volume: 9,Issue: 3,Page: 305-315
Authors:  Zhan X.;  Gao M.;  Jiang Y.;  Zhang W.;  Wong W.M.;  Yuan Q.;  Su H.;  Kang X.;  Dai X.;  Zhang W.;  Guo J.;  Wu W.
Favorite  |  View/Download:0/0  |  Submit date:2018/12/28
Axonal regeneration  Nanofiber scaffold  Peripheral nerve injury  Remyelination  Self-assembling peptide  
Self-assembling peptide nanofiber scaffold enhanced with RhoA inhibitor CT04 improves axonal regrowth in the transected spinal cord Journal article
Journal of Nanomaterials, 2012,Volume: 2012
Authors:  Zhang W.;  Zhan X.;  Gao M.;  Hamilton A.D.;  Liu Z.;  Jiang Y.;  Su H.;  Dai X.;  He B.;  Kang X.;  Zeng Y.;  Wu W.;  Guo J.
Favorite  |  View/Download:0/0  |  Submit date:2018/12/28
Modelling with relational calculus of object and component systems - RCOS Conference paper
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Authors:  Chen Z.;  Hannousse A.H.;  Van Hung D.;  Knoll I.;  Li X.;  Liu Z.;  Liu Y.;  Nan Q.;  Okika J.C.;  Ravn A.P.;  Stolz V.;  Yang L.;  Zhan N.
Favorite  |  View/Download:1/0  |  Submit date:2019/02/14
Design  Refinement  Requirements modelling  Transformation  
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  
Research of the physical and mechanical properties of the high performance concrete with metakaolin Journal article
Jianzhu Cailiao Xuebao/Journal of Building Materials, 2001,Volume: 4,Issue: 1,Page: 75-78
Authors:  Qian X.;  Zhan S.;  Li Z.
Favorite  |  View/Download:0/0  |  Submit date:2019/04/08
Concrete  High performance concrete  Kaolin  Metakaolin  Stress and strain  Uniaxial tensile