City Research Online

Items where Schools and Departments is "Computer Science" and Year is 2019

Up a level
Export as [feed] RSS 2.0 [feed] RSS
Group by: Authors | Publication Type | No Grouping
Number of items: 53.

Article

Andrienko, N. ORCID: 0000-0003-3313-1560, Andrienko, G. ORCID: 0000-0002-8574-6295, Garcia, J. M. C. and Scarlatti, D. (2019). Analysis of Flight Variability: a Systematic Approach. IEEE Transactions on Visualization and Computer Graphics, 25(1), pp. 54-64. doi: 10.1109/TVCG.2018.2864811

Andrienko, N. ORCID: 0000-0003-3313-1560, Andrienko, G. ORCID: 0000-0002-8574-6295, Patterson, F. and Stange, H. (2019). Visual Analysis of Place Connectedness by Public Transport. IEEE Transactions on Intelligent Transportation Systems, doi: 10.1109/tits.2019.2924796

Bauer, J., Broom, M. ORCID: 0000-0002-1698-5495 and Alonso, E. ORCID: 0000-0002-3306-695X (2019). The Stabilisation of Equilibria in Evolutionary Game Dynamics through Mutation: Mutation Limits in Evolutionary Games. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, doi: 10.1098/rspa.2019.0355

Bonnet, E. and Giannopoulos, P. ORCID: 0000-0002-6261-1961 (2019). Orthogonal Terrain Guarding is NP-complete. Journal of Computational Geometry, 10(2), pp. 21-44. doi: 10.20382/jocg.v10i2a3

Brain, M. ORCID: 0000-0003-4216-7151, Schanda, F. and Sun, Y. (2019). Building Better Bit-Blasting for Floating-Point Problems. Tools and Algorithms for the Construction and Analysis of Systems, 11427, pp. 79-98. doi: 10.1007/978-3-030-17462-0_5

Carrera, A., Alonso, E. ORCID: 0000-0002-3306-695X and Iglesias, C. A. (2019). A Bayesian Argumentation Framework for Distributed Fault Diagnosis in Telecommunication Networks. Sensors, 19(15), 3408.. doi: 10.3390/s19153408

Chen, J., Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599 and Horrocks, I. (2019). Canonicalizing Knowledge Base Literals. Lecture Notes in Computer Science(11779),

Chen, J., Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599, Horrocks, I. and Sutton, C. (2019). ColNet: Embedding the Semantics of Web Tables for Column Type Prediction. Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 33, pp. 29-36. doi: 10.1609/aaai.v33i01.330129

Chen, S., Andrienko, N. ORCID: 0000-0003-3313-1560, Andrienko, G. ORCID: 0000-0002-8574-6295, Adilova, L., Barlet, J, Kindermann, J., Nguyen, P. H., Thonnard, O. and Turkay, C. ORCID: 0000-0001-6788-251X (2019). LDA Ensembles for Interactive Exploration and Categorization of Behaviors. IEEE Transactions on Visualization and Computer Graphics, doi: 10.1109/TVCG.2019.2904069

Christensen, J. H., Pontoppidan, N. H., Bossing, R., Anisetti, M., Bamiou, D-E., Spanoudakis, G. ORCID: 0000-0002-0037-2600, Murdin, L., Bibas, T., Kikidiks, D., Dimakopoulos, N., Giotis, G. and Ecomomou, A. (2019). Fully Synthetic Longitudinal Real-World Data From Hearing Aid Wearers for Public Health Policy Modeling. Frontiers in Neuroscience, 13, 850.. doi: 10.3389/fnins.2019.00850

De Domenico, M. and Baronchelli, A. ORCID: 0000-0002-0255-0829 (2019). The fragility of decentralised trustless socio-technical systems. EPJ Data Science, 8, 2.. doi: 10.1140/epjds/s13688-018-0180-6

Denisova, A. and Cairns, P. (2019). Player experience and deceptive expectations of difficulty adaptation in digital games. Entertainment Computing, 29, pp. 56-68. doi: 10.1016/j.entcom.2018.12.001

Garcez, A., Gori, M., Lamb, L. C., Serafini, L., Spranger, M. and Tran, S. N. (2019). Neural-symbolic computing: An effective methodology for principled integration of machine learning and reasoning. Journal of Applied Logics, 6(4), pp. 611-632.

Giannopoulos, P. ORCID: 0000-0002-6261-1961, Bonnet, E. and Lampis, M. (2019). On the Parameterized Complexity of Red-Blue Points Separation. Journal of Computational Geometry, 10(1), pp. 181-206. doi: 10.20382/jocg.v10i1a7

Hall, K., Bradley, A., Hinrichs, U., Huron, S., Wood, J. ORCID: 0000-0001-9270-247X, Collins, C. and Carpendale, S. (2019). Design by immersion: A transdisciplinary approach to problem-driven visualizations. IEEE Transactions on Visualization and Computer Graphics, 26(1),

Harrow, I., Balakrishnan, R., Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599, Jupp, S., Lomax, J., Reed, J., Romacker, M., Senger, C., Splendiani, A., Wilson, J. and Woollard, P. (2019). Ontology mapping for semantically enabled applications. Drug Discovery Today, doi: 10.1016/j.drudis.2019.05.020

Jones, M., Owen, T., Denisova, A. ORCID: 0000-0002-1497-5808 and Mitchell, S. (2019). Acceptability of a Plasticity Focused Serious Game Intervention for PTSD: A User Requirements Analysis. JMIR Serious Games, 7(2), e11909. doi: 10.2196/11909

Klungre, V. N., Soylu, A., Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599, Kharlamov, E. and Giese, M. (2019). Query Extension Suggestions for Visual Query Systems Through Ontology Projection and Indexing. New Generation Computing, doi: 10.1007/s00354-019-00071-1

Kokkola, N., Mondragon, E. and Alonso, E. ORCID: 0000-0002-3306-695X (2019). A Double Error Dynamic Asymptote Model of Associative Learning. Psychological Review, 126(4), pp. 506-549. doi: 10.1037/rev0000147

Le Goc, M., Perin, C. ORCID: 0000-0002-7324-9363, Follmer, S., Fekete, J-D. and Dragicevic, P. (2019). Dynamic Composite Data Physicalization Using Wheeled Micro-Robots. IEEE Transactions on Visualization and Computer Graphics, 25(1), pp. 737-747. doi: 10.1109/TVCG.2018.2865159

Li, H., Dragisic, Z., Faria, D., Ivanova, V., Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599, Lambrix, P. and Pesquita, C. (2019). User validation in ontology alignment: functional assessment and impact. Knowledge Engineering Review,

Li, S., Won, H., Fu, X., Fairbank, M., Wunsch, D. C. and Alonso, E. ORCID: 0000-0002-3306-695X (2019). Neural-Network Vector Controller for Permanent-Magnet Synchronous Motor Drives: Simulated and Hardware-Validated Results. IEEE Transactions on Cybernetics, doi: 10.1109/TCYB.2019.2897653

Makri, S ORCID: 0000-0002-5817-4893 and Turner, S (2019). “I can't express my thanks enough”: The “gratitude cycle” in online communities. Journal of the Association for Information Science and Technology, doi: 10.1002/asi.24257

Mereani, F. and Howe, J. M. ORCID: 0000-0001-8013-6941 (2019). Exact and Approximate Rule Extraction from Neural Networks with Boolean Features. Proceedings of the 11th International Joint Conference on Computational Intelligence,

Meyer, M. and Dykes, J. ORCID: 0000-0002-8096-5763 (2019). Criteria for Rigor in Visualization Design Study. IEEE Transactions on Visualization and Computer Graphics,

Mohavedi, Y., Cukier, M. and Gashi, I. ORCID: 0000-0002-8017-3184 (2019). Vulnerability Prediction Capability: A Comparison between Vulnerability Discovery Models and Neural Network Models. Computers and Security, doi: 10.1016/j.cose.2019.101596

Procopiou, A., Komninos, N. ORCID: 0000-0003-2776-1283 and Douligeris, C. (2019). ForChaos: Real Time Application DDoS detection using Forecasting and Chaos Theory in Smart Home IoT Network. Wireless Communications and Mobile Computing, 2019, 8469410.. doi: 10.1155/2019/8469410

Sathiyanarayanan, M. ORCID: 0000-0002-8598-1949, Turkay, C. ORCID: 0000-0001-6788-251X and Fadahunsi, O. (2019). Design of Small Multiples Matrix-based Visualisation to Understand E-mail Socio-organisational Relationships. 2018 10th International Conference on Communication Systems & Networks (COMSNETS), pp. 643-648. doi: 10.1109/COMSNETS.2018.8328288

Stumpf, S. ORCID: 0000-0001-6482-1973 (2019). Horses for courses: Making the case for persuasive engagement in smart systems. Joint Proceedings of the ACM IUI 2019 Workshops, 2327,

Tarroni, G. ORCID: 0000-0002-0341-6138, Oktay, O., Bai, W., Schuh, A., Suzuki, H., Passerat-Palmbach, J., De Marvao, A., O’Regan, D. P., Cook, S., Glocker, B., Matthews, P M. and Rueckert, D. (2019). Learning-based quality control for cardiac MR images. IEEE Transactions on Medical Imaging, 38(5), pp. 1127-1138. doi: 10.1109/TMI.2018.2878509

Tewell, J., O’Sullivan, D., Maiden, N. ORCID: 0000-0001-6233-8320, Lockerbie, J. and Stumpf, S. ORCID: 0000-0001-6482-1973 (2019). Monitoring meaningful activities using small low-cost devices in a smart home. Personal and Ubiquitous Computing, doi: 10.1007/s00779-019-01223-2

Weyde, T. ORCID: 0000-0001-8028-9905 and Kopparti, R. M. (2019). Modelling Identity Rules with Neural Networks. Journal of Applied Logics, 6(4), pp. 745-769.

Yamaguchi, T., Brain, M. ORCID: 0000-0003-4216-7151, Ryder, C., Imai, Y. and Kawamura, Y. (2019). Application of Abstract Interpretation to the Automotive Electronic Control System. Lecture Notes in Computer Science (VMCAI 2019: Verification, Model Checking, and Abstract Interpretation), 11388, pp. 425-445. doi: 10.1007/978-3-030-11245-5_20

Zhou, Q., Feng, Z. and Benetos, E. (2019). Adaptive Noise Reduction for Sound Event Detection Using Subband-Weighted NMF. Sensors (Basel), 19(14), 3206.. doi: 10.3390/s19143206

Book Section

Komninos, N. ORCID: 0000-0003-2776-1283 and Procopiou, A. (2019). Bio/Nature-inspired algorithms in A.I. for malicious activity detection. In: El-Alfy, E-S. M., Elroweissy, M., Fulp, E. W. and Mazurczyk, W. (Eds.), Nature-Inspired Cyber Security and Resiliency: Fundamentals, techniques and applications. . IET. ISBN 978-1-78561-638-9

Monograph

Myklebust, E. B., Jimenez-Ruiz, E., Chen, J., Wolf, R. and Tollefsen, K. E. (2019). Enabling Semantic Data Access for Toxicological Risk Assessment. .

Conference or Workshop Item

Adnan, M., Nguyen, H. P., Ruddle, R. and Turkay, C. ORCID: 0000-0001-6788-251X (2019). Visual Analytics of Event Data using Multiple Mining Methods. In: Turkay, C. ORCID: 0000-0001-6788-251X and Von Landesberger, T. (Eds.), EuroVis Workshop on Visual Analytics (EuroVA). . The Eurographics Association. ISBN 978-3-03868-087-1

Booth, T., Bird, J., Stumpf, S. ORCID: 0000-0001-6482-1973 and Jones, S (2019). Designing Troubleshooting Support Cards for Novice End-User Developers of Physical Computing Prototypes. In: Malizia, A., Valtolina, S., Morch, A., Serrano, A. and Stratton, A. (Eds.), End-User Development. IS-EUD 2019. Lecture Notes in Computer Science, 11553. (pp. 191-199). Cham: Springer. ISBN 978-3-030-24780-5

Brain, M. ORCID: 0000-0003-4216-7151, Niemetz, A., Preiner, M., Reynolds, A., Barrett, C. and Tinelli, C. (2019). Invertibility Conditions for Floating-Point Formulae. In: Computer Aided Verification. CAV 2019. Lecture Notes in Computer Science, 11562. (pp. 116-136). Cham: Springer. ISBN 978-3-030-25542-8

Caselles-Dupré, H., Garcia Ortiz, M. ORCID: 0000-0003-4729-7457 and Filliat, D. (2019). Symmetry-Based Disentangled Representation Learning requires Interaction with Environments. Paper presented at the Workshop on Structure & Priors in Reinforcement Learning - ICLR 2019, 6 May 2019, New Orleans, USA.

Chen, J., Horrocks, I., Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599 and Sutton, C. (2019). Learning Semantic Annotations for Tabular Data. In: Kraus, S. (Ed.), Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence. (pp. 2088-2094). International Joint Conferences on Artifical Intelligence (IJCAI). ISBN 978-0-9992411-4-1

Daviaud, L. ORCID: 0000-0002-9220-7118, Jurdziński, M. and Lehtinen, K. (2019). Alternating Weak Automata from Universal Trees. Paper presented at the 30th International Conference on Concurrency Theory, 26-31 Aug 2019, Amsterdam, the Netherlands.

Fujdiak, R., Pokorny, J., Zobal, L., Popov, P. T., Stankovic, V. ORCID: 0000-0002-8740-6526, Mlynek, P., Mrnustik, P., Blazek, P., Musil, P. and Misurec, J. (2019). Security and Performance Trade-offs for Data Distribution Service in Flying Ad-Hoc Networks. Paper presented at the The 11th Intenrational COngress on Ultr Modern Telecommunications and Control Systems, Dublin, Ireland, 28 - 30 October 2019.

Giannopoulos, P. ORCID: 0000-0002-6261-1961, Abrahamsen, M., Löffler, M. and Rote, G. (2019). Geometric Multicut. Paper presented at the 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019), 8 - 12 July 2019, Patras, Greece.

Heitlinger, S ORCID: 0000-0001-6148-350X, Bryan-Kinns, N. and Comber, R. (2019). The Right to the Sustainable Smart City. In: Brewster, S. and Fitzpatrick, G. (Eds.), CHI '19 Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems. (273.). New York, USA: ACM. ISBN 978-1-4503-5970-2

Heitlinger, S. ORCID: 0000-0001-6148-350X, Clarke, R., Clear, A. K., Chopra, S. and Dilaver, Ö. (2019). Co-creating “smart” sustainable food futures with urban food growers. In: C&T '19 Proceedings of the 9th International Conference on Communities & Technologies - Transforming Communities. (pp. 114-120). New York: ACM. ISBN 9781450371629

Makri, S. ORCID: 0000-0002-5817-4893, Chen, Y-C., McKay, D., Buchanan, G. and Ocepek, M. (2019). Discovering the Unfindable: The Tension Between Findability and Discoverability in a Bookshop Designed for Serendipity. Paper presented at the The 17th IFIP TC.13 International Conference on Human-Computer Interaction (INTERACT 2019), 2 - 6 September 2019, Paphos, Cyprus.

Mota, E., Howe, J. M. ORCID: 0000-0001-8013-6941, Schramm, A. and d'Avila Garcez, A. S. (2019). Efficient Predicate Invention using Shared NeMuS. Paper presented at the 14th International Workshop on Neural-Symbolic Learning and Reasoning, 10 - 16 August 2019, Macau, China.

Myklebust, E., Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599, Chen, J., Wolf, R. and Tollefsen, K. E. (2019). Knowledge Graph Embedding for Ecotoxicological Effect Prediction. presented at the UNSPECIFIED.

Zhao, X., Robu, V., Flynn, D., Salako, K. and Strigini, L. (2019). Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing. Paper presented at the ISSRE 2019 - the 20th International Symposium on Software Reliability Engineering, 28 - 31 October 2019, Berlin, Germany.

Thesis

Algaith, A. (2019). Assessing the security benefits of defence in depth. (Unpublished Doctoral thesis, City, University of London)

Braun, M. H. (2019). Enhancing User Experience with Olfaction in Virtual Reality. (Unpublished Doctoral thesis, City, University of London)

Turner, Jonathan (2019). Secondary use of electronic medical records for early identification of raised condition likelihoods in individuals: a machine learning approach. (Unpublished Doctoral thesis, City, University of London)

This list was generated on Fri Oct 25 04:22:40 2019 UTC.