3751. Volumes in the Uniform Infinite Planar Triangulation: From Skeletons to Generating Functions. (21st May 2018) Authors: MÉNARD, LAURENT Journal: Combinatorics, probability and computing Issue: Volume 27:Number 6(2018) Page Start: 946 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3752. Vulnerability modelling with functional programming and dependent types. (15th December 2014) Authors: IONESCU, CEZAR Journal: Mathematical structures in computer science Issue: Volume 26:Number 1(2016) Page Start: 114 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3753. W-types in homotopy type theory. (June 2015) Authors: VAN DEN BERG, BENNO; MOERDIJK, IEKE Journal: Mathematical structures in computer science Issue: Volume 25:Number 5(2015) Page Start: 1100 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3754. W-types in homotopy-type theory – CORRIGENDUM. (5th April 2016) Authors: VAN DEN BERG, BENNO; MOERDIJK, IEKE Journal: Mathematical structures in computer science Issue: Volume 28:Number 1(2018) Page Start: 140 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3755. Wadge hardness in Scott spaces and its effectivization. (14th November 2014) Authors: BECHER, VERÓNICA; GRIGORIEFF, SERGE Journal: Mathematical structures in computer science Issue: Volume 25:Number 7(2015) Page Start: 1520 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3756. Wadge-like reducibilities on arbitrary quasi-Polish spaces. (10th November 2014) Authors: MOTTO ROS, LUCA; SCHLICHT, PHILIPP; SELIVANOV, VICTOR Journal: Mathematical structures in computer science Issue: Volume 25:Number 8(2015) Page Start: 1705 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3757. Waiting time analysis for MX/G/1 priority queues with/without vacations under random order of service discipline. (2000) Authors: Kawasaki, Norikazu; Takagi, Hideaki; Takahashi, Yutaka; Hong, Sung-Jo; Hasegawa, Toshiharu Journal: Journal of applied mathematics and stochastic analysis Issue: Volume 13:Number 4(2000) Page Start: 365 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3758. Water contamination monitoring system based on big data: a case study. (29th August 2019) Authors: Zhang, Gaofeng; Yan, Yingnan; Tian, Yunsheng; Liu, Yang; Li, Yan; Zhou, Qingguo; Zhou, Rui; Li, Kuan-Ching Journal: International journal of computational science and engineering Issue: Volume 19:Number 4(2019) Page Start: 494 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3759. Watermarking Technique for Improved Management of Digital Medical Images. (2nd November 2015) Authors: Tsai, Jer-Min; Chen, I-Te; Huang, Ying-Fong; Lin, Cheng-Che Journal: Journal of discrete mathematical sciences & cryptography Issue: Volume 18:Number 6(2015) Page Start: 785 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3760. Wave analysis of different splitting methods in the linearised shallow water equations. (15th May 2008) Authors: Havasi, A. Journal: International journal of computational science and engineering Issue: Volume 3:Number 4(2007) Page Start: 264 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗