Published Articles, Dept. of Computer Science : [446] 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 446
 next >
First PublishedTitleAuthor(s)Type
5-Jul-2018Inferring visual contracts from Java programsAlshanqiti, Abdullah; Heckel, Reiko; Kehrer, TimoJournal Article
30-Mar-2018Special Issue on “Medical Imaging & Image Processing II”Zhang, Yu-Dong; Dong, ZhengchaoJournal Article
20-Jun-2017On Sessions and Infinite DataSeveri, Paula; Padovani, Luca; Tuosto, Emilio; Dezani-Ciancaglini, MariangiolaJournal Article
13-Jul-2018Fuzzy optimal energy management for fuel cell and supercapacitor systems using neural network based driving pattern recognitionZhang, Ridong; Tao, Jili; Zhou, HuiyuJournal Article
22-Jun-2018Incentive-driven attacker for corrupting two-party protocolsWang, Yilei; Metere, Roberto; Zhou, Huiyu; Cui, Guanghai; Li, TaoJournal Article
7-May-2018Word problems of groups: Formal languages, characterizations and decidabilityJones, Sam A. M.; Thomas, Richard M.Journal Article
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
29-May-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
24-May-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
15-Jun-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
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 446
 next >