471. Theory and applications of satisfiability testing -- SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28-September 1, 2017, Proceedings /: 20th International Conference, Melbourne, VIC, Australia, August 28-September 1, 2017, Proceedings. (2017) Editors: Gaspers, Serge; Walsh, Toby Other Names: SAT (Conference), 20th Record Type: Book Extent: 1 online resource (xiii, 476 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
472. Theory and applications of satisfiability testing -- SAT 2018 : 21st International Conference, SAT 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings /: 21st International Conference, SAT 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings. (2018) Editors: Beyersdorff, Olaf; Wintersteiger, Christoph M Other Names: SAT (Conference), 21st; Federated Logic Conference Record Type: Book Extent: 1 online resource (xix, 452 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
473. Theory and applications of satisfiability testing -- SAT 2020 : 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings /: 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings. (2020) Other Names: Pulina, Luca; Seidl, Martina; SAT (Conference), 23rd Record Type: Book Extent: 1 online resource (549 p.) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
474. Traffic fatalities prediction using support vector machine with hybrid particle swarm optimization. Issue 1 (March 2018) Authors: Gu, Xiaoning; Li, Ting; Wang, Yonghui; Zhang, Liu; Wang, Yitian; Yao, Jinbao Journal: Journal of algorithms & computational technology Issue: Volume 12:Issue 1(2018) Page Start: 20 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
475. Training dictionary by granular computing with L∞-norm for patch granule–based image denoising. Issue 2 (June 2018) Authors: Liu, Hongbing; Liu, Gengyi; Ma, Xuewen; Liu, Daohua Journal: Journal of algorithms & computational technology Issue: Volume 12:Issue 2(2018) Page Start: 136 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
476. Transactions on large-scale data- and knowledge-centered systems XLIII. (2020) Other Names: Hameurlain, Abdelkader; Tjoa, A Min Record Type: Book Extent: 1 online resource (139 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
477. Transfer Entropy Weighting Soft Subspace Clustering. Issue 4 (December 2015) Authors: You, Cong-Zhe; Wu, Xiao-Jun Journal: Journal of algorithms & computational technology Issue: Volume 9:Issue 4(2015) Page Start: 413 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
478. Two new spectral conjugate gradient algorithms based on Hestenes–Stiefel. Issue 4 (December 2017) Authors: Wang, Guofang; Shan, Rui; Huang, Wei; Liu, Wen; Zhao, Jingyi Journal: Journal of algorithms & computational technology Issue: Volume 11:Issue 4(2017) Page Start: 345 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
479. Understanding complex datasets : data mining with matrix decompositions /: data mining with matrix decompositions. (©2007) Other Names: Skillicorn, David B Record Type: Book Extent: 1 online resource (xxi, 236 pages, [8] pages of plates), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
480. Unsupervised learning algorithms. (2016) Editors: Celebi, M. Emre; Aydin, Kemal Record Type: Book Extent: 1 online resource (x, 558 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗