The Library
Browse by Department at the University of Warwick
Up a level |
Number of items: 180.
A
Abbasi, Wajid Arshad, Yaseen, Adiba, Hassan, Fahad Ul, Andleeb, Saiqa and Minhas, Fayyaz ul Amir Afsar (2020) ISLAND: in-silico proteins binding affinity prediction using sequence information. BioData Mining, 13 (1). 20. doi:10.1186/s13040-020-00231-w ISSN 1756-0381.
TRACERx Consortium (Including:
). (2020) Geospatial immune variability illuminates differential evolution of lung adenocarcinoma. Nature Medicine, 26 . pp. 1054-1062. doi:10.1038/s41591-020-0900-x ISSN 1078-8956.Abeywickrama, Dhaminda B., Bicocchi, Nicola, Mamei, Marco and Zambonelli, Franco (2020) The SOTA approach to engineering collective adaptive systems. International Journal on Software Tools for Technology Transfer, 22 . pp. 399-415. doi:10.1007/s10009-020-00554-3 ISSN 1433-2779.
Aglietti, Virginia, Damoulas, Theodoros, Alvarez, Mauricio and Gonzalez, Javier (2020) Multi-task causal learning with Gaussian processes. In: Thirty-fourth Conference on Neural Information Processing Systems, Virtual conference, 7-12 Dec 2020. Published in: Advances in Neural Information Processing Systems 33 (NeurIPS 2020), 33 pp. 6293-6304.
Ajmal, Muhammad, Bag, Samiran, Tabassum, Shazia and Hao, Feng (2020) privy : privacy preserving collaboration across multiple service providers to combat telecoms spam. IEEE Transactions on Emerging Topics in Computing, 8 (2). pp. 313-327. doi:10.1109/TETC.2017.2771251 ISSN 2168-6750.
Al-Fraihat, Dimah, Joy, Mike, Masa'deh, Ra'ed and Sinclair, Jane (2020) Evaluating E-learning systems success : an empirical study. Computers in Human Behavior, 102 . pp. 67-86. doi:10.1016/j.chb.2019.08.004 ISSN 0747-5632.
Alecu, Bogdan, KantΓ©, Mamadou Moustapha, Lozin, Vadim V. and Zamaraev, Viktor (2020) Between clique-width and linear clique-width of bipartite graphs. Discrete Mathematics, 343 (8). 111926. doi:10.1016/j.disc.2020.111926 ISSN 0012-365X.
Algamdi, Abdullah M., Sanchez Silva, Victor and Li, Chang-Tsun (2020) Dronecaps : recognition of human actions in drone videos using capsule networks with binary volume comparisons. In: 27th IEEE International Conference on Image Processing, Abu Dhabi, 25-28 Oct 2020. Published in: 2020 IEEE International Conference on Image Processing (ICIP) doi:10.1109/ICIP40778.2020.9190864 ISSN 1522-4880.
Alghamdi, Mohammed, He, Ligang, Zhou, Yujue and Li, Junyu (2020) Developing the parallelization methods for finding the all-pairs shortest paths in distributed memory architecture. In: 38th IEEE International Performance Computing and Communications Conference (IPCCC), London, UK, 29-31 Oct 2019 ISBN 9781728110257. doi:10.1109/IPCCC47392.2019.8958713 ISSN 2374-9628.
Almowallad, Abeer and Sanchez Silva, Victor (2020) Human motion distribution learning from face images using CNN and LBC features. In: The 8th International Workshop on Biometrics and Forensics (IWBF-2020), Porto, Portugal, 29-30 Apr 2020. Published in: 2020 8th International Workshop on Biometrics and Forensics (IWBF) ISBN 9781728162331. doi:10.1109/IWBF49977.2020.9107940
Almujally, Nouf and Joy, Mike (2020) Applying a gamification approach to knowledge management in higher education institutions. In: 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC), Madrid, Spain, 13-17 Jul 2020. Published in: 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC) pp. 455-459. doi:10.1109/COMPSAC48688.2020.0-209 ISSN 0730-3157.
Almujally, Nouf and Joy, Mike (2020) Design and evaluation of a teaching-related knowledge sharing system to meet the needs of computer science instructors. In: 2020 IEEE Frontiers in Education Conference (FIE), Uppsala, Sweden, 21-24 Oct 2020. Published in: 2020 IEEE Frontiers in Education Conference (FIE) pp. 1-9. ISBN 9781728189628. doi:10.1109/FIE44824.2020.9274215
Almujally, Nouf and Joy, Mike (2020) Designing a system for enhancing the sharing of best teaching practices among universitiesβ instructors. In: IEEE 20th International Conference on Advanced Learning Technologies (ICALT), Tartu, Estonia, 6-9 Jul 2020. Published in: 2020 IEEE 20th International Conference on Advanced Learning Technologies (ICALT) pp. 127-129. ISBN 9781728160917. doi:10.1109/ICALT49669.2020.00044
Almujally, Nouf and Joy, Mike (2020) Towards a template-driven approach to documenting teaching practices. In: Kumar, V. and Troussas, C., (eds.) Intelligent Tutoring Systems. Lecture Notes in Computer Science, 12149 . Cham: Springer, pp. 388-396. ISBN 9783030496623
Almujally, Nouf and Joy, Mike (2020) A framework for enhancing the sharing of teaching practices among university instructors. In: 2020 IEEE Frontiers in Education Conference (FIE), Uppsala, Sweden, 21-24 Oct 2020. Published in: 2020 IEEE Frontiers in Education Conference (FIE) pp. 1-5. doi:10.1109/FIE44824.2020.9274049
Almujally, Nouf and Joy, Mike (2020) A framework for enhancing the sharing of teaching practices among university instructors. In: 21st European Conference on Knowledge Management (ECKM2020), Coventry, UK. Published in: Abstracts for 21st European Conference on Knowledge Management (ECKM2020) pp. 55-64. doi:10.34190/EKM.20.219
Almujally, Nouf and Joy, Mike (2020) A knowledge sharing system architecture for higher education institutions. In: Kumar, V. and Troussas, C., (eds.) Intelligent Tutoring Systems. Lecture Notes in Computer Science, 12149 . Cham: Springer, pp. 397-402. ISBN 9783030496623
Alotaibi, Naif and Joy, Mike (2020) Using sentence embedding for cross-language plagiarism detection. In: 40th SGAI International Conference on Artificial Intelligence, AI 2020, Cambridge, UK, 15β17 Dec 2020. Published in: Artificial Intelligence XXXVII : 40th SGAI International Conference on Artificial Intelligence, AI 2020, Cambridge, UK, December 15β17, 2020, Proceedings, 12498 pp. 373-379. ISBN 9783030637989. doi:10.1007/978-3-030-63799-6_28 ISSN 0302-9743.
Alrashidi, Huda, Joy, Mike, Ullmann, Thomas Daniel and Almujally, Nouf (2020) Educatorsβ validation on a Reflective Writing Framework (RWF) for assessing reflective writing in computer science education. In: 16th International Conference on Intelligent Tutoring Systems (ITS2020), Athens, Greece, 8β12 Jun, 2020. Published in: Intelligent Tutoring Systems : 16th International Conference, ITS 2020, Athens, Greece, June 8β12, 2020, Proceedings, 12149 316-322 . ISBN 9783030496623. doi:10.1007/978-3-030-49663-0_37 ISSN 0302-9743.
Alrashidi, Huda, Joy, Mike, Ullmann, Thomas Daniel and Almujally, Nouf (2020) Validating the Reflective Writing Framework (RWF) for assessing reflective writing in computer science education through manual annotation. In: 16th International Conference on Intelligent Tutoring Systems (ITS2020), Athens, Greece, 8β12 Jun 2020. Published in: Intelligent Tutoring Systems : 16th International Conference, ITS 2020, Athens, Greece, June 8β12, 2020, Proceedings, 12149 pp. 323-326. ISBN 9783030496623. doi:10.1007/978-3-030-49663-0_38 ISSN 0302-9743.
Alrashidi, Huda, Ullman, Thomas Daniel and Joy, Mike (2020) An empirical evaluation of a Reflective Writing Framework (RWF) for reflective writing in computer science education. In: 2020 IEEE Frontiers in Education Conference (FIE), Uppsala, Sweden, 21-24 Oct 2020. Published in: Proceedings of the 2020 IEEE Frontiers in Education Conference (FIE) ISBN 9781728189611. doi:10.1109/FIE44824.2020.9273975 ISSN 2377-634X.
Alrashidi, Huda, Ullmann, Thomas, Ghounaim, Samiah and Joy, Mike (2020) A framework for assessing reflective writing produced within the context of computer science education. In: 10th International Conference on Learning Analytics & Knowledge (LAK20), Frankfurt, Germany, 23-27 Mar 2020. Published in: Companion Proceedings 10th International Conference on Learning Analytics & Knowledge (LAK20) pp. 717-721.
Alrashidi, Huda, Ullmann, Thomas Daniel, Ghounaim, Samiah and Joy, Mike (2020) Understanding reflective writing criteria in computer science education from CS educators in higher education. In: 10th International Conference on Learning Analytics & Knowledge (LAK20), Frankfurt, Germany, 23-27 Mar 2020. Published in: Companion Proceedings 10th International Conference on Learning Analytics & Knowledge (LAK20) pp. 293-301.
Anagnostopoulos, Christos and Triantafillou, Peter (2020) Large-scale predictive modeling and analytics through regression queries in data management systems. International Journal of Data Science and Analytics, 9 (1). pp. 17-55. doi:10.1007/s41060-018-0163-5 ISSN 2364-415X.
Azad, Muhammad Ajmal, Bag, Samiran, Hao, Feng and Shalaginov, Andrii (2020) Decentralized self-enforcing trust management system for social Internet of Things. IEEE Internet of Things Journal, 7 (4). pp. 2690-2703. doi:10.1109/JIOT.2019.2962282 ISSN 2327-4662.
Azad, Muhammad Ajmal, Bag, Samiran, Perera, Charith, Barhamgi, Mahmoud and Hao, Feng (2020) Authentic-caller : self-enforcing authentication in a next generation network. IEEE Transactions on Industrial Informatics, 16 (5). pp. 3606-3615. doi:10.1109/TII.2019.2941724 ISSN 1551-3203.
B
Basik, Fuat, Ferhatosmanoglu, Hakan and Gedik, Bugra (2020) SLIM : Scalable Linkage of Mobility Data. In: ACM SIGMOD/PODS International Conference on Management of Data, Portland, OR, USA, 14- 19 Jun 2020. Published in: SIGMOD '20: Proceedings of the 2020 ACM SIGMOD International Conference on Management of Data pp. 118-1196. ISBN 9781450367356. doi:10.1145/3318464.3389761
Batra, Vishwas, Haldar, Aparajita, He, Yulan, Ferhatosmanoglu, Hakan, Vogiatzis, George and Guha, Tanaya (2020) Variational recurrent sequence-to-sequence retrieval for stepwise illustration. In: Advances in Information Retrieval : 42nd European Conference on IR Research, ECIR 2020, Lisbon, Portugal, April 14β17, 2020, Proceedings, Part I. Lecture Notes in Computer Science, 12035 . Springer, pp. 50-64. ISBN 9783030454388
Bhattacharya, Sayan, Henzinger, Monika and Nanongkai, Danupon (2020) A new deterministic algorithm for dynamic set cover. In: FOCS 2019 60th Annual IEEE Symposium on Foundations of Computer Science, Baltimore, Maryland, 9-12 Nov 2019. Published in: 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS) ISBN 9781728149530. doi:10.1109/FOCS.2019.00033 ISSN 2575-8454.
Bhattacharya, Sayan and Kulkarni, Janardhan (2020) An improved algorithm for incremental cycle detection and topological ordering in sparse graphs. In: 31st Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), Salt Lake City, Utah, U.S., 5-8 Jan 2020. Published in: Proceedings of the ACM-SIAM Symposium on Discrete Algorithms (SODA) 2509-2521 . ISBN 9781611975994. doi:10.1137/1.9781611975994.153
Bhattacharya, Sayan, Nanongkai, Danupon and Saranurak, Thatchaphol (2020) Coarse-grained complexity for dynamic algorithms. In: 31st Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), Salt Lake City, Utah, U.S., 5-8 Jan 2020. Published in: Proceedings of the ACM-SIAM Symposium on Discrete Algorithms (SODA) pp. 476-494. ISBN 9781611975994. doi:10.1137/1.9781611975994.29
Bienkowski, Marcin, BΓΆhm, Martin, Byrka, Jaroslaw, Chrobak, Marek, DΓΌrr, Christoph, FolwarcznΓ½, LukΓ‘Ε‘, JeΕΌ, Εukasz, Sgall, JiΕΓ, Kim Thang, Nguyen and VeselΓ½, Pavel (2020) Online algorithms for multi-level aggregation. Operations Research, 68 (1). pp. 214-232. doi:10.1287/opre.2019.1847 ISSN 0030-364X.
Bishop, Nicholas, Chan, Hau, Mandal, Debmalya and Tran-Thanh, Long (2020) Adversarial blocking bandits. In: 34th Conference on Neural Information Processing Systems (NeurIPS 2020), Virtual, 7-12 Oct 2020. Published in: Advances in Neural Information Processing Systems, 33
Bishop, Nicholas, Tran-Thanh, Long and Gerding, Enrico (2020) Optimal learning from verified training data. In: 34th Conference on Neural Information Processing Systems (NeurIPS 2020), Virtual, 7-12 Oct 2020. Published in: Advances in Neural Information Processing Systems, 33
Boustati, Ayman, Akyildiz, Omar Deniz, Damoulas, Theodoros and Johansen, Adam M. (2020) Generalised Bayesian filtering via sequential Monte Carlo. In: 34th Conference on Neural Information Processing Systems (NeurIPS 2020), Virtual conference, 7-12 Dec 2020. Published in: Advances in Neural Information Processing Systems, 33 pp. 418-429.
Bradbury, Matthew S., Taylor, Phillip M., Atmaca, U. I., Maple, Carsten and Griffiths, Nathan (2020) Privacy challenges with protecting live vehicular location context. IEEE Access, 8 . pp. 207465-207484. doi:10.1109/ACCESS.2020.3038533 ISSN 2169-3536.
C
Cannizzaro, Sara, Procter, Rob, Ma, Sinong and Maple, Carsten (2020) Trust in the smart home : findings from a nationally representative survey in the UK. PLoS One, 15 (5). e0231615. doi:10.1371/journal.pone.0231615 ISSN 1932-6203.
Chamberland, Simon, Timofeeva, Yulia, Evstratova, Alesya, Norman, Christopher, Volynski, Kirill and TΓ³th, Katalin (2020) Slowβdecaying presynaptic calcium dynamics gate longβlasting asynchronous release at the hippocampal mossy fiber to CA3 pyramidal cell synapse. Synapse, 74 (12). e22178. doi:10.1002/syn.22178 ISSN 1098-2396.
Chan, Hau, Tran-Thanh, Long and Viswanathan, Vignesh (2020) Fighting wildfires under uncertainty - a sequential resource allocation approach. In: Twenty-Ninth International Joint Conference on Artificial Intelligence, Jan 2021. Published in: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence pp. 4322-4329. ISBN 9780999241165. doi:10.24963/ijcai.2020/596
Chen, Lijie, Hirahara, Shuichi, Carboni Oliveira, Igor, Pich, Jan, Rajgopal, Ninad and Santhanam, Rahul (2020) Beyond natural proofs : hardness magnification and locality. In: Innovations in Theoretical Computer Science, Seattle, USA, 12-14 Jan 2020. Published in: 11th Innovations in Theoretical Computer Science Conference (ITCS 2020), 151 70 :1-70 :48. ISBN 9783959771344. doi:10.4230/LIPIcs.ITCS.2020.70
Chiesa, Alessandro, Gur, Tom and Shinkar, Igor (2020) Relaxed locally correctable codes with nearly-linear block length and constant query complexity. In: 31st ACM-SIAM Symposium on Discrete Algorithms (SODA20), Salt Lake City, Utah, U.S., 5-8 Jan 2020. Published in: Proceedings of the 2020 ACM-SIAM Symposium on Discrete Algorithms (SODA) 1395-1411 . ISBN 9781611975994. doi:10.1137/1.9781611975994.84
Chistikov, Dmitry, Cadilhac, Michael and Zetzsche, Georg (2020) Rational subsets of Baumslag-Solitar groups. In: 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), 8-11 Jul 2020. Published in: 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020) pp. 1-16. ISBN 9783959771382. doi:10.4230/LIPIcs.ICALP.2020.116 ISSN 1868-8969.
Chistikov, Dmitry, Goulko, Olga, Kent, Adrian and Paterson, Michael S. (2020) Globe-hopping. Proceedings of the Royal Society A : mathematical, physical and engineering sciences, 476 (2238). doi:10.1098/rspa.2020.0038 ISSN 1364-5021.
Chistikov, Dmitry and Haase, Christoph (2020) On the power of ordering in linear arithmetic theories. In: 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), 8-11 Jul 2020. Published in: 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020) pp. 1-15. ISBN 9783959771382. doi:10.4230/LIPIcs.ICALP.2020.119 ISSN 1868-8969.
Chistikov, Dmitry, Kiefer, Stefan, Murawski, Andrzej S. and Purser, David (2020) The big-O problem for labelled markov chains and weighted automata. In: 31st International Conference on Concurrency Theory (CONCUR 2020), 1-4 Sep 2020. Published in: Leibniz International Proceedings in Informatics (LIPIcs), 171 41:1-41:19. ISBN 9783959771603. doi:10.4230/LIPIcs.CONCUR.2020.41 ISSN 1868-8969.
Chistikov, Dmitry and Vyalyi, Mikhail (2020) Re-pairing brackets. In: The 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020), 8-11 Jul 2020. Published in: LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science pp. 312-326. ISBN 9781450371049. doi:10.1145/3373718.3394752
Conway, J. H., Paterson, Michael S. and Moscow, U. S .S. R. (2020) A headache-causing problem. The American Mathematical Monthly, 127 (4). pp. 291-296. doi:10.1080/00029890.2020.1712168 ISSN 0002-9890.
Cormode, Graham and VeselΓ½, Pavel (2020) A tight lower bound for comparison-based quantile summaries. In: 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODSβ20), Portland, OR, USA, 14β19 Jun 2020. Published in: Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODSβ20) pp. 81-93. doi:10.1145/3375395.3387650
Cormode, Graham and VeselΓ½, Pavel (2020) Streaming algorithms for bin packing and vector scheduling. In: Bampis, Evripidis and Megow, Nicole, (eds.) Approximation and Online Algorithms : 17th International Workshop, WAOA 2019, Munich, Germany, September 12β13, 2019, Revised Selected Papers. Lecture Notes in Computer Science (11926). Cham : Springer International Publishing. ISBN 9783030394783
CzerwiΕski, Wojciech, Lasota, Slawomir, Lazic, Ranko, Leroux, Jerome and Mazowiecki, Filip (2020) Reachability in fixed dimension vector addition systems with states. In: 31st International Conference on Concurrency Theory (CONCUR 2020), Virtual conference, 01-04 Sep 2020. Published in: Leibniz International Proceedings in Informatics (LIPIcs), 171 doi:10.4230/LIPIcs.CONCUR.2020.48 ISSN 1868-8969.
Czumaj, Artur, Davies, Peter and Parter, Merav (2020) Graph sparsification for derandomizing massively parallel computation with low space. In: 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2020), Virtual, USA, 15-17 Jul 2020. Published in: SPAA '20: Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures pp. 175-185. ISBN 9781450369350. doi:10.1145/3350755.3400282
Czumaj, Artur, Davies, Peter and Parter, Merav (2020) Simple, deterministic, constant-round coloring in the congested clique. In: 39th Annual ACM Symposium on Principles of Distributed Computing (PODC 2020), Virtual conference, 3-7 Aug 2020. Published in: PODC '20: Proceedings of the 39th Symposium on Principles of Distributed Computing pp. 309-318. ISBN 9781450375825. doi:10.1145/3382734.3405751
Czumaj, Artur, Fichtenberger, Hendrik, Peng, Pan and Sohler, Christian (2020) Testable properties in general graphs and random order streaming. In: 24th International Conference on Randomization and Computation (RANDOM 2020), Virtual, USA, 17-19 Aug 2020. Published in: Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2020), 179 pp. 1-20. ISBN 9783959771641. doi:10.4230/LIPIcs.APPROX/RANDOM.2020.16 ISSN 1868-8969.
Czumaj, Artur and Sohler, Christian (2020) Sublinear time approximation of the cost of a metric k-nearest neighbor graph. In: Annual ACM-SIAM Symposium on Discrete Algorithms (SODA'2020), Salt Lake City, Utah, USA, January 5-8, 2020, Salt Lake City, Utah, USA, 5-8 Jan 2020. Published in: Proceedings of the 2020 ACM-SIAM Symposium on Discrete Algorithms pp. 2973-2992. ISBN 9781611975994. doi:10.1137/1.9781611975994.180
Czumaj, Artur and Sohler, Christian (2020) A characterization of graph properties testable for general planar graphs with one-sided error (it's all about forbidden subgraphs). In: The 60th IEEE Symposium on Foundations of Computer Science (FOCS 2019), Baltimore, MD, 9-12 Nov 2019. Published in: 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS) doi:10.1109/FOCS.2019.00091 ISSN 2575-8454.
D
Daviaud, Laure, Jurdzinski, Marcin and Thejaswini, K. S. (2020) The Strahler number of a parity game. In: 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), 8-11 Jul 2020. Published in: Leibniz International Proceedings in Informatics (LIPIcs), 168 123:1-123:19. doi:10.4230/LIPIcs.ICALP.2020.123 ISSN 1868-8969.
Davies, Eleanor and Kalvala, Sara (2020) Postcondition-preserving fusion of postorder tree transformations. In: CC 2020, San Diego, CA, 22β23 Feb 2020. Published in: Proceedings of the 29th International Conference on Compiler Construction (CC β20) pp. 191-200. ISBN 9781450371209. doi:10.1145/3377555.3377884
Davies, Jonathan and Procter, Rob (2020) Online platforms of public participation : a deliberative democracy or a delusion? In: 13th International Conference on Theory and Practice of Electronic Governance, Athens, Greece, 23-25 Sep 2020. Published in: ICEGOV 2020: Proceedings of the 13th International Conference on Theory and Practice of Electronic Governance pp. 746-753. ISBN 9781450376747. doi:10.1145/3428502.3428614
Devlin, Ciaran (2020) Digital social innovation and the adoption of #PlanTech : the case of Coventry City Council. Urban Planning, 5 (4). pp. 59-67. doi:10.17645/up.v5i4.3214 ISSN 2183-7635.
Du, Jiachen, Gui, Lin, Xu, Ruifeng, Xia, Yunqing and Wang, Xuan (2020) Commonsense knowledge enhanced memory network for stance classification. IEEE Intelligent Systems, 35 (4). pp. 102-109. doi:10.1109/MIS.2020.2983497 ISSN 1541-1672.
Du, Liang, Tan, Jingang, Xue, Xiangyang, Chen, Lili, Wen, Hongkai, Feng, Jianfeng, Li, Jiamao and Zhang, Xiaolin (2020) 3DCFS : Fast and robust joint 3D semantic-instance segmentation via coupled feature selection. In: IEEE International Conference on Robotics and Automaion, Paris, France, 31 May - 4 Jun 2020. Published in: 2020 IEEE International Conference on Robotics and Automation (ICRA) ISBN 9781728173962. doi:10.1109/ICRA40945.2020.9197242 ISSN 1050-4729.
DvoΕΓ‘k, ZdenΔk, KrΓ‘l', Daniel and Thomas, Robin (2020) Three-coloring triangle-free graphs on surfaces III. Graphs of girth five. Journal of Combinatorial Theory, Series B, 145 . pp. 376-432. doi:10.1016/j.jctb.2020.06.005 ISSN 0095-8956.
E
Eitzinger, Simon, Asiff, Amina, Watters, Kyle E., Iavarone, Anthony T., Knott, Gavin J., Doudna, Jennifer A. and Minhas, FayyazΒ ulΒ AmirΒ Afsar (2020) Machine learning predicts new anti-CRISPR proteins. Nucleic Acids Research, 48 (9). pp. 4698-4708. doi:10.1093/nar/gkaa219 ISSN 1362-4962.
Englert, Matthias, RΓ€cke, Harald and Stotz, Richard (2020) Polylogarithmic guarantees for generalized reordering buffer management. In: FOCS 2019 60th Annual IEEE Symposium on Foundations of Computer Science , , Baltimore, Maryland, 9-12 Nov 2019. Published in: 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS) doi:10.1109/FOCS.2019.00012 ISSN 2575-8454.
F
Fan, Chuang, Yuan, Chaofa, Du, Jiachen, Gui, Lin, Yang, Min and Xu, Ruifeng (2020) Transition-based directed graph construction for emotion-cause pair extraction. In: 2020 Annual Conference of the Association for Computational Linguistics, 5-10 Jul 2020 . Published in: Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics pp. 3707-3717. doi:10.18653/v1/2020.acl-main.342
Felsner, Stefan, Kleist, Linda, Mutze, Torsten and Sering, Leon (2020) Rainbow cycles in flip graphs. SIAM Journal on Discrete Mathematics, 34 (1). pp. 1-39. doi:10.1137/18M1216456 ISSN 0895-4801.
Feng, Jianfeng, Xie, Peng, Zhou, Qunjie, Dai, Dan, Qiu, Jiang, Wei, Dongtao, Du, Jingnan, Cheng, Wei and Rolls, Edmund T. (2020) Functional connectivity of the right inferior frontal gyrus and orbitofrontal cortex in depression. Social Cognitive and Affective Neuroscience, 15 (1). pp. 75-86. doi:10.1093/scan/nsaa014 ISSN 1749-5024.
Feng, Ruiqing, Rolls, Edmund T., Cheng, Wei and Feng, Jianfeng (2020) Hypertension is associated with reduced hippocampal connectivity and impaired memory. EBioMedicine, 61 . 103082. doi:10.1016/j.ebiom.2020.103082 ISSN 2352-3964.
Fraz, Muhammad Moazam, Khurram, S. A., Graham, Simon, Shaban, Muhammad, Hassan, M., Loya, A. and Rajpoot, Nasir M. (Nasir Mahmood) (2020) FABnet : feature attention-based network for simultaneous segmentation of microvessels and nerves in routine histology images of oral cancer. Neural Computing and Applications, 32 . pp. 9915-9928. doi:10.1007/s00521-019-04516-y ISSN 0941-0643.
G
Gaboardi, Marco, Nissim, Kobbi and Purser, David (2020) The complexity of verifying loop-free programs as differentially private. In: 47th International Colloquium on Automata, Languages and Programming, 08-11 Jul 2020 doi:10.4230/LIPIcs.ICALP.2020.129
Graham, Simon, Epstein, D. B. A. and Rajpoot, Nasir M. (Nasir Mahmood) (2020) Dense steerable filter CNNs for exploiting rotational symmetry in histology images. IEEE Transactions on Medical Imaging, 39 (12). pp. 4124-4136. doi:10.1109/TMI.2020.3013246 ISSN 0278-0062.
Grandi, Umberto, Stewart, James and Turrini, Paolo (2020) Personalised rating. Autonomous Agents and Multi-Agent Systems, 34 . 55. doi:10.1007/s10458-020-09479-2 ISSN 1387-2532.
Gregor, Petr, Micka, Ondrej and Mutze, Torsten (2020) On the central levels problem. In: 47th International Colloquium on Automata, Languages, and Programming, SaarbrΓΌcken, 8-11 Jul 2020. Published in: 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), 168 60:1-60:17. ISBN 9783959771382. doi:10.4230/LIPIcs.ICALP.2020.60 ISSN 1868-8969.
Gucsi, Balint, Tarapore, Danesh S., Yeoh, William, Amato, Christopher and Tran-Thanh, Long (2020) To ask or not to ask : a user annoyance aware preference elicitation framework for social robots. In: International Conference on Intelligent Robots and Systems (IROS 2020), Las Vegas, Nevada, USA, 24-29 Oct 2020. Published in: 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) ISBN 9781728162133. doi:10.1109/IROS45743.2020.9341607 ISSN 2153-0866.
Gui, Lin, Jia, Leng, Zhou, Jiyun, Xu, Ruifeng and He, Yulan (2020) Multi-task learning with mutual learning for joint sentiment classification and topic detection. IEEE Transactions on Knowledge and Data Engineering . doi:10.1109/TKDE.2020.2999489 ISSN 1041-4347.
Gur, Tom and Lachish, Oded (2020) On the power of relaxed local decoding algorithms. In: 31st ACM-SIAM Symposium on Discrete Algorithms (SODA20), Salt Lake City, Utah, U.S., 5-8 Jan 2020. Published in: Proceedings of ACM-SIAM Symposium on Discrete Algorithms pp. 1377-1394. doi:10.5555/3381089.3381172
Gur, Tom and Shinkar, Igor (2020) An entropy lower bound for non-malleable extractors. IEEE Transactions on Information Theory, 66 (5). pp. 2904-2911. doi:10.1109/TIT.2019.2946896 ISSN 0018-9448.
Gutin, Gregory, Ramanujan, M. S., Reidl, Felix and WahlstrΓΆm, Magnus (2020) Alternative parameterizations of Metric Dimension. Theoretical Computer Science, 806 . pp. 133-143. doi:10.1016/j.tcs.2019.01.028 ISSN 0304-3975.
H
Hao, Feng, Wang, Shen, Bag, Samiran, Procter, Rob, Shahandashti, Siamak, Mehrnezhad, Maryam, Toreini, Ehsan, Metere, Roberto and Liu, Lana (2020) End-to-end verifiable E-voting trial for Polling Station voting. IEEE Security & Privacy, 18 (6). pp. 6-13. doi:10.1109/MSEC.2020.3002728 ISSN 1540-7993.
Hartung, Elizabeth, Hoang, Hung, Mutze, Torsten and Williams, Aaron (2020) Combinatorial generation via permutation languages. In: 31st Annual ACM-SIAM Symposium on Discrete Algorithms, Salt Lake City, United States, 5-8 Jan 2020. Published in: SODA '20: Proceedings of the Thirty-First Annual ACM-SIAM Symposium on Discrete Algorithms pp. 1214-1225. doi:10.5555/3381089.3381163
He, Ningning, Rolls, Edmund T., Zhao, Wei and Guo, Shuixia (2020) Predicting human inhibitory control from brain structural MRI. Brain Imaging and Behavior, 14 . pp. 2148-2158. doi:10.1007/s11682-019-00166-9 ISSN 1931-7557.
Heather Hsu, Chih-Chin, Rolls, Edmund T., Huang, Chu-Chung, Chong, Shin Tai, Zac Lo, Chun-Yi, Feng, Jianfeng and Lin, Ching-Po (2020) Connections of the human orbitofrontal cortex and inferior frontal gyrus. Cerebral Cortex, 30 (11). pp. 5830-5843. doi:10.1093/cercor/bhaa160 ISSN 1047-3211.
Hua, Dingli, Wang, Weiqun, Yu, Weiren and Yao, Juan (2020) Dissipative control of 2-D switched discrete system via dwell-time-dependent approach. Circuits, Systems, and Signal Processing, 39 (11). pp. 5475-5500. doi:10.1007/s00034-020-01440-8 ISSN 0278-081X.
I
Ignatieva, Anastasia, Hein, Jotun and Jenkins, Paul (2020) A characterisation of the genealogy of a birth-death process through time rescaling. Theoretical Population Biology, 134 . pp. 61-76. doi:10.1016/j.tpb.2020.05.001 ISSN 0040-5809.
Ilango, Rahul, Loff, Bruno and Carboni Oliveira, Igor (2020) NP-hardness of circuit minimization for multi-output functions. In: Computational Complexity Conference (CCC), 28β31 Jul 2020. Published in: CCC '20: Proceedings of the 35th Computational Complexity Conference pp. 1-36. ISBN 9783959771566. doi:10.4230/LIPIcs.CCC.2020.22 ISSN 1868-8969.
J
Jantjies, Mmaki and Joy, Mike (2020) Teaching through mobile technology : a reflection from high school studies in South Africa. In: Mobile Devices in Education : Breakthroughs in Research and Practice. Hershey, PA: IGI Global, pp. 1022-1035. ISBN 9781799817574
Javed, Sajid, Mahmood, Arif, Fraz, Muhammad Moazam, Koohbanani, Navid Alemi, Benes, Ksenija, Tsang, Yee-Wah, Hewitt, Katherine J., Epstein, D. B. A., Snead, David and Rajpoot, Nasir M. (Nasir Mahmood) (2020) Cellular community detection for tissue phenotyping in colorectal cancer histology images. Medical Image Analysis, 63 . 101696. doi:10.1016/j.media.2020.101696 ISSN 13618415.
K
Kabanets, Valentine, Lu, Zhenjian, Koroth, Sajin, Myrisiotis, Dimitrios and Carboni Oliveira, Igor (2020) Algorithms and lower bounds for de Morgan formulas of low-communication leaf gates. In: Computational Complexity Conference (CCC), 28β31 Jul 2020. Published in: CCC '20: Proceedings of the 35th Computational Complexity Conference pp. 1-41. ISBN 9783959771566. doi:10.4230/LIPIcs.CCC.2020.15 ISSN 1868-8969.
Kar, Sounak, Rehrmann, Robin, Mukhopadhyay, Arpan, Alt, Bastian, Ciucu, Florin, Koeppl, Heinz, Binnig, Carsten and Rizk, Amr (2020) On the throughput optimization in large-scale batch-processing systems. In: IFIP Performance 2020, Online, 2-6 Nov 2020. Published in: Performance Evaluation, 144 doi:10.1016/j.peva.2020.102142 ISSN 0166-5316.
Khan, Omar, Ahmed, Imran, Cottingham, Joshua, Rahhal, Musa, Arvanitis, Theodoros N. and Elliott, Mark T. (2020) Timing and correction of stepping movements with a virtual reality avatar. PLoS One, 15 (2). e0229641. doi:10.1371/journal.pone.0229641 ISSN 1932-6203.
Khuwaja, Aziz Altaf, Chen, Yunfei and Zheng, Gan (2020) Effect of user mobility and channel fading on the outage performance of UAV communications. IEEE Wireless Communications Letters, 9 (3). pp. 367-370. doi:10.1109/LWC.2019.2955444 ISSN 2162-2337.
Kirsh, Ilan and Joy, Mike (2020) Exploring Pointer Assisted Reading (PAR) : using mouse movements to analyze web usersβ reading behaviors and patterns. In: HCI International 2020 : 22nd International Conference On Human-Computer Interaction, Copenhagen, Denmark, 19β24 Jul 2020. Published in: HCI International 2020 - Late Breaking Papers : Multimodality and Intelligence : 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19β24, 2020, Proceedings, 12424 pp. 156-173. ISBN 9783030601164. doi:10.1007/978-3-030-60117-1_12 ISSN 0302-9743.
Kirsh, Ilan and Joy, Mike (2020) An HCI approach to extractive text summarization : selecting key sentences based on user copy operations. In: HCI International 2020 : 22nd International Conference On Human-Computer Interaction, Copenhagen, Denmark, 19β24 Jul 2020. Published in: HCI International 2020 - Late Breaking Papers: Multimodality and Intelligence : 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19β24, 2020, Proceedings, 1293 pp. 335-341. ISBN 9783030606992. doi:10.1007/978-3-030-60700-5_43 ISSN 1865-0929.
Kirsh, Ilan and Joy, Mike (2020) Splitting the web analytics atom : from page metrics and KPIs to sub-page metrics and KPIs. In: 10th International Conference on Web Intelligence, Mining and Semantics (WIMS 2020), Biarritz, France, 30 Jun - 3 Jul 2020. Published in: WIMS 2020 : Proceedings of the 10th International Conference on Web Intelligence, Mining and Semantics pp. 33-43. ISBN 9781450375429. doi:10.1145/3405962.3405984
Kirsh, Ilan and Joy, Mike (2020) A different web analytics perspective through copy to clipboard heatmaps. In: International Conference on Web Engineering : ICWE 2020, Helsinki, Finland, 9β12 Jun 2020. Published in: Web Engineering : 20th International Conference, ICWE 2020, Helsinki, Finland, June 9β12, 2020, Proceedings, 12128 pp. 543-546. ISBN 9783030505776. doi:10.1007/978-3-030-50578-3_41 ISSN 0302-9743.
Kirsh, Ilan, Joy, Mike and Kirsh, Yoram (2020) Horizontal Mouse Movements (HMMs) on web pages as indicators of user interest. In: HCI International 2020 : 22nd International Conference On Human-Computer Interaction, Copenhagen, Denmark, 19β24 Jul 2021. Published in: HCI International 2020 β Late Breaking Posters : 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19β24, 2020, Proceedings, Part I, 1293 pp. 416-423. doi:10.1007/978-3-030-60700-5_53 ISSN 1865-0929.
Klemmer, Konstantin, Yeboah, Godwin, Porto de Albuquerque, JoaΜo and Jarvis, Stephen A. (2020) Population mapping in informal settlements with high-resolution satellite imagery and equitable ground-truth. In: ML-IRL Workshop, International Conference on Learning Representations 2020, Addis Ababa, Ethiopia, 26 Apr 2020
Koohbanani, Navid Alemi, Jahanifar, Mostafa, Tajadin, Neda Zamani and Rajpoot, Nasir M. (Nasir Mahmood) (2020) NuClick : a deep learning framework for interactive segmentation of microscopic images. Medical Image Analysis, 65 . 101771. doi:10.1016/j.media.2020.101771 ISSN 1361-8415.
Koskela, Jere, Jenkins, Paul, Johansen, Adam M. and SpanΓ², Dario (2020) Asymptotic genealogies of interacting particle systems with an application to sequential Monte Carlo. Annals of statistics, 48 (1). pp. 560-583. doi:10.1214/19-AOS1823 ISSN 0090-5364.
L
Lallie, Harjinder Singh, Debattista, Kurt and Bal, Jay (2020) A review of attack graph and attack tree visual syntax in cyber security. Computer Science Review, 35 . 100219. ISSN 1574-0137.
Lathiya, Shital, Dhobi, J. S., Zubiaga, Arkaitz, Liakata, Maria and Procter, Rob (2020) Birds of a feather check together : leveraging homophily for sequential rumour detection. Online Social Networks and Media, 19 . 100097. doi:10.1016/j.osnem.2020.100097 ISSN 2468-6964.
Lee, Royson, Dudziak, Εukasz, Abdelfattah, Mohamed , Venieris, Stylianos I. , Kim, Hyeji , Wen, Hongkai and Lane, Nicholas D. (2020) Journey towards tiny perceptual super-resolution. In: 16th European Conference on Computer Vision, Virtual conference, 23-28 Aug 2020. Published in: Computer Vision β ECCV 2020 : 16th European Conference, Glasgow, UK, August 23β28, 2020, Proceedings, Part XXVI, 12371 pp. 85-102. ISBN 9783030585730. doi:10.1007/978-3-030-58574-7_6
Leeke, Matthew (2020) Simultaneous fault models for the generation and location of efficient error detection mechanisms. The Computer Journal, 63 (5). pp. 758-773. doi:10.1093/comjnl/bxz022 ISSN 0010-4620.
Li, Junyu, He, Ligang, Ren, Shenyuan and Mao, Rui (2020) Developing a loss prediction-based asynchronous stochastic gradient descent algorithm for distributed training of deep neural networks. In: 49th International Conference on Parallel Processing (ICPP2020), Virtual conference, 17-20 Aug 2020. Published in: ICPP '20: 49th International Conference on Parallel Processing - ICPP ISBN 9781450388160. doi:10.1145/3404397.3404432
Liang, Bin, Yin, Rongdi, Gui, Lin, Du, Jiachen, He, Yulan and Xu, Ruifeng (2020) Aspect-invariant sentiment feature learning : adversarial multi-task learning for aspect-based sentiment analysis. In: 28th ACM International Conference on Information and Knowledge Management (CIKM), Virtual conference, 18-23 Oct 2020. Published in: CIKM '20: Proceedings of the 29th ACM International Conference on Information & Knowledge Management pp. 825-834. ISBN 9781450368599. doi:10.1145/3340531.3411868
Liang, Bin, Yin, Rongdi, Gui, Lin, Du, Jiachen and Xu, Ruifeng (2020) Jointly learning aspect-focused and inter-aspect relations with graph convolutional networks for aspect sentiment analysis. In: COLING 2020, Barcelona, Spain (Online), 8-13 Dec 2020. Published in: Proceedings of the 28th International Conference on Computational Linguistics pp. 150-161. doi:10.18653/v1/2020.coling-main.13
Lin, Shan and Li, Chang-Tsun (2020) Person re-identification with soft biometrics through deep learning. In: Jiang, R. and Li, C. T. and Crookes, D. and Meng, W. and Rosenberger, C., (eds.) Deep Biometrics. Unsupervised and Semi-Supervised Learning . Springer, pp. 21-36. ISBN 9783030325824
Liu, Chengxiao, Feng, Wei, Chen, Yunfei, Wang, Cheng-Xiang and Ge, Ning (2020) Optimal beamforming for hybrid satellite terrestrial networks with nonlinear PA and imperfect CSIT. IEEE Wireless Communications Letters, 9 (3). pp. 276-280. doi:10.1109/LWC.2019.2952124 ISSN 2162-2337.
Liu, Jianjun, Huang, Siming, Zhang, Xin, Fu, Xiaofeng, Chang, Ching-Chun, Tang, Zhuo and Luo, Zhenxing (2020) Facial Expression Recognition by Transfer Learning for Small Datasets. Security with Intelligent Computing and Big-data Services, 895 . pp. 756-770. doi:10.1007/978-3-030-16946-6_62 ISSN 2194-5357.
Liu, Jianjun, Zheng, Kai, Zhang, Xin, Luo, Zhenxing, Tang, Zhuo, Chang, Ching-Chun, Lin, Yuqi and Tang, Peiqi (2020) A Dual-Branch CNN Structure for Deformable Object Detection. Advances in Intelligent Systems and Computing, 895 . pp. 784-797. doi:10.1007/978-3-030-16946-6_64 ISSN 2194-5357.
Lokshtanov, Daniel, Sridharan, Ramanujan, Saurabh, Saket and Zehavi, Meirav (2020) Parameterized complexity and approximability of directed odd cycle transversal. In: ACM-SIAM Symposium on Discrete Algorithms (SODA 2020), Salt Lake City, Utah, 5-8 Jan 2020. Published in: Proceedings of the Thirty-First Annual ACM-SIAM Symposium on Discrete Algorithms pp. 2181-2200. doi:10.5555/3381089.3381223
Lu, Junru, Pergola, Gabriele, Gui, Lin, Li, Binyang and He, Yulan (2020) CHIME : Cross-passage hierarchical memory network for generative review question answering. In: The 28th International Conference on Computational Linguistics, Virtual conference, 8-13 Dec 2020. Published in: Proceedings of the 28th International Conference on Computational Linguistics pp. 2547-2560. doi:10.18653/v1/2020.coling-main.229
Luo, Man, Du, Bowen, Klemmer, Konstantin, Zhu, Hongming, Ferhatosmanoglu, Hakan and Wen, Hongkai (2020) D3P : Data-driven demand prediction for fast expanding electric vehicle sharing systems. Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies, 4 (1). 21. doi:10.1145/3381005 ISSN 2474-9567.
Luo, Man, Zhang, Wenzhe, Song, Tianyou, Li, Kun, Zhu, Hongming, Du, Bowen and Wen, Hongkai (2020) Rebalancing expanding EV sharing systems with deep reinforcement learning. In: International Joint Conference on Artificial Intelligence, Yokohama, Japan, 11-17 Jul 2020. Published in: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence pp. 1338-1344. doi:10.24963/ijcai.2020/186
M
Ma, Qingzhi and Triantafillou, Peter (2020) Query-centric regression for In-DBMS analytics. In: DOLAP 2020 Design, Optimization, Languages and Analytical Processing of Big Data, Copenhagen, Denmark, 30 Mar 2020. Published in: Proceedings of the 22nd International Workshop on Design, Optimization, Languages and Analytical Processing of Big Data co-located with EDBT/ICDT 2020 Joint Conference (EDBT/ICDT 2020), 2572 pp. 16-25. ISSN 1613-0073.
Mahmood, H., Shaban, Muhammad, Indave, B.I., Santos-Silva, A.R., Rajpoot, Nasir M. (Nasir Mahmood) and Khurram, S.A. (2020) Use of artificial intelligence in diagnosis of head and neck precancerous and cancerous lesions : a systematic review. Oral Oncology, 110 . 104885. doi:10.1016/j.oraloncology.2020.104885 ISSN 1368-8375.
Mckay, H., Griffiths, Nathan, Taylor, Phillip M., Damoulas, Theodoros and Xu, Zhou (2020) Bi-directional online transfer learning : a framework. Annals of Telecommunications, 75 . 523-547 . doi:10.1007/s12243-020-00776-1 ISSN 0003-4347.
Monterrubio-Gomez, Karla, Roininen, Lassi, Wade, Sara, Damoulas, Theodoros and Girolami, Mark (2020) Posterior inference for sparse hierarchical non-stationary models. Computational Statistics & Data Analysis, 148 . 106954. doi:10.1016/j.csda.2020.106954 ISSN 0167-9473.
Moses Mwasaga, Nkundwe and Joy, Mike (2020) Implementing micro High Performance Computing (Β΅HPC) artifact : affordable HPC facilities for academia. In: 2020 IEEE Frontiers in Education Conference (FIE), Uppsala, Sweden, 21-24 Oct 2020. Published in: Proceedings of Frontiers in Education 2020 (FIE2020) ISBN 9781728189611. doi:10.1109/FIE44824.2020.9273986 ISSN 2377-634X.
Mukhopadhyay, Arpan, Mazumdar, Ravi R. and Roy, Rahul (2020) Voter and majority dynamics with biased and stubborn agents. Journal of Statistical Physics, 181 . pp. 1239-1265. doi:10.1007/s10955-020-02625-w ISSN 0022-4715.
Mutze, Torsten and Nummenpalo, Jerri (2020) A constant-time algorithm for middle levels Gray codes. Algorithmica, 82 . pp. 1239-1258. doi:10.1007/s00453-019-00640-2 ISSN 0178-4617.
Mutze, Torsten and Scheucher, Manfred (2020) On L-shaped point set embeddings of trees : first non-embeddable examples. Journal of Graph Algorithms and Applications, 24 (3). pp. 343-369. doi:10.7155/jgaa.00537 ISSN 1526-1719.
Mwasaga, Nkundwe Moses and Joy, Mike (2020) Investigating the usefulness of a micro high performance computing system as an educational tool. In: ICONIC: 2020 International Conference on Intelligent and Innovative Computing Applications, Plaine Magnien, Mauritius, 24-25 Sep 2020. Published in: ICONIC '20: Proceedings of the 2nd International Conference on Intelligent and Innovative Computing Applications ISBN 9781450375580. doi:10.1145/3415088.3415105
Mwasaga, Nkundwe Moses and Joy, Mike (2020) Using high-performance computing artifacts as a learning intervention : a systematic literature review. In: ICONIC: 2020 International Conference on Intelligent and Innovative Computing Applications, Plaine Magnien, Mauritius, 24-25 Sep 2020. Published in: ICONIC '20: Proceedings of the 2nd International Conference on Intelligent and Innovative Computing Applications ISBN 9781450375580. doi:10.1145/3415088.3415130
O
Oliveira, Igor C., Bydzovsky, Jan and Krajicek, Jan (2020) Consistency of circuit lower bounds with bounded theories. Logical Methods in Computer Science, 16 (2). 12:1-12:16. doi:10.23638/LMCS-16(2:12)2020 ISSN 1860-5974.
Owenson, A. M. B, Wright, S. A., Bunt, R. A., Ho, Y. K., Street, M. J. and Jarvis, S. A. (2020) An unstructured CFD mini-application for the performance prediction of a production CFD code. Concurrency and Computation: Practice and Experience, 32 (10). e5443. doi:10.1002/cpe.5443 ISSN 1532-0626.
P
Panja, Somnath, Bag, Samiran, Hao, Feng and Roy, Bimal (2020) A smart contract system for decentralized borda count voting. IEEE Transactions on Engineering Management, 67 (4). pp. 1323-1339. doi:10.1109/TEM.2020.2986371 ISSN 0018-9391.
Parida, Kranti K., Matiyali, Niraj, Guha, Tanaya and Sharma, Gaurav (2020) Coordinated joint multimodal embeddings for generalized audio-visual zero-shot classification and retrieval of videos. In: IEEE Winter Conference on Applications of Computer Vision (WACV), Aspen, Colorado, 1-5 Mar 2020 pp. 3240-3249. ISBN 9781728165530. doi:10.1109/WACV45572.2020.9093438 ISSN 2642-9381.
(2020) Immune surveillance in clinical regression of pre-invasive squamous cell lung cancer. Cancer Discovery . doi:10.1158/2159-8290.CD-19-1366 ISSN 2159-8274.
Perez-Daniel, Karina Ruby, Garcia-Ugalde, Francisco and Sanchez Silva, Victor (2020) Watermarking of HDR images in the spatial domain with HVS-imperceptibility. IEEE Access, 8 . pp. 156801-156817. doi:10.1109/ACCESS.2020.3019517 ISSN 2169-3536.
Player, Caroline and Griffiths, Nathan (2020) Improving trust and reputation assessment with dynamic behaviour. The Knowledge Engineering Review, 35 . e29. doi:10.1017/S0269888920000077 ISSN 0269-8889.
Pommerening, Arne, Brill, Markus, Schmidt-Kraepelin, Ulrike and Haufe, Jens (2020) Democratising forest management : applying multiwinner approval voting to tree selection. Forest Ecology and Management, 478 . 118509. doi:10.1016/j.foreco.2020.118509 ISSN 0378-1127.
Prangnell, Lee and Sanchez Silva, Victor (2020) JNCD-based perceptual compression of RGB 4:4:4 image data. Working Paper. arXiv.
Prangnell, Lee and Sanchez Silva, Victor (2020) Spatiotemporal adaptive quantization for the perceptual video coding of RGB 4:4:4 data. Working Paper. arXiv.
Q
Qi, Weijie, Guo, Weisi, Procter, Rob and Zhang, Jie (2020) Geo-Tagging Quality-of-Experience Self-Reporting on Twitter to Mobile Network Outage Events. In: IEEE International Smart Cities Conference, Casablanca, Morocco, 14-17 Oct 2019. Published in: 2019 IEEE International Smart Cities Conference (ISC2) pp. 651-657. ISBN 9781728108476. doi:10.1109/ISC246665.2019.9071736 ISSN 2687-8860.
Quan, Yijun, Li, Chang-Tsun, Zhou, Yujue and Li, Li (2020) Warwick image forensics dataset for device fingerprinting in multimedia forensics. In: IEEE International conference on Multimedia and Expo, London, UK, 6-10 Jul 2020. Published in: 2020 IEEE International Conference on Multimedia and Expo (ICME) ISBN 9781728113319. doi:10.1109/ICME46284.2020.9102783
Quqandi, Ebtehal and Joy, Mike (2020) Theoretical framework for shifting to self-regulated learning skills in nursing education. In: International Academic Conference on Education, Teaching, and Learning (WEI-ETL-Barcelona 2020), Barcelona, Spain, 11-13 Feb 2020. Published in: Proceedings of International Academic Conference on Education, Teaching, and Learning (WEI-ETL-Barcelona 2020) pp. 24-27. ISSN 2167-3179.
R
Rakha, Emad A., Alsaleem, Mansour, ElSharawy, Khloud A., Toss, Michael S., Raafat, Sara, Mihai, Raluca, Minhas, Fayyaz ul Amir Afsar, Green, Andrew R., Rajpoot, Nasir M. (Nasir Mahmood), Dalton, Les W. and Mongan, Nigel P. (2020) Visual histological assessment of morphological features reflects the underlying molecular profile in invasive breast cancer : a morphoβmolecular study. Histopathology, 77 (4). pp. 631-645. doi:10.1111/his.14199 ISSN 0309-0167.
Reguly, Istvan Z. and Mudalige, Gihan R. (2020) Productivity, performance, and portability for computational fluid dynamics applications. Computers & Fluids, 199 . 104425. doi:10.1016/j.compfluid.2020.104425 ISSN 0045-7930.
Rolls, Edmund T. (2020) Neural computations underlying phenomenal consciousness : a higher order syntactic thought theory. Frontiers in Psychology, 11 . 655. doi:10.3389/fpsyg.2020.00655 ISSN 1664-1078.
Rolls, Edmund T. (2020) Spatial coordinate transforms linking the allocentric hippocampal and egocentric parietal primate brain systems for memory, action in space, and navigation. Hippocampus, 30 (4). pp. 332-353. doi:10.1002/hipo.23171 ISSN 1050-9631.
Rolls, Edmund T. (2020) The texture and taste of food in the brain. Journal of Texture Studies, 51 (1). pp. 23-44. doi:10.1111/jtxs.12488 ISSN 1745-4603.
Rolls, Edmund T., Cheng, Wei and Feng, Jianfeng (2020) The orbitofrontal cortex : reward, emotion and depression. Brain Communications, 2 (2). fcaa196. doi:10.1093/braincomms/fcaa196 ISSN 2632-1297.
Rolls, Edmund T., Cheng, Wei, Gilson, Matthieu, Gong, Weikang, Deco, Gustavo, Lo, Chun-Yi Zac, Yang, Albert C, Tsai, Shih-Jen, Liu, Mu-En, Lin, Ching-Po and Feng, Jianfeng (2020) Beyond the disconnectivity hypothesis of schizophrenia. Cerebral Cortex, 30 (3). pp. 1213-1233. doi:10.1093/cercor/bhz161 ISSN 1460-2199.
Rolls, Edmund T., Vatansever, Deniz, Li, Yuzhu, Cheng, Wei and Feng, Jianfeng (2020) Rapid rule-based reward reversal and the lateral orbitofrontal cortex. Cerebral Cortex Communications, 1 (1). tgaa087. doi:10.1093/texcom/tgaa087 ISSN 2632-7376.
Rolls, Edmund T., Zhou, Yunyi, Cheng, Wei, Gilson, Matthieu, Deco, Gustavo and Feng, Jianfeng (2020) Effective connectivity in autism. Autism Research, 13 (1). pp. 32-44. doi:10.1002/aur.2235 ISSN 1939-3792.
S
Sanchez Silva, Victor (2020) Model-independent rate control for intra-coding based on piecewise linear approximations. In: 2020 Data Compression Conference, Salt Lake City, Utah, U.S., 24-27 Mar 2020. Published in: 2020 Data Compression Conference (DCC) ISBN 9781728164588. doi:10.1109/DCC47342.2020.00081
Sariah, Adellah, Guo, Shuixia, Zuo, Jing, Pu, Weidan, Liu, Haihong, Rolls, Edmund T., Xue, Zhimin, Liu, Zhening and Huang, Xiaojun (2020) Acute and chronic effects of betel quid chewing on brain functional connectivity. Frontiers in Psychiatry, 11 . 198. doi:10.3389/fpsyt.2020.00198 ISSN 1664-0640.
Savva, Fotis, Anagnostopoulos, Christos and Triantafillou, Peter (2020) Adaptive learning of aggregate analytics under dynamic workloads. Future Generation Computer Systems, 109 . pp. 317-330. doi:10.1016/j.future.2020.03.063 ISSN 0167-739X.
Savva, Fotis, Anagnostopoulos, Christos and Triantafillou, Peter (2020) Aggregate query prediction under dynamic workloads. In: 2019 IEEE International Conference on Big Data (Big Data), Los Angeles, CA, USA, 9-12 Dec 2019 pp. 671-676. ISBN 9781728108582. doi:10.1109/BigData47090.2019.9006267
Savva, Fotis, Anagnostopoulos, Christos and Triantafillou, Peter (2020) SuRF : identification of interesting data regions with surrogate models. In: 2020 IEEE 36th International Conference on Data Engineering (ICDE), Dallas, TX, USA, 20-24 Apr 2020. Published in: 2020 IEEE 36th International Conference on Data Engineering (ICDE) pp. 1321-1332. ISBN 9781728129044. doi:10.1109/ICDE48307.2020.00118 ISSN 1063-6382.
Savva, Fotis, Anagnostopoulos, Christos, Triantafillou, Peter and Kolomvatsos, Kostas (2020) Large-scale data exploration using explanatory regression functions. ACM Transactions on Knowledge Discovery from Data (TKDD), 14 (6). pp. 1-33. 76. doi:10.1145/3410448 ISSN 1556-4681.
Shaban, Muhammad, Awan, Ruqayya, Fraz, Muhammad Moazam, Azam, Ayesha, Tsang, Yee-Wah, Snead, David and Rajpoot, Nasir M. (Nasir Mahmood) (2020) Context-aware convolutional neural network for grading of colorectal cancer histology images. IEEE Transactions on Medical Imaging, 39 (7). pp. 2395-2405. doi:10.1109/TMI.2020.2971006 ISSN 0278-0062.
Steadman, Liam, Griffiths, Nathan, Jarvis, Stephen A., Bell, M., Helman, S. and Wallbank, C. (2020) Reducing and linking spatio-temporal datasets with kD-STR. In: 3rd ACM SIGSPATIAL International Workshop on Advances in Resilient and Intelligent Cities (ARIC 2020), Seattle, Washington, USA, 3-6 Nov 2020. Published in: ARIC '20: Proceedings of the 3rd ACM SIGSPATIAL International Workshop on Advances in Resilient and Intelligent Cities pp. 10-19. ISBN 9781450381659. doi:10.1145/3423455.3430317
Stinner, BjΓΆrn and Bretschneider, Till (2020) Mathematical modelling in cell migration : tackling biochemistry in changing geometries. Biochemical Society Transactions, 48 (2). pp. 419-428. doi:10.1042/BST20190311 ISSN 0300-5127.
Styles, Olly, Guha, Tanaya, Sanchez Silva, Victor and Kot, Alex (2020) Multi-camera trajectory forecasting : pedestrian trajectory prediction in a network of cameras. In: IEEE 2020 Conference on Computer Vision and Pattern Recognition, Seattle, 14-19 Jun 2020. Published in: 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW) ISBN 9781728193618. doi:10.1109/CVPRW50498.2020.00516
Styles, Olly, Tanaya, Guha and Sanchez Silva, Victor (2020) Multiple object forecasting : predicting future object locations in diverse environments. In: IEEE Winter Conference on Applications of Computer Vision (WACVβ20), Aspen, Colorado, 1-5 Mar 2020. Published in: 2020 IEEE Winter Conference on Applications of Computer Vision (WACV) ISBN 9781728165547. doi:10.1109/WACV45572.2020.9093446
T
Tagliatti, Erica, Bello, Oscar D., Mendonça, Philipe R. F., Kotzadimitriou, Dimitrios, Nicholson, Elizabeth, Coleman, Jeff, Timofeeva, Yulia, Rothman, James E., Krishnakumar, Shyam S. and Volynski, Kirill E. (2020) Synaptotagmin 1 oligomers clamp and regulate different modes of neurotransmitter release. Proceedings of the National Academy of Sciences, 117 (7). pp. 3819-3827. doi:10.1073/pnas.1920403117 ISSN 0027-8424.
W
Wan, Zhuo, Rolls, Edmund T., Cheng, Wei and Feng, Jianfeng (2020) Sensation-seeking is related to functional connectivities of the medial orbitofrontal cortex with the anterior cingulate cortex. NeuroImage, 215 . 116845. doi:10.1016/j.neuroimage.2020.116845 ISSN 1053-8119.
Wang, Haoyi, Sanchez Silva, Victor, Ouyang, Wanli and Li, Chang-Tsun (2020) Using age information as a soft biometric trait for face image analysis. In: Jiang, R. and Li, C. T. and Crookes, D. and Meng, W. and Rosenberger, C., (eds.) Deep Biometrics. Unsupervised and Semi-Supervised Learning . Springer, pp. 1-20. ISBN 9783030325824
Wang, Hui, Rolls, Edmund T., Du, Xiujuan, Du, Jingnan, Yang, Dexin, Li, Jiong, Li, Fei, Cheng, Wei and Feng, Jianfeng (2020) Severe nausea and vomiting in pregnancy: psychiatric and cognitive problems and brain structure in children. BMC Medicine, 18 (1). 228. doi:10.1186/s12916-020-01701-y ISSN 1741-7015.
Wang, Kangrui, Hamelijnck, Oliver, Damoulas, Theodoros and Steel, Mark F. J. (2020) Non-separable non-stationary random fields. In: 37th International Conference on Machine Learning, ICML 2020, Remote, 13-18 Jul 2020. Published in: Proceedings of the 37th International Conference on Machine Learning, 119 pp. 9887-9897.
Wang, Linbo, Cheng, Wei, Rolls, Edmund T., Dai, Fuli, Gong, Weikang, Du, Jingnan, Zhang, Wei, Wang, Shouyan, Liu, Fengtao, Wang, Jian, Brown, Peter and Feng, Jianfeng (2020) Association of specific biotypes in patients with Parkinson disease and disease progression. Neurology, 95 (11). e1445-e1460. doi:10.1212/WNL.0000000000010498 ISSN 0028-3878.
Wang, Rui, Hu, Xuemeng, Zhou, Deyu, He, Yulan, Xiong, Yuxuan, Ye, Chenchen and Xu, Haiyang (2020) Neural topic modeling with bidirectional adversarial training. In: The 58th annual meeting of the Association for Computational Linguistics (ACL), Virtual conference, 5-10 Jul 2020. Published in: Proceedings of The 58th annual meeting of the Association for Computational Linguistics (ACL) pp. 340-350. ISBN 9781952148255.
Wang, Yanxiang, Du, Bowen, Shen, Yiran, Wu, Kai, Zhao, Guangrong, Sun, Jianguo and Wen, Hongkai (2020) EV-Gait : Event-based robust gait recognition using dynamic vision sensors. In: 2019 IEEE International Conference on Computer Vision and Pattern Recognition, Long Beach, CA, 15-20 Jun 2019. Published in: 2019 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) ISBN 9781728132945. doi:10.1109/CVPR.2019.00652 ISSN 2575-7075.
Watson, Gregory A. and Bhalerao, Abhir (2020) Person re-identification combining deep features and attribute detection. Multimedia Tools and Applications, 79 . pp. 6463-6481. doi:10.1007/s11042-019-08499-9 ISSN 1380-7501.
Wehenkel, Antoine, Mukhopadhyay, Arpan, Le Boudec, Jean-Yves and Paolone, Mario (2020) Parameter estimation of three-phase untransposed short transmission lines from synchrophasor measurements. IEEE Transactions on Instrumentation and Measurement, 69 (9). pp. 6143-6154. doi:10.1109/TIM.2020.2969059 ISSN 0018-9456.
Wu, Di, Jiang, Zhongkai, Xie, Xiaofeng, Wei, Xuetao, Yu, Weiren and Li, Renfa (2020) LSTM learning with Bayesian and Gaussian processing for anomaly detection in industrial IoT. IEEE Transactions on Industrial Informatics, 16 (8). pp. 5244-5253. doi:10.1109/TII.2019.2952917 ISSN 1551-3203.
X
Xu, Ruifeng, Wen, Zhiyuan , Gui, Lin, Lu, Qin, Li, Binyang and Wang, Xizhao (2020) Ensemble with estimation : seeking for optimization in class noisy data. International Journal of Machine Learning and Cybernetics, 11 . pp. 231-248. doi:10.1007/s13042-019-00969-8 ISSN 1868-8071.
Y
Yihe, Lu and Timofeeva, Yulia (2020) Exact solutions to cable equations in branching neurons with tapering dendrites. Journal of mathematical neuroscience, 10 (1). 1. doi:10.1186/s13408-020-0078-z ISSN 2190-8567.
Yu, Weiren, Iranmanesh, Sima, Haldar, Aparajita, Zhang, Maoyin and Ferhatosmanoglu, Hakan (2020) An axiomatic role similarity measure based on graph topology. In: SFDI 2020 : LSGDA 2020. Published in: Software Foundations for Data Interoperability and Large Scale Graph Data Analytics, 1281 pp. 33-48. ISBN 9783030611323. doi:10.1007/978-3-030-61133-0_3 ISSN 1865-0929.
Z
Zeng, Jichuan, Li, Jing, He, Yulan, Gao, Cuiyun, Lyu, Michael and King, Irwin (2020) What changed your mind : the roles of dynamic topics and discourse in argumentation process. In: The Web Conference 2020, Taipei, 20-24 Apr 2020 . Published in: WWW '20: Proceedings of The Web Conference 2020 pp. 1502-1513. ISBN 9781450370233. doi:10.1145/3366423.3380223
Zhang, Chengyuan, Zhu, Lei, Zhang, ShiChao and Yu, Weiren (2020) PAC-GAN : an effective pose augmentation scheme for unsupervised cross-view person re-identification. Neurocomputing , 387 . pp. 22-39. doi:10.1016/j.neucom.2019.12.094 ISSN 0925-2312.
Zhang, Chengyuan, Zhu, Lei, Zhang, Shichao and Yu, Weiren (2020) TDHPPIR : an efficient deep hashing based privacy-preserving image retrieval method. Neurocomputing , 406 . pp. 386-398. doi:10.1016/j.neucom.2019.11.119 ISSN 0925-2312.
Zhou, Yulin and Chen, Yunfei (2020) Novel energy-harvesting AF relaying schemes with channel estimation errors. IEEE Systems Journal, 14 (1). pp. 333-342. doi:10.1109/JSYST.2019.2911037 ISSN 1932-8184.
Zhu, Huanzhou, He, Ligang, Leeke, Matthew and Mao, Rui (2020) WolfGraph : the edge-centric graph processing on GPU. Future Generation Computer Systems, 111 . pp. 552-569. doi:10.1016/j.future.2019.09.052 ISSN 0167-739X.
Zhu, Lei, Song, Jiayu, Yu, Weiren, Zhang, Chengyuan, Yu, Hao and Zhang, Zuping (2020) Reverse spatial visual top-k query. IEEE Access, 8 (1). pp. 21770-21787. doi:10.1109/ACCESS.2020.2968982 ISSN 2169-3536.
Zhu, Lixing, He, Yulan and Deyu, Zhou (2020) Neural temporal opinion modelling for opinion prediction on Twitter. In: Annual Meeting of the Association for Computational Linguistics (2020), Online, 6β8 Jul 2020. Published in: Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics pp. 3804-3810.
Zhu, Lixing, He, Yulan and Zhou, Deyu (2020) Neural opinion dynamics model for the prediction of user-level stance dynamics. Information Processing & Management, 57 (2). 102031. doi:10.1016/j.ipm.2019.03.010 ISSN 0306-4573.
Zhu, Lixing, He, Yulan and Zhou, Deyu (2020) A neural generative model for joint learning topics and topic-specific word embeddings. Transactions of the Association for Computational Linguistics, 8 . pp. 471-485. doi:10.1162/tacl_a_00326 ISSN 2307-387X.