|
|
DSpace at RU >
Browsing by Author Zhang, L.
Showing results 1 to 17 of 17
| Full Text | Issue Date | Title | Author(s) | | 2012 | Efficient CSL model checking using stratification | Zhang, L.; Jansen, D.N.; Nielson, F.; Hermanns, H. |
| 2012 | Belief bisimulation for hidden Markov models: logical characterisation and decision algorithm | Jansen, D.N.; Nielson, F.; Zhang, L. |
| 2012 | Belief Bisimulation for Hidden Markov Models | Jansen, D.N.; Nielson, F.; Zhang, L. |
| 2012 | Associations of kidney disease measures with mortality and end-stage renal disease in individuals with and without hypertension: a meta-analysis | Mahmoodi, B.K.; Matsushita, K.; Woodward, M.; Blankestijn, P.J.; Cirillo, M., et al |
| 2012 | Differential effect of the rs4149056 variant in SLCO1B1 on myopathy associated with simvastatin and atorvastatin. | Brunham, L.R.; Lansberg, P.J.; Zhang, L.; Miao, F.; Carter, C., et al |
| 2011 | Mixed magnetism for refrigeration and energy conversion | Dung, N.H.; Ou, Z.Q.; Caron, L.; Zhang, L.; Thanh, D.T.C., et al |
| 2011 | Assessment of 2q23.1 microdeletion syndrome implicates MBD5 as a single causal locus of intellectual disability, epilepsy, and autism spectrum disorder | Talkowski, M.E.; Mullegama, S.V.; Rosenfeld, J.A.; Bon, B.W. van; Shen, Y., et al |
| 2011 | Automata-Based CSL Model Checking | Zhang, L.; Jansen, D.N.; Nielson, F.; Hermanns, H. |
| 2011 | How do trust and property security influence household contributions to public goods?: The case of the sloping land conversion program in China | Tu, Q.; Mol, A.P.J.; Zhang, L.; Ruben, R. |
| 2010 | Identification and quantification of anammox bacteria in eight nitrogen removal reactors | Hu, B.L.; Zheng, P.; Tang, C.J.; Chen, J.W.; Biezen, E. Van de, et al |
| 2009 | Lanthanum chloride impairs memory, decreases pCaMK IV, pMAPK and pCREB expression of hippocampus in rats. | Yang, J.; Liu, Q.; Zhang, L.; Wu, S.; Qi, M., et al |
| 2008 | Synthesis, characterization, and antibacterial activities of a novel nanohydroxyapatite/zinc oxide complex. | Zhou, G.; Li, Y.; Xiao, W.; Zhang, L.; Zuo, Y., et al |
| 2008 | Oleanolic acid enhances insulin secretion in pancreatic beta-cells. | Teodoro, T.; Zhang, L.; Alexander, T.; Yue, J.; Vranic, M., et al |
| 2007 | Preparation and characterization of nano-hydroxyapatite/chitosan/konjac glucomannan composite | Zhou, G.; Li, Y.; Zhang, L.; Zuo, Y.; Jansen, J.A. |
| 2004 | Breakthrough pain characteristics and syndromes in patients with cancer pain. An international survey. | Caraceni, A.; Martini, C.; Zecca, E.; Portenoy, R.K.; Ashby, M.A., et al |
| 1997 | Ins(1,4,5)P3 receptors in cerebral arteries : changes with development and high-altitude hypoxia | Zhou, L.; Zhao, Y.; Nijland, R.; Zhang, L.; Longo, L.D. |
| 1996 | Long-term hypoxic-induced changes in inositol 1,4,5-triphosphate receptor density in fetal and adult ovine cerebral arteries | Lusheng, Z.; Zhao, Y.; Nijland, R.; Zhang, L.; Longo, L.D. |
Showing results 1 to 17 of 17
|