Items where Subject is "Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences"

A

Al Alkeem, E. and Kim, S.-K. and Yeun, C.Y. and Zemerly, J. and Poon, K. and Yoo, Paul D. (2019) An Enhanced Electrocardiogram biometric authentication system using machine learning. IEEE Access 7 , pp. 123069-123075. ISSN 2169-3536.

Al-Kaltakchi, M. and Omar, R. and Abdullah, H. and Han, Tingting and Chambers, J. (2019) Finger texture verification systems based on multiple spectrum lighting sensors with four fusion levels. Iraqi Journal of Information & Communications Technology 1 (3), pp. 1-16. ISSN 2222-758X.

Al-Nima, R. and Han, Tingting and Chen, Taolue (2019) Road tracking using deep reinforcement learning for self-driving car applications. In: The 11th International Conference on Computer Recognition Systems, 20-22 May 2019, Polanica-Zdroj, Poland.

B

Ballatore, Andrea and Pang, A. and Pozzana, Iacopo and Prifti, Y. and Provetti, Alessandro (2019) Geo-referencing as a connector between user reviews and urban environment quality. In: 5th International Conference on Computational Social Science IC2S2, 17-20 Jul 2019, Amsterdam, The Netherlands. (Unpublished)

Baxter, Brad J.C. and Brummelhuis, R. (2019) Convergence of Stationary RBF-schemes for the numerical solution of evolution equations. arXiv.

Blackburn, S.R. and Etzion, T. and Paterson, Maura B. (2019) PIR schemes with small download complexity and low storage requirements. IEEE International Symposium on Information Theory , ISSN 0018-9448.

Bonin, J. and Chun, C. and Noble, Steven (2019) Delta-matroids as subsystems of sequences of Higgs lifts. Advances in Applied Mathematics 126 (101910), ISSN 0196-8858.

Bonin, J. and Chun, C. and Noble, Steven (2019) The excluded 3-minors for vf-safe delta-matroids. Advances in Applied Mathematics 126 (101909), ISSN 0196-8858.

Botoeva, E. and Lutz, C. and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2019) Query inseparability for ALC ontologies. Artificial Intelligence 272 , pp. 1-51. ISSN 0004-3702.

Brandt, S. and Calvanese, D. and Güzel Kalayci, E. and Kontchakov, Roman and Mörzinger, B. and Ryzhikov, Vladislav and Xiao, G. and Zakharyaschev, Michael (2019) Two-dimensional rule language for querying sensor log data: a framework and use cases. In: Gamper, J. and Pinchinat, S. and Sciavicco, G. (eds.) 26th International Symposium on Temporal Representation and Reasoning (TIME 2019). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, pp. 1-15. ISBN 9783959771276.

C

Celik, Dilek and Magoulas, George D. (2019) Challenging the alignment of learning design tools with HE lecturers’ learning design practice. In: Scheffel, M. and Broisin, J. and Pammer-Schindler, V. and Ioannou, A. and Schneider, J. (eds.) Transforming Learning with Meaningful Technologies: 14th European Conference on Technology Enhanced Learning, EC-TEL 2019, Delft, The Netherlands, September 16–19, 2019, Proceedings. Lecture Notes in Computer Science 11722. Springer, pp. 142-157. ISBN 9783030297350.

Chen, Hubie and Valeriote, M. (2019) Learnability of solutions to conjunctive queries. Journal of Machine Learning Research 20 (67), pp. 1-28. ISSN 1532-4435.

Chen, Hubie and Valeriote, M. and Yoshida, Y. (2019) Constant-query testability of assignments to constraint satisfaction problems. SIAM Journal on Computing 48 (3), pp. 1022-1045. ISSN 1095-7111.

Chen, Taolue and Hague, M. and Lin, A.W. and Rümmer, P. and Wu, Z. (2019) Decision procedures for path feasibility of string-manipulating programs with complex operations. Proceedings of the ACM on Programming Languages 3 (POPL), pp. 1-30. ISSN 2475-1421.

Chun, C. and Moffatt, I. and Noble, Steven and Rueckriemen, R. (2019) Matroids, delta-matroids and embedded graphs. Journal of Combinatorial Theory, Series A 167 , pp. 7-59. ISSN 0097-3165.

Connor, S.B. and Pymar, Richard (2019) Mixing times for exclusion processes on hypergraphs. Electronic Journal of Probability 24 , p. 73. ISSN 1083-6489.

D

De Meo, P. and Levene, Mark and Provetti, Alessandro (2019) Potential gain as a centrality measure. In: IEEE/WIC/ACM International Conference on Web Intelligence (WI '19), 14-17 October 2019, Thessaloniki, Greece.

Demaine, E.D. and Reidl, Felix and Rossmanith, P. and Villaamil Sánchez, F. and Sikdar, S. and Sullivan, B.D. (2019) Structural sparsity of complex networks: bounded expansion in random models and real-world graphs. Journal of Computer and System Sciences 105 , pp. 199-241. ISSN 0022-0000.

E

Edwards, K. and Noble, Steven (2019) The complexity of solution-free sets of integers for general linear equations. Discrete Applied Mathematics 270 , pp. 115-133. ISSN 0166-218X.

Eldaw, Muawya Habib Sarnoub (2019) Analytics of human presence and movement behaviour within specific environments. [Thesis] (Unpublished)

F

Fairbairn, Ben (2019) Purely (Non-)Strongly Real Beauville Groups. Archiv der Mathematik 112 (4), pp. 337-345. ISSN 0003-889X.

Fletcher, G.H.L. and Poulovassilis, Alexandra and Selmer, P. and Wood, Peter T. (2019) Approximate querying for the Property Graph Language Cypher. In: 2019 IEEE International Conference on Big Data, 9-12 Dec 2019, Los Angeles, U.S.. (In Press)

Fuhs, Carsten (2019) Transforming derivational complexity of term rewriting to runtime complexity. In: Herzig, A. and Popescu, A. (eds.) Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings. Lecture Notes in Artificial Intelligence 11715. Springer. (In Press)

Fuhs, Carsten and Kop, C. (2019) A static higher-order dependency pair framework. In: Caires, L. (ed.) Programming Languages and Systems, 28th European Symposium on Programming, ESOP 2019, Proceedings. Lecture Notes in Computer Science 11423. Springer, pp. 752-782. ISBN 9783030171834.

G

Gomez, C. and Chessa, S. and Fleury, A. and Roussos, George and Preuveneers, D. (2019) Internet of Things for enabling smart environments: a technology-centric perspective. Journal of Ambient Intelligence and Smart Environments 11 (1), pp. 23-43. ISSN 1876-1364.

H

Hart, Sarah (2019) Mathematical Quotations in Melville’s Moby-Dick. unpublished. (Unpublished)

Hartig, Olaf and Hidders, Jan (2019) Defining schemas for property graphs by using the GraphQL Schema Definition Language. In: UNSPECIFIED (ed.) GRADES-NDA'19: Proceedings of the 2nd Joint International Workshop on Graph Data Management Experiences & Systems (GRADES) and Network Data Analytics (NDA). ACM, 6:1-6:11. ISBN 9781450367899.

Hindle, G. and Kunc, M. and Mortenson, M. and Oztekin, A. and Vidgen, Richard (2019) Business analytics: defining the field and identifying a research agenda. [Editorial/Introduction]

Holtom, T.C. and Brooms, Anthony C. (2019) Error propagation analysis for a Static Convergent Beam Triple LIDAR. Technical Report. Birkbeck College, University of London, London, UK, London, UK.

Huczynska, S. and Paterson, Maura B. (2019) Characterising bimodal collections of sets in finite groups. Archiv der Mathematik 113 , pp. 571-580. ISSN 0003-889X.

Huczynska, Sophie and Paterson, Maura B. (2019) Characterising bimodal collections of sets in finite groups. Technical Report. Birkbeck, University of London, London, UK.

J

Jung, J.C. and Papacchini, F. and Wolter, F. and Zakharyaschev, Michael (2019) Model Comparison Games for Horn Description Logics. In: UNSPECIFIED (ed.) 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). ACM. ISBN 9781728136080.

K

Kalayci, E. and Brandt, S. and Calvanese, D. and Ryzhikov, Vladislav and Xiao, G. and Zakharyaschev, Michael (2019) Ontology-based access to temporal data with Ontop: a framework proposal. International Journal of Applied Mathematics and Computer Science 29 (1), pp. 17-30. ISSN 2083-8492.

Kikot, Stanislav and Kurucz, A. and Tanaka, Y. and Wolter, F. and Zakharyaschev, Michael (2019) Kripke completeness of strictly positive modal logics over meet-semilattices with operators. Journal of Symbolic Logic 84 (2), pp. 533-588. ISSN 0022-4812.

Kim, S.-k. and Yeun, C.Y. and Yoo, Paul D. (2019) An enhanced machine learning-based biometric authentication system using RR- Interval Framed Electrocardiograms. IEEE Access 7 , 168669 -168674. ISSN 2169-3536.

Klaysri, Thidawan (2019) Analysis of category co-occurrence in Wikipedia networks. [Thesis] (Unpublished)

L

Lachish, Oded and Fischer, E. and Vasudev, Y. (2019) Improving and extending the testing of distributions for shape-restricted properties. Algorithmica 81 (9), pp. 3765-3802. ISSN 0178-4617.

Lachish, Oded and Gur, Tom (2019) A Lower Bound for Relaxed Locally Decodable Codes. In: ACM-SIAM Symposium on Discrete Algorithms (SODA20), 5-8 Jan 2020, Salt Lake City, U.S.. (In Press)

Levene, Mark and Fenner, Trevor and Bar-Ilan, J. (2019) Characterisation of the x-index and the rec-index. Scientometrics 120 (2), pp. 885-896. ISSN 0138-9130.

Levene, Mark and Fenner, Trevor and Loizou, George (2019) Human dynamics with limited complexity. International Journal of Parallel, Emergent and Distributed Systems 34 (4), pp. 356-363. ISSN 1744-5760.

Levene, Mark and Kononovicius, A. (2019) Empirical survival Jensen-Shannon divergence as a goodness-of-fit measure for maximum likelihood estimation and curve fitting. Communications in Statistics - Simulation and Computation 50 (11), pp. 3751-3767. ISSN 0361-0918.

Li, M. and Selim, B. and Muhaidat, S. and Sofotasios, P. and Dianati, M. and Yoo, Paul D. and Liang, J. and Wang, A. (2019) Effects of residual hardware impairments on secure NOMA-based cooperative systems. IEEE Access 4 , ISSN 2169-3536.

Luo, G. and Wei, J. and Hu, W. and Maybank, Stephen J. (2019) Tangent Fisher vector on matrix manifolds for action recognition. IEEE Transactions on Image Processing 29 , pp. 3052-3064. ISSN 1057-7149.

M

Mavrikis, M. and Geraniou, E. and Gutierrez-Santos, Sergio and Poulovassilis, Alexandra (2019) Intelligent analysis and data visualisation for teacher assistance tools: the case of exploratory learning. British Journal of Educational Technology 50 (6), pp. 2920-2942. ISSN 0007-1013.

McBrien, P. and Poulovassilis, Alexandra (2019) A Conceptual Modelling Approach to Visualising Linked Data. In: Panetto, H. and Debruyne, C. and Hepp, M. and Lewis, D. and Agostino Ardagna, C. and Meersman, R. (eds.) Proceedings of On the Move to Meaningful Internet Systems, OTM 2018 Conferences. Lecture Notes in Computer Science 11877. Springer, pp. 227-245. ISBN 9783030332457.

Menozzi, E. and Jha, A. and Oyekan, R. and Schreglmann, S. and Latorre, A. and Mulroy, E. and Roussos, George and Stamate, C. and Daskalopoulos, I. and Rothwell, J. (2019) Smartphone software for home monitoring of motor symptoms in Parkinson's disease: the CloudUPDRS smartphone software in Parkinson's (CUSSP) study. In: MDS International Congress, 23rd September 2019, Nice, France. (Unpublished)

Mirkin, Boris and Fenner, Trevor (2019) Distance and consensus for preference relations corresponding to ordered partitions. Journal of Classification 36 , pp. 350-367. ISSN 0176-4268.

Mudinas, Andrius (2019) Adaptive sentiment analysis. [Thesis] (Unpublished)

Muirhead, S. and Pymar, Richard and Sidorova, N. (2019) A new phase transition in the parabolic Anderson model with partially duplicated potential. Stochastic Processes and their Applications 129 (11), pp. 4704-4746. ISSN 0304-4149.

Muirhead, S. and Pymar, Richard and dos Santos, R.S. (2019) The Bouchaud-Anderson model with double-exponential potential. The Annals of Applied Probability 29 (1), pp. 264-325. ISSN 1050-5164.

N

Ng, S.-L. and Paterson, Maura B. (2019) Functional repair codes: a view from projective geometry. Designs, Codes and Cryptography 87 (164), pp. 2701-2722. ISSN 0925-1022.

P

Papageorgiou, Georgios (2019) Bayesian density regression for discrete outcomes. Australian and New Zealand Journal of Statistics 61 (3), pp. 336-359. ISSN 1467-842X.

Parker, L. and Yoo, Paul D. and Asyhari, T. and Chermak, L. and Jhi, Y. and Taha, K. (2019) DEMISe: interpretable deep extraction and mutual information selection techniques for IoT intrusion detection. In: UNSPECIFIED (ed.) ARES '19 Proceedings of the 14th International Conference on Availability, Reliability and Security. ACM. ISBN 9781450371643.

Paterson, Maura B. and Stinson, D.R. (2019) On the equivalence of authentication codes and robust (2,2)-threshold schemes. Technical Report. Birkbeck, University of London, London, UK.

Pons, J.S. and Stamate, C. and Weston, D. and Roussos, George (2019) Scaling-out longitudinal clinical analytics with dataflow processing. In: 2019 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops), 11 - 15th March 2019, Kyoto, Japan.

Poulton, Marcus J. (2019) Modelling blue-light ambulance mobility in the London metropolitan area. [Thesis] (Unpublished)

R

Ryzhikov, Vladislav and Walega, P.A. and Zakharyaschev, Michael (2019) Data complexity and rewritability of ontology-mediated queries in Metric Temporal Logic under the Event-Based Semantics. In: UNSPECIFIED (ed.) Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI-19). International Joint Conferences on Artificial Intelligence Organization, pp. 1851-1857. ISBN 9780999241127.

S

Saez-Pons, J. and Stamate, C. and Weston, D. and Roussos, George (2019) PDkit: an open source data science toolkit for Parkinson's disease. In: UbiComp/ISWC '19 Adjunct, 9-13 September 2019, London, UK.

Slattery, P. and Finnegan, P. and Vidgen, Richard (2019) Creating compassion: how volunteering websites encourage prosocial behaviour. Information and Organization 29 (1), pp. 57-76. ISSN 1471-7727.

V

Vidgen, Richard and Hindle, G. and Randolph, I. (2019) Exploring the ethical implications of business analytics with a business ethics canvas. European Journal of Operational Research 281 (3), pp. 491-501. ISSN 0377-2217.

Vidgen, Richard and Mortenson, M. and Powell, Philip (2019) Invited viewpoint: how well does the Information Systems discipline fare in the Financial Times’ top 50 Journal list? The Journal of Strategic Information Systems 28 (4), p. 101577. ISSN 0963-8687.

Volzhanin, Igor (2019) Impact of feedback loops on decision-making. [Thesis] (Unpublished)

W

Wan, Cen and Cozzetto, D. and Fa, R. and Jones, D. (2019) Using Deep Maxout Neural Networks to improve the accuracy of function prediction from Protein Interaction Networks. PLoS One , ISSN 1932-6203.

Wang, K. and Ding, C. and Maybank, Stephen J. and Tao, D. (2019) CDPM: convolutional deformable part models for semantically aligned person re-identification. IEEE Transactions on Image Processing 29 , pp. 3416-3428. ISSN 1057-7149.

Y

Yoo, Paul D. (2019) Censor-based cooperative Multi-Antenna Spectrum Sensing with Imperfect Reporting Channels. IEEE Transactions on Sustainable Computing 5 (1), pp. 48-60. ISSN 2377-3782.

Yoo, Paul D. (2019) Popularity-based video caching techniques for cache-enabled networks: a survey. IEEE Access 7 , pp. 27699-27719. ISSN 2169-3536.

Yoo, Paul D. (2019) Shortlisting the influential members of criminal organizations and identifying their important communication channels. IEEE Transactions on Information Forensics and Security , ISSN 1556-6013.

Z

Zhang, X. and Liu, Q. and Wang, D. and Zhao, L. and Gu, N. and Maybank, Stephen J. (2019) Self-taught semi-supervised dictionary learning with non-negative constraint. IEEE Transactions on Industrrial Informatics 16 (1), pp. 532-543. ISSN 1551-3203.

Zhe, S. and Mengqiu, C. and Han, Tingting and Robin, H. (2019) Public transport accessibility and housing value uplift: evidence from the Docklands Light Railway in London. Case Studies on Transport Policy 7 (3), pp. 607-616. ISSN 2213‐624X.

Zumpano, E. and Caroprese, L. and Veltri, P. and Calì, Andrea and Radulescu, F. (2019) Mathematical theories in the era of Big Data. Mathematical Problems in Engineering 2019 , pp. 1-2. ISSN 1024-123X.