31. A certified implementation of ML with structural polymorphism and recursive types. (May 2015) Authors: GARRIGUE, JACQUES Journal: Mathematical structures in computer science Issue: Volume 25:Number 4(2015) Page Start: 867 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
32. A certified lightweight non-interference Java bytecode verifier†. (October 2013) Authors: BARTHE, GILLES; PICHARDIE, DAVID; REZK, TAMARA Journal: Mathematical structures in computer science Issue: Volume 23:Number 5(2013) Page Start: 1032 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
33. A channel-based perspective on conjugate priors. (January 2020) Authors: Jacobs, B. Journal: Mathematical structures in computer science Issue: Volume 30:Number 1(2020) Page Start: 44 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
34. A chaotic PSO approach to multi-mode resource-constraint project scheduling with uncertainty. (14th July 2011) Authors: Chen, Weiming; Xiao, Renbin; Lu, Hongzhi Journal: International journal of computational science and engineering Issue: Volume 6:Number 1/2(2011) Page Start: 5 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
35. A characterization and moving average representation for stable harmonizable processes. (1996) Authors: Nikfar, M.; Soltani, A. Reza Journal: Journal of applied mathematics and stochastic analysis Issue: Volume 9:Number 3(1996) Page Start: 263 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
36. A characterization of the oval cone in PG(3, q). (3rd April 2021) Authors: Zuanni, Fulvio Journal: Journal of discrete mathematical sciences & cryptography Issue: Volume 24:Number 3(2021) Page Start: 859 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
37. A Cholesky preconditioned conjugate gradient algorithm on GPU for the 3D parabolic equation. (2015) Authors: Gao, Jiaquan; Li, Bo Journal: International journal of computational science and engineering Issue: Volume 11:Number 4(2016) Page Start: 339 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
38. A class of diameter six trees exhibiting graceful labeling. (1st November 2016) Authors: Panda, Amaresh Chandra; Mishra, Debdas; Dash, Rajani Ballav Journal: Journal of discrete mathematical sciences & cryptography Issue: Volume 19:Number 5/6(2016) Page Start: 947 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
39. A class of Gaussian normal bases and their dual bases. (17th November 2017) Authors: Sharma, P. L.; Devi, Kiran Journal: Journal of discrete mathematical sciences & cryptography Issue: Volume 20:Number 8(2017) Page Start: 1741 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
40. A class of multi-level balanced Foundation-Penalty cuts for mixed-integer programs. (22nd April 2008) Authors: Glover, Fred; Sherali, Hanif D. Journal: International journal of computational science and engineering Issue: Volume 3:Number 3(2007) Page Start: 203 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗