Published Articles, Dept. of Computer Science : [439] Collection home page

When downloading papers please observe the normal copyright codes and conventions for their use.

Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 439
 next >
First PublishedTitleAuthor(s)Type
25-May-2018SCNS: a graphical tool for reconstructing executable regulatory networks from single-cell genomic dataWoodhouse, Steven; Piterman, Nir; Wintersteiger, Christoph M.; Göttgens, Berthold; Fisher, JasminJournal Article
21-May-2018An automated segmentation method for lung parenchyma image sequences based on fractal geometry and convex hull algorithmXiao, Xiaojiao; Zhao, Juanjuan; Qiang, Yan; Wang, Hua; Xiao, Yingze; Zhang, Xiaolong; Zhang, Yudong YJournal Article
2018A DCGANs-based Semi-Supervised Method for Object Recognition in SAR ImagesGao, Fei; Yang, Yue; Wang, Jun; Sun, Jinping; Yang, Erfu; Zhou, HuiyuJournal Article
1-Dec-2017A Bi-objective Scheduling Approach for Energy Optimisation of Executing and Transmitting HPC Applications in Decentralised Multi-cloud SystemsAlsughayyir, Aeshah; Erlebach, ThomasConference Paper
2018Demultiplexing Colored Images for Multispectral Photometric Stereo via Deep Neural NetworksJu, Yakun; Qi, Lin; Zhou, Huiyu; Dong, Junyu; Lu, LiangJournal Article
12-Apr-2017Approximate counting in SMT and value estimation for probabilistic programsChistikov, Dmitry; Dimitrova, Rayna; Majumdar, RupakJournal Article
20-Jun-2017Automatic Inference of Rule-Based Specifications of Complex In-Place Model TransformationsKehrer, Timo; Alshanqiti, Abdullah; Heckel, ReikoConference Paper
19-Apr-2017m-Bonsai: a Practical Compact Dynamic TriePoyias, Andreas; Puglisi, Simon J.; Raman, RajeevJournal Article
27-Apr-2018Ridge–based curvilinear structure detection for identifying road in remote sensing image and backbone in neuron dendrite imageKong, Fanqiang; Govindaraj, Vishnu Varthanan; Zhang, Yu-DongJournal Article
2018Patch tensor-based sparse and low-rank graph for hyperspectral images dimensionality reductionAn, Jinliang; Zhang, Xiangrong; Zhou, Huiyu; Feng, Jie; Jiao, LichengJournal Article
22-May-2017A cross-sector analysis of human and organisational factors in the deployment of data-driven predictive maintenanceGolightly, David; Kefalidou, Genovefa; Sharples, SarahJournal Article
30-Apr-2018Artifact Removal using Improved GoogLeNet for Sparse-view CT Reconstruction.Xie, Shipeng; Zheng, Xinyu; Chen, Yang; Xie, Lizhe; Liu, Jin; Zhang, Yudong; Yan, Jingjie; Zhu, Hu; Hu, YiningJournal Article
14-Jul-2016Canonical HybridLF: Extending Hybrid with Dependent TypesCrole, Roy L.; Furniss, AmyConference Paper
9-Jun-2017Advances in verification presented in TACAS'13Piterman, NirJournal Article
2018A Toolbox for Discrete Modelling of Cell Signalling DynamicsPiterman, Nir; Paterson, Y,; Shorthouse, D,; Pleijzier, M,; Bendtsen, C,; Hall, B,; Fisher, J,Journal Article
16-Apr-2018Guest editorial: special issue on predictive models for software qualityMinku, Leandro L.; Bener, Ayşe B.; Turhan, BurakJournal Article
6-Sep-2017LZ78 compression in low main memory spaceArroyuelo, Diego; Cánovas, Rodrigo; Navarro, Gonzalo; Raman, RajeevConference Paper
29-Sep-2016Input–output conformance testing for software product linesBeohar, Harsh; Mousavi, Mohammad RezaJournal Article
2018A Robust Parallel Object Tracking Method for Illumination VariationsLiu, Shuai; Liu, Gaocheng; Zhou, HuiyuJournal Article
1-Aug-2017The robot routing problem for collecting aggregate stochastic rewardsDimitrova, Rayna; Gavran, Ivan; Majumdar, Rupak; Prabhu, Vinayak S.; Soudjani, Sadegh Esmaeil ZadehConference Paper
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 439
 next >