11. A boundary conformal discontinuous Galerkin approach for electro-quasistatic field problems on Cartesian grids. (1st January 2014) Authors: Fröhlcke, Annette; Gjonaj, Erion; Weiland, Thomas Journal: International journal of computational science and engineering Issue: Volume 9:Number 5/6(2014) Page Start: 478 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
12. A branch-and-cut algorithm for two-stage stochastic mixed-binary programs with continuous first-stage variables. (22nd April 2008) Authors: Ntaimo, Lewis; Sen, Suvrajeet Journal: International journal of computational science and engineering Issue: Volume 3:Number 3(2007) Page Start: 232 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
13. A case study in programming coinductive proofs: Howe's method. (31st October 2018) Authors: MOMIGLIANO, ALBERTO; PIENTKA, BRIGITTE; THIBODEAU, DAVID Journal: Mathematical structures in computer science Issue: Volume 29:Number 8(2019) Page Start: 1309 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
14. A categorical view of varieties of ordered algebras. (10th April 2022) Authors: Adámek, J.; Dostál, M.; Velebil, J. Journal: Mathematical structures in computer science Issue: Volume 32:Number 4(2022) Page Start: 349 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
15. 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) ↗
16. 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) ↗
17. 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) ↗
18. 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) ↗
19. 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) ↗
20. 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) ↗