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

Article

Adly, F. and Alhussein, O. and Yoo, Paul D. and Al-Hammadi, Y. and Taha, K. and Muhaidat, S. and Jeong, Y.-S. and Lee, U. and Ismail, M. (2015) Simplified subspaced regression network for identification of defect patterns in semiconductor wafer maps. IEEE Transactions on Industrial Informatics 11 (6), pp. 1267-1276. ISSN 1551-3203.

Agreste, S. and De Meo, P. and Ferrara, E. and Piccolo, S. and Provetti, Alessandro (2015) Analysis of a heterogeneous social network of humans and cultural objects. IEEE Transactions on Systems, Man, and Cybernetics: Systems 45 (4), pp. 559-570. ISSN 2168-2216.

Agreste, S. and De Meo, P. and Ferrara, E. and Piccolo, S. and Provetti, Alessandro (2015) Trust networks: topology, dynamics, and measurements. IEEE Internet Computing 19 (6), pp. 26-35. ISSN 1089-7801.

Al-Jarrah, O.Y. and Alhussein, O. and Yoo, Paul D. and Muhaidat, S. and Taha, K. and Kim, K. (2015) Data randomization and cluster-based partitioning for Botnet intrusion detection. IEEE Transactions on Cybernetics 46 (8), pp. 1796-1806. ISSN 2168-2267.

Anabanti, C.S. and Hart, Sarah (2015) On a conjecture of Street and Whitehead on locally maximal product-free sets. Australasian Journal of Combinatorics 63 , pp. 385-398. ISSN 2202-3518.

Bar-Ilan, J. and Levene, Mark (2015) The hw-rank: an h-index variant for ranking web pages. Scientometrics 102 (3), pp. 2247-2253. ISSN 1588-2861.

Bonasera, B. and Ferrara, E. and Fiumara, G. and Pagano, F. and Provetti, Alessandro (2015) Adaptive search over sorted sets. Journal of Discrete Algorithms 30 , pp. 128-133. ISSN 1570-8667.

Brownlow, Richard and Capuzzi, Stefano and Helmer, Sven and Martins, Luciana and Normann, Immanuel and Poulovassilis, Alexandra (2015) An ontological approach to creating an Andean Weaving Knowledge Base. Journal on Computing and Cultural Heritage 8 (2), ISSN 1556-4673.

Chen, Taolue and Fokkink, W. and van Glabbeek, R.J. (2015) On the axiomatizability of impossible futures. Logical Methods in Computer Science 11 (3), ISSN 1860-5974.

Chen, Taolue and Yu, N. and Han, Tingting (2015) Continuous-time orbit problems are decidable in polynomial-time. Information Processing Letters 115 (1), pp. 11-14. ISSN 0020-0190.

Cocea, Mihaela and Magoulas, George D. (2015) Participatory learner modelling design: a methodology for iterative learner models development. Information Sciences 321 , pp. 48-70. ISSN 0020-0255.

Coll, F. and McNerney, R. and Preston, M.D and Guerra-Assunção, J.A. and Warry, A. and Hill-Cawthorne, G. and Mallard, K. and Nair, M. and Miranda, A. and Alves, A. and Perdigão, J. and Viveiros, M. and Portugal, I. and Hasan, Z. and Hasan, R. and Glynn, J.R. and Martin, Nigel and Pain, A. and Clark, T.G (2015) Rapid determination of anti-tuberculosis drug resistance from whole-genome sequences. Genome Medicine 7 (1), ISSN 1756-994X.

Dimartino, Mirko (2015) Peer-based query rewriting in SPARQL for semantic integration of linked data. CEUR Workshop Proceedings 1491 , ISSN 1613-0073.

Fairbairn, Ben (2015) Coxeter Groups as Beauville Groups. Monatshefte fur Mathematik 181 (4), pp. 761-777. ISSN 0026-9255.

Fairbairn, Ben and Pierro, Emilio (2015) New examples of Mixed Beauville Groups. Journal of Group Theory 18 (5), pp. 761-792. ISSN 1435-4446.

Fenner, Trevor and Levene, Mark and Loizou, George (2015) A stochastic evolutionary model for capturing human dynamics. Journal of Statistical Mechanics: Theory and Experiment (JSTAT) 2015 , ISSN 1742-5468.

Fischer, E. and Lachish, Oded and Vasudev, Y. (2015) Trading query complexity for sample-based testing and multi-testing scalability. Symposium on Foundations of Computer Science , pp. 1163-1182. ISSN 0272-5428.

Gong, C. and Tao, D. and Wei, L. and Maybank, Stephen J. and Meng, F. and Fu, K. and Yang, Jie (2015) Saliency propagation from simple to difficult. IEEE Computer Society Conference on Computer Vision and Pattern Recognition , pp. 2531-2539. ISSN 1063-6919.

Grawemeyer, Beate and Mavrikis, M. and Holmes, W. and Hansen, A. and Loibl, K. and Gutierrez-Santos, Sergio (2015) The impact of feedback on students’ affective states. CEUR Workshop Proceedings 1432 , ISSN 1613-0073.

Gutiérrez-Basulto, V. and Ibáñez-García, Y. and Kontchakov, Roman and Kostylev, E.V. (2015) Queries with negation and inequalities over lightweight ontologies. Web Semantics: Science, Services and Agents on the World Wide Web 35 (4), pp. 184-202. ISSN 1570-8268.

Hart, Sarah and Hedtke, I. and Mueller-Hannemann, M. and Murthy, S. (2015) A fast search algorithm for (m,m,m) triple product property triples and an application for 5 × 5 matrix multiplication. Groups Complexity Cryptology 7 (1), pp. 31-46. ISSN 1869-6104.

Hart, Sarah and Rowley, P.J. (2015) On excess in finite Coxeter groups. Journal of Pure and Applied Algebra 219 (5), pp. 1657-1669. ISSN 0022-4049.

Hirsch, R. and Jackson, M. and Mikulás, Szabolcs (2015) The algebra of functions with antidomain and range. Journal of Pure and Applied Algebra 220 (6), pp. 2214-2239. ISSN 0022-4049.

Kim, E.J. and Langer, A. and Paul, C. and Reidl, Felix and Rossmanith, P. and Sau, I. and Sikdar, S. (2015) Linear kernels and single-exponential algorithms via Protrusion Decompositions. ACM Transactions on Algorithms 12 (2), 21:1-21:41. ISSN 1549-6325.

Konev, B. and Lutz, C. and Wolter, F. and Zakharyaschev, Michael (2015) Conservative rewritability of description logic TBoxes: first results. CEUR Workshop Proceedings , ISSN 1613-0073.

Li, B. and Xiong, W. and Wu, O. and Hu, W. and Maybank, Stephen J. and Yan, S. (2015) Horror image recognition based on context-aware multi-instance learning. IEEE Transactions on Image Processing 24 (12), pp. 5193-5205. ISSN 1057-7149.

Mikulás, Szabolcs (2015) Lower semilattice-ordered residuated semigroups and substructural logics. Studia Logica 103 (3), pp. 453-478. ISSN 0039-3215.

Mikulás, Szabolcs (2015) The equational theories of representable residuated semigroups. Synthese 192 (7), pp. 2151-2158. ISSN 0039-7857.

Mikulás, Szabolcs and Sain, I. and Simon, A. (2015) Complexity of equational theory of relational algebras with standard projection elements. Synthese 192 (7), pp. 2159-2182. ISSN 0039-7857.

Moussouri, T. and Roussos, George (2015) Conducting visitor studies using smartphone-based location sensing. Journal on Computing and Cultural Heritage 8 (3), pp. 1-16. ISSN 1556-4673.

Nascimento, S. and Casca, S. and Mirkin, Boris (2015) A seed expanding cluster algorithm for deriving upwelling areas on sea surface temperature images. Computers & Geosciences 85 (B), pp. 74-85. ISSN 0098-3004.

Niederman, F. and Crowston, K. and Koch, H. and Krcmar, H. and Powell, Philip and Swanson, E. (2015) Assessing IS research impact. Communications of the Association for Information Systems 36 (1), ISSN 1529-3181.

Papageorgiou, Georgios and Richardson, S. and Best, N. (2015) Bayesian nonparametric models for spatially indexed data of mixed type. Journal of the Royal Statistical Society - Series B (Statistical Methodology) 77 (5), pp. 973-999. ISSN 1369-7412.

Paterson, Maura B. and Stinson, D.R. (2015) Optimal constructions for ID-based one-way-function key predistribution schemes realizing specified communication graphs. Journal of Mathematical Cryptology 9 (4), pp. 215-225. ISSN 1862-2976.

Phaphoom, N. and Wang, X. and Samuel, Sarah and Helmer, S. and Abrahamsson, P. (2015) A survey study on major technical barriers affecting the decision to adopt cloud services. Journal of Systems and Software 103 , pp. 167-181. ISSN 0164-1212.

Poulovassilis, Alexandra and Gutierrez-Santos, Sergio and Mavrikis, M. (2015) Graph-based modelling of students' interaction data from exploratory learning environments. CEUR Workshop Proceedings 1446 , pp. 46-51. ISSN 1613-0073.

Poulovassilis, Alexandra and Xhafa, F. and O'Hagan, T. (2015) Event-based awareness services for P2P groupware systems. Informatica 26 (1), pp. 135-157. ISSN 0868-4952.

Raman, Natraj and Maybank, Stephen J. (2015) Action classification using a discriminative multilevel HDP-HMM. Neurocomputing 154 , pp. 149-161. ISSN 0925-2312.

Razgon, Igor (2015) On the read-once property of branching programs and CNFs of bounded treewidth. Algorithmica 75 (2), pp. 277-294. ISSN 0178-4617.

Roussos, George and Hengartner, U. and Konomi, S. and Römer, K. (2015) Editorial. Pervasive and Mobile Computing 16 (B), pp. 185-186. ISSN 1574-1192.

Selmer, Petra and Poulovassilis, Alexandra and Wood, Peter T. (2015) Implementing flexible operators for regular path queries. CEUR Workshop Proceedings 1330 , pp. 149-156. ISSN 1613-0073.

Sotiriadis, Stelios and Bessis, N. and Anjum, A. and Buyya, R. (2015) An Inter-Cloud Meta-Scheduling (ICMS) simulation framework: architecture and evaluation. IEEE Transactions on Services Computing 11 (1), pp. 5-19. ISSN 1939-1374.

Sotiriadis, Stelios and Petrakis, E. and Covaci, S. (2015) Advanced healthcare provisioning based on future internet technologies. Eurescom Message ,

Sotiriadis, Stelios and Thermolia, C. and Bei, E. and Stravoskoufos, K. and Petrakis, E. (2015) Designing a patient monitoring system using Cloud and Semantic web technologies. International Journal of Medical and Health Sciences 9 (5), pp. 1117-1124. ISSN 2277-4505.

Su, G. and Feng, Y. and Chen, Taolue and Rosenblum, D.S. (2015) Asymptotic perturbation bounds for probabilistic model checking with empirically determined probability parameters. IEEE Transactions on Software Engineering 42 (7), pp. 623-639. ISSN 0098-5589.

Weston, David J. and Russell, R.A. and Batty, E. and Jensen, K. and Stephens, D.A. and Adams, N.M. and Freemont, P.S. (2015) New quantitative approaches reveal the spatial preference of nuclear compartments in mammalian fibroblasts. Journal of The Royal Society Interface 12 (104), ISSN 1742-5689.

Zhang, X. and Hu, W. and Xie, N. and Bao, H. and Maybank, Stephen J. (2015) A robust tracking system for low frame rate video. International Journal of Computer Vision 115 (3), pp. 279-304. ISSN 0920-5691.

Zhang, X. and Li, W. and Ye, X. and Maybank, Stephen J. (2015) Robust hand tracking via novel multi-cue integration. Neurocomputing 157 , pp. 296-305. ISSN 0925-2312.

Book Section

Adaba, Godfried and Wilson, David W. and Sims, Julian (2015) Challenges to effective collaboration in cross-cultural virtual teams. In: Baptista Nunes, M. and Isaias, P. and Powell, P. (eds.) 8th IADIS International Conference Information Systems 2015. International Association for Development of the Information Society. ISBN 9789898533333. (Unpublished)

Alyoubi, K.H. and Helmer, S. and Wood, Peter T. (2015) Ordering selection operators under partial ignorance. In: UNSPECIFIED (ed.) Proceedings of the 24th ACM International on Conference on Information and Knowledge Management. New York, U.S.: Association For Computing Machinery, pp. 1521-1530. ISBN 9781450337946.

Artale, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2015) Interval temporal description logics. In: UNSPECIFIED (ed.) Proceedings of the 28th International Workshop on Description Logics. CEUR-WS.

Artale, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2015) Tractable interval temporal propositional and description logics. In: UNSPECIFIED (ed.) Proceedings of the 29th AAAI Conference on Artificial Intelligence, AAAI-15. AAAI, pp. 1417-1423.

Artale, A. and Kovtunova, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2015) First-order rewritability of temporal ontology-mediated queries. In: UNSPECIFIED (ed.) Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. Palo Alto, U.S.: AAAI Press, pp. 2706-2712. ISBN 9781577357384.

Botoeva, E. and Kontchakov, Roman and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2015) When are description logic knowledge bases indistinguishable? In: UNSPECIFIED (ed.) Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. Palo Alto, U.S.: AAAI Press, pp. 4240-4246. ISBN 9781577357384.

Calì, Andrea and Martinenghi, D. and Torlone, R. (2015) Keyword search in the Deep Web. In: Calì, Andrea and Vidal, M.E. (eds.) AMW 2015 - Alberto Mendelzon Workshop on Foundations of Data Management. CEUR Workshop Proceedings 1378. CEUR.

Calì, Andrea and Martinenghi, D. and Torlone, R. (2015) Processing keyword queries under access limitations. In: Cardoso, J. and Guerra, F. and Houben, G.-J. and Pinto, A.M. and Velegrakis, Y. (eds.) Semantic Keyword-based Search on Structured Data Sources. Lecture Notes in Computer Science 9398. New York, U.S.: Springer, pp. 30-35. ISBN 9783319279312.

Chen, Hubie and Muller, M. (2015) The fine classification of conjunctive queries and parameterized logarithmic space. In: UNSPECIFIED (ed.) PODS '13 Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGAI symposium on Principles of database systems. New York, U.S.: ACM Publications, pp. 309-320. ISBN 9781450320665.

Dimartino, M.M. and Calì, Andrea and Poulovassilis, Alexandra and Wood, Peter T. (2015) Peer-to-peer semantic integration of linked data. In: Fischer, P.M. and Alonso, G. and Arenas, M. and Geerts, F. (eds.) EDBT/ICDT 2015 Workshops. CEUR Workshop Proceedings 1330. CEUR, pp. 213-220.

Dimartino, Mirko and Calì, Andrea and Poulovassilis, Alexandra and Wood, Peter T. (2015) Implementing peer-to-peer semantic integration of linked data. In: Maneth, S. (ed.) Data Science. Lecture Notes in Computer Science 9147. New York, U.S.: Springer, pp. 41-45. ISBN 9783319204239.

Fairbairn, Ben (2015) Strongly real Beauville groups. In: Bauer Catanese, I. and Garion, S. and Vdovina, A. (eds.) Beauville Surfaces and Groups. Springer Proceedings In Mathematics and Statistics 123 123. Berlin, Germany: Springer, pp. 41-61. ISBN 9783319138619.

Grawemeyer, Beate and Holmes, W. and Gutierrez-Santos, Sergio and Hansen, A. and Loibl, K. and Mavrikis, M. (2015) Light-bulb moment?: towards adaptive presentation of feedback based on students' affective state. In: UNSPECIFIED (ed.) IUI '15 Proceedings of the 20th International Conference on Intelligent User Interfaces. New York, U.S.: Association for Computing Machinery, pp. 400-404. ISBN 9781450333061.

Grawemeyer, Beate and Johnson, H. and Brosnan, M. (2015) Can young people with Autism Spectrum Disorder benefit From an open learner model? In: Conati, C. and Heffernan, N. and Mitrovic, A. and Verdejo, M.F. (eds.) Artificial Intelligence in Education. Lecture Notes in Computer Science 9112. New York, U.S.: Springer, pp. 591-594. ISBN 9783319197722.

Grawemeyer, Beate and Mavrikis, M. and Holmes, W. and Gutierrez-Santos, Sergio (2015) Adapting feedback types according to students’ affective states. In: Conati, C. and Heffernan, N. and Mitrovic, A. and Verdejo, M. (eds.) Artificial Intelligence in Education. Lecture Notes in Computer Science 9112. New York, U.S.: Springer, pp. 586-590. ISBN 9783319197722.

Grawemeyer, Beate and Mavrikis, M. and Holmes, W. and Hansen, A. and Loibl, K. and Gutierrez-Santos, Sergio (2015) Affect matters: exploring the impact of feedback during mathematical tasks in an exploratory environment. In: Conati, C. and Heffernan, N. and Mitrovic, A. and Verdejo, M. (eds.) Artificial Intelligence in Education. Lecture Notes in Computer Science 9112. New York, U.S.: Springer, pp. 595-599. ISBN 9783319197722.

Kingrani, S.K. and Levene, Mark and Zhang, Dell (2015) Diversity analysis of web search results. In: UNSPECIFIED (ed.) Proceedings of the ACM Web Science Conference on ZZZ - WebSci '15. New York, U.S.: Association for Computing Machinery. ISBN 9781450336727.

Mavrikis, M. and Zhu, Z. and Gutierrez-Santos, Sergio and Poulovassilis, Alexandra (2015) Visualisation and analysis of students’ interaction data in exploratory learning environments. In: UNSPECIFIED (ed.) Proceedings of the 24th International Conference on World Wide Web. New York, U.S.: Association for Computing Machinery, pp. 1419-1424. ISBN 9781450334730. (Submitted)

Preventis, A. and Stravoskoufos, K. and Sotiriadis, Stelios and Petrakis, E.G.M. (2015) Personalized motion sensor driven gesture recognition in the FIWARE cloud platform. In: UNSPECIFIED (ed.) Parallel and Distributed Computing (ISPDC), 2015 14th International Symposium on. IEEE, pp. 19-26. ISBN 9781467371476.

Razgon, Igor (2015) Quasipolynomial simulation of DNNF by a non-determinstic read-once branching program. In: Pesant, G. (ed.) Principles and Practice of Constraint Programming. Lecture Notes in Computer Science 9255. New York, U.S.: Springer, pp. 367-375. ISBN 9783319232188.

Rebolledo-Mendez, G. and Mavrikis, M. and Santos, O.C. and du Boulay, B. and Grawemeyer, Beate and Rojano-Cáceres, R. (2015) International workshop on affect, meta-affect, data and learning (AMADL 2015). In: Conati, C. and Heffernan, N. and Mitrovic, A. and Verdejo, M.F. (eds.) Artificial Intelligence in Education. Lecture Notes in Computer Science 9112. Basel, Switzerland: Springer, p. 890. ISBN 9783319197722.

Udeagwu, C.P. and Sotiriadis, Stelios and Asimakopoulou, E. and Bessis, N. and Trovati, M. (2015) Analysis of techniques for visualizing security risks and threats. In: UNSPECIFIED (ed.) P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC), 2015 10th International Conference on. IEEE, pp. 584-590. ISBN 9781467394734.

Zhang, Dell and Wang, J. and Zhao, X. (2015) Estimating the uncertainty of average F1 scores. In: UNSPECIFIED (ed.) ICTIR '15: Proceedings of the 2015 International Conference on The Theory of Information Retrieval. New York, U.S.: ACM, pp. 317-320. ISBN 9781450338332.

Zhang, Dell and Wang, J. and Zhao, X. and Wang, X. (2015) A Bayesian hierarchical model for comparing average F1 scores. In: UNSPECIFIED (ed.) 2015 IEEE International Conference on Data Mining (ICDM). IEEE Computer Society, pp. 589-598. ISBN 9781467395038.

Monograph

Anabanti, Chimere and Hart, Sarah (2015) On a conjecture of Street and Whitehead on locally maximal product-free sets. Technical Report. Birkbeck, University of London, London, UK.

Fairbairn, Ben (2015) Coxeter Groups as Beauville Groups. Technical Report. Birkbeck, University of London, London, UK.

Fairbairn, Ben (2015) Hypercubes as dessins d'enfant. Technical Report. Birkbeck, University of London, London, UK.

Fairbairn, Ben and Pierro, E. (2015) New examples of mixed Beauville groups. Technical Report. Birkbeck, University of London, London, UK.

Hart, Sarah and Anabanti, Chimere (2015) Locally maximal product-free sets of size 3. Technical Report. Birkbeck College, University of London, London, UK.

Hart, Sarah and Anabanti, Chimere (2015) A note on filled groups. Technical Report. Birkbeck College, University of London, London, UK.

Laing, T.M. and Martin, K.M. and Paterson, Maura B. and Stinson, D.R. (2015) Localised multisecret sharing. Technical Report. Birkbeck, University of London, London, UK.

Ng, S.-L. and Paterson, Maura B. (2015) Disjoint difference families and their applications. Technical Report. Birkbeck, University of London, London, UK.

Paterson, Maura B. and Stinson, D.R. (2015) Combinatorial characterizations of algebraic manipulation detection codes involving generalized difference families. Technical Report. Birkbeck, University of London, London, UK.

Conference or Workshop Item

Adam, S.P. and Karras, D.A. and Magoulas, George D. and Vrahatis, M.N. (2015) Reliable estimation of a neural network’s domain of validity through interval analysis based inversion. In: 2015 International Joint Conference on Neural Networks (IJCNN), 12-17 July 2015, Killarney.

Eldaw, Muawya Habib Sarnoub and Levene, Mark and Roussos, George (2015) Constructing a unique profile for mobile user identification in location recommendation systems. In: the 13th Annual International Conference on Mobile Systems, Applications, and Services (MobiSys '15), 18-22 May 2015, Florence, Italy.

Pilgrim, James and Wilson, David W. (2015) The life history of a knowledge support system: emerging a change process for knowledge rich organisations. In: UKAIS 2015, 14-16 Mar 2015, Oxford, UK.

Wan ghani, Wan aryati and Wilson, David W. and Sims, Julian (2015) The performativity of BYOD. In: UKAIS 2015, 16-18 Mar 2015, Oxford, UK.

Thesis

Alasiry, Areej Mohammed (2015) Named entity recognition and classification in search queries. [Thesis] (Unpublished)

Jaber, Mohammad Tareq (2015) Detecting hierarchical relationships and roles from online interaction networks. [Thesis] (Unpublished)