An old drug with a new use can significantly reduce the cost and time for new drug research and development. MAPK (Mitogen-activated protein kinase) plays a very important key role in signal transduction pathways of...
最常用的三种网站后台程序设计有ASP(Active Server Pages),JSP(Java Server Pages),PHP(Hypertext Preprocessor)。ASP只能运行于微软的服务器产品,IIS和PWS上,PHP3和JSP可在Windows,Unix,Linux的Web服务器上正常运行,还支持IIS,Apach...
the National Natural Science Foundation of China (60663005, 60563005);the Natural Science Foundation of Guangxi Province (0542036, 0728093, 0728089)
Web-services are highly distributed programs, and concurrent software is notoriously error-prone. Model checking is a powerful technique to find bugs in concurrent systems. However, the existing model checkers have no...