Skip to main content

and
  1. No Access

    Chapter

    Intelligent Learning and Verification of Biological Networks

    Machine learning and model checking are two types of intelligent computing techniques that have been widely used to study different complicated systems nowadays. It is well-known that the cellular functions an...

    Helen Richards, Yunge Wang, Tong Si in Advances in Artificial Intelligence, Compu… (2021)

  2. No Access

    Chapter and Conference Paper

    Development of New Type Seawater Resistant Steel and the Research of Its Structure and Corrosion Resistance

    This paper investigated two kinds of corrosion resistant low alloy steels depending on the environment of the North China see (Steel S) and South China sea (Steel N), respectively. The mechanical and corrosion...

    Baoliang Yin, Shaojiang Yin, Zhiyong Liu in HSLA Steels 2015, Microalloying 2015 & Off… (2016)

  3. No Access

    Article

    Pinning adaptive synchronization of complex dynamical network with multi-links

    Networks with multi-links are universal in the real world such as communication networks, transport networks, and social networks. It is important for us to investigate the control of complex dynamical network...

    Qiyang Hu, Haipeng Peng, Yunge Wang, Zhirui Hu, Yixian Yang in Nonlinear Dynamics (2012)