UM

Browse/Search Results:  1-4 of 4 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:5/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:9/0  |  Submit date:2018/10/30
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:13/0  |  Submit date:2018/12/28
Axonal Regeneration  Nanofiber Scaffold  Peripheral Nerve Injury  Remyelination  Self-assembling Peptide  
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:4/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