1
Julkaistu 2008
Sisällysluettelo: ... in Coq -- Steering a Leader-Follower Team Via Linear Consensus -- Logical Verification and Systematic...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2010
Sisällysluettelo: ... Solving with Neural Networks: The Netflix Prize Case -- A Cooperative and Penalized Competitive Learning...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2015
Sisällysluettelo: ...Online Control of Enumeration Strategies via Bat-Inspired Optimization -- LEXMATH - A Tool...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2014
Sisällysluettelo: ... -- Chapter 4 Building functional internal organs from a naïve endodermal sheet -- Part II Choosing a fate...
Hae kokoteksti
Elektroninen E-kirja