City Research Online

Items where Schools and Departments is "School of Mathematics, Computer Science & Engineering > Computer Science" and Year is 2019

Up a level
Export as [feed] RSS 2.0 [feed] RSS
Group by: Authors | Publication Type | No Grouping
Jump to: A | B | C | D | K | L | P | S | Y
Number of items: 10.


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


Brain, M. ORCID: 0000-0003-4216-7151, Schanda, F. and Sun, Y. (2019). Building Better Bit-Blasting for Floating-Point Problems. Paper presented at the International Conference on Tools and Algorithms for the Construction and Analysis of Systems 2019, 6-7 April 2019, Prague, Czech Republic.


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


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


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


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, 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


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


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,


Yamaguchi, T., Nyx 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

This list was generated on Wed Apr 24 04:24:31 2019 UTC.