SPECIFICATION AND VERIFICATION OF DYNAMICS IN AGENT MODELS
- 期刊名称International Journal of Cooperative Information Systems
- 作者BOSSE, TIBOR; JONKER, CATHOLIJN M.; VAN DER MEIJ, LOURENS; SHARPANSKYKH, ALEXEI; TREUR, JAN
- 卷第18卷
- 期第1期
- 印刷ISSN0218-8430
- 电子ISSN1793-6365
- 文件大小388.35KB
- 发表时间2009-03
- DOI10.1142/s0218843009001987
- 页码167-193
[IEEE INTERMAG 2006 - IEEE International Magnetics Conference - San Diego, CA, USA (2006.05.8-2006.05.12)] INTERMAG 2006 - IEEE International Magnetics Conference - Withdrawn2006
[IEEE INTERMAG 2006 - IEEE International Magnetics Conference - San Diego, CA, USA (2006.05.8-2006.05.12)] INTERMAG 2006 - IEEE International Magnetics Conference - Withdrawn2006
[IEEE INTERMAG 2006 - IEEE International Magnetics Conference - San Diego, CA, USA (2006.05.8-2006.05.12)] INTERMAG 2006 - IEEE International Magnetics Conference -Okazaki, Y.; Ohashi, H.; Ohya, Y.; Yanase, S.; Hashi, S. · 2006
[IEEE INTERMAG 2006 - IEEE International Magnetics Conference - San Diego, CA, USA (2006.05.8-2006.05.12)] INTERMAG 2006 - IEEE International Magnetics Conference - orig-research2006
[IEEE INTERMAG 2006 - IEEE International Magnetics Conference - San Diego, CA, USA (2006.05.8-2006.05.12)] INTERMAG 2006 - IEEE International Magnetics Conference - Large Angle Ferromagnetic ResonanceScholz, W. · 2006
[IEEE INTERMAG 2006 - IEEE International Magnetics Conference - San Diego, CA, USA (2006.05.8-2006.05.12)] INTERMAG 2006 - IEEE International Magnetics Conference - Tunnelling Anisotropic MagnetoResistance (TAMR)Gould, C.; Ruester, C.; Schmidt, G.; Molenkamp, L. · 2006
[IEEE INTERMAG 2006 - IEEE International Magnetics Conference - San Diego, CA, USA (2006.05.8-2006.05.12)] INTERMAG 2006 - IEEE International Magnetics Conference - Magnetophotonic crystalsInoue, M.; Fujikawa, R.; Baryshev, A.; Khanikaev, A.; Lim, P.; Uchida, H.; Aktsipetrov, O.; Fedyanin, A.; Murzina, T.; Granovsky, A. · 2006
[IEEE INTERMAG 2006 - IEEE International Magnetics Conference - San Diego, CA, USA (2006.05.8-2006.05.12)] INTERMAG 2006 - IEEE International Magnetics Conference - Domain Wall Assisted Magnetic RecordingDobin, A.; Richter, H. J. · 2006
W system above the Coulomb barrierFang, Y. D.; Gomes, P. R. S.; Lubian, J.; Zhou, X. H.; Zhang, Y. H.; Han, J. L.; Liu, M. L.; Zheng, Y.; Guo, S.; Wang, J. G.; Qiang, Y. H.; Wang, Z. G.; Wu, X. G.; He, C. Y.; Zheng, Y.; Li, C. B.; Hu, S. P.; Yao, S. H. · Physical Review C · 2013
Evolution of octupole correlations inChen, X. C.; Zhao, J.; Xu, C.; Hua, H.; Shneidman, T. M.; Zhou, S. G.; Wu, X. G.; Li, X. Q.; Zhang, S. Q.; Li, Z. H.; Liang, W. Y.; Meng, J.; Xu, F. R.; Qi, B.; Ye, Y. L.; Jiang, D. X.; Cheng, Y. Y.; He, C.; Sun, J. J.; Han, R.; Niu, C. Y.; Li, C. G.; Li, P. J.; Wang, C. G.; Wu, H. Y.; Li, Z. H.; Zhou, H.; Hu, S. P.; Zhang, H. Q.; Li, G. S.; He, C. Y.; Zheng, Y.; Li, C. B.; Li, H. W.; Wu, Y. H.; Luo, P. W.; Zhong, J. · Physical Review C · 2016
Band crossing and shape evolution inSun, J. J.; Xu, C.; Li, X. Q.; Hua, H.; Zhang, S. Q.; Xu, F. R.; Liang, W. Y.; Jiao, C. F.; Meng, J.; Wu, X. G.; Hu, S. P.; Zhang, H. Q.; Li, Z. H.; Ye, Y. L.; Jiang, D. X.; Cheng, Y. Y.; He, C.; Han, R.; Niu, C. Y.; Li, C. G.; Wang, C. G.; Li, Z. H.; Li, G. S.; He, C. Y.; Zheng, Y.; Li, C. B.; Li, H. W.; Wang, J. L.; Liu, J. J.; Wu, Y. H.; Luo, P. W.; Yao, S. H.; Yu, B. B.; Cao, X. P.; Sun, H. B. · Physical Review C · 2015
Annihilation at Energies between 2.6–5 GeVBai, J. Z.; Ban, Y.; Bian, J. G.; Chen, G. P.; Chen, H. F.; Chen, J.; Chen, J. C.; Chen, Y.; Chen, Y. B.; Chen, Y. Q.; Cheng, B. S.; Cui, X. Z.; Ding, H. L.; Dong, L. Y.; Du, Z. Z.; Dunwoodie, W.; Gao, C. S.; Gao, M. L.; Gao, S. Q.; Gu, J. H.; Gu, S. D.; Gu, W. X.; Gu, Y. F.; Guo, Y. N.; Guo, Z. J.; Han, S. W.; Han, Y.; Harris, F. A.; He, J.; He, J. T.; He, K. L.; He, M.; Heng, Y. K.; Hu, G. Y.; Hu, H. M.; Hu, J. L.; Hu, Q. H.; Hu, T.; Hu, X. Q.; Huang, G. S.; Huang, Y. Z.; Izen, J. M.; Jiang, C. H.; Jin, Y.; Jones, B. D.; Ju, X.; Ke, Z. J.; Kong, D.; Lai, Y. F.; Lang, P. F.; Li, C. G.; Li, D.; Li, H. B.; Li, J.; Li, J. C.; Li, P. Q.; Li, R. B.; Li, W.; Li, W. G.; Li, X. H.; Li, X. N.; Liu, H. M.; Liu, J.; Liu, R. G.; Liu, Y.; Lou, X. C.; Lu, F.; Lu, J. G.; Luo, X. L.; Ma, E. C.; Ma, J. M.; Malchow, R.; Mao, H. S.; Mao, Z. P.; Meng, X. C.; Nie, J.; Olsen, S. L.; Paluselli, D.; Pan, L. J.; Qi, N. D.; Qi, X. R.; Qian, C. D.; Qiu, J. F.; Qu, Y. H.; Que, Y. K.; Rong, G.; Shao, Y. Y.; Shen, B. W.; Shen, D. L.; Shen, H.; Shen, X. Y.; Sheng, H. Y.; Shi, H. Z.; Song, X. F.; Sun, F.; Sun, H. S.; Sun, Y.; Sun, Y. Z.; Tang, S. Q.; Toki, W.; Tong, G. L.; Varner, G. S.; Wang, F.; Wang, L. S.; Wang, L. Z.; Wang, M.; Wang, P.; Wang, P. L.; Wang, S. M.; Wang, T. J.; Wang, Y. Y.; Wei, C. L.; Wu, N.; Wu, Y. G.; Xi, D. M.; Xia, X. M.; Xie, P. P.; Xie, Y.; Xie, Y. H.; Xu, G. F.; Xue, S. T.; Yan, J.; Yan, W. G.; Yang, C. M.; Yang, C. Y.; Yang, H. X.; Yang, J.; Yang, W.; Yang, X. F.; Ye, M. H.; Ye, S. W.; Ye, Y. X.; Yu, C. S.; Yu, C. X.; Yu, G. W.; Yu, Y. H.; Yu, Z. Q.; Yuan, C. Z.; Yuan, Y.; Zhang, B. Y.; Zhang, C.; Zhang, C. C.; Zhang, D. H.; Zhang, Dehong; Zhang, H. L.; Zhang, J.; Zhang, J. W.; Zhang, L.; Zhang, L. S.; Zhang, P.; Zhang, Q. J.; Zhang, S. Q.; Zhang, X. Y.; Zhang, Y. Y.; Zhao, D. X.; Zhao, H. W.; Zhao, Jiawei; Zhao, J. W.; Zhao, M.; Zhao, W. R.; Zhao, Z. G.; Zheng, J. P.; Zheng, L. S.; Zheng, Z. P.; Zhou, B. Q.; Zhou, G. P.; Zhou, H. S.; Zhou, L.; Zhu, K. J.; Zhu, Q. M. · Physical Review Letters · 2000
-decay of the neutron-rich nucleusLi, Z. H.; Ye, Y. L.; Hua, H.; Jiang, D. X.; Zhang, Y. M.; Xu, F. R.; Hu, Q. Y.; Zhang, G. L.; Chen, Z. Q.; Zheng, T.; Wu, C. E.; Lou, J. L.; Li, X. Q.; Pang, D. Y.; Wang, S.; Li, C.; Xu, H. S.; Sun, Z. Y.; Duan, L. M.; Hu, Z. G.; Hu, R. J.; Xu, H. G.; Mao, R. S.; Wang, Y.; Yuan, X. H.; Gao, H.; Wu, L. J.; Qi, H. R.; Huang, T. H.; Fu, F.; Jia, F.; Gao, Q.; Ding, X. L.; Han, J. L.; Zhang, X. Y. · Physical Review C · 2005
Radiative Decay toBai, J. Z.; Bian, J. G.; Chai, Z. W.; Chen, G. P.; Chen, H. F.; Chen, J. C.; Chen, Y.; Chen, Y. B.; Chen, Y. Q.; Cheng, B. S.; Cui, X. Z.; Ding, H. L.; Dong, L. Y.; Du, Z. Z.; Feng, S.; Gao, C. S.; Gao, M. L.; Gao, S. Q.; Gu, J. H.; Gu, S. D.; Gu, W. X.; Gu, Y. F.; Guo, Y. N.; Guo, Z. J.; Han, S. W.; Han, Y.; He, J.; He, J. T.; He, M.; Hu, G. Y.; Hu, H. M.; Hu, J. L.; Hu, Q. H.; Hu, T.; Hu, X. Q.; Huang, J. D.; Huang, Y. Z.; Jiang, C. H.; Jin, Y.; Ke, Z. J.; Lai, Y. F.; Lang, P. F.; Li, C. G.; Li, D.; Li, H. B.; Li, J.; Li, P. Q.; Li, R. B.; Li, W.; Li, W. D.; Li, W. G.; Li, X. H.; Li, X. N.; Liu, H. M.; Liu, J.; Liu, J. H.; Liu, R. G.; Liu, Y.; Lu, F.; Lu, J. G.; Lu, J. Y.; Lu, L. C.; Luo, C. H.; Ma, A. M.; Ma, E. C.; Ma, J. M.; Mao, H. S.; Mao, Z. P.; Meng, X. C.; Nie, J.; Qi, N. D.; Qi, X. R.; Qian, C. D.; Qiu, J. F.; Qu, Y. H.; Que, Y. K.; Rong, G.; Shao, Y. Y.; Shen, B. W.; Shen, D. L.; Shen, H.; Shen, X. Y.; Sheng, H. Y.; Shi, H. Z.; Song, X. F.; Sun, F.; Sun, H. S.; Tang, S. Q.; Tong, G. L.; Wang, F.; Wang, L. S.; Wang, L. Z.; Wang, M.; Wang, Meng; Wang, P.; Wang, P. L.; Wang, S. M.; Wang, T. J.; Wang, Y. Y.; Wei, C. L.; Wu, Y. G.; Xi, D. M.; Xia, X. M.; Xie, P. P.; Xie, Y.; Xie, Y. H.; Xiong, W. J.; Xu, C. C.; Xu, G. F.; Xue, S. T.; Yan, J.; Yan, W. G.; Yang, C. M.; Yang, C. Y.; Yang, J.; Yang, X. F.; Ye, M. H.; Ye, S. W.; Ye, Y. X.; Yi, K.; Yu, C. S.; Yu, C. X.; Yu, Y. H.; Yu, Z. Q.; Yu, Z. T.; Yuan, C. Z.; Yuan, Y.; Zhang, B. Y.; Zhang, C. C.; Zhang, D. H.; Zhang, Dehong; Zhang, H. L.; Zhang, J.; Zhang, J. L.; Zhang, J. W.; Zhang, L. S.; Zhang, Q. J.; Zhang, S. Q.; Zhang, X. Y.; Zhang, Y.; Zhang, Y. Y.; Zhao, D. X.; Zhao, H. W.; Zhao, J. W.; Zhao, M.; Zhao, W. R.; Zhao, Z. G.; Zheng, J. P.; Zheng, L. S.; Zheng, Z. P.; Zhou, G. P.; Zhou, H. S.; Zhou, L.; Zhu, Q. M.; Zhu, Y. C.; Zhu, Y. S.; Zhuang, B. A. · Physical Review Letters · 1998
statesBai, J. Z.; Ban, Y.; Bian, J. G.; Blum, I.; Chen, G. P.; Chen, H. F.; Chen, J.; Chen, J. C.; Chen, Y.; Chen, Y. B.; Chen, Y. Q.; Cheng, B. S.; Cui, X. Z.; Ding, H. L.; Dong, L. Y.; Du, Z. Z.; Dunwoodie, W.; Gao, C. S.; Gao, M. L.; Gao, S. Q.; Gratton, P.; Gu, J. H.; Gu, S. D.; Gu, W. X.; Gu, Y. F.; Guo, Y. N.; Han, S. W.; Han, Y.; Harris, F. A.; He, J.; He, J. T.; He, K. L.; He, M.; Hitlin, D. G.; Hu, G. Y.; Hu, H. M.; Hu, J. L.; Hu, Q. H.; Hu, T.; Hu, X. Q.; Huang, Y. Z.; Izen, J. M.; Jiang, C. H.; Jin, Y.; Jones, B. D.; Ju, X.; Ke, Z. J.; Kelsey, M. H.; Kim, B. K.; Kong, D.; Lai, Y. F.; Lang, P. F.; Lankford, A.; Li, C. G.; Li, D.; Li, H. B.; Li, J.; Li, J. C.; Li, P. Q.; Li, R. B.; Li, W.; Li, W. G.; Li, X. H.; Li, X. N.; Liu, H. M.; Liu, J.; Liu, R. G.; Liu, Y.; Lou, X. C.; Lowery, B.; Lu, F.; Lu, J. G.; Luo, X. L.; Ma, E. C.; Ma, J. M.; Malchow, R.; Mao, H. S.; Mao, Z. P.; Meng, X. C.; Nie, J.; Olsen, S. L.; Oyang, J.; Paluselli, D.; Pan, L. J.; Panetta, J.; Porter, F.; Qi, N. D.; Qi, X. R.; Qian, C. D.; Qiu, J. F.; Qu, Y. H.; Que, Y. K.; Rong, G.; Schernau, M.; Shao, Y. Y.; Shen, B. W.; Shen, D. L.; Shen, H.; Shen, X. Y.; Sheng, H. Y.; Shi, H. Z.; Song, X. F.; Standifird, J.; Sun, F.; Sun, H. S.; Sun, Y.; Sun, Y. Z.; Tang, S. Q.; Toki, W.; Tong, G. L.; Varner, G. S.; Wang, F.; Wang, L. S.; Wang, L. Z.; Wang, M.; Wang, P.; Wang, P. L.; Wang, S. M.; Wang, T. J.; Wang, Y. Y.; Weaver, M.; Wei, C. L.; Wu, Y. G.; Xi, D. M.; Xia, X. M.; Xie, P. P.; Xie, Y.; Xie, Y. H.; Xu, G. F.; Xue, S. T.; Yan, J.; Yan, W. G.; Yang, C. M.; Yang, C. Y.; Yang, J.; Yang, W.; Yang, X. F.; Ye, M. H.; Ye, S. W.; Ye, Y. X.; Yu, C. S.; Yu, C. X.; Yu, G. W.; Yu, Y. H.; Yu, Z. Q.; Yuan, C. Z.; Yuan, Y.; Zhang, B. Y.; Zhang, C. C.; Zhang, D. H.; Zhang, Dehong; Zhang, H. L.; Zhang, J.; Zhang, J. W.; Zhang, L. S.; Zhang, Q. J.; Zhang, S. Q.; Zhang, X. Y.; Zhang, Y. Y.; Zhao, D. X.; Zhao, H. W.; Zhao, Jiawei; Zhao, J. W.; Zhao, M.; Zhao, W. R.; Zhao, Z. G.; Zheng, J. P.; Zheng, L. S.; Zheng, Z. · Physical Review D · 1999
isotonesCheng, Y. Y.; Zhang, S. Q.; Li, X. Q.; Hua, H.; Xu, C.; Li, Z. H.; Zhao, P. W.; Meng, J.; Sun, J. J.; Bai, Z. J.; Xu, F. R.; Ye, Y. L.; Jiang, D. X.; Wang, E. H.; He, C.; Han, R.; Wu, X. G.; Li, G. S.; He, C. Y.; Zheng, Y.; Li, C. B.; Hu, S. P.; Yao, S. H.; Yu, B. B.; Cao, X. P.; Wang, J. L. · Physical Review C · 2014