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

A

Abdullah, T. and Anjum, A. and Bessis, N. and Sotiriadis, Stelios and Bertels, K. (2013) Nature inspired self organization for Adhoc Grids. In: UNSPECIFIED (ed.) 2013 IEEE 27th International Conference on Advanced Information Networking and Applications (AINA). IEEE, pp. 682-689. ISBN 9781467355506.

Alkayyal, A. and Sotiriadis, Stelios and Asimakopoulou, E. and Bessis, N. (2013) Optimizing voice over Multi-protocol Label Switching (VoMPLS). In: UNSPECIFIED (ed.) 2013 Eighth International Conference on P2P, Parallel, Grid, Cloud and Internet Computing. IEEE, pp. 466-469. ISBN 9780769550947.

Artale, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2013) The complexity of clausal fragments of LTL. In: McMillan, K. and Middeldorp, A. and Voronkov, A. (eds.) Logic for Programming, Artificial Intelligence, and Reasoning. Lecture Notes in Computer Science 8312. Berlin, Germany: Springer, pp. 35-52. ISBN 9783642452215.

Artale, A. and Kontchakov, Roman and Wolter, F. and Zakharyaschev, Michael (2013) Temporal description logic for ontology-based data access. In: Rossi, F. (ed.) Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence. California, U.S.: AAAI Press, pp. 711-717. ISBN 9781577356332.

Artale, A. and Kontchakov, Roman and Wolter, F. and Zakharyaschev, Michael (2013) Temporalising OWL 2 QL. In: Eiter, T. and Glimm, B. and Kazakov, Y. and Krötzsch, M. (eds.) Informal Proceedings of DL (Ulm, 23-26 July). CEUR Workshop Proceedings 1014. CEUR-WS, pp. 17-28.

Asimakopoulou, E. and Sotiriadis, Stelios and Bessis, N. and Dobre, C. and Cristea, V. (2013) Centralized micro-clouds: an infrastructure for service distribution in collaborative smart devices. Procedia Computer Science 21 , 83 - 90. ISSN 1877-0509.

B

Bessis, N. and Sotiriadis, Stelios and Xhafa, F. and Asimakopoulou, E. (2013) Cloud scheduling optimization: a reactive model to enable dynamic deployment of virtual machines instantiations. Informatica 24 (3), pp. 357-380. ISSN 0868-4952.

Brooms, Anthony C. and Collins, E.J. (2013) Stochastic order results and equilibrium joining rules for the Bernoulli Feedback Queue. Working Paper. Birkbeck College, University of London, London, UK.

C

Calì, Andrea and Gottlob, G. and Kifer, M. (2013) Taming the infinite chase: query answering under expressive relational constraints. Journal of Artificial Intelligence Research 48 , pp. 115-174. ISSN 1076-9757.

Cao, X. and Shi, Z. and Yan, P. and Li, Xuelong (2013) Tracking vehicles as groups in airborne videos. Neurocomputing 99 , pp. 38-45. ISSN 0925-2312.

Cao, X. and Wang, Z. and Yan, P. and Li, Xuelong (2013) Transfer learning for pedestrian detection. Neurocomputing 100 , pp. 51-57. ISSN 0925-2312.

Chandna, Swati and Walden, A. (2013) Simulation methodology for inference on physical parameters of complex vector-valued signals. IEEE Transactions on Signal Processing 61 (21), pp. 5260-5269. ISSN 1053-587X.

Chang, R.S. and Gao, J. and Gruhn, V. and He, J. and Roussos, George and Tsai, W.-T. (2013) Mobile cloud computing research: issues, challenges and needs. In: UNSPECIFIED (ed.) IEEE Seventh International Symposium on Service-Oriented System Engineering. Washington, USA: IEEE Computer Society, pp. 442-453. ISBN 9781467356596.

Crossley, R. and Asimakopoulou, E. and Sotiriadis, Stelios and Bessis, N. (2013) A study on metadata tagging for tracking original file information within the Cloud. In: UNSPECIFIED (ed.) 2013 Eighth International Conference on P2P, Parallel, Grid, Cloud and Internet Computing. IEEE, pp. 453-456. ISBN 9780769550947.

D

Dasilva, D.A. and Sotiriadis, Stelios and Hill, R. and Antonopoulos, N. and Bessis, N. (2013) Evaluating the use of automation in the virtual datacentre for improved efficiency. In: UNSPECIFIED (ed.) 2013 Eighth International Conference on P2P, Parallel, Grid, Cloud and Internet Computing. IEEE, pp. 457-460. ISBN 9780769550947.

Demri, S. and Jurdziński, M. and Lachish, Oded and Lazić, R. (2013) The covering and boundedness problems for branching vector addition systems. Journal of Computer and System Sciences 79 (1), pp. 23-38. ISSN 0022-0000.

E

Eldaw, Muawya Habib Sarnoub and Levene, Mark and Roussos, George (2013) Collective suffix tree-based models for location prediction. In: UNSPECIFIED (ed.) UbiComp '13: Adjunct Proceedings of the 2013 ACM conference on Pervasive and ubiquitous computing adjunct publication. New York, U.S.: Association for Computing Machinery, pp. 441-450. ISBN 9781450322157.

F

Fairbairn, Ben and Magaard, K. and Parker, C. (2013) Generation of finite quasisimple groups with an application to groups acting on Beauville surfaces. Proceedings of the London Mathematical Society 107 (4), pp. 744-798. ISSN 0024-6115.

Fan, M. and Zhang, X. and Chen, S. and Bao, H. and Maybank, Stephen J. (2013) Dimension estimation of image manifolds by minimal cover approximation. Neurocomputing 105 , pp. 19-29. ISSN 0925-2312.

Fenner, Trevor and Levene, Mark and Loizou, George (2013) A bi-logistic growth model for conference registration with an early bird deadline. Central European Journal of Physics 11 (7), pp. 904-909. ISSN 1895-1082.

G

Gannon, Brian (2013) Outsiders: an exploratory history of IS in corporations. Journal of Information Technology 28 (1), pp. 50-62. ISSN 0268-3962.

Gao, Y. and Wang, M. and Zha, Z.-J. and Shen, J. and Li, Xuelong and Wu, X. (2013) Visual-textual joint relevance learning for tag-based social image search. IEEE Transactions on Image Processing 22 (1), pp. 363-376. ISSN 1057-7149.

Gutiérrez-Basulto, V. and Ibáñez-García, Y. and Kontchakov, Roman and Kostylev, E. (2013) Conjunctive queries with negation over DL-Lite: a closer look. In: Faber, W. and Lembo, D. (eds.) Web Reasoning and Rule Systems. LNCS 7994. Berlin, Germany: Springer, pp. 109-122. ISBN 9783642396656.

H

Hart, Sarah and Rowley, P.J. (2013) X-posets of certain Coxeter groups. Taiwanese Journal of Mathematics 17 (6), pp. 1901-1919. ISSN 1027-5487.

Hirsch, R. and Mikulás, Szabolcs (2013) Ordered domain algebras. Journal of Applied Logic 11 (3), pp. 266-271. ISSN 1570-8683.

Hou, W. and Gao, X. and Tao, D. and Li, Xuelong (2013) Visual saliency detection using information divergence. Pattern Recognition 46 (10), pp. 2658-2669. ISSN 0031-3203.

Hu, W. and Li, X. and Tian, G. and Maybank, Stephen J. and Zhang, Z. (2013) An incremental DPMM-based method for trajectory clustering, modeling, and retrieval. IEEE Transactions on Pattern Analysis and Machine Intelligence 35 (5), pp. 1051-1065. ISSN 0162-8828.

Hu, W. and Zhou, X. and Li, Wei and Luo, W. and Zhang, X. and Maybank, Stephen J. (2013) Active contour-based visual tracking by integrating colors, shapes and motions. IEEE Transactions on Image Processing 22 (5), pp. 1778-1792. ISSN 1057-7149.

K

Kikot, Stanislav and Kontchakov, Roman and Podolskii, V. and Zakharyaschev, Michael (2013) Query rewriting over shallow ontologies. In: Eiter, T. and Glimm, B. and Kazakov, Y. and Krötzsch, M. (eds.) Informal Proceedings of DL (Ulm, 23-26 July). CEUR Workshop Proceedings 1014. CEUR-WS, pp. 316-327.

Kikot, Stanislav and Zolin, E. (2013) Modal definability of first-order formulas with free variables and query answering. Journal of Applied Logic 11 (2), pp. 190-216. ISSN 1570-8683.

Konstantinopoulou, Paul and Stavrakaki, S. and Manouilidou, C. and Zafeiriou, D. (2013) Past tense in children with focal brain lesions. Procedia - Social and Behavioral Sciences 94 , pp. 196-197. ISSN 1877-0428.

Kontchakov, Roman and Nenov, Y. and Pratt-Hartmann, I. and Zakharyaschev, Michael (2013) Topological logics with connectedness over Euclidean spaces. ACM Transactions on Computational Logic 14 (2), p. 13. ISSN 1529-3785.

Kontchakov, Roman and Rodríguez-Muro, M. and Zakharyaschev, Michael (2013) Ontology-based data access with databases: a short course. In: Rudolph, S. and Gottlob, G. and Horrocks, I. and van Harmelen, F. (eds.) Reasoning Web. Semantic Technologies for Intelligent Data Access. Lecture Notes in Computer Science 8067. Berlin, Germany: Springer, pp. 194-229. ISBN 9783642397837.

Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2013) Conjunctive query inseparability in OWL2QL is ExpTime-hard. In: Eiter, T. and Glimm, B. and Kazakov, Y. and Krötzsch, M. (eds.) Informal Proceedings of DL (Ulm, 23-26 July). CEUR Workshop Proceedings 1014. CEUR-WS, pp. 353-363.

L

Laurillard, D. and Charlton, P. and Craft, B. and Dimakopoulos, D.N. and Ljubojevic, D. and Magoulas, George D. and Masterman, E. and Pujadas, R. and Whitley, E.A. and Whittlestone, K. (2013) A constructionist learning environment for teachers to model learning designs. Journal of Computer Assisted Learning 29 (1), pp. 15-30. ISSN 0266-4909.

Lu, X. and Wu, H. and Yuan, Y. and Yan, P. and Li, Xuelong (2013) Manifold regularized sparse NMF for hyperspectral unmixing. IEEE Transactions on Geoscience and Remote Sensing 51 (5), pp. 2815-2826. ISSN 0196-2892.

Luo, Y. and Tao, D. and Geng, B. and Xu, C. and Maybank, Stephen J. (2013) Manifold regularized multitask learning for semi-supervised multilabel image classification. IEEE Transactions on Image Processing 22 (2), pp. 523-536. ISSN 1057-7149.

M

Marra, G. and Papageorgiou, Georgios and Radice, Rosalba (2013) Estimation of a semiparametric recursive bivariate probit model with nonparametric mixing. Australian & New Zealand Journal of Statistics 55 (3), pp. 321-342. ISSN 1369-1473.

Marx, D. and O'Sullivan, B. and Razgon, Igor (2013) Finding small separators in linear time via treewidth reduction. ACM Transactions on Algorithms 9 (4), p. 30. ISSN 1549-6325.

Mavrikis, M. and Gutierrez-Santos, Sergio and Geraniou, E. and Noss, R. (2013) Design requirements, student perception indicators and validation metrics for intelligent exploratory learning environments. Personal and Ubiquitous Computing 17 (8), pp. 1605-1620. ISSN 1617-4909.

Maybank, Stephen J. (2013) A probabilistic definition of salient regions for image matching. Neurocomputing 120 , pp. 4-14. ISSN 0925-2312.

Mirkin, Boris and Gutman, P.O. (2013) Tube model reference adaptive control. Automatica 49 (4), pp. 1012-1018. ISSN 0005-1098.

Mosurovic, N. and Krdzavac, H. and Graves, M. and Zakharyaschev, Michael (2013) A decidable extension of SROIQ with complex role chains and unions. Journal of Artificial Intelligence Research 47 , pp. 809-851. ISSN 1076-9757.

Mustafee, N. and Bessis, N. and Taylor, S.J.E. and Sotiriadis, Stelios (2013) Exploring the E-science Knowledge Base through co-citation analysis. Procedia Computer Science 19 , 586 - 593. ISSN 1877-0509.

N

Nascimento, S. and Felizardo, R. and Mirkin, Boris (2013) Laplacian normalization for deriving thematic fuzzy clusters with an additive spectral approach. Expert Systems , ISSN 0266-4720.

P

Paterson, Maura B. and Stinson, D.R. (2013) A simple combinatorial treatment of constructions and threshold gaps of ramp schemes. Cryptography and Communications 5 (4), pp. 229-240. ISSN 1936-2447.

Paterson, Maura B. and Stinson, D.R. and Upadhyay, J. (2013) A coding theory foundation for the analysis of general unconditionally secure proof-of-retrievability schemes for cloud storage. Journal of Mathematical Cryptology 7 (3), pp. 181-277. ISSN 1862-2976.

Perret, Q. and Charlemagne, G. and Sotiriadis, Stelios and Bessis, N. (2013) A deadline scheduler for jobs in distributed systems. In: UNSPECIFIED (ed.) Advanced Information Networking and Applications Workshops (WAINA), 2013 27th International Conference on. IEEE, pp. 757-764. ISBN 9781467362399.

Pissaloux, E.E. and Maybank, Stephen J. and Velázquez, R. (2013) On image matching and feature tracking for embedded systems: a state-of-the-art. In: Chatterjee, A. and Nobahari, H. and Siarry, P. (eds.) Advances in Heuristic Signal Processing and Applications. Berlin, Germany: Springer, pp. 357-380. ISBN 9783642378799.

Pop, F. and Cristea, V. and Bessis, N. and Sotiriadis, Stelios (2013) Reputation guided genetic scheduling algorithm for independent tasks in inter-clouds environments. In: UNSPECIFIED (ed.) 2013 27th International Conference on Advanced Information Networking and Applications Workshops. IEEE, pp. 772-776. ISBN 9781467362399.

Poulovassilis, Alexandra (2013) Database research challenges and opportunities of big graph data. In: Gottlob, G. and Grasso, G. and Olteanu, D. and Schallhart, C. (eds.) Big Data. Berlin, Germany: Springer Verlag, pp. 29-32. ISBN 9783642394676.

R

Raman, Natraj and Maybank, Stephen J. and Zhang, Dell (2013) Action classification using a discriminative non-parametric hidden Markov model. In: Vuksanovic, B. and Zhou, J. and Verikas, A. (eds.) Sixth International Conference on Machine Vision (ICMV 2013). SPIE Proceedings 9067. International Society for Optics and Photonics. ISBN 9780819499967.

Razgon, Igor and Petke, J. (2013) Cliquewidth and knowledge compilation. In: Järvisalo, M. and Van Gelder, A. (eds.) Theory and Applications of Satisfiability Testing. Lecture Notes in Computer Science 7962. Berlin, Germany: Springer Verlag, pp. 335-350. ISBN 9783642390715.

Rivis, M. and Asimakopoulou, E. and Sotiriadis, Stelios and Bessis, N. (2013) Addressing complexity in DNS security: a case for improved security status indication based on a trust model. In: UNSPECIFIED (ed.) 2013 Eighth International Conference on P2P, Parallel, Grid, Cloud and Internet Computing. IEEE, pp. 461-465. ISBN 9780769550947.

Rodríguez-Muro, M. and Kontchakov, Roman and Zakharyaschev, Michael (2013) Ontology-based data access: ontop of databases. In: Alani, H. and et al. (eds.) The Semantic Web – ISWC 2013. Lecture Notes in Computer Science 8218. Berlin, Germany: Springer, pp. 558-573. ISBN 9783642413346.

S

Schmidt, A. and Liu, J. and Roussos, George and Varshavsky, A. (2013) Editorial. Pervasive and Mobile Computing 9 (3), pp. 337-338. ISSN 1574-1192.

Song, M. and Tao, D. and Maybank, Stephen J. (2013) Sparse camera network for visual surveillance – a comprehensive survey. CoRR ,

Sotiriadis, Stelios and Asimakopoulou, E. and Bessis, N. and Pop, F. and Cristea, V. (2013) Performance evaluation of interoperable micro-clouds. Procedia Computer Science 21 , 99 - 106.

Sotiriadis, Stelios and Bessis, N. and Antonopoulos, N. (2013) Towards inter-cloud simulation performance analysis: exploring service-oriented benchmarks of clouds in SimIC. In: UNSPECIFIED (ed.) 2013 27th International Conference on Advanced Information Networking and Applications Workshops. IEEE, pp. 765-771. ISBN 9781467362399.

Sotiriadis, Stelios and Bessis, N. and Antonopoulos, N. and Anjum, A. (2013) SimIC: designing a new inter-cloud simulation platform for integrating large-scale resource management. In: UNSPECIFIED (ed.) 2013 IEEE 27th International Conference on Advanced Information Networking and Applications (AINA). IEEE, pp. 90-97. ISBN 9781467355506.

Sotiriadis, Stelios and Bessis, N. and Gepner, P. and Markatos, N. (2013) Analysis of requirements for virtual machine migration in dynamic clouds. In: UNSPECIFIED (ed.) 2013 IEEE 12th International Symposium on Parallel and Distributed Computing. IEEE, pp. 116-123. ISBN 9780769550183.

Sotiriadis, Stelios and Bessis, N. and Kuonen, P. and Antonopoulos, N. (2013) The Inter-Cloud Meta-Scheduling (ICMS) framework. In: UNSPECIFIED (ed.) 2013 IEEE 27th International Conference on Advanced Information Networking and Applications (AINA). AINA '13. Washington, D.C., US: IEEE, pp. 64-73. ISBN 9781467355506.

Sotiriadis, Stelios and Petrakis, E.G.M. and Covaci, S. and Zampognaro, P. and Georga, E. and Thuemmler, C. (2013) An architecture for designing Future Internet (FI) applications in sensitive domains: expressing the software to data paradigm by utilizing hybrid cloud technology. In: UNSPECIFIED (ed.) 13th IEEE International Conference on BioInformatics and BioEngineering. IEEE. ISBN 9781479931637.

T

Tang, Y. and Yuan, Y. and Yan, P. and Li, Xuelong (2013) Greedy regression in sparse coding space for single-image super-resolution. Journal of Visual Communication and Image Representation 24 (2), pp. 148-159. ISSN 1047-3203.

Tao, D. and Jin, L. and Liu, W. and Li, Xuelong (2013) Hessian regularized support vector machines for mobile image annotation on the cloud. IEEE Transactions on Multimedia 15 (4), pp. 833-844. ISSN 1520-9210.

W

Wang, N. and Li, J. and Tao, D. and Li, Xuelong and Gao, X. (2013) Heterogeneous image transformation. Pattern Recognition Letters 34 (1), pp. 77-84. ISSN 0167-8655.

Wang, Q. and Yan, P. and Yuan, Y. and Li, Xuelong (2013) Multi-spectral saliency detection. Pattern Recognition Letters 34 (1), pp. 34-41. ISSN 0167-8655.

X

Xiao, B. and Gao, X. and Tao, D. and Li, Xuelong (2013) Biview face recognition in the shape–texture domain. Pattern Recognition 46 (7), pp. 1906-1919. ISSN 0031-3203.

Xie, M. and Lakshmanan, L.V.S. and Wood, Peter T. (2013) Efficient top-k query answering using cached views. In: Guerrini, G. and Paton, N.W. (eds.) Proceedings of the 16th International Conference on Extending Database Technology - EDBT '13. New York, USA: ACM Publications, pp. 489-500. ISBN 9781450315975.

Z

Zhang, X. and Hu, W. and Bao, H. and Maybank, Stephen J. (2013) Robust head tracking based on multiple cues fusion in the Kernel-Bayesian framework. IEEE Transactions on Circuits and Systems for Video Technology 23 (7), pp. 1197-1208. ISSN 1051-8215.

Zhang, X. and Li, Wei and Hu, W. and Ling, H. and Maybank, Stephen J. (2013) Block covariance based l1 tracker with a subtle template dictionary. Pattern Recognition 46 (7), pp. 1750-1761. ISSN 0031-3203.

Zhang, Y. and Zhang, X. and Maybank, Stephen J. and Yu, R. (2013) An IR and visible image sequence automatic registration method based on optical flow. Machine Vision and Applications 24 (5), pp. 947-958. ISSN 0932-8092.