![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
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...
-
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...
-
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...