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

A

Adam, S.P. and Karras, D.A. and Magoulas, George D. and Vrahatis, M.N. (2014) Solving the linear interval tolerance problem for weight initialization of neural networks. Neural Networks 54 , pp. 17-37. ISSN 0893-6080.

Alasiry, Areej and Levene, Mark and Poulovassilis, Alexandra (2014) Mining named entities from search engine query logs. In: Almeida, A. and Bernardino, J. and Ferreira Gomes, E. (eds.) Proceedings of the 18th International Database Engineering & Applications Symposium. IDEAS '14. Porto, Portugal: Association for Computing Machinery, pp. 46-56. ISBN 9781450326278.

Angus, A. and Lane, G. and Roussos, George (2014) Public goods: using pervasive computing to inspire grassroots activism. IEEE Pervasive Computing 13 (2), pp. 44-51. ISSN 1536-1268.

Artale, A. and Kontchakov, Roman and Kovtunova, A. and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2014) Temporal OBDA with LTL and DL-Lite. In: Bienvenu, M. and Ortiz, M. and Rosati, R. and Simkus, M. (eds.) Informal Proceedings of DL (Vienna, 17-20 July). CEUR Workshop Proceedings 1193. CEUR, pp. 21-32.

Artale, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2014) A cookbook for temporal conceptual data modelling with description logic. ACM Transactions on Computational Logic 15 (3), ISSN 1529-3785.

B

Bernava, C. and Fiumara, G. and Maggiorini, D. and Provetti, Alessandro and Ripamonti, L.A. (2014) RDF annotation of Second Life objects: knowledge representation meets social virtual reality. Computational & Mathematical Organization Theory 20 (1), pp. 20-35. ISSN 1381-298X.

Bhulai, S. and Brooms, Anthony C. and Spieksma, F.M. (2014) On structural properties of the value function for an unbounded jump Markov process with an application to a processor sharing retrial queue. Queueing Systems 76 (4), pp. 425-446. ISSN 0257-0130.

Botoeva, E. and Kontchakov, Roman and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2014) Query inseparability by games. In: Bienvenu, M. and Ortiz, M. and Rosati, R. and Simkus, M. (eds.) Informal Proceedings of DL (Vienna, 17-20 July). CEUR Workshop Proceedings 1193. CEUR, pp. 83-95.

Botoeva, E. and Kontchakov, Roman and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2014) Query inseparability for description logic knowledge bases. In: Baral, C. and De Giacomo, G. and Eiter, T. (eds.) Proceedings, Fourteenth International Conference on Principles of Knowledge Representation and Reasoning (KR-14). California, U.S.: AAAI Press. ISBN 9781577356578.

Brockschmidt, M. and Emmes, F. and Falke, S. and Fuhs, Carsten and Giesl, J. (2014) Alternating runtime and size complexity analysis of integer programs. In: Ábrahám, E. and Havelund, K. (eds.) Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science 8413. Berlin, Germany: Springer, pp. 140-155. ISBN 9783642548611.

Brotherston, J. and Fuhs, Carsten and Navarro Pérez, J.A. and Gorogiannis, N. (2014) A decision procedure for satisfiability in separation logic with inductive predicates. In: UNSPECIFIED (ed.) Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14. New York, U.S.: ACM. ISBN 9781450328869.

Brownlow, Richard and Poulovassilis, Alexandra (2014) Intersection schemas as a dataspace integration technique. In: Third International Workshop on Bidirectional Transformations (BX 2014), 28 Mar 2014, Athens, Greece.

C

Calì, Andrea and De Virgilio, R. and Di Noia, T. (2014) How to find the best fish market in Sorrento? In: Greco, S. and Picariello, A. (eds.) 22nd Italian Symposium on Advanced Database Systems. New York, U.S.: Curran Associates, pp. 394-398. ISBN 9781634391450.

Calì, Andrea and De Virgilio, R. and Di Noia, T. and Menichetti, L. and Mirizzi, R. and Nardini, L.M. and Ostuni, V.C. and Rebecca, F. and Ungania, M. (2014) Semantic search in RealFoodTrade. In: Gottlob, G. and Perez, J. (eds.) AMW - 2014 Alberto Mendelzon Workshop on Foundations of Data Management. CEUR Workshop Proceedings 1189. CEUR Workshop Proceedings.

Calì, Andrea and Frosini, R. and Poulovassilis, Alexandra and Wood, Peter T. (2014) Flexible querying for SPARQL. Lecture Notes in Computer Science 8841 , pp. 473-490. ISSN 0302-9743.

Calì, Andrea and Razgon, Igor (2014) Complexity of conjunctive query answering under access limitations (preliminary report). In: Greco, S. and Picariello, S. (eds.) 22nd Italian Symposium on Advanced Database Systems. New York, U.S.: Curran Associates, pp. 256-263. ISBN 9781634391450.

Cameron, P. and Fairbairn, Ben and Gadouleau, M. (2014) Computing in matrix groups without memory. Chicago Journal of Theoretical Computer Science , ISSN 1073-0486.

Cameron, P. and Fairbairn, Ben and Gadouleau, M. (2014) Computing in permutation groups without memory. Chicago Journal of Theoretical Computer Science 2014 (7), ISSN 1073-0486.

Cameron, P.J. and Fairbairn, Ben and Gadoleau, M. (2014) Computing in Matrix Groups without memory. Technical Report. Birkbeck, University of London, London, UK.

Cameron, P.J. and Fairbairn, Ben and Gadoleau, M. (2014) Computing in permutation groups without memory. Technical Report. Birkbeck, University of London, London, UK.

Chandna, Swati and Wang, W. (2014) Improving model-based convolutive blind source separation techniques via bootstrap. Proceedings of the IEEE Statistical Signal Processing Workshop, 2014 , pp. 424-427.

Chen, H.-Y. and Cook, B. and Fuhs, Carsten and Nimkar, K. and O’Hearn, P. (2014) Proving Nontermination via safety. In: Abraham, E. and Havelund, K. (eds.) Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes In Computer Science 8413. New York, U.S.: Springer, pp. 156-171. ISBN 9783642548611.

Chen, Hubie (2014) On the complexity of Existential Positive Queries. ACM Transactions on Computational Logic 15 (1), ISSN 1529-3785.

Chen, Hubie (2014) The tractability frontier of graph-like first-order query sets. In: UNSPECIFIED (ed.) CSL-LICS '14 Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). New York, U.S.: ACM Publications. ISBN 9781450328869.

Chen, Long (2014) Understanding and exploiting user intent in community question answering. [Thesis] (Unpublished)

Chen, Taolue and Diciolla, M. and Kwiatkowska, M.Z. and Mereacre, A. (2014) Quantitative verification of implantable cardiac pacemakers over hybrid heart models. Information and Computation 236 , pp. 87-101. ISSN 0890-5401.

Chen, Taolue and Han, Tingting (2014) On the complexity of computing maximum entropy for Markovian Models. In: Raman, V. and Suresh, S.P. (eds.) Proceedings, 34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014). Leibniz International Proceedings In Informatics 29. Wadern, Germany: Dagstuhl, pp. 571-583. ISBN 9783939897774.

Chen, Taolue and Kiefer, S. (2014) On the total variation distance of labelled Markov chains. In: UNSPECIFIED (ed.) CSL-LICS '14 Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). New York, U.S.: ACM, 33:1-33:10. ISBN 9781450328869.

Coll, F. and McNerney, R. and Guerra-Assunção, J.A. and Glynn, J.R. and Perdigão, J. and Viveiros, M. and Portugal, I. and Pain, A. and Martin, Nigel and Clark, T.G. (2014) A robust SNP barcode for typing Mycobacterium tuberculosis complex strains. Nature Communications 5 , p. 4812. ISSN 2041-1723.

Coll, F. and Preston, M. and Guerra-Assuncao, J. and Hill-Cawthorne, G. and Harris, D. and Perdigao, J. and Viveiros, M. and Portugal, I. and Drobniewski, F. and Gagneux, S. and Glynn, J. and Pain, A. and Parkhill, J. and McNerney, R. and Martin, Nigel and Clark, T. (2014) PolyTB: a genomic variation map for Mycobacterium tuberculosis. Tuberculosis 94 (3), pp. 346-354. ISSN 1472-9792.

Cook, B. and Fuhs, Carsten and Nimkar, K. and O'Hearn, P. (2014) Disproving termination with overapproximation. In: UNSPECIFIED (ed.) Formal Methods in Computer-Aided Design (FMCAD 2014). IEEE Computer Society, pp. 67-74. ISBN 9780983567844.

D

De Meo, P. and Ferrara, E. and Fiumara, G. and Provetti, Alessandro (2014) Mixing local and global information for community detection in large networks. Journal of Computer and System Sciences 80 (1), pp. 72-87. ISSN 0022-0000.

De Meo, P. and Ferrara, E. and Fiumara, G. and Provetti, Alessandro (2014) On Facebook, most ties are weak. Communications of the ACM 57 (11), pp. 78-84. ISSN 0001-0782.

Dowell, J. and Weiss, S. and Infield, D. and Chandna, Swati (2014) A widely linear multichannel Wiener Filter for wind prediction. 2014 IEEE Workshop on Statistical Signal Processing (SSP) , pp. 29-32. ISSN 2373-0803.

F

Fairbairn, Ben (2014) More on Strongly Real Beauville Groups. Technical Report. Birkbeck, University of London, London, UK.

Fairbairn, Ben (2014) Recent work on Beauville surfaces, structures and groups. In: Campbell, C.M. and Quick, M.R. and Robertson, E.F. and Roney-Dougal, C.M. (eds.) Proceedings of Groups St Andrews 2013. Cambridge University Press. (Unpublished)

Fenner, Trevor and Levene, Mark and Loizou, George (2014) A stochastic evolutionary model for survival dynamics. Physica A: Statistical Mechanics and its Applications 410 , pp. 595-600. ISSN 0378-4371.

Fischer, E. and Goldhirsh, Y. and Lachish, Oded (2014) Partial tests, universal tests and decomposability. In: UNSPECIFIED (ed.) ITCS '14: Proceedings of the 5th conference on Innovations in theoretical computer science. New York, U.S.: ACM, pp. 483-500. ISBN 9781450326988.

Fuhs, Carsten and Kop, C. (2014) First-order formative rules. In: Dowek, G. (ed.) Rewriting and Typed Lambda Calculi. Lecture Notes in Computer Science 8560. New York, U.S.: Springer, pp. 240-256. ISBN 9783319089171.

G

Gannon, Brian and Powell, Philip and Wilson, David W. (2014) Investigating the Information Systems Heterarchy. Information Systems Management 31 (4), pp. 353-364. ISSN 1934-8703.

Gannon, Brian and Wilson, David W. and Powell, Philip (2014) Investigating the Information Systems Heterarchy. Information Systems Management 31 (4), pp. 353-364. ISSN 1934-8703.

Giesl, J. and Brockschmidt, M. and Emmes, F. and Frohn, F. and Fuhs, Carsten and Otto, C. and Plücker, M. and Schneider-Kamp, P. and Ströder, T. and Swiderski, S. and Thiemann, R. (2014) Proving termination of programs automatically with AProVE. In: Demri, S. and Kapur, D. and Weidenbach, C. (eds.) Automated Reasoning. Lecture Notes In Computer Science 8562. Berlin, Germany: Springer, pp. 184-191. ISBN 9783319085869.

Gottlob, G. and Kikot, Stanislav and Kontchakov, Roman and Podolskii, V. and Schwentick, T. and Zakharyaschev, Michael (2014) The price of query rewriting in ontology-based data access. Artificial Intelligence 213 , pp. 42-59. ISSN 0004-3702.

H

Hart, Sarah and Rowley, P. (2014) Maximal length elements of excess zero in Finite Coxeter Groups. Technical Report. Birkbeck College, University of London, London, UK.

Hart, Sarah and Rowley, P.J. (2014) Corrigendum to "Involution products in Coxeter groups" [J. Group Theory 14 (2011), no. 2, 251–259]. Journal of Group Theory 17 (2), pp. 379-380. ISSN 1435-4446.

Hart, Sarah and Rowley, P.J. (2014) Involution statistics in finite coxeter groups. Technical Report. Birkbeck College, University of London, London, UK.

Hu, W. and Hu, R. and Xie, N. and Ling, H. and Maybank, Stephen J. (2014) Image classification using multiscale information fusion based on saliency driven nonlinear diffusion filtering. IEEE Transactions on Image Processing 23 (4), pp. 1513-1526. ISSN 1057-7149.

Hu, W. and Li, W. and Zhang, X. and Maybank, Stephen J. (2014) Single and multiple object tracking using a multi-feature joint sparse representation. IEEE Transactions on Pattern Analysis and Machine Intelligence 37 (4), pp. 816-833. ISSN 0162-8828.

Hu, W. and Xie, N. and Hu, R. and Ling, H. and Chen, Q. and Yan, S. and Maybank, Stephen J. (2014) Bin ratio-based histogram distances and their application to image classification. IEEE Transactions on Pattern Analysis and Machine Intelligence 36 (12), pp. 2338-2352. ISSN 0162-8828.

J

Jaber, Mohammad and Papapetrou, Panagiotis and Helmer, Sven and Wood, Peter T. (2014) Using time-sensitive rooted PageRank to detect hierarchical social relationships. In: Blockeel, H. and van Leeuwen, M. and Vinciotti, V. (eds.) Advances in Intelligent Data Analysis XIII - 13th International Symposium, IDA 2014, Leuven, Belgium, October 30 - November 1, 2014. Proceedings. Lecture Notes in Computer Science 8819. New York, U.S.: Springer, pp. 143-154. ISBN 9783319125701.

Jaber, Mohammad and Wood, Peter T. and Papapetrou, Panagiotis and Helmer, Sven (2014) Inferring offline hierarchical ties from online social networks. In: UNSPECIFIED (ed.) Proceedings of the companion publication of the 23rd international conference on World wide web companion. Geneva, Switzerland: International World Wide Web Conferences Steering Committee, pp. 1261-1266. ISBN 9781450327459.

Johny, O. and Sotiriadis, Stelios and Asimakopoulou, E. and Bessis, N. (2014) Towards a social graph approach for modeling risks in big data and Internet of Things (IoT). In: UNSPECIFIED (ed.) 2014 International Conference on Intelligent Networking and Collaborative Systems. IEEE, pp. 439-444. ISBN 9781479963874.

K

Karkalas, Sokratis and Gutierrez-Santos, Sergio (2014) Enhanced JavaScript learning using code quality tools and a rule-based system in the FLIP Exploratory Learning Environment. In: UNSPECIFIED (ed.) 2014 IEEE 14th International Conference on Advanced Learning Technologies (ICALT 2014). Piscataway, U.S.: IEEE Computer Society, pp. 84-88. ISBN 9781479940370.

Kendall, M. and Martin, K.M. and Ng, S.-L. and Paterson, Maura B. and Stinson, D.R. (2014) Broadcast-enhanced key predistribution schemes. ACM Transactions on Sensor Networks 11 (1), 6:1-6:33. ISSN 1550-4859.

Kikot, Stanislav and Kontchakov, Roman and Podolskii, V. and Zakharyaschev, Michael (2014) On the succinctness of query rewriting over shallow ontologies. In: Henzinger, T. and Miller, D. (eds.) CSL-LICS '14 Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). New York, U.S.: ACM, 57:1-57:10. ISBN 9781450328869.

Kontchakov, Roman and Pratt-Hartmann, I. and Zakharyaschev, Michael (2014) Spatial reasoning with RCC8 and connectedness constraints in Euclidean spaces. Artificial Intelligence 217 , pp. 43-75. ISSN 0004-3702.

Kontchakov, Roman and Rezk, M. and Rodríguez-Muro, M. and Xiao, G. and Zakharyaschev, Michael (2014) Answering SPARQL queries over databases under OWL 2 QL entailment regime. In: Mika, P. and Tudorache, T. and Bernstein, A. and Welty, C. and Knoblock, C. and Vrandečić, D. and Groth, P. and Noy, N. and Janowicz, K. and Goble, C. (eds.) The Semantic Web – ISWC 2014. Lecture Notes in Computer Science 8796. Berlin, Germany: Springer, pp. 552-567. ISBN 9783319119632.

Kontchakov, Roman and Zakharyaschev, Michael (2014) An introduction to description logics and query rewriting. In: Koubarakis, M. and Stamou, G. and Stoilos, G. and Horrocks, I. and Kolaitis, P. and Lausen, G. and Weikum, G. (eds.) Reasoning Web. Reasoning and the Web in the Big Data Era. Lecture Notes in Computer Science 8714. Berlin, Germany: Springer, pp. 195-244. ISBN 9783319105864.

L

Lachish, Oded (2014) O(log log Rank) competitive ratio for the Matroid Secretary Problem. In: UNSPECIFIED (ed.) 2014 IEEE 55th Annual Symposium on Foundations of Computer Science (FOCS) (2014). Piscataway, U.S.: IEEE, pp. 326-225. ISBN 9781479965175.

Liao, L. and Zhang, Y. and Maybank, Stephen J. and Liu, Z. (2014) Intrinsic dimension estimation via nearest constrained subspace classifier. Pattern Recognition 47 (3), pp. 1485-1493. ISSN 0031-3203.

Liao, L. and Zhang, Y. and Maybank, Stephen J. and Liu, Z. and Liu, X. (2014) Image recognition via two-dimensional random projection and nearest constrained subspace. Journal of Visual Communication and Image Representation 25 (5), pp. 1187-1198. ISSN 1047-3203.

Lijffijt, J. and Papapetrou, Panagiotis and Puolamäki, K. (2014) A statistical significance testing approach to mining the most informative set of patterns. Data Mining and Knowledge Discovery 28 (1), pp. 238-263. ISSN 1384-5810.

Luo, G. and Yang, S. and Tian, G. and Yuan, C. and Hu, W. and Maybank, Stephen J. (2014) Learning human actions by combining global dynamics and local appearance. IEEE Transactions on Pattern Analysis and Machine Intelligence 36 (12), pp. 2466-2482. ISSN 0162-8828.

M

Martin, Nigel and Poulovassilis, Alexandra and Wang, J. (2014) A methodology and architecture embedding quality assessment in data integration. Journal of Data and Information Quality 4 (4), ISSN 1936-1955.

Marx, D. and Razgon, Igor (2014) Fixed-parameter tractability of multicut parameterized by the size of the cutset. SIAM Journal on Computing 43 (2), pp. 355-388. ISSN 0097-5397.

Moussouri, T. and Roussos, George (2014) Mobile Sensing, BYOD and Big Data Analytics: New technologies for audience research in museums. Participations: Journal of Audience and Reception Studies 11 (1), pp. 270-285. ISSN 1749-8716.

N

Noble, Steven and Royle, G.F. (2014) The Merino–Welsh conjecture holds for series–parallel graphs. European Journal of Combinatorics 38 , pp. 24-35. ISSN 0195-6698.

P

Paterson, Maura B. and Stinson, D.R. (2014) Optimal constructions for ID-based one-way-function key predistribution schemes realizing specified communication graphs. Technical Report. Birkbeck, University of London, London, UK.

Paterson, Maura B. and Stinson, D.R. (2014) A unified approach to combinatorial key predistribution schemes for sensor networks. Designs, Codes and Cryptography 71 , pp. 433-457. ISSN 0925-1022.

Picalausa, F. and Fletcher, G.H.L. and Hidders, Jan and Vansummeren, S. (2014) Principles of Guarded Structural Indexing. In: Schweikardt, N. and Christophides, V. and Leroy, V. (eds.) Proc. 17th International Conference on Database Theory (ICDT), Athens, Greece, March 24-28, 2014. Openproceedings.org, pp. 245-256. ISBN 9783893180661.

Preventis, A. and Stravoskoufos, K. and Sotiriadis, Stelios and Petrakis, E.G.M. (2014) Interact: gesture recognition in the cloud. In: UNSPECIFIED (ed.) Utility and Cloud Computing (UCC), 2014 IEEE/ACM 7th International Conference on. IEEE, pp. 501-502. ISBN 9781479978816.

Pymar, Richard and Sousi, P. (2014) A permuted random walk exits faster. Latin American Journal of Probability and Mathematical Statistics 11 (1), pp. 185-195. ISSN 1980-0436.

R

Razgon, Igor (2014) No small nondeterministic read-once branching programs for CNFs of bounded treewidth. In: Cygan, M. and Heggernes, P. (eds.) Parameterized and Exact Computation. Lecture Notes in Computer Science 8894. New York, U.S.: Springer, pp. 319-331. ISBN 9783319135236.

Razgon, Igor (2014) On OBDDs for CNFs of bounded treewidth. In: Baral, C. and De Giacomo, G. and Eiter, T. (eds.) Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning. Palo Alto, U.S.: AAAI Press. ISBN 9781577356578.

Reina, D.G. and Coca, J.M.L. and Askalani, M. and Toral, S.L. and Barrero, F. and Asimakopoulou, E. and Sotiriadis, Stelios and Bessis, N. (2014) A survey on ad hoc networks for disaster scenarios. In: UNSPECIFIED (ed.) 2014 International Conference on Intelligent Networking and Collaborative Systems. IEEE, pp. 433-438. ISBN 9781479963874.

S

Sha, C. and Wang, K. and Zhang, Dell and Wang, X. and Zhou, A. (2014) Optimizing Top-k retrieval: submodularity analysis and search strategies. In: Li, F. and Li, G. and Hwang, S.-w. and Yao, B. and Zhang, Z. (eds.) Web-Age Information Management. Lecture Notes In Computer Science 8485. New York, U.S.: Springer, pp. 18-29. ISBN 9783319080093.

Song, M. and Tao, D. and Sun, S. and Chen, C. and Maybank, Stephen J. (2014) Robust 3D face landmark localization based on local coordinate coding. IEEE Transactions on Image Processing 23 (12), pp. 5108-5122. ISSN 1057-7149.

Sotiriadis, Stelios and Bessis, N. and Asimakopoulou, E. and Mustafee, N. (2014) Towards simulating the Internet of Things. In: UNSPECIFIED (ed.) 2014 28th International Conference on Advanced Information Networking and Applications Workshops. IEEE, pp. 444-448. ISBN 9781479926534.

Sotiriadis, Stelios and Bessis, N. and Petrakis, E.G.M. (2014) An inter-cloud architecture for future internet infrastructures. In: Pop, F. and Potop-Butucaru, M. (eds.) Adaptive Resource Management and Scheduling for Cloud Computing. Lecture Notes in Computer Science 8907. Cham: Springer International Publishing, pp. 206-216. ISBN 9783319134642.

Stravoskoufos, K. and Preventis, A. and Sotiriadis, Stelios and Petrakis, E.G.M. (2014) A survey on approaches for interoperability and portability of cloud computing services. In: Helfert, M. and Desprez, F. and Ferguson, D. and Leymann, F. and Méndez Muñoz, V. (eds.) CLOSER 2014: Proceedings of the 4th International Conference on Cloud Computing and Services Science. SCITEPRESS - Science and Technology Publications, Lda., pp. 112-117. ISBN 9789897580192.

Stravoskoufos, K. and Sotiriadis, Stelios and Preventis, A. and Petrakis, E.G.M. (2014) Motion sensor driven gesture recognition for future internet application development. In: UNSPECIFIED (ed.) IISA 2014, The 5th International Conference on Information, Intelligence, Systems and Applications. IEEE, pp. 372-377. ISBN 9781479961719.

Ströder, T. and Giesl, J. and Brockschmidt, M. and Frohn, F. and Fuhs, Carsten and Hensel, J. and Schneider-Kamp, P. (2014) Proving termination and memory safety for programs with Pointer Arithmetic. In: Demri, S. and Kapur, D. and Weidenbach, C. (eds.) Automated Reasoning. Lecture Notes In Computer Science 8562 8562. New York, U.S.: Springer, pp. 208-223. ISBN 9783319085869.

W

Weiming, H. and Jun, G. and Yanguo, W. and Ou, W. and Maybank, Stephen J. (2014) Online Adaboost-based parameterized methods for dynamic distributed network intrusion detection. IEEE Transactions on Cybernetics 44 (1), pp. 66-82. ISSN 2168-2267.

Weston, David J. (2014) Exploiting novel properties of space-filling curves for data analysis. In: Blockeel, H. and van Leeuwen, M. and Vinciotti, V. (eds.) Advances in Intelligent Data Analysis XIII: 13th International Symposium, IDA 2014, Leuven, Belgium, October 30 – November 1, 2014. Proceedings. Lecture Notes in Computer Science 8819. New York, U.S.: Springer International Publishing, pp. 356-367. ISBN 9783319125701.

X

Xie, M. and Lakshmanan, L.V.S. and Wood, Peter T. (2014) Generating Top-k packages via preference elicitation. Proceedings of the VLDB Endowment 7 (14), pp. 1941-1952. ISSN 2150-8097.

Y

Yuan, C. and Li, X. and Hu, W. and Ling, H. and Maybank, Stephen J. (2014) Modeling geometric-temporal context with directional pyramid co-occurrence for action recognition. IEEE Transactions on Image Processing 23 (2), pp. 658-672. ISSN 1057-7149.