Items where division is "Faculties > Sciences > School of Computing"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creator's name | Item Type | Date | No Grouping
Number of items at this level: 1358.

2019

Cheung, Steven and Darvariu, Victor and Ghica, Dan R. and Muroya, Koko and Rowe, Reuben (2019) A functional perspective on machine learning via programmable induction and abduction. In: Fourteenth International Symposium on Functional and Logic Programming (FLOPS 2018), 9-11 May, 2018, Nagoya, Japan. (doi:https://doi.org/10.1007/978-3-319-90686-7_6) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

2018

Thompson, Simon, ed. (2018) Proceedings of the Sixth Workshop on Trends in Functional Programming in Education. EPTCS, 60 pp. (doi:https://doi.org/10.4204/EPTCS.270) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogerio and Ghezzi, Carlo and Garlan, David and Giese, Holger, eds. (2018) Software Engineering for Self-Adaptive Systems III. Assurances. Springer, Cham (doi:https://doi.org/10.1007/978-3-319-74183-3) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Adegboye, Adesola and Kampouridis, Michael and Johnson, Colin G. (2018) Regression genetic programming for estimating trend end in foreign exchange market. In: IEEE Symposium Series on Computational Intelligence, 27 Nov - 01 Dec 2017, Hawaii, USA. (doi:https://doi.org/10.1109/SSCI.2017.8280833) (Full text available)
[img]
Preview

Amaral, Marco A and Javarone, Marco A. (2018) Heterogeneous update mechanisms in evolutionary games: mixing innovative and imitative dynamics. Physical Review E: Statistical, Nonlinear, and Soft Matter Physics, 97 (4). ISSN 1063-651X. (doi:https://doi.org/10.1103/PhysRevE.97.042305) (Full text available)
[img]
Preview

Aslan, Çağrı B. and Sağlam, Rahime Belen and Li, Shujun (2018) Automatic Detection of Cyber Security Related Accounts on Online Social Networks: Twitter as an example. In: 9th International Conference on Social Media & Society (SM&Society 2017), 18-20 July 2018, Copenhagen, Denmark. (In press) (Full text available)
[img]
Preview

Bouraoui, Zied and Jameel, Shoaib and Schockaert, Steven (2018) Relation Induction in Word Embeddings Revisited. In: 27th International Conference on Computational Linguistics (COLING 2018), 20-26 August 2018, Santa Fe, New Mexico, USA. (In press) (Full text available)
[img]
Preview

Cervantes, Alejandro and Sloan, Tom and Hernandez-Castro, Julio C. and Isasi, Pedro (2018) System steganalysis with automatic fingerprint extraction. PLOS ONE, 13 (4). e0195737. ISSN 1932-6203. (doi:https://doi.org/10.1371/journal.pone.0195737) (Full text available)
[img]

Chari, Guido and Garbervetsky, Diego and Marr, Stefan and Ducasse, Stéphane (2018) Fully Reflective Execution Environments: Virtual Machines for More Flexible Software. IEEE Transactions on Software Engineering, . ISSN 0098-5589. (doi:https://doi.org/10.1109/TSE.2018.2812715) (Full text available)
[img]
Preview

Chu, Dominique (2018) Performance limits and trade-offs in entropy-driven biochemical computers. Journal of Theoretical Biology, 443 . pp. 1-9. ISSN 0022-5193. (doi:https://doi.org/10.1016/j.jtbi.2018.01.022) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img] [img]
Preview

Chu, Dominique (2018) The thermodynamics of quasi-deterministic digital computers. Physical Review E: Statistical, Nonlinear, and Soft Matter Physics, 97 (2). ISSN 1063-651X. (doi:https://doi.org/10.1103/PhysRevE.97.022121) (Full text available)
[img]
Preview

Chu, Dominique and Spinney, Richard E. (2018) A thermodynamically consistent model of finite state machines. tbc, . (In press) (Full text available)
[img]
Preview

Cohen, Liron and Rowe, Reuben N. S. (2018) Infinitary and Cyclic Proof Systems for Transitive Closure Logic. Technical report. University of Kent (Submitted) (Full text available)
[img]
Preview

Cramer, Sam and Kampouridis, Michael and Freitas, Alex A. (2018) Decomposition Genetic Programming: An Extensive Evaluation on Rainfall Prediction in the Context of Weather Derivatives. Applied Soft Computing, 70C . pp. 208-224. ISSN 1568-4946. (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Dib, Fadi K. and Rodgers, Peter (2018) Graph drawing using tabu search coupled with path relinking. PLOS ONE, 13 (5). e0197103. ISSN 1932-6203. (doi:https://doi.org/10.1371/journal.pone.0197103) (Full text available)
[img]
Preview

Dodds, Mike and Batty, Mark and Gotsman, Alexey (2018) Compositional Verification of Compiler Optimisations on Relaxed Memory. In: ESOP 2018, April 14-20, 2018, Thessaloniki, Greece. (doi:https://doi.org/10.1007/978-3-319-89884-1_36) (Full text available)
[img]
Preview

Férée, Hugo and Hym, Samuel and Mayero, Micaela and Moyen, Jean-Yves and Nowak, David (2018) Formal Proof of Polynomial-Time Complexity with Quasi-Interpretations. In: CPP 2018 - The 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 8-9 January, 2018, Los Angeles, USA. (doi:https://doi.org/10.1145/3167097) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Gajardo-Vidal, Andrea and Lorca-Puls, Diego L. and Crinion, Jennifer T. and White, Jitrachote and Seghier, Mohamed L. and Leff, Alex P. and Hope, Thomas M.H. and Ludersdorfer, Philipp and Green, David W. and Bowman, Howard and Price, Cathy J. (2018) How distributed processing produces false negatives in voxel-based lesion-deficit analyses. Neuropsychologia, . ISSN 0028-3932. (doi:https://doi.org/10.1016/j.neuropsychologia.2018.02.025) (Full text available)
[img]
Preview

Giubilo, Fabio and Sajjad, Ali and Shackleton, Mark and Chadwick, David W. and Fan, Wenjun and de Lemos, Rogério (2018) An Architecture for Privacy-preserving Sharing of CTI with 3rd party Analysis Services. In: 12th International Conference for Internet Technology and Secured Transactions (ICITST), 11-14 December 2017, Cambridge, UK. (In press) (doi:https://doi.org/10.23919/ICITST.2017.8356404) (Full text available)
[img]
Preview

Guo, Hui and Kafalı, Özgür and Jeukeng, Anne-Liz and Williams, Laurie and Singh, Munindar P. (2018) Poster: Extraction of Security Requirements from Textual Artifacts. In: Proceedings of the Symposium and Bootcamp on the Science of Security (HotSoS). (In press) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hanson, Richard J. and Hopkins, Tim (2018) Remark on Algorithm 539: A Modern Fortran Reference Implementation for Carefully Computing the Euclidean Norm. ACM Transactions on Mathematical Software, 44 (3). pp. 1-23. ISSN 0098-3500. E-ISSN 1557-7295. (doi:https://doi.org/10.1145/3134441) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Hopkins, Tim and Kılıç, Emrah (2018) An analytical approach: Explicit inverses of periodic tridiagonal matrices. Journal of Computational and Applied Mathematics, 335 . pp. 207-226. ISSN 0377-0427. (doi:https://doi.org/10.1016/j.cam.2017.11.038) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Izziden, Ahmed and Chennu, Srivas (2018) A Neuroscience Study on the Implicit Subconscious Perceptions of Fairness and Islamic Law in Muslims Using the EEG N400 Event Related Potential. Journal of Cognition and Neuroethics, 5 (2). pp. 21-50. ISSN 2166-5087. (Full text available)
[img]
Preview

Jameel, Shoaib and Bouraoui, Zied and Schockaert, Steven (2018) Unsupervised Learning of Distributional Relation Vectors. In: 56th Annual Meeting of the Association for Computational Linguistics, July 15th to 20th, 2018, Melbourne, Australia. (In press) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Javarone, Marco A. and Marinazzo, Daniele (2018) Dilution of Ferromagnets via a Random Graph-Based Strategy. Complexity, 2018 . Article ID 2845031. ISSN 1076-2787. (doi:https://doi.org/10.1155/2018/2845031) (Full text available)
[img]

Jordanous, Anna (2018) Creativity vs quality: why the distinction matters when evaluating computational creativity systems. In: The 5th Computational Creativity Symposium at the AISB Convention 2018, 4-6 April 2018, Liverpool, UK. (In press) (Full text available)
[img]
Preview

Kafalı, Özgür and Criado, Natalia and Rehak, Martin and Such, Jose M. and Yolum, Pınar (2018) Guest Editors' Introduction - Artificial Intelligence for Security and Privacy. ACM Transactions on Internet Technology, 18 (3). ISSN 1533-5399. (doi:https://doi.org/10.1145/3177884) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kafalı, Özgür and Torroni, Paolo (2018) Comodo: Collaborative Monitoring of Commitment Delegations. Expert Systems with Applications, 105 . pp. 144-158. ISSN 0957-4174. (doi:https://doi.org/10.1016/j.eswa.2018.03.057) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Langroudi, George and Jordanous, Anna and Li, Ling (2018) Musical Emotion Capture: emotion-based generation of music using EEG. In: Emotion Modelling and Detection in Social Media and Online Interaction symposium at the AISB 2018 Convention, 4-6 April 2018, Liverpool, UK. (In press) (Full text available)
[img]
Preview

Li, Zengxi and Song, Yan and Dai, Li-Rong and McLoughlin, Ian Vince (2018) Source-Aware Context Network for Single-Channel Multi-speaker Speech Separation. In: 2018 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 15–20 April 2018, Calgary, Alberta, Canada. (In press) (Full text available)
[img]
Preview

Li, Zheng-xi and Dai, Li-Rong and Song, Yan and McLoughlin, Ian Vince (2018) A Conditional Generative Model for Speech Enhancement. Circuits, Systems, and Signal Processing, . ISSN 0278-081X. E-ISSN 1531-5878. (doi:https://doi.org/10.1007/s00034-018-0798-4) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Liza, Farhana Ferdousi and Grzes, Marek (2018) Improving Language Modelling with Noise Contrastive Estimation. In: The Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18), 2-7 Feb 2018, New Orleans, USA. (In press) (Full text available)
[img]
Preview

Lorca-Puls, Diego L. and Gajardo-Vidal, Andrea and White, Jitrachote and Seghier, Mohamed L. and Leff, Alexander P. and Green, David W. and Crinion, Jenny T. and Ludersdorfer, Philipp and Hope, Thomas M.H. and Bowman, Howard and Price, Cathy J. (2018) The impact of sample size on the reproducibility of voxel-based lesion-deficit mappings. Neuropsychologia, . ISSN 0028-3932. (doi:https://doi.org/10.1016/j.neuropsychologia.2018.03.014) (Full text available)
[img]
Preview

Marr, Stefan and Daloze, Benoit (2018) Few Versatile vs. Many Specialized Collections: How to design a collection library for exploratory programming? In: 4th Programming Experience Workshop, 10 April 2018, Nice, France. (In press) (Full text available)
[img]
Preview

McBride, Jack and Arief, Budi and Hernandez-Castro, Julio C. (2018) Security Analysis of Contiki IoT Operating System. In: International Conference on Embedded Wireless Systems and Networks (EWSN) 2018, 14-16 Feb 2018, Madrid, Spain. (Full text available)
[img]
Preview

Michelmann, Sebastian and Bowman, Howard and Hanslmayr, Simon (2018) Replay of Stimulus Specific Temporal Patterns during Associative Memory Formation. Journal of Cognitive Neuroscience, . ISSN 0898-929X. E-ISSN 1530-8898. (In press) (Full text available)
[img]
Preview

Montrieux, Lionel and de Lemos, Rogerio and Bailey, Christopher (2018) Challenges in Engineering Self-adaptive Authorisation Infrastructures. In: Yu, Yijun, ed. Engineering Adaptive Software Systems. Springer, pp. 1-40. (In press) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Orchard, Dominic A. (2018) Complexity bounds for container functors and comonads. Information and Computation, . ISSN 0890-5401. (doi:https://doi.org/10.1016/j.ic.2018.05.008) (Full text available)
[img]
Preview
[img]
Preview

Parish, George and Hanslmayr, Simon and Bowman, Howard (2018) The Sync/deSync model: How a synchronized hippocampus and a de-synchronized neocortex code memories. The Journal of Neuroscience, 38 (14). pp. 3428-3440. ISSN 0270-6474. (doi:https://doi.org/10.1523/JNEUROSCI.2561-17.2018) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img] [img]

Petricek, Tomas (2018) What we talk about when we talk about monads. The Art, Science, and Engineering of Programming, 2 (3). p. 12. ISSN 2473-7321. (doi:https://doi.org/10.22152/programming-journal.org/2018/2/12) (Full text available)
[img]
Preview

Phan, Huy and koch, philip and McLoughlin, Ian Vince and Mertins, A. (2018) Enabling Early Audio Event Detection With Neural Networks. In: 2018 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 15–20 April 2018, Calgary, Alberta, Canada. (In press) (Full text available)
[img]
Preview

Rigger, Manuel and Marr, Stefan and Kell, Stephen and Leopoldseder, David and Mössenböck, Hanspeter (2018) An Analysis of x86-64 Inline Assembly in C Programs. In: 14th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 25 March 2018, Williamsburg, VA, USA. (In press) (doi:https://doi.org/10.1145/3186411.3186418) (Full text available)
[img]
Preview

Sandim Eleutério, Jane D. A. and de França, Breno B. N. and Rubira, Cecilia M. F. and de Lemos, Rogerio (2018) Realising Variability in Dynamic Software Product Line Solutions. In: Software Engineering for Variability Intensive Systems: Foundations and Applications. CRC Press. (In press) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Sharifzadeh, Hamid Reza and Mehdinezhad, Hanie and Allen, Jaqui and McLoughlin, Ian Vince and Ardekani, Iman T (2018) Formant Smoothing for Quality Improvement of Post-Laryngectomised Speech Reconstruction. In: International Conference on Orange Technologies (ICOT), 8-10 Dec 2017, Singapore. (doi:https://doi.org/10.1109/ICOT.2017.8336076) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Shirazibeheshti, Amirali and Cooke, Jennifer and Chennu, Srivas and Adapa, Ram and Menon, David K. and Hojjatoleslami, Ali and Witon, Adrien and Li, Ling and Bekinschtein, Tristan and Bowman, Howard (2018) Placing Meta-stable States of Consciousness within the Predictive Coding Hierarchy: the Deceleration of the Accelerated Prediction Error. Consciousness and Cognition, . ISSN 1053-8100. (In press) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Song, Yan and Wang, Peiseng and Hong, Xinhai and McLoughlin, Ian Vince (2018) Fisher Vector based CNN architecture for Image Classification. In: IEEE International Conference on Image Processing, 17-20 Sept 2017, Beijing, China. (doi:https://doi.org/10.1109/ICIP.2017.8296344) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Spinney, Richard E. and Prokopenko, Mikhail and Chu, Dominique (2018) Information ratchets exploiting spatially structured information reservoirs. tbc, . (In press) (Full text available)
[img]
Preview

Thompson, Simon and Seijas, Pablo Lamela and Francisco, Miguel Ángel (2018) Model extraction and test generation from JUnit test suites. Software Quality Journal, . ISSN 0963-9314. (In press) (doi:https://doi.org/10.1007/s11219-017-9399-x) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img] [img]

Tsushima, Kanae and Chitil, Olaf (2018) A Common Framework Using Expected Types for Several Type Debugging Approaches. In: FLOPS 2018: Fourteenth International Symposium on Functional and Logic Programming, May 9-11, 2018, Nagoya, Japan. (doi:https://doi.org/10.1007/978-3-319-90686-7_15) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Ugawa, Tomoharu and Jones, Richard (2018) Model Checking Transactional Sapphire. Technical report. School of Computing, University of Kent, Kent, UK (Unpublished) (Full text available)
[img]
Preview

Wang, Frank Z. (2018) Entropy4Cloud: Using Entropy-Based Complexity To Optimize Cloud Service Resource Management. IEEE Transactions on Emerging Topics in Computational Intelligence, 2 (1). pp. 13-24. E-ISSN 2471-285X. (doi:https://doi.org/10.1109/TETCI.2017.2755691) (Full text available)
[img]
Preview
[img]
Preview

da Silva, P.N. and Plastino, Alexandre and Freitas, Alex A. (2018) A Novel Genetic Algorithm for Feature Selection in Hierarchical Feature Spaces. In: SIAM International Conference on Data Mining (SDM18), 3-5 May, 2018, San Diego, CA, USA. (doi:https://doi.org/10.1137/1.9781611975321.83) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogerio and Bailey, Christopher (2018) Evaluating Self-Adaptive Authorisation Infrastructures through Gamification. In: DSN 2018, June 2018, Luxembourg. (Unpublished) (Full text available)
[img]
Preview

de Lemos, Rogerio and Garlan, David and Ghezzi, Carlo and Giese, Holger and Andersson, Jesper and Litoiu, Marin and Schmerl, Bradley and Weyns, Danny and Baresi, Luciano and Bencomo, Nelly and Brun, Yuriy and Camara, Javier and Calinescu, Radu and Cohen, Myra B. and Gorla, Alessandra and Grassi, Vincenzo and Grunske, Lars and Inverardi, Paola and Jezequel, Jean-Marc and Malek, Sam and Mirandola, Raffaela and Mori, Marco and Müller, Hausi A. and Rouvoy, Romain and Rubira, Cecília M. F. and Rutten, Eric and Shaw, Mary and Tamburrelli, Giordano and Tamura, Gabriel and Villegas, Norha M. and Vogel, Thomas and Zambonelli, Franco (2018) Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. In: de Lemos, Rogerio and Garlan, D. and Giese, H., eds. Software Engineering for Self-Adaptive Systems III. Assurances. Lecture Notes on Computer Science . Springer. ISBN 9783319741826. (doi:https://doi.org/10.1007/978-3-319-74183-3_1) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogerio and Sedgewick, Peter (2018) Self-adaptation made easy with Blockchains. In: SEAMS 2018, May 2018, Gothenburg, Sweden. (In press) (Full text available)
[img]
Preview

2017

Ackerman, Margareta and Goel, Ashok and Johnson, Colin G. and Jordanous, Anna and Leon, Carlos and Perez y Perez, Rafael and Toivonen, Hannu and Ventura, Dan (2017) Teaching Computational Creativity. In: 8th International Conference on Computational Creativity, 19-23 June 2017, Atlanta, US. (Full text available)
[img]
Preview

Ahmad, Jumana and Swan, Garrett and Bowman, Howard and Wyble, Brad and Nobre, Anna C. and Shapiro, Kimron L. and McNab, Fiona (2017) Competitive interactions affect working memory performance for both simultaneous and sequential stimulus presentation. Scientific Reports, 7 (4785). ISSN 2045-2322. (doi:https://doi.org/10.1038/s41598-017-05011-x) (Full text available)
[img]
Preview

Ali, Mohammed Aamir and Arief, Budi and Emms, Martin and van Moorsel, Aad (2017) Does The Online Card Payment Landscape Unwittingly Facilitate Fraud? IEEE Security & Privacy, 15 (2). pp. 78-86. ISSN 1540-7993. (Full text available)
[img]
Preview

Alrayes, Bedour and Kafalı, Özgür and Stathis, Kostas (2017) Concurrent bilateral negotiation for open e-markets: The Conan strategy. Knowledge and Information Systems, . ISSN 0219-1377. (doi:https://doi.org/10.1007/s10115-017-1125-2) (Full text available)
[img]
Preview

Baker, Robert (2017) A Method for Graph Drawing Utilising Patterns. Doctor of Philosophy (PhD) thesis, University of Kent,. (Full text available)
[img]
Preview

Barardo, Diogo G. and Newby, Danielle and Thornton, Daniel and Ghafourian, Taravat and Pedro de Magalhães, João and Freitas, Alex A. (2017) Machine learning for predicting lifespan-extending chemical compounds. Aging, 9 (7). pp. 1721-1737. ISSN 1945-4589. (doi:https://doi.org/10.18632/aging.101264) (Full text available)
[img]
Preview

Batty, Mark (2017) Compositional relaxed concurrency. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 375 (2104). ISSN 1364-503X. E-ISSN 1471-2962. (doi:https://doi.org/10.1098/rsta.2015.0406) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]
Preview
[img]

Bocchi, Laura (2017) Monitoring Networks through Multiparty Session Types. Theoretical Computer Science, 669 . pp. 33-58. ISSN 0304-3975. (doi:https://doi.org/10.1016/j.tcs.2017.02.009) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]
Preview
[img]
Preview

Brown, Neil C. C. and Altadmri, Amjad (2017) Novice Java Programming Mistakes: Large-Scale Data vs. Educator Beliefs. ACM Transactions on Computing Education (TOCE), 7 (2). ISSN 1946-6226. (doi:https://doi.org/10.1145/2994154) (Full text available)
[img]
Preview

Burcham, Morgan and Al-Zyoud, Mahran and Carver, Jeffrey C. and Alsaleh, Mohammed and Du, Hongying and Gilani, Fida and Jiang, Jun and Rahman, Akond and Kafalı, Özgür and Al-Shaer, Ehab and Williams, Laurie (2017) Characterizing scientific reporting in security literature: An analysis of ACM CCS and IEEE S&P papers. In: Hot Topics in Science of Security: Symposium and Bootcamp, April 04 - 05, 2017, Hanover, MD, USA. (doi:https://doi.org/10.1145/3055305.3055307) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Chari, Guido and Garbervetsky, Diego and Marr, Stefan (2017) Fully-reflective VMs for Ruling Software Adaptation. In: Proceedings of the 39th International Conference on Software Engineering Companion. (doi:https://doi.org/10.1109/ICSE-C.2017.144) (Full text available)
[img]
Preview

Chari, Guido and Garbervetsky, Diego and Marr, Stefan (2017) A Metaobject Protocol for Optimizing Application-Specific Run-Time Variability. In: Proceedings of the 11th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems. (doi:https://doi.org/10.1145/3098572.3098577) (Full text available)
[img]
Preview

Chawdhary, Aziem and King, Andy (2017) Compact Difference Bound Matrices. In: Chang, Evan, ed. 15th Asian Symposium on Programming Languages and Systems. Lecture Notes in Computer Science . Springer, pp. 471-490. ISBN 9783319712369. (doi:https://doi.org/10.1007/978-3-319-71237-6_23) (Full text available)
[img]
Preview

Chechina, Natalia and MacKenzie, Kenneth and Thompson, Simon and Trinder, Phil and Boudeville, Olivier and Fordos, Viktoria and Hoch, csaba and Ghaffari, Amir and Moro Hernandez, Mario (2017) Evaluating Scalable Distributed Erlang for Scalability and Reliability. IEEE Transactions on Parallel and Distributed Systems, 28 (8). pp. 2244-2257. ISSN 1045-9219. (doi:https://doi.org/10.1109/TPDS.2017.2654246) (Full text available)
[img]
Preview

Chen, Wanlong (2017) Memristor Content Addressable Memory: Theory, Design and Application. Doctor of Philosophy (PhD) thesis, University of Kent. (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Cheval, Vincent and Comon-Lundh, Hubert and Delaune, Stéphanie (2017) A procedure for deciding symbolic equivalence between sets of constraint systems. Information and Computation, 255 (part 1). pp. 94-125. ISSN 0890-5401. E-ISSN 1090-2651. (doi:https://doi.org/10.1016/j.ic.2017.05.004) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Chitil, Olaf and Faddegon, Maarten and Runciman, Colin (2017) A Lightweight Hat: Simple Type-Preserving Instrumentation for Self-Tracing Lazy Functional Programs. In: Implementation and Application of Functional Languages, IFL 2016, 31 Aug - 2 Sep 2016, Leuven, Belgium. (doi:https://doi.org/10.1145/3064899.3064904) (Full text available)
[img]
Preview

Corneli, Joseph and Guckelsberger, Christian and Jordanous, Anna and Pease, Alison and Colton, Simon and Erden, Yasemin J. (2017) Conference Report: AISB Members Workshop VII: Serendipity Symposium. AISB Quarterly, 147 . pp. 10-11. E-ISSN 0268-4179. (Full text available)
[img]
Preview

Cramer, Sam and Kampouridis, Michael and Freitas, Alex A. and Alexandridis, Antonis (2017) Pricing Rainfall Based Futures Using Genetic Programming. In: 20th European Conference, EvoApplications: European Conference on the Applications of Evolutionary Computation, 19-21 Apr 2017, Amsterdam. (doi:10.1007%2F978-3-319-55849-3_2) (Full text available)
[img]
Preview

Cramer, Sam and Kampouridis, Michael and Freitas, Alex A. and Alexandridis, Antonis (2017) An extensive evaluation of seven machine learning methods for rainfall prediction in weather derivatives. Expert Systems with Applications, 85 . pp. 169-181. ISSN 0957-4174. (doi:https://doi.org/10.1016/j.eswa.2017.05.029) (Full text available)
[img]
Preview

Dominic, Orchard and Mistral, Contrastin and Matthew, Danish and Andrew, Rice (2017) Verifying Spatial Properties of Array Computations. Journal of Proceedings of the ACM, 1 (OOPSLA). p. 75. (doi:https://doi.org/10.1145/3133899) (Full text available)
[img]
Preview

Dziallas, Sebastian and Fincher, Sally and Johnson, Colin G. and Utting, Ian (2017) The Year in Computing Initiative. In: Engineering Education Research Network Annual Symposium, 23-24 Nov 2017, London, UK. (Full text available)
[img]
Preview

Eisl, Josef and Marr, Stefan and Würthinger, Thomas and Mössenböck, Hanspeter (2017) Trace Register Allocation Policies: Compile-time vs. Performance Trade-offs. In: Proceedings of the 14th International Conference on Managed Languages and Runtimes. (doi:https://doi.org/10.1145/3132190.3132209) (Full text available)
[img]
Preview

Fabris, Fabio (2017) New Probabilistic Graphical Models and Meta-Learning Approaches for Hierarchical Classification, with Applications in Bioinformatics and Ageing. Doctor of Philosophy (PhD) thesis, University of Kent,. (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img] [img]

Fabris, Fabio and Freitas, Alex A. and de Magalhaes, João Pedro (2017) A Review of Supervised Machine Learning Applied to Ageing Research. Biogerontology, 18 (2). pp. 171-188. ISSN 1389-5729. E-ISSN 1573-6768. (doi:https://doi.org/10.1007/s10522-017-9683-y) (Full text available)
[img]
Preview
[img]
Preview

Faddegon, Maarten (2017) Algorithmic debugging for complex lazy functional programs. Doctor of Philosophy (PhD) thesis, University of Kent,. (Full text available)
[img]
Preview

Fan, Wenjun and Du, Zhihui and Fernandez, David and Villagra, Victor A. (2017) Enabling an Anatomic View to Investigate Honeypot Systems: A Survey. IEEE Systems Journal, PP (99). pp. 1-14. ISSN 1932-8184. (doi:https://doi.org/10.1109/JSYST.2017.2762161) (Full text available)
[img]
Preview

Flur, Shaked and Sarkar, Susmit and Pulte, Christopher and Nienhuis, Kyndylan and Maranget, Luc and Gray, Kathryn E. and Sezgin, Ali and Batty, Mark and Sewell, Peter (2017) Mixed-Size Concurrency: ARM, POWER, C/C++11, and SC. In: 44th ACM SIGPLAN Symposium on Principles of Programming Languages, January 15 - 21, 2017, Paris, France. (doi:https://doi.org/10.1145/3009837.3009839) (Full text available)
[img]
Preview

Friston, Karl J. and Rosch, Richard and Parr, Thomas and Price, Cathy and Bowman, Howard (2017) Deep temporal models and active inference. Neuroscience & Biobehavioral Reviews, 77 . pp. 388-402. ISSN 0149-7634. (doi:https://doi.org/10.1016/j.neubiorev.2017.04.009) (Full text available)
[img]
Preview

Férée, Hugo (2017) Game semantics approach to higher-order complexity. Journal of Computer and System Sciences, 87 . pp. 1-15. ISSN 0022-0000. (doi:https://doi.org/10.1016/j.jcss.2017.02.003) (Full text available)
[img]
Preview

Goel, Ashok and Jordanous, Anna and Pease, Alison (2017) Preface: Proceedings of the Eighth International Conference on Computational Creativity, ICCC 2017, Atlanta — 19 - 23 June. In: 8th International Conference on Computational Creativity, Atlanta, US. (Full text available)
[img]
Preview

Grimmer, Matthias and Marr, Stefan and Kahlhofer, Mario and Wimmer, Christian and Würthinger, Thomas and Mössenböck, Hanspeter (2017) Applying Optimizations for Dynamically-typed Languages to Java. In: 14th International Conference on Managed Languages and Runtimes. (doi:https://doi.org/10.1145/3132190.3132202) (Full text available)
[img]
Preview

Grzes, Marek (2017) Reward Shaping in Episodic Reinforcement Learning. In: Sixteenth International Conference on Autonomous Agents and Multiagent Sytems (AAMAS 2017), 8th - 12th May, 2017, Sao Paulo, Brazil. (Full text available)
[img]
Preview

Hedges, Mark and Jordanous, Anna and Lawrence, K. Faith and Roueché, Charlotte and Tupman, Charlotte (2017) Computer-Assisted Processing of Intertextuality in Ancient Languages. Journal of Data Mining and Digital Humanities, . ISSN 2416-5999. E-ISSN 2416-5999. (Full text available)
[img]
Preview

Helal, Ayah and Otero, Fernando E.B. (2017) Automatic design of ant-miner mixed attributes for classification rule discovery. In: Genetic and Evolutionary Computation (GECCO 2017), 15-19 July 2017, Berlin, Germany. (doi:https://doi.org/10.1145/3071178.3071306) (Full text available)
[img]
Preview

Howe, Jacob M. and Robbins, Ed and King, Andy (2017) Theory Learning with Symmetry Breaking. In: Pientka, Brigitte, ed. International Symposium on Principles and Practice of Declarative Programming. ACM, Namur, Belgium, pp. 85-96. ISBN 9781450352918. (doi:https://doi.org/10.1145/3131851.3131861) (Full text available)
[img]
Preview

Ibrahim, Azhar Mohd and Venkat, Ibrahim and De Wilde, Philippe (2017) Uncertainty in a spatial evacuation model. Physica A: Statistical Mechanics and its Applications, 479 . pp. 485-497. ISSN 0378-4371. (doi:https://doi.org/10.1016/j.physa.2017.03.024) (Full text available)
[img]
Preview

Jin, Ma and Song, Yan and McLoughlin, Ian Vince (2017) End-to-end DNN-CNN Classification for Language Identification. In: International Conference of Computational Intelligence and Intelligent Systems (ICCIIS 2017), part of World Conference on Engineering 2017 (WCE 2017), 2017 July, Imperial College, London, UK. (Full text available)
[img]
Preview

Jin, Ma and Song, Yan and McLoughlin, Ian Vince and Guo, Wu and Dai, Li-Rong (2017) End-to-End Language Identification Using High-Order Utterance Representation with Bilinear Pooling. In: Interspeech 2017, 20-24 August 2017, Stockholm, Sweden. (doi:https://doi.org/10.21437/Interspeech.2017-44) (Full text available)
[img]
Preview

Jordan, Tobias and De Wilde, Philippe and Buarque de Lima Neto, Fernando (2017) Modeling Contagion of Behavior in Friendship Networks as Coordination Games. In: Advances in Social Simulation 2015, 2015. (doi:https://doi.org/10.1007/978-3-319-47253-9_15) (Full text available)
[img]
Preview

Jordan, Tobias and Oto, Costa and De Wilde, Philippe and Buarque de Lima Neto, Fernando (2017) Link-Prediction to Tackle the Boundary Specification Problem in Social Network Surveys. PLoS ONE, . ISSN 1932-6203. (doi:https://doi.org/10.1371/journal.pone.0176094) (Full text available)
[img]
Preview

Jordanous, Anna (2017) Co-creativity and perceptions of computational agents in co-creativity. In: 8th International Conference on Computational Creativity, 19-23 June 2017, Atlanta, US. (Full text available)
[img]
Preview

Jordanous, Anna (2017) Has computational creativity successfully made it 'Beyond the Fence' in musical theatre? Connection Science, 29 (4). pp. 350-386. ISSN 0954-0091. E-ISSN 1360-0494. (doi:https://doi.org/10.1080/09540091.2017.1345857) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Jordanous, Anna (2017) How can we write software that can communicate creatively? In: 4th AISB Symposium on Computational Creativity. (Full text available)
[img]
Preview

Jordanous, Anna (2017) Review. Review of: Computation and the humanities : towards an oral history of digital humanities by Nyhan, J. and Flinn A., A.. ACM Computing Reviews, (Sep'17). Review #: CR145551. E-ISSN 1530-6585. (Full text available)
[img]

Kafalı, Özgür and Ajmeri, Nirav and Singh, Munindar P. (2017) Formal Understanding of Tradeoffs among Liveness and Safety Requirements. In: 24th International Requirements Engineering Conference Workshops: Third International Workshop on Artificial Intelligence for Requirements Engineering (AIRE), 12–16 September 2016, Beijing, China. (doi:https://doi.org/10.1109/REW.2016.017) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kafalı, Özgür and Ajmeri, Nirav and Singh, Munindar P. (2017) Kont: Computing tradeoffs in normative multiagent systems. In: 31st Conference on Artificial Intelligence (AAAI), February 4 – 10, 2017, San Francisco, California, USA. (Full text available)
[img]
Preview

Kafalı, Özgür and Ajmeri, Nirav and Singh, Munindar P. (2017) Normative Requirements in Sociotechnical Systems. In: 9th International Workshop on Requirements Engineering and Law (RELAW), 12–16 September 2016, Beijing, China. (doi:https://doi.org/10.1109/REW.2016.049) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kafalı, Özgür and Jones, Jasmine and Petruso, Megan and Williams, Laurie and Singh, Munindar P. (2017) How Good is a Security Policy against Real Breaches? A HIPAA Case Study. In: 39th International Conference on Software Engineering (ICSE), 20–28 May 2017, Buenos Aires, Argentina. (doi:https://doi.org/10.1109/ICSE.2017.55) (Full text available)
[img]
Preview

Kafalı, Özgür and Romero, Alfonso E. and Stathis, Kostas (2017) Agent-oriented activity recognition in the event calculus: An application for diabetic patients. Computational Intelligence, 33 (4). pp. 899-925. ISSN 0824-7935. (doi:https://doi.org/10.1111/coin.12121) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kafalı, Özgür and Singh, Munindar P. (2017) Guest Editors' Introduction - Improving Cybersecurity: User Accountability and Sociotechnical Systems. IEEE Computing Now, . (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kampouridis, Michael and Adegboye, Adesola and Johnson, Colin G. (2017) Evolving Directional Changes Trading Strategies with a New Event-based Indicator. In: SEAL 2017 : The 11th International Conference on Simulated Evolution and Learning, 10-13 Nov 2017, Shenzhen, China. (doi:https://doi.org/10.1007/978-3-319-68759-9_59) (Full text available)
[img]
Preview

Kapinchev, Konstantin (2017) Scalable Parallel Optimization of Digital Signal Processing in the Fourier Domain. Doctor of Philosophy (PhD) thesis, University of Kent. (Full text available)
[img]
Preview

Knox, Daniel (2017) A Cartography of Practice. Doctor of Philosophy (PhD) thesis, University of Kent,. (Full text available)
[img]
Preview

Kuttikat, Anoop and Noreika, Valdas and Chennu, Srivas and Shenker, Nicholas and Bekinschtein, Tristan and Brown, Christopher A. (2017) Altered Neurocognitive Processing of Tactile Stimuli in Patients with Complex Regional Pain Syndrome (CRPS). The Journal of Pain, 19 (4). pp. 395-409. ISSN 1526-5900. (doi:https://doi.org/10.1016/j.jpain.2017.11.008) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Lange, Julien and Ng, Nicholas and Toninho, Bernardo and Yoshida, Nobuko (2017) Fencing off go: liveness and safety for channel-based programming. In: Castagna, Giuseppe and Gordon, Andrew D., eds. Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017. ACM pp. 748-761. ISBN 9781450346603. (doi:https://doi.org/10.1145/3009837.3009847) (Full text available)
[img]
Preview

Lange, Julien and Ng, Nicholas and Toninho, Bernardo and Yoshida, Nobuko (2017) A Static Verification Framework for Message Passing in Go using Behavioural Types. In: ICSE '18: 40th International Conference on Software Engineering, 27 May - 03 Jun 2018, Gothenburg, Sweden. (In press) (Full text available)
[img]
Preview

Lange, Julien and Tuosto, Emilio and Yoshida, Nobuko (2017) A Tool for Choreography-Based Analysis of Message-Passing Software. In: Behavioural Types: from Theory to Tools. River Publishers. ISBN 9788793519824. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Lange, Julien and Yoshida, N. (2017) On the undecidability of asynchronous session subtyping. In: 19th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), 22 - 30 April 2017, Uppsala, Sweden. (doi:https://doi.org/10.1007/978-3-662-54458-7_26) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Marr, Stefan and Torres Lopez, Carmen and Aumayr, Dominik and Gonzalez Boix, Elisa and Mössenböck, Hanspeter (2017) A Concurrency-Agnostic Protocol for Multi-Paradigm Concurrent Debugging Tools. In: Proceedings of the 13th ACM SIGPLAN International Symposium on Dynamic Languages. (doi:https://doi.org/10.1145/3133841.3133842) (Full text available)
[img]
Preview

Martire, I and da Silva, P.N. and Plastino, Alexandre and Fabris, Fabio and Freitas, Alex A. (2017) A novel probabilistic Jaccard distance measure for classification of sparse and uncertain data. In: 5th Brazilian Symposium on Knowledge Discovery, Mining and Learning (KDMiLe), 3-5 Oct, 2017, Uberlandia, MG, Brazil. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Mazaheri, A. and Segaert, K. and Olichney, J. and Yang, J-C and Niu, Y-Q and Shapiro, Kimron L. and Bowman, Howard (2017) EEG oscillations during word processing predict MCI conversion to Alzheimer's disease. NeuroImage: Clinical, 17 . pp. 188-197. ISSN 2213-1582. (doi:https://doi.org/10.1016/j.nicl.2017.10.009) (Full text available)
[img]
Preview

McBride, Jack and Hernandez-Castro, Julio C. and Arief, Budi (2017) Earworms Make Bad Passwords: An Analysis of the Noke Smart Lock Manual Override. In: International Workshop on Secure Internet of Things 2017 (SIoT 2017), Oslo, Norway. (In press) (Full text available)
[img]
Preview

McLoughlin, Ian Vince and Li, Jingjie and Song, Yan and Sharifzadeh, Hamid Reza (2017) Speech reconstruction using a deep partially supervised neural network. IET Healthcare Technology Letters, 4 (4). pp. 129-133. E-ISSN 053-3713. (doi:https://doi.org/10.1049/htl.2016.0103) (Full text available)
[img]
Preview

McLoughlin, Ian Vince and Zhang, Hao-min and Xie, Zhi-Peng and Song, Yan and Xiao, Wei and Phan, Huy (2017) Continuous Robust Sound Event Classification Using Time-Frequency Features and Deep Learning. PLoS ONE, . ISSN 1932-6203. (doi:https://doi.org/10.1371/journal.pone.0182309) (Full text available)
[img]
Preview

Menendez, Hector and Otero, Fernando E.B. and Camacho, David (2017) Extending the SACOC algorithm through the Nystrom method for Dense Manifold Data Analysis. International Journal of Bio-Inspired Computation, 10 (2). ISSN 1758-0366. E-ISSN 1758-0374. (doi:https://doi.org/10.1504/IJBIC.2017.085894) (Full text available)
[img]
Preview
[img]
Preview

Mercier, Daniel and Chawdhary, Aziem and Jones, Richard E. (2017) dynStruct: An automatic reverse engineering tool for structure recovery and memory use analysis. In: 2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER). Institute of Electrical and Electronics Engineers pp. 497-501. ISBN 9781509055029. E-ISBN 9781509055012. (doi:https://doi.org/10.1109/SANER.2017.7884661) (Full text available)
[img]
Preview

Mikolas, Janota and Radu, Grigore and Vasco, Manquinho (2017) On the Quest for an Acyclic Graph. In: 24th RCRA International Workshop on "Experimental Evaluation of Algorithms for solving problems with combinatorial explosion", 14-15 Nov 2017, Bari, Italy. (Unpublished) (Full text available)
[img]
Preview

Mouli, Surej (2017) DESIGN OF PORTABLE LED VISUAL STIMULUS AND SSVEP ANALYSIS FOR VISUAL FATIGUE REDUCTION AND IMPROVED ACCURACY. Doctor of Philosophy (PhD) thesis, University of Kent,. (Full text available)
[img]
Preview

Mouli, Surej and Palaniappan, Ramaswamy (2017) Towards a reliable PWM based LED visual stimulus for improved SSVEP response with minimal visual fatigue. Journal of Engineering, . E-ISSN 2051-3305. (doi:https://doi.org/10.1049/joe.2016.0314) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]
Preview
[img]
Preview

Orchard, Dominic A. and Yoshida, Nobuko (2017) Session Types with Linearity in Haskell. In: Gay, S. and Ravara, A., eds. Behavioural Types: from Theory to Tools. River Publishers Series in Automation, Control and Robotics . River Publishers, pp. 219-241. ISBN 9788793519824. E-ISBN 9788793519817. (doi:https://doi.org/10.13052/rp-9788793519817) (Full text available)
[img]
Preview
[img]
Preview

Osadchy, Margarita and Hernandez-Castro, Julio C. and Gibson, Stuart J. and Dunkelman, Orr and Perez-Cabo, Daniel (2017) No Bot Expects the DeepCAPTCHA! Introducing Immutable Adversarial Examples, with Applications to CAPTCHA Generation. IEEE Transactions on Information Forensics and Security, . ISSN 1556-6013. (doi:https://doi.org/10.1109/TIFS.2017.2718479) (Full text available)
[img]
Preview

Otero, Fernando E.B. (2017) MYRA: A Java Ant Colony Optimization Framework for Classification Algorithms. In: Genetic and Evolutionary Computation Conference (GECCO 2017), 15-19 July 2017, Berlin, Germany. (doi:https://doi.org/10.1145/3067695.3082471) (Full text available)
[img]
Preview

Owens, Scott and Norrish, Michael and Kumar, Ramana and Myreen, Magnus O. and Tan, Yong Kiam (2017) Verifying Efficient Function Calls in CakeML. Proceedings of the ACM Programming Languages, 1 (ICFP). (doi:https://doi.org/10.1145/3110262) (Full text available)
[img]
Preview

Pease, Alison and Jordanous, Anna (2017) Report on the Eighth International Conference on Computational Creativity. Review of: Eighth International Conference on Computational Creativity by UNSPECIFIED. AI Magazine, . tbc-tbc. ISSN 0738-4602. (In press) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Pedersen, Jan B. and Welch, Peter H. (2017) The symbiosis of concurrency and verification: teaching and case studies. Formal Aspects of Computing, 30 (2). pp. 239-277. ISSN 0934-5043. (doi:https://doi.org/10.1007/s00165-017-0447-x) (Full text available)
[img]
Preview

Petricek, Tomas (2017) Data exploration through dot-driven development. In: 31st European Conference on Object-Oriented Programming, 18 Jun - 23 Jun 2017, Barcelona, Spain. (doi:https://doi.org/10.4230/LIPIcs.ECOOP.2017.0) (Full text available)
[img]
Preview

Petricek, Tomas (2017) Miscomputation in software: Learning to live with errors. The Art, Science, and Engineering of Programming, 1 (2). Article 14. E-ISSN 2473-7321. (doi:https://doi.org/10.22152/programming-journal.org/2017/1/14) (Full text available)
[img]
Preview

Pham, Thinh H. and Fahmy, Suhaib A. and McLoughlin, Ian Vince (2017) An End-to-End Multi-Standard OFDM Transceiver Architecture Using FPGA Partial Reconfiguration. IEEE Access, 5 . pp. 21002-21015. E-ISSN 2169-3536. (doi:https://doi.org/10.1109/ACCESS.2017.2756914) (Full text available)
[img]
Preview

Phan, Huy and Koch, P. and Katzberg, F. and Maass, Marco and Mazur, M. and McLoughlin, Ian Vince and Mertins, A. (2017) What makes audio event detection harder than classification? In: 25th European Signal Processing Conference, EUSIPCO 2017, 28 Aug 2017 - 2 Sept 2017, Cos, Greece. (doi:https://doi.org/10.23919/EUSIPCO.2017.8081709) (Full text available)
[img]
Preview

Pickering, Todd and Jordanous, Anna (2017) Applying Narrative Theory to Aid Unexpectedness in a Self-Evaluative Story Generation System. In: 8th International Conference on Computational Creativity, 19-23 June 2017, Atlanta, US. (Full text available)
[img]
Preview

Pimás, Javier and Burroni, Javier and Arnaud, Jean Baptiste and Marr, Stefan (2017) Garbage Collection and Efficiency in Dynamic Metacircular Runtimes. In: Proceedings of the 13th ACM SIGPLAN International Symposium on Dynamic Languages. (doi:https://doi.org/10.1145/3133841.3133845) (Full text available)
[img]
Preview

Pomsuwan, Tossapol (2017) FEATURE SELECTION FOR THE CLASSIFICATION OF LONGITUDINAL HUMAN AGEING DATA. Master of Research (MRes) thesis, University of Kent,. (Full text available)
[img]
Preview

Pomsuwan, Tossapol and Freitas, Alex A. (2017) Feature Selection for the Classification of Longitudinal Human Ageing Data. In: 2017 IEEE International Conference on Data Mining Workshops (ICDMW). IEEE, USA pp. 739-746. ISBN 978-1-5386-1480-8. E-ISBN 978-1-5386-3800-2. (doi:https://doi.org/10.1109/ICDMW.2017.102) (Full text available)
[img]
Preview

Pérez Méndez, Alejandro and López Millán, Gabriel and Marín López, Rafael and Chadwick, David W. and Schechtman Sette, Ioram (2017) Integrating an AAA-based federation mechanism for OpenStack-The CLASSe view. Concurrency and Computation: Practice and Experience, 29 (12). e4148. ISSN 1532-0626. (doi:https://doi.org/10.1002/cpe.4148) (Full text available)
[img]
Preview

Qian, Mengjie and McLoughlin, Ian Vince and Guo, Wu and Dai, Li-Rong (2017) Mismatched Training Data Enhancement for Automatic Recognition of Children’s Speech using DNN-HMM. In: The 10th International Symposium on Chinese Spoken Language Processing, 17-20 Oct 2016, Tianjin, China. (doi:https://doi.org/10.1109/ISCSLP.2016.7918386) (Full text available)
[img]
Preview

Rashid, Md Mamunur (2017) Non-Grid Opportunistic Resources for (Big Data) Volunteer Computing. Doctor of Philosophy (PhD) thesis, University of Kent. (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Rizzi Raymundo, Caroline (2017) SAFEL - A Situation-aware Fear Learning Model. Doctor of Philosophy (PhD) thesis, University of Kent, Heriot-Watt University. (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Robbins, Ed (2017) Solvers for Type Recovery and Decompilation of Binaries. Doctor of Philosophy (PhD) thesis, University of Kent,. (Full text available)
[img]
Preview

Roberts, David L. and Hernandez-Castro, Julio (2017) Bycatch and illegal wildlife trade on the dark web. Oryx, 51 (3). pp. 393-394. ISSN 0030-6053. E-ISSN 1365-3008. (doi:https://doi.org/10.1017/S0030605317000679) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Rowe, Reuben and Brotherston, James (2017) Automatic cyclic termination proofs for recursive procedures in separation logic. In: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2017. ACM pp. 53-65. ISBN 9781450347051. (doi:https://doi.org/10.1145/3018610.3018623) (Full text available)
[img]
Preview

Rowe, Reuben and Brotherston, James (2017) Realizability in Cyclic Proof: Extracting Ordering Information for Infinite Descent. In: TABLEAUX 2017: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, 25-28 Sep 2017, Brasilia, Brazil. (doi:https://doi.org/10.1007/978-3-319-66902-1_18) (Full text available)
[img]
Preview

Salama, Khalid M. and Abdelbar, Ashraf M. and Helal, Ayah and Freitas, Alex A. (2017) Instance-based classification with ant colony optimization. Intelligent Data Analysis, 21 (4). pp. 913-944. ISSN 1088-467X. (doi:https://doi.org/10.3233/IDA-160031) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Sette, Ioram S. and Chadwick, David W. and Ferraz, Carlos A. G. (2017) Authorization Policy Federation in Heterogeneous Multicloud Environments. IEEE Cloud Computing, 4 (4). pp. 38-47. ISSN 2325-6095. (doi:https://doi.org/10.1109/MCC.2017.3791018) (Full text available)
[img]
Preview

Sharifzadeh, Hamid Reza and HajiRassouliha, Amir and McLoughlin, Ian Vince and Ardenkani, Iman and Allen, Jaqui and Sarrafzadeh, A. (2017) A training-based speech regeneration approach with cascading mapping models. Computers & Electrical Engineering, 62 . pp. 601-611. ISSN 0045-7906. (doi:https://doi.org/10.1016/j.compeleceng.2017.06.007) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]
Preview
[img]

Si, Xujie and Zhang, Xin and Grigore, Radu and Naik, Mayur (2017) Maximum Satisfiability in Software Analysis: Applications and Techniques. In: Computer Aided Verification. Springer pp. 68-94. ISBN 9783319633862. (doi:https://doi.org/10.1007/978-3-319-63387-9_4) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Simione, Luca and Akyurek, Elkan and Vastola, Valentina and Raffone, Antonino and Bowman, Howard (2017) Illusions of Integration are Subjectively Impenetrable: Phenomenological Experience of Lag 1 Percepts during Dual-target RSVP. Consciousness and Cognition, 51 . pp. 181-192. ISSN 1053-8100. (doi:https://doi.org/10.1016/j.concog.2017.03.004) (Full text available)
[img]
Preview

Smith, Connor Lane (2017) Optimal Sharing Graphs for Substructural Higher-order Rewriting Systems. Doctor of Philosophy (PhD) thesis, University of Kent,. (Full text available)
[img]
Preview

Thompson, Simon (2017) A General Method for Defining Objects by Recursion over Syntax. Journal of Universal Computer Science, 23 (1). pp. 89-111. ISSN 0948-695X. E-ISSN 0948-6968. (Full text available)
[img]
Preview

Thompson, Simon and Li, Huiqing and Baker, Robert and Adams, Stephen and Trinder, Phil and Chechina, Natalia and Papaspyrou, Nikolaos and Sagonas, Konstantinos and Aronis, Stavros and Bihari, Eva and Boudeville, Olivier and Cesarini, Francesco and de Stefano, Maurizio and Eriksson, Sverker and Fordos, Viktoria and Ghaffari, Amir and Green, Rickard and Hoch, csaba and Klaftenegger, David and Lundin, Kenneth and MacKenzie, Kenneth and Roukounaki, Katerinia and Tsiouris, Yiannis and Winblad, Kjell (2017) Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform. ACM Transactions on Programming Languages and Systems, 39 (4). ISSN 0164-0925. E-ISSN 1558-4593. (doi:https://doi.org/10.1145/3107937) (Full text available)
[img]
Preview

Thompson, Simon and Li, Huiqing and Schumacher, Andreas (2017) The pragmatics of clone detection and elimination. The Art, Science, and Engineering of Programming, 1 (2). ISSN 2473-7321. (doi:https://doi.org/10.22152/programming-journal.org/2017/1/8) (Full text available)
[img]
Preview

Tranquille, Dominique and Stapleton, Gem and Burton, Jim and Rodgers, Peter (2017) Evaluating the effects of size in linesets. In: Proceedings of the 10th International Symposium on Visual Information Communication and Interaction. ACM pp. 121-128. ISBN 9781450352925. (doi:https://doi.org/10.1145/3105971.3105978) (Full text available)
[img]
Preview

Vandercammen, Maarten and Marr, Stefan and De Roover, Coen (2017) A Flexible Framework for Studying Trace-Based Just-In-Time Compilation. Computer Languages, Systems & Structures, 51 . pp. 22-47. ISSN 1477-8424. (doi:https://doi.org/10.1016/j.cl.2017.07.005) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Wang, Frank Z. (2017) Fractional memristor. Applied Physics Letters, 111 (24). pp. 243502-1. ISSN 0003-6951. (doi:https://doi.org/10.1063/1.5000919) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Wazan, Ahmad Samer and Laborde, Romain and Chadwick, David W. and Barrere, Francois and Benzekri, Abdelmalek (2017) TLS Connection Validation by Web Browsers: Why do Web Browsers still not agree? In: COMPSAC 2017, Building Digital Autonomy for a Sustainable World, 04-08 Jul 2017, Turin, Italy. (doi:https://doi.org/10.1109/COMPSAC.2017.240) (Full text available)
[img]
Preview

Zhang, Xin and Grigore, Radu and Si, Xujie and Naik, Mayur (2017) Effective Interactive Resolution of Static Analysis Alarms. Proceedings of the ACM on Programming Languages, 1 (OOPSLA). E-ISSN 2475-1421. (doi:https://doi.org/10.1145/3133881) (Full text available)
[img]
Preview

Zhao, Liming and Perez-Delgado, Carlos and Fitzsimons, Joseph and Benjamin, Simon (2017) A measurement driven analog of adiabatic quantum computation for frustration-free Hamiltonians. arXiv, . (Submitted) (Full text available)
[img]
Preview

de Balthasar, Thibault and Hernandez-Castro, Julio C. (2017) An Analysis of Bitcoin Laundry Services. In: NordSec2017 - Nordic Conference on Secure IT Systems, 8-10 Nov 2017, Tartu, Estonia. (doi:https://doi.org/10.1007/978-3-319-70290-2_18) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

de Oliveira, Lariza Laura and Freitas, Alex A. and Tinós, Renato (2017) Multi-objective genetic algorithms in the study of the genetic code’s adaptability. Information Sciences, 425 . pp. 48-61. ISSN 0020-0255. (doi:https://doi.org/10.1016/j.ins.2017.10.022) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

2016

Allen, Jaqui and Sharifzadeh, Hamid Reza and McLoughlin, Ian Vince and Sarrafzadeh, A and Ardekani, Iman T (2016) Acoustic analysis and computerised reconstruction of speech in laryngectomised individuals. In: 137th Annual Meeting of American Laryngological Association (ALA), Combined Otolaryngology Spring Meetings (COSM 2016), 18-19 May 2016, Chicago, USA. (Unpublished) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Alrayes, Bedour and Kafalı, Özgür and Stathis, Kostas (2016) RECON: A Robust multi-agent Environment for simulating COncurrent Negotiations. In: Recent advances in agent-based complex automated negotiation. Studies in Computational Intelligence . Springer, pp. 157-174. ISBN 9783319303055. (doi:https://doi.org/10.1007/978-3-319-30307-9_10) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Alsallakh, Bilal and Micallef, Luana and Aigner, Wolfgang and Hauser, Helwig and Miksch, Silvia and Rodgers, Peter (2016) The State-of-the-Art of Set Visualization. Computer Graphics Forum, 35 (1). pp. 234-260. ISSN 1467-8659. (doi:https://doi.org/10.1111/cgf.12722) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Aniceto, Natália and Freitas, Alex A. and Bender, Andreas and Ghafourian, Taravat (2016) Simultaneous prediction of four ATP-binding cassette transporters substrates using multi-label QSAR. Molecular Informatics, 35 (10). pp. 514-528. ISSN 1868-1751. (doi:https://doi.org/10.1002/minf.201600036) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Aniceto, Natália and Freitas, Alex A. and Bender, Andreas and Ghafourian, Taravat (2016) A novel applicability domain technique for mapping predictive reliability across the chemical space of a QSAR: reliability-density neighbourhood. Journal of Cheminformatics, 8 (1). p. 69. ISSN 1758-2946. (doi:https://doi.org/10.1186/s13321-016-0182-y) (Full text available)
[img]
Preview

Avoine, Gildas and Beaujeant, Antonin and Hernandez-Castro, Julio C. and Demay, Louis and Teuwen, Philippe (2016) A Survey of Security and Privacy Issues in ePassport Protocols. ACM Computing Surveys, 48 (3). pp. 1-37. ISSN 0360-0300. (doi:https://doi.org/10.1145/2825026) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Beukema, Steve and Gonzalez-Lara, Laura E. and Finoia, Paola and Kamau, Evelyn and Allanson, Judith and Chennu, Srivas and Gibson, Raechelle M. and Pickard, John D. and Owen, Adrian M. and Cruse, Damian (2016) A hierarchy of event-related potential markers of auditory processing in disorders of consciousness. NeuroImage: Clinical, 12 . pp. 359-371. ISSN 22131582. (doi:https://doi.org/10.1016/j.nicl.2016.08.003) (Full text available)
[img]
Preview

Bonetta, Daniele and Salucci, Luca and Marr, Stefan and Binder, Walter (2016) GEMs: Shared-memory Parallel Programming for Node.js. In: Proceedings of the 2016 ACM International Conference on Object Oriented Programming Systems Languages & Applications. (doi:https://doi.org/10.1145/2983990.2984039) (Full text available)
[img]
Preview

Brown, Neil C. C. and Kölling, Michael and Altadmri, Amjad (2016) Position Paper: Lack of Keyboard Support Cripples Block-Based Programming. In: Blocks and Beyond workshop 2015, 22/10/15, Atlanta, GA. (doi:https://doi.org/10.1109/BLOCKS.2015.7369003) (Full text available)
[img]
Preview

Chari, Guido and Garbervetsky, Diego and Marr, Stefan (2016) Building Efficient and Highly Run-time Adaptable Virtual Machines. In: Proceedings of the 12th Symposium on Dynamic Languages. (doi:https://doi.org/10.1145/2989225.2989234) (Full text available)
[img]
Preview

Chennu, S. and Noreika, V. and Gueorguiev, D. and Shtyrov, Y. and Bekinschtein, T. A. and Henson, R. (2016) Silent Expectations: Dynamic Causal Modeling of Cortical Prediction and Attention to Sounds That Weren't. Journal of Neuroscience, 36 (32). pp. 8305-8316. ISSN 0270-6474. E-ISSN 1529-2401. (doi:https://doi.org/10.1523/JNEUROSCI.1125-16.2016) (Full text available)
[img]
Preview

Chennu, Srivas and O’Connor, Stuart and Adapa, Ram and Menon, David K. and Bekinschtein, Tristan A. (2016) Brain Connectivity Dissociates Responsiveness from Drug Exposure during Propofol-Induced Transitions of Consciousness. PLoS Computational Biology, 12 (1). pp. 1-17. ISSN 1553-734X. E-ISSN 1553-7358. (doi:10.1371%2Fjournal.pcbi.1004669) (Full text available)
[img]
Preview

Chennu, Srivas and Stamatakis, Emmanuel A and Menon, David K (2016) The see-saw brain: recovering consciousness after brain injury. The Lancet Neurology, 15 (8). pp. 830-842. (doi:https://doi.org/10.1016/S1474-4422(16)30027-8) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Contrastin, Mistral and Danish, Matthew and Rice, Andrew C. and Orchard, Dominic A. (2016) Supporting Software Sustainability with Lightweight Specifications. In: 4th Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE4), 12-15 Sept 2016, Manchester, UK. (Full text available)
[img]
Preview

Cooke, Jennifer, Ann (2016) Interacting with consciousness: An investigation into the neural signatures of conscious processing using the global-local auditory task. Doctor of Philosophy (PhD) thesis, University of Kent,. (Full text available)
[img]
Preview

Cramer, Sam and Kampouridis, Michael and Freitas, Alex A. and Alexandridis, Antonis (2016) Predicting Rainfall in the Context of Rainfall Derivatives Using Genetic Programming. In: IEEE Computational Intelligence for Financial Engineering & Economics, Symposium Series on Computational Intelligence, 7-10 Dec 2015. (doi:https://doi.org/10.1109/SSCI.2015.108) (Full text available)
[img]
Preview

Cvetkovic, Bozidara and Janko, Vito and Romero, Alfonso E and Kafalı, Özgür and Stathis, Kostas and Lustrek, Mitja (2016) Activity recognition for diabetic patients using a smartphone. Journal of medical systems, 40 (12). p. 256. ISSN 0148-5598. (doi:https://doi.org/10.1007/s10916-016-0598-y) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Daloze, Benoit and Marr, Stefan and Bonetta, Daniele and Mössenböck, Hanspeter (2016) Efficient and Thread-Safe Objects for Dynamically-Typed Languages. In: 2016 ACM International Conference on Object Oriented Programming Systems Languages & Applications, November 02 - 04, 2016, Amsterdam, Netherlands. (doi:https://doi.org/10.1145/2983990.2984001) (Full text available)
[img]
Preview

De Koster, Joeri and Marr, Stefan and Van Cutsem, Tom and D'Hondt, Theo (2016) Domains: Sharing State in the Communicating Event-Loop Actor Model. Computer Languages, Systems & Structures, 45 . pp. 132-160. ISSN 1477-8424. (doi:https://doi.org/10.1016/j.cl.2016.01.003) (Full text available)
[img]
Preview

Garner, Tom and Jordanous, Anna (2016) Emergent Perception and Video Games that Listen: Applying Sonic Virtuality for Creative and Intelligent NPC Behaviours. In: 2nd Computational Creativity and Games Workshop, June 27 2016, Paris, France. (Full text available)
[img]
Preview

Gibson, R. M. and Chennu, S. and Fernandez-Espejo, D. and Naci, L. and Owen, A. M. and Cruse, D. (2016) Somatosensory attention identifies both overt and covert awareness in disorders of consciousness. Annals of Neurology, 80 (3). pp. 412-423. E-ISSN 1531-8249. (doi:https://doi.org/10.1002/ana.24726) (Full text available)
[img]
Preview

Jordanous, Anna (2016) Four PPPPerspectives on Computational Creativity in theory and in practice. Connection Science, 28 (2). pp. 194-216. ISSN 0954-0091. E-ISSN 1360-0494. (doi:https://doi.org/10.1080/09540091.2016.1151860) (Full text available)
[img]
Preview

Jordanous, Anna (2016) Has computational creativity successfully made it "Beyond the Fence" in musical theatre? In: 7th International Conference on Computational Creativity, 27 Jun - 1 Jul 2016, Paris, France. (Full text available)
[img]
Preview

Jordanous, Anna (2016) Language and Music. In: Jones, Rodney, ed. Routledge Handbook of Language and Creativity. Routledge. ISBN 9780415839730. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jordanous, Anna (2016) The longer term value of creativity judgements in computational creativity. In: AISB 2016 Symposium on Computational Creativity, 4th April, 2016, Sheffield, UK. (Full text available)
[img]
Preview

Jordanous, Anna and Keller, Bill (2016) Modelling Creativity: Identifying Key Components through a Corpus-Based Approach. PLoS ONE, 11 (10). pp. 1-27. ISSN 1932-6203. (doi:https://doi.org/10.1371/journal.pone.0162959) (Full text available)
[img]
Preview

Jungjit, Suwimol (2016) New Multi-Label Correlation-Based Feature Selection Methods for Multi-Label Classification and Application in Bioinformatics. Doctor of Philosophy (PhD) thesis, University of Kent,. (Full text available)
[img]
Preview

Kafalı, Özgür and Ajmeri, Nirav and Singh, Munindar P. (2016) Revani: Revising and Verifying Normative Specifications for Privacy. IEEE Intelligent Systems, 31 (5). pp. 8-15. ISSN 1541-1672. (doi:https://doi.org/10.1109/MIS.2016.89) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Kafalı, Özgür and Singh, Munindar P. and Williams, Laurie (2016) Nane: Identifying misuse cases using temporal norm enactments. In: 24th International Requirements Engineering Conference (RE), 12–16 September 2016, Beijing, China. (doi:https://doi.org/10.1109/RE.2016.34) (Full text available)
[img]
Preview

Kafalı, Özgür and Singh, Munindar P. and Williams, Laurie (2016) Toward a normative approach for forensicability: Extended Abstract. In: Symposium and Bootcamp on the Science of Security, April 19 - 21, 2016, Pittsburgh, Pennsylvania. (doi:https://doi.org/10.1145/2898375.2898386) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kim, Yong-Hyuk and Kattan, Ahmed and Kampouridis, Michael and Yoon, Yourim (2016) Discrete Dynamics in Evolutionary Computation and Its Applications. Discrete Dynamics in Nature and Society, 2016 . pp. 1-2. ISSN 1026-0226. (doi:https://doi.org/10.1155/2016/6043597) (Full text available)
[img]
Preview

Kotiadis, Kathy and Tako, Antuela (2016) A Facilitation Workshop for the Implementation Stage: A Case Study in health care. In: 8th Simulation Workshop, 11-13 April 2016, Ettington Chase Hotel, Stratford. (Full text available)
[img]
Preview

Kuttikat, Anoop and Noreika, Valdas and Shenker, Nicholas and Chennu, Srivas and Bekinschtein, Tristan and Brown, Christopher Andrew (2016) Neurocognitive and Neuroplastic Mechanisms of Novel Clinical Signs in CRPS. Frontiers in Human Neuroscience, 10 (16). pp. 1-13. E-ISSN 1662-5161. (doi:https://doi.org/10.3389/fnhum.2016.00016) (Full text available)
[img]
Preview

Lamela Seijas, Pablo and Thompson, Simon and Francisco, Miguel Ángel (2016) Identifying and introducing interfaces and callbacks using Wrangler. In: 28th Symposium on the Implementation and Application of Functional Programming Languages, 31 Aug - 02 Sep 2016, Leuven, Belgium. (doi:https://doi.org/10.1145/3064899.3064909) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Lange, Julien and Yoshida, Nobuko (2016) Characteristic formulae for session types. In: TACAS 2016, 2-8 April 2016, Eindhoven, The Netherlands. (doi:https://doi.org/10.1007/978-3-662-49674-9_52) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Li, Jingjie and McLoughlin, Ian Vince and Liu, Cong and Xue, Shaofei and Wei, Si (2016) Multi-task deep neural network acoustic models with model adaptation using discriminative speaker identity for whisper recognition. In: Acoustics, Speech and Signal Processing (ICASSP), 2015 IEEE International Conference, 19-24 April 2015, Brisbane, Australia. (doi:https://doi.org/10.1109/ICASSP.2015.7178916) (Full text available)
[img]
Preview

Li, Zheng-xi and Song, Yan and McLoughlin, Ian Vince and Dai, Li-Rong (2016) Compact Convolutional Neural Network Transfer Learning For Small-Scale Image Classification. In: IEEE Conference On Acoustics, Speech and Signal Processing (ICASSP) 2016, 20-25 March 2016, Shanghai, China. (doi:https://doi.org/10.1109/ICASSP.2016.7472175) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Liza, Farhana Ferdousi and Grzes, Marek (2016) An Improved Crowdsourcing Based Evaluation Technique for Word Embedding Methods. In: The First Workshop on Evaluating Vector Space Representations for NLP (RepEval at ACL), 7-12 August 2016, Berlin, Germany. (Full text available)
[img]
Preview

Ma, Jin and Song, Yan and McLoughlin, Ian Vince and Dai, Li-Rong and Ye, Zhong-Fu (2016) LID-senone Extraction via Deep Neural Networks for End-to-End Language Identification. In: Odyssey 2016, 21-24 June 2016, Bilbao, Spain. (Full text available)
[img]
Preview

Marr, Stefan and Daloze, Benoit and Mössenböck, Hanspeter (2016) Cross-Language Compiler Benchmarking---Are We Fast Yet? In: Proceedings of the 12th Symposium on Dynamic Languages. (doi:https://doi.org/10.1145/2989225.2989232) (Full text available)
[img]
Preview

Marr, Stefan and Jul, Eric, eds. (2016) Proceedings of the 11th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems. ICOOOLPS '16 . ACM ISBN 9781450348379. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McCall, Davin (2016) Novice Programmer Errors - Analysis and Diagnostics. Doctor of Philosophy (PhD) thesis, University of Kent,. (Full text available)
[img]
Preview

McLoughlin, Ian Vince (2016) Speech and Audio Processing: a MATLAB-based approach. Cambridge University Press, Cambridge, UK, 400 pp. ISBN 9781107085466. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Mouli, Surej and Palaniappan, Ramaswamy (2016) Radial Photic Stimulation for Maximal EEG Response for BCI Applications. In: 9th International Conference on Human System Interaction, 6-8 July 2016, Portsmouth, UK. (doi:https://doi.org/10.1109/HSI.2016.7529658) (Full text available)
[img]
Preview

Mycroft, Alan and Orchard, Dominic A. and Petricek, Tomas (2016) Effect Systems Revisited - Control-Flow Algebra and Semantics. Lecture Notes in Computer Science, . pp. 1-32. ISSN 0302-9743. (doi:https://doi.org/10.1007/978-3-319-27810-0_1) (Full text available)
[img]
Preview

Naccache, Lionel and Sitt, Jacobo and King, Jean-Rémi and Rohaut, Benjamin and Faugeras, Frédéric and Chennu, Srivas and Strauss, Mélanie and Valente, Mélanie and Engemann, Denis and Raimondo, Federico and Demertzi, Athena and Bekinschtein, Tristan and Dehaene, Stanislas (2016) Reply: Replicability and impact of statistics in the detection of neural responses of consciousness. Brain, . pp. 1-3. ISSN 0006-8950. E-ISSN 1460-2156. (doi:https://doi.org/10.1093/brain/aww060) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Orchard, Dominic and Yoshida, Nobuko (2016) Using session types as an effect system. In: Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 18 April 2015, London, UK. (doi:https://doi.org/10.4204/EPTCS.203.1) (Full text available)
[img]
Preview

Orozco, Ana Lucila Sandoval and Corripio, Jocelin Rosales and González, David Manuel Arenas and Villalba, Luis Javier García and Hernandez-Castro, Julio C. (2016) Theia: a tool for the forensic analysis of mobile devices pictures. Computing, 98 (12). pp. 1251-1286. ISSN 0010-485X. E-ISSN 1436-5057. (doi:https://doi.org/10.1007/s00607-015-0482-5) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Owens, Scott and Myreen, Magnus O. and Kumar, Ramana and Tan, Yong Kiam (2016) Functional Big-step Semantics. In: European Symposium on Programming (ESOP), 2-8 April, 2016, Eindhoven, The Netherlands. (doi:https://doi.org/10.1007/978-3-662-49498-1_23) (Full text available)
[img]
Preview

Panda, Rajanikant and Bharath, Rose Dawn and Upadhyay, Neeraj and Mangalore, Sandhya and Chennu, Srivas and Rao, Shobini L (2016) Temporal dynamics of the default mode network characterise meditation induced alterations in consciousness. Frontiers in Human Neuroscience, 10 (00372). pp. 1-12. ISSN 1662-5161. (doi:https://doi.org/10.3389/fnhum.2016.00372) (Full text available)
[img]
Preview

Perera, R. and Lange, Julien and Gay, S. (2016) Multiparty compatibility for concurrent objects. In: International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, Eindhoven, The Netherlands. (doi:https://doi.org/10.4204/EPTCS.211.8) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Petricek, Tomas and Guerra, Gustavo and Syme, Don (2016) Types from Data: Making Structured Data First-class Citizens in F#. In: 37th annual ACM SIGPLAN conference on Programming Language Design and Implementation, 13-17 Jun 2016, Santa Barbara, California, United States. (doi:https://doi.org/10.1145/2908080.2908115) (Full text available)
[img]
Preview

Pham, Thinh H and Fahmy, Suhaib A and McLoughlin, Ian Vince (2016) Spectrally efficient emission mask shaping for OFDM cognitive radios. Digital Signal Processing, 50 . pp. 150-161. ISSN 1051-2004. E-ISSN 1095-4333. (doi:https://doi.org/10.1016/j.dsp.2015.12.008) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]
Preview
[img]

Pham, Thinh Hung and Fahmy, Suhaib A and McLoughlin, Ian Vince (2016) Efficient Integer Frequency Offset Estimation Architecture for Enhanced OFDM Synchronization. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 24 (4). pp. 1412-1420. ISSN 1063-8210. (doi:https://doi.org/10.1109/TVLSI.2015.2453207) (Full text available)
[img]
Preview

Phan, Huy and Maass, Marco and Hertel, Lars and Mazur, Radoslaw and McLoughlin, Ian Vince and Merins, Alfred (2016) Learning Compact Structural Representations For Audio Events Using Regressor Banks. In: 2016 International Conference on Acoustics, Speech and Signal Processing, 20-25 March 2016, Shanghai, China. (doi:https://doi.org/10.1109/ICASSP.2016.7471667) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Price, Thomas W. and Brown, Neil C.C. and Lipovac, Dragan and Barnes, Tiffany and Kölling, Michael (2016) Evaluation of a Frame-based Programming Editor. In: ICER 2016. 2016 ACM Conference on International Computing Education Research, 8-12 September 2016, Melbourne. (doi:https://doi.org/10.1145/2960310.2960319) (Full text available)
[img]
Preview

Rizzi Raymundo, Caroline and Johnson, Colin G. and Fabris, Fabio and Vargas, Patricia A. (2016) A Situation-Aware Fear Learning (SAFEL) Model for Robots. Neurocomputing, 221 . pp. 32-47. ISSN 0925-2312. (doi:https://doi.org/10.1016/j.neucom.2016.09.035) (Full text available)
[img]
Preview

Rizzi, Caroline and Johnson, Colin G. and Vargas, Patricia A. (2016) Improving the predictive performance of SAFEL: A Situation-Aware FEar Learning model. In: 25th IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN) 2016, 26 August - 31 August 2016, New York, United States. (doi:https://doi.org/10.1109/ROMAN.2016.7745201) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]
Preview
[img]

Salucci, Luca and Bonetta, Daniele and Marr, Stefan and Binder, Walter (2016) Generic Messages: Capability-based Shared Memory Parallelism for Event-loop Systems. In: Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. (doi:https://doi.org/10.1145/2851141.2851184) (Full text available)
[img]
Preview

Shackleton, Mark B. and El-Moussa, Fadi and Rowlingson, Robert and Healing, Alex and Crowther, John and Daniel, Joshua and Dimitrakos, Theo and Sajjad, Ali (2016) Deploying Visual Analytics Through a Multi-cloud Service Store with Encrypted Big Data (Short Paper). In: 2016 OTM Confederated International Conferences: On the Move to Meaningful Internet Systems, 24-28 Oct 2016, Rhodes, Greece. (doi:https://doi.org/10.1007/978-3-319-48472-3_55) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Sharifzadeh, Hamid R and Ardekani, Iman T and McLoughlin, Ian Vince (2016) Comparative whisper vowel space for Singapore English and British English accents. In: 2015 Asia-Pacific Signal and Information Processing Association Annual Summit and Conference (APSIPA), 16-19 Dec 2015, Hong Kong. (doi:https://doi.org/10.1109/APSIPA.2015.7415516) (Full text available)
[img]
Preview

Sharifzadeh, Hamid Reza and HajiRassouliha, Amir and McLoughlin, Ian Vince and Ardekani, Imam (2016) Phonated Speech Reconstruction Using Twin Mapping Models. In: The 15th IEEE International Symposium on Signal Processing and Information Technology, 7-10 December 2015, Abu Dhabi. (doi:https://doi.org/10.1109/ISSPIT.2015.7394247) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Song, Yan and Cui, Ruilian and Hong, Xinhai and McLoughlin, Ian Vince and Shi, Jiong and Dai, Lirong (2016) Improved language identification using deep bottleneck network. In: Acoustics, Speech and Signal Processing (ICASSP), 2015 IEEE International Conference, 19-24 April 2015, Brisbane, Australia. (doi:https://doi.org/10.1109/ICASSP.2015.7178762) (Full text available)
[img]
Preview

Song, Yan and Cui, Ruilian and McLoughlin, Ian Vince and Dai, Li-Rong (2016) Improvements on Deep Bottleneck Network based I-Vector Representation for Spoken Language Identification. In: Odyssey 2016, 21-24 June 2016, Bilbao, Spain. (Full text available)
[img]
Preview

Tan, Yong Kiam and Myreen, Magnus O. and Kumar, Ramana and Fox, Anthony and Owens, Scott and Norrish, Michael (2016) A New Verified Compiler Backend for CakeML. In: International Conference on Functional Programming, Sep 2016, Nara, Japan. (doi:https://doi.org/10.1145/2951913.2951924) (Full text available)
[img]
Preview

Thompson, Simon and Horpacsi, Daniel and Koszegi, Judit (2016) Towards Trustworthy Refactoring in Erlang. In: Fourth International Workshop on Verification and Program Transformation, 2 April 2016, Eindhoven, The Netherlands. (doi:https://doi.org/10.4204/EPTCS.216.5) (Full text available)
[img]
Preview

Thompson, Simon and Lamela Seijas, Pablo and Adams, Darryl (2016) Scripting smart contracts for distributed ledger technology. Technical report. Cryptology ePrint Archive (Unpublished) (Full text available)
[img]
Preview

Vastardis, N. and Kampouridis, Michael and Yang, K. (2016) A user behaviour-driven smart-home gateway for energy management. Journal of Ambient Intelligence and Smart Environments, 8 (6). pp. 583-602. ISSN 1876-1364. E-ISSN 1876-1372. (doi:https://doi.org/10.3233/AIS-160403) (Full text available)
[img]
Preview

Wazan, Ahmad Samer and Laborde, Romain and Chadwick, David W. and Barrere, Francois and Benzekri, Abdelmalek (2016) How Can I Trust an X.509 Certificate? An Analysis of the Existing Trust Approaches. In: 2016 IEEE 41st Conference on Local Computer Networks (LCN). Institute of Electrical and Electronics Engineers pp. 531-534. ISBN 9781509020553. E-ISBN 9781509020546. (doi:https://doi.org/10.1109/LCN.2016.85) (Full text available)
[img]
Preview

Xie, Zhi-Peng and Du, Jun and McLoughlin, Ian Vince and Xu, Yong and Ma, Feng and Wang, Haikun (2016) Deep Neural Network for Robust Speech Recognition With Auxiliary Features From Laser-Doppler Vibrometer Sensor. In: The 10th International Symposium on Chinese Spoken Language Processing, 17-20 Oct 2016, Tianjin, China. (doi:https://doi.org/10.1109/ISCSLP.2016.7918400) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img] [img]
Preview

Xie, Zhi-Peng and McLoughlin, Ian Vince and Zhang, Hao-min and Song, Yan and Xiao, Wei (2016) A new variance-based approach for discriminative feature extraction in machine hearing classification using spectrogram features. Digital Signal Processing, . ISSN 1051-2004. (doi:https://doi.org/10.1016/j.dsp.2016.04.005) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]
Preview
[img]

Yuvaraj, Rajamanickam and Murugappan, Murugappan and Palaniappan, Ramaswamy (2016) The Effect of Lateralization of Motor Onset and Emotional Recognition in PD Patients Using EEG. Brain Topography, . pp. 1-10. ISSN 0896-0267. E-ISSN 1573-6792. (doi:https://doi.org/10.1007/s10548-016-0524-0) (Full text available)
[img]
Preview

Zhang, Hao-min and McLoughlin, Ian Vince and Song, Yan (2016) Robust Sound Event Detection in Continuous Audio Environments. In: Interspeech 2016, 8-12 Sept 2016, San Fransisco, USA. (doi:https://doi.org/10.21437/Interspeech.2016-392) (Full text available)
[img]
Preview

Zhang, Haomin and McLoughlin, Ian Vince and Song, Yan (2016) Robust sound event recognition using convolutional neural networks. In: Acoustics, Speech and Signal Processing (ICASSP), 2015 IEEE International Conference, 19-24 April 2015, Brisbane, Australia. (doi:https://doi.org/10.1109/ICASSP.2015.7178031) (Full text available)
[img]
Preview

Zhao, Liming and Pérez-Delgado, Carlos A and Fitzsimons, Joseph F (2016) Fast graph operations in quantum computation. Physical Review A, 93 (3). 032314. (doi:https://doi.org/10.1103/PhysRevA.93.032314) (Full text available)
[img]
Preview

Zoumpoulaki, Alexia (2016) Detecting Perceptual Breakthrough in RSVP with Applications in Deception Detection Methodological, Behavioural and Electrophysiological Explorations. Doctor of Philosophy (PhD) thesis, University of Kent, EPSRC. (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

de Lemos, Rogério (2016) Foreword. In: Mistrik, Ivan and Ali, Nour and Kazman, Rick and Grundy, John and Schmerl, Bradley, eds. Managing Trade-offs in Adaptable Software Architectures. Morgan Kaufmann, Cambridge, MA, USA, xxix-xxx. ISBN 9780128028551. (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

de Lemos, Rogério and Potena, Pasqualina (2016) Identifying and Handling Uncertainties in the Feedback Control Loop. In: Mistrik, Ivan and Ali, Nour and Kazman, Rick and Grundy, John and Schmerl, Bradley, eds. Managing Trade-offs in Adaptable Software Architectures. Morgan Kaufmann, Cambridge, MA, USA, pp. 353-367. E-ISBN 9780128028551. (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

2015

Allington, Daniel and Dueck, Byron and Jordanous, Anna (2015) Networks of Value in Electronic Music : SoundCloud, London, and the Importance of Place. Cultural Trends, 24 (3). pp. 211-222. ISSN 0954-8963. E-ISSN 1469-3690. (doi:https://doi.org/10.1080/09548963.2015.1066073) (Full text available)
[img]
Preview

Allington, Daniel and Jordanous, Anna and Dueck, Byron (2015) Music, value, and networks in the digital world. http://valuingelectronicmusic.org (Full text available)
[img]
Preview

Alsufyani, Abdulmajeed (2015) Detecting Salient Information Using RSVP and the P3: Computational and EEG Explorations. Doctor of Philosophy (PhD) thesis, University of Kent,. (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Anderson, Tom and Arief, Budi and Basit, Tehmina and Borup, Rosie and Rutherford, Louise (2015) How To Succeed in Cyberspace. In: 8th Annual International Conference of Education, Research and Innovation (ICERI), NOV 16-20, 2015, Seville, Spain. (doi:WOS:000377304006024) (Full text available)
[img]
Preview

Anggadjaja, Erwin and McLoughlin, Ian Vince and Lau, Chiew Tong (2015) Cross-layer TCP/IP segmentation, re-routing and adaptive modulation techniques to exploit instantaneous BER variations on parallel subchannels. Australian Journal of Electrical and Electronics Engineering, . pp. 1-13. ISSN 1448-837X. E-ISSN 2205-362X. (doi:https://doi.org/10.1080/1448837X.2015.1093677) (Full text available)
[img]

Arapinis, Myrto and Cheval, Vincent and Delaune, Stéphanie (2015) Composing security protocols: from confidentiality to privacy. In: 4th International Conference on Principles of Security and Trust (POST'15), April 2015, London, UK. (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img] [img]

Arief, Budi and Bin Adzmi, Mohd Azeem (2015) Understanding Cybercrime from Its Stakeholders’ Perspectives: Part 2 - Defenders and Victims. IEEE Security & Privacy, 13 (2). pp. 84-88. ISSN 1540-7993. (doi:https://doi.org/10.1109/MSP.2015.44) (Full text available)
[img]
Preview

Arief, Budi and Bin Adzmi, Mohd Azeem and Gross, Thomas (2015) Understanding Cybercrime from Its Stakeholders’ Perspectives: Part 1 - Attackers. IEEE Security & Privacy, 13 (1). pp. 71-76. ISSN 1540-7993. (doi:https://doi.org/10.1109/MSP.2015.19) (Full text available)
[img]
Preview

Barnes, David J. and Chu, Dominique (2015) Guide to Simulation and Modeling for Biosciences. Simulation Foundations, Methods and Applications . Springer, 339 pp. ISBN 978-1-4471-6761-7. E-ISBN 978-1-4471-6762-4. (doi:https://doi.org/10.1007/978-1-4471-6762-4) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bekhet, Saddam and Ahmed, Amr and Altadmri, Amjad and Hunter, Andrew (2015) Compressed video matching: Frame-to-frame revisited. Multimedia Tools and Applications, . pp. 1-16. ISSN 1380-7501. E-ISSN 1573-7721. (doi:https://doi.org/10.1007/s11042-015-2887-8) (Full text available)
[img]
Preview

Bello Orgaz, Gema and Hernandez-Castro, Julio C. and Camacho, David (2015) A Survey of Social Web Mining Applications for Disease Outbreak Detection. In: UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Berry, Michael (2015) The Design and Implementation of a Notional Machine for teaching Introductory Programming. Doctor of Philosophy (PhD) thesis, University of Kent. (Full text available)
[img]
Preview

Bocchi, L. and Lange, Julien and Yoshida, N. (2015) Meeting deadlines together. In: 26th International Conference on Concurrency Theory (CONCUR 2015), Dagstuhl, Germany. (doi:https://doi.org/10.4230/LIPIcs.CONCUR.2015.283) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bocchi, Laura and Tuosto, Emilio (2015) Attribute-based transactions in service oriented computing. Mathematical Structures in Computer Science, 25 (3). pp. 619-665. ISSN 0960-1295. (doi:https://doi.org/10.1017/S0960129512000904) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bocchi, Laura and Yoshida, Nobuko and Lange, Julien (2015) Meeting Deadlines Together. In: International Conference on Concurrency Theory (CONCUR). (doi:https://doi.org/10.4230/LIPIcs.CONCUR.2015.283) (Full text available)
[img]

Boiten, Eerke Albert (2015) Google’s lip service to privacy cannot conceal that its profits rely on your data. . The Conversation Internet only. (Full text available)
[img]

Boiten, Eerke Albert (2015) NHS care.data still leaks like a sinking ship, but ministers set sail regardless. . The Conversation Internet only. (Full text available)
[img]

Boiten, Eerke Albert (2015) Patients will resist medical record sharing if NHS bosses ignore their privacy fears. . The Conversation Internet only. (Full text available)
[img]

Boiten, Eerke Albert (2015) Privacy watchdog takes first step against those undermining right to be forgotten. . The Conversation Internet only. (Full text available)
[img]

Boiten, Eerke Albert (2015) We are right to fear spy ‘database of everything’ if even politicians know little about it. . The Conversation Internet only. (Full text available)
[img]

Camara, Javier and Correia, Pedro and de Lemos, Rogerio and Garlan, David and Gomes, Pedro and Schmerl, Bradley and Ventura, Rafael (2015) Incorporating Architecture-Based Self-Adaptation into an Adaptive Industrial Software System. Journal of Systems and Software, . ISSN 0164-1212. (doi:https://doi.org/10.1016/j.jss.2015.09.021) (Full text available)
[img]
Preview

Canales-Johnson, Andrés and Silva, Carolina and Huepe, David and Rivera-Rei, Álvaro and Noreika, Valdas and Garcia, María del Carmen and Silva, Walter and Ciraolo, Carlos and Vaucheret, Esteban and Sedeño, Lucas and Couto, Blas and Kargieman, Lucila and Baglivo, Fabricio and Sigman, Mariano and Chennu, Srivas and Ibáñez, Agustín and Rodríguez, Eugenio and Bekinschtein, Tristan A. (2015) Auditory Feedback Differentially Modulates Behavioral and Neural Markers of Objective and Subjective Performance When Tapping to Your Heartbeat. Cerebral Cortex, 25 (11). pp. 4490-4503. ISSN 1047-3211. E-ISSN 1460-2199. (doi:https://doi.org/10.1093/cercor/bhv076) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Chen, Huankai and Wang, Frank Z. (2015) Spark on Entropy: A Reliable & Efficient Scheduler for Low-latency Parallel Jobs in Heterogeneous Cloud. In: IEEE International Workshop on Cloud-based Networks and Applications (CloudNA), 26 - 29 Oct 2015, Florida, USA. (doi:https://doi.org/10.1109/LCNW.2015.7365918) (Full text available)
[img]

Cheval, Vincent and Cortier, Véronique (2015) Timing attacks: symbolic framework and proof techniques. In: 4th International Conference on Principles of Security and Trust (POST'15), April 2015, London, UK. (doi:https://doi.org/10.1007/978-3-662-46666-7_15) (Full text available)
[img]
Preview
[img]
Preview

Chu, Dominique and Barnes, David J. (2015) Evolving strategies for single-celled organisms in multi-nutrient environments. In: European Conference on Artificial Life 2015, 2015, York, UK. (doi:https://doi.org/10.7551/978-0-262-33027-5-ch046) (Full text available)
[img]
Preview

Contrastin, Mistral and Rice, Andrew and Danish, Matthew and Orchard, Dominic A. (2015) Units-of-Measure Correctness in Fortran Programs. Computing in Science & Engineering, 18 (1). pp. 102-107. ISSN 1521-9615. (doi:https://doi.org/10.1109/MCSE.2016.17) (Full text available)
[img]
Preview

Corneli, Joseph and Jordanous, Anna and Shepperd, Rosie and Llano, Maria Teresa and Misztal, Joanna and Colton, Simon and Guckelsberger, Christian (2015) Computational Poetry Workshop: Making Sense of Work in Progress. In: 6th International Conference on Computational Creativity, June 29 - July 2, 2015, Utah, US. (Full text available)
[img]
Preview

Damsgaard Jensen, Christian and Marsh, Stephen and Dimitrakos, Theo and Murayama, Yuko, eds. (2015) Trust Management IX: 9th IFIP WG 11.11 International Conference, IFIPTM 2015, Hamburg, Germany, May 26-28, 2015, Proceedings. IFIP Advances in Information and Communication Technology, 454 . Springer ISBN 9783319184906. E-ISBN 9783319184913. (doi:https://doi.org/10.1007/978-3-319-18491-3) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Daniel, Joshua and Dimitrakos, Theo and El-Moussa, Fadi and Ducatel, Gery and Pawar, Pramod and Sajjad, Ali (2015) Seamless Enablement of Intelligent Protection for Enterprise Cloud Applications through Service Store. In: 2014 IEEE 6th International Conference on Cloud Computing Technology and Science. pp. 1021-1026. ISBN 9781479940929. E-ISBN 9781479940936. (doi:https://doi.org/10.1109/CloudCom.2014.92) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Daniel, Joshua and El-Moussa, Fadi and Ducatel, Gery and Pawar, Pramod and Sajjad, Ali and Rowlingson, Robert and Dimitrakos, Theo (2015) Integrating Security Services in Cloud Service Stores. In: Trust Management IX. IFIP Advances in Information and Communication Technology, 454 . Springer International Publishing, pp. 226-239. (Full text available)
[img]
Preview

De Wael, Mattias and Marr, Stefan and De Fraine, Bruno and Van Cutsem, Tom and De Meuter, Wolfgang (2015) Partitioned Global Address Space Languages. ACM Computing Surveys, 47 (4). 62:1-62:27. ISSN 0360-0300. (doi:https://doi.org/10.1145/2716320) (Full text available)
[img]
Preview

Dimitrakos, Theo (2015) Foreword: Towards Trusted Cloud Ecosystems. In: Trust Management IX. IFIP Advances in Information and Communication Technology (IFIPAICT), 454. Springer pp. 215-216. ISBN 9783319184906. E-ISBN 9783319184913. (doi:https://doi.org/10.1007/978-3-319-18491-3_17) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Fabris, Fabio and Freitas, Alex A. and Tullet, Jennifer M.A. (2015) An Extensive Empirical Comparison of Probabilistic Hierarchical Classifiers in Datasets of Ageing-Related Genes. IEEE/ACM Transactions on Computational Biology and Bioinformatics, 13 (6). pp. 1045-1058. ISSN 1545-5963. E-ISSN 1557-9964. (doi:https://doi.org/10.1109/TCBB.2015.2505288) (Full text available)
[img]
Preview

Gonzalez-Gadea, Maria Luz and Chennu, Srivas and Bekinschtein, Tristan A. and Rattazzi, Alexia and Beraudi, Ana and Tripicchio, Paula and Moyano, Beatriz and Soffita, Yamila and Steinberg, Laura and Adolfi, Federico and Sigman, Mariano and Marino, Julian and Manes, Facundo and Ibanez, Agustin (2015) Predictive coding in autism spectrum disorder and attention deficit hyperactivity disorder. Journal of Neurophysiology, 114 (5). pp. 2625-2636. ISSN 0022-3077. E-ISSN 1522-1598. (doi:https://doi.org/10.1152/jn.00543.2015) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Gootjes-Dreesbach, Ellis Luise (2015) Awareness & Perception in Rapid Serial Visual Presentation. Doctor of Philosophy (PhD) thesis, University of Kent,. (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Gouvas, Panagiotis and Kalaboukas, Konstantinos and Ledakis, Giannis and Dimitrakos, Theo and Daniel, Joshua and Ducatel, Gery and Rodriguez Dominguez, Nuria (2015) A Cloud Orchestrator for Deploying Public Services on the Cloud – The Case of STRATEGIC Project. In: Trust Management IX. IFIP Advances in Information and Communication Technology (IFIPAICT), 454 (454). Springer pp. 217-225. ISBN 9783319184906. E-ISBN 9783319184913. (doi:https://doi.org/10.1007/978-3-319-18491-3_18) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hajdusek, Michal and Pérez-Delgado, Carlos A and Fitzsimons, Joseph F (2015) Device-independent verifiable blind quantum computation. arXiv preprint arXiv:1502.02563, . (Unpublished) (Full text available)
[img]

Hernandez-Castro, Julio C. and Boiten, Eerke Albert (2015) UK has little to be proud of as survey reveals sorry state of European cybersecurity. . The Conversation Internet only. (Full text available)
[img]

Hopkins, Jack and Kafalı, Özgür and Stathis, Kostas (2015) Open Game Tournaments in STARLITE: Demonstration. In: 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), May 04 - 08, 2015, Istanbul, Turkey. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Idachaba, Unekwu Solomon (2015) A Bio-Inspired Cache Management Policy for Cloud Computing Environments using the Artificial Bee Colony Algorithm. Doctor of Philosophy (PhD) thesis, University of Kent,. (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Jordanous, Anna (2015) Four PPPPerspectives on Computational Creativity. In: AISB 2015 Symposium on Computational Creativity, 20-22nd May, 2015, Canterbury, Kent, UK. (Full text available)
[img]
Preview

Jordanous, Anna (2015) Review: Hacking choreography: dance and live coding: [Sicchio K. Computer Music Journal 38 (1): 31-39, 2014. ]. Review of: Hacking choreography: dance and live coding Sicchio K. Computer Music Journal 38 (1): 31-39, 2014. Type: Article by UNSPECIFIED. ACM Computing Reviews, . p. 1. (doi:CR143411) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jordanous, Anna (2015) Review: What makes you clever : the puzzle of intelligence. Review of: What makes you clever : the puzzle of intelligence (Partridge, 2014, World Scientific Publishing Co, Inc.) by UNSPECIFIED. ACM Computing Reviews, . CR143090. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kafalı, Özgür and Pınar, Yolum (2015) Pisagor: A proactive software agent for monitoring interactions. Knowledge and Information Systems, 47 (1). pp. 215-239. ISSN 0219-1377. (doi:https://doi.org/10.1007/s10115-015-0848-1) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kafalı, Özgür and Schaechtle, Ulrich and Stathis, Kostas (2015) HYDRA: A HYbrid Diagnosis and monitoRing Architecture for diabetes. In: 16th IEEE International Conference on E-health Networking, Application & Services (Healthcom), 15-18 October 2014, Natal, Brazil. (doi:https://doi.org/10.1109/HealthCom.2014.7001898) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kirschner, Aaron and Cruse, Damian and Chennu, Srivas and Owen, Adrian M. and Hampshire, Adam (2015) A P300-based cognitive assessment battery. Brain and Behavior, 5 (6). pp. 1-14. ISSN 2162-3279. E-ISSN 2157-9032. (doi:https://doi.org/10.1002/brb3.336) (Full text available)
[img]
Preview

Lange, Julien and Tuosto, E. and Yoshida, N. (2015) From Communicating Machines to Graphical Choreographies. In: 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 15), 15 - 17 January 2015, Mumbai, INDIA. (doi:https://doi.org/10.1145/2676726.2676964) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Li, Huiqing and Thompson, Simon (2015) Safe Concurrency Introduction through Slicing. In: Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation - PEPM '15. ACM SIGPLAN pp. 103-113. ISBN 978-1-4503-3297-2. (doi:https://doi.org/10.1145/2678015.2682533) (Full text available)
[img]

Lustrek, Mitja and Cvetkovic, Bozidara and Mirchevska, Violeta and Kafalı, Özgür and Romero, Alfonso E. and Stathis, Kostas (2015) Recognising lifestyle activities of diabetic patients with a smartphone. In: 9th International Conference on Pervasive Computing Technologies for Healthcare (PervasiveHealth), May 20 - 23, 2015, Istanbul, Turkey. (doi:https://doi.org/10.4108/icst.pervasivehealth.2015.259118) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Marr, Stefan and Ducasse, Stéphane (2015) Tracing vs. Partial Evaluation: Comparing Meta-Compilation Approaches for Self-Optimizing Interpreters. In: 2015 ACM International Conference on Object Oriented Programming Systems Languages & Applications, October 25 - 30, 2015, Pittsburgh, USA. (doi:https://doi.org/10.1145/2814270.2814275) (Full text available)
[img]
Preview

Marr, Stefan and Seaton, Chris and Ducasse, Stéphane (2015) Zero-Overhead Metaprogramming: Reflection and Metaobject Protocols Fast and without Compromises. In: 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, June 13 - 17, 2015, Portland, Oregon, USA. (doi:https://doi.org/10.1145/2737924.2737963) (Full text available)
[img]
Preview

Matsuda, Kazutaka and Wang, Meng (2015) Applicative Bidirectional Programming with Lenses. In: ACM SIGPLAN International Conference on Functional Programming, 31 August – 2 September, 2015, Vancouver, British Columbia, Canada. (Full text available)
[img]
Preview

McGough, Andrew Stephen and Arief, Budi and Gamble, Carl and Wall, David and Brennan, John and Fitzgerald, John and van Moorsel, Aad and Alwis, Sujeewa and Theodoropoulos, Georgios and Ruck-Keene, Ed (2015) Detecting Insider Threats Using Ben-ware: Beneficial Intelligent Software for Identifying Anomalous Human Behaviour. Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications, 6 (4). pp. 3-46. ISSN 2093-5374. E-ISSN 2093-5382. (Full text available)
[img]
Preview

McGough, Andrew Stephen and Wall, David and Brennan, John and Theodoropoulos, Georgios and Ruck-Keene, Ed and Arief, Budi and Gamble, Carl and Fitzgerald, John and van Moorsel, Aad and Alwis, Sujeewa (2015) Insider Threats: Identifying Anomalous Human Behaviour in Heterogeneous Systems Using Beneficial Intelligent Software (Ben-ware). In: Proceedings of the 7th ACM CCS (Computer and Communications Security) International Workshop on Managing Insider Security Threats (MIST’15), 12-16 October 2015, Denver, Colorado, USA. (doi:https://doi.org/10.1145/2808783.2808785) (Full text available)
[img]
Preview

McLoughlin, Ian Vince and Sharifzadeh, Hamid Reza and Tan, Su Lim and Li, Jingjie and Song, Yan (2015) Reconstruction of Phonated Speech from Whispers Using Formant-Derived Plausible Pitch Modulation. ACM Transactions on Accessible Computing, 6 (4). pp. 1-21. (doi:https://doi.org/10.1145/2737724) (Full text available)
[img]
Preview

McLoughlin, Ian Vince and Song, Yan (2015) Low Frequency Ultrasonic Voice Activity Detection using Convolutional Neural Networks. In: Interspeech 2015, September 2015, Dresden. (Unpublished) (Full text available)
[img]
Preview

McLoughlin, Ian Vince and Zhang, Hao-min and Xie, Zhi-Peng and Song, Yan and Xiao, Wei (2015) Robust Sound Event Classification using Deep Neural Networks. Audio, Speech, and Language Processing, IEEE/ACM Transactions on, 23 (3). pp. 540-552. ISSN 2329-9290. (doi:https://doi.org/10.1109/TASLP.2015.2389618) (Full text available)
[img]
Preview

Modi, Bala (2015) FPGA-based High Throughput Regular Expression Pattern Matching for Network Intrusion Detection Systems. Doctor of Philosophy (PhD) thesis, University of Kent,. (Full text available)
[img]
Preview

Mole, Matthew Robert (2015) A study of thread-local garbage collection for multi-core systems. Doctor of Philosophy (PhD) thesis, University of Kent,. (Full text available)
[img]
Preview

Mouli, Surej and Palaniappan, Ramaswamy and Sillitoe, Ian P. and Gan, John Q. (2015) Quantification of SSVEP responses using multi-chromatic LED stimuli: Analysis on colour, orientation and frequency. In: 2015 7th Computer Science and Electronic Engineering Conference (CEEC). pp. 93-98. (doi:https://doi.org/10.1109/CEEC.2015.7332706) (Full text available)
[img]
Preview

Naccache, Lionel and King, Jean-Rémi and Sitt, Jacobo and Engemann, Denis and El Karoui, Imen and Rohaut, Benjamin and Faugeras, Frédéric and Chennu, Srivas and Strauss, Mélanie and Bekinschtein, Tristan and Dehaene, Stanislas (2015) Neural detection of complex sound sequences or of statistical regularities in the absence of consciousness? Brain, 10.109 . pp. 1-3. ISSN 0006-8950. E-ISSN 1460-2156. (doi:https://doi.org/10.1093/brain/awv190) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Newby, D. and Freitas, Alex A. and Ghafourian, Taravat (2015) Comparing Multi-Label Classification Methods for Provisional Biopharmaceutics Class Prediction. Molecular Pharmaceutics, 12 (1). pp. 87-102. ISSN 1543-8384. E-ISSN 1543-8392. (Full text available)
[img]
Preview

Petricek, Tomas (2015) Against a Universal Definition of 'Type'. In: 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!), October 25 - 30, 2015, Pittsburgh, PA, USA. (doi:https://doi.org/10.1145/2814228.2814249) (Full text available)
[img]
Preview

Phon-Amnuaisuk, Somnuk and Palaniappan, Ramaswamy (2015) Exploring Swarm-Based Visual Effects. Intelligent and Evolutionary Systems, Series Proceedings in Adaptation, Learning and Optimization, 5 . pp. 333-341. ISSN 2363-6084. (doi:https://doi.org/10.1007/978-3-319-27000-5_27) (Full text available)
[img]
Preview

Pérez-Delgado, Carlos A and Fitzsimons, Joseph F (2015) Iterated gate teleportation and blind quantum computation. Physical Review Letters: Moving Physics Forward, 114 (22). p. 220502. ISSN 0031-9007. E-ISSN 1079-7114. (doi:https://doi.org/10.1103/PhysRevLett.114.220502) (Full text available)
[img]
Preview

Rizzi Raymundo, C. and Johnson, C. G. and Vargas, P. A. (2015) An Architecture for Emotional and Context-Aware Associative Learning for Robot Companions. In: 2015 24th IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN), 31 Aug - 04 Sep 2015, Kobe, Japan. (doi:https://doi.org/10.1109/ROMAN.2015.7333699) (Full text available)
[img]
Preview

Rowe, Reuben (2015) Encoding the Factorisation Calculus. In: EXPRESS/SOS 2015, 31 Aug 2015, Madrid, Spain. (doi:https://doi.org/10.4204/EPTCS.190.6) (Full text available)
[img]
Preview

Sandoval Orozco, Ana Lucila and Corripio, Jocelin Rosales and García Villalba, Luis Javier and Hernandez-Castro, Julio C. (2015) Image source acquisition identification of mobile devices based on the use of features. Multimedia Tools and Applications, 75 (12). pp. 7087-7111. ISSN 1380-7501. E-ISSN 1573-7721. (doi:https://doi.org/10.1007/s11042-015-2633-2) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Sandoval Orozco, Ana Lucila and Garcia Villalba, Luis Javier and Arenas Gonzalez, David Manuel and Rosales Corripio, Jocelin and Hernandez-Castro, Julio C. and Gibson, Stuart James (2015) Smartphone image acquisition forensics using sensor fingerprint. Institute of Engineering and Technology, Computer Vision,, 9 (5). pp. 723-731. ISSN 1751-9632. E-ISSN 1751-9640. (doi:https://doi.org/10.1049/iet-cvi.2014.0243) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Shirazibeheshti, Amirali (2015) The effect of sedation on conscious processing: Computational analysis of the EEG response to auditory irregularity. Doctor of Science (DSc) thesis, University of Kent,. (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Simon, .. and Clear, Alison and Carter, Janet and Cross, Gerry and Radenski, Atanas and Tudor, Liviana and Tonnisson, Eno (2015) What's in a Name?: International Interpretations of Computing Education Terminology. ITICSE-WGR '15 Proceedings of the 2015 ITiCSE on Working Group Reports, . pp. 173-186. ISSN 9781450341462. (doi:https://doi.org/10.1145/2858796.2858803) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Song, Yan and Hong, Xinhai and Jiang, Bing and Cui, Ruilian and McLoughlin, Ian Vince and Dai, Lirong (2015) Deep Bottleneck Network based i-vector representation for Language Identification. In: Interspeech 2015, September 2015, Dresden. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Song, Yan and McLoughlin, Ian Vince and Dai, Li-Rong (2015) Deep Bottleneck Feature for Image Classification. In: ACM International Conference on Multimedia Information Retrieval (ICMR), June 2015, Shanghai. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Song, Yan and McLoughlin, Ian Vince and Dai, Lirong (2015) Deep Bottleneck Feature for Image Classification. In: Proceedings of the 5th ACM on International Conference on Multimedia Retrieval, 23-26 June 2016, Shanghai, China. (doi:https://doi.org/10.1145/2671188.2749314) (Full text available)
[img]
Preview

Tako, Antuela and Kotiadis, Kathy (2015) PartiSim: A multi-methodology framework to support facilitated simulation modelling in healthcare. European Journal of Operational Research, 244 (2). pp. 555-564. ISSN 0377-2217. (doi:https://doi.org/10.1016/j.ejor.2015.01.046) (Full text available)
[img] [img]
Preview

Vandercammen, Maarten and Nicolay, Jens and Marr, Stefan and De Koster, Joeri and D'Hondt, Theo and De Roover, Coen (2015) A Formal Foundation for Trace-Based JIT Compilers. In: Proceedings of the 13th International Workshop on Dynamic Analysis. (doi:https://doi.org/10.1145/2823363.2823369) (Full text available)
[img]
Preview

Vu, Quang and Colombo, Maurizio and Asal, Rasool and Sajjad, Ali and El-Moussa, Fadi Ali and Dimitrakos, Theo (2015) Secure Cloud Storage: A Framework for Data Protection as a Service in the Multi-cloud Environment. In: IEEE Conference on Communications and Network Security (CNS), 28-30 September, 2015, Florence, Italy. (doi:https://doi.org/10.1109/CNS.2015.7346879) (Full text available)
[img]
Preview

Wan, Cen (2015) Novel Hierarchical Feature Selection Methods for Classification and Their Application to Datasets of Ageing-Related Genes. Doctor of Philosophy (PhD) thesis, University of Kent. (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Wyble, Brad and Bowman, Howard and Nieuwenstein, Mark (2015) Comment: On the interplay between working memory consolidation and attentional selection in controlling conscious access: parallel processing at a cost—a comment on ‘The interplay of attention and consciousness in visual search, attentional blink and working memory consolidation’. Philosophical Transactions of the Royal Society B: Biological Sciences, 370 (1661). p. 1471. ISSN 0962-8436. (Full text available)
[img]
Preview

Xu, Yan and McLoughlin, Ian Vince and Song, Yan and Wu, Kui (2015) Improved i-vector representation for speaker diarization. Circuits, Systems, and Signal Processing, . pp. 1-12. ISSN 0278-081X. E-ISSN 1531-5878. (doi:https://doi.org/10.1007/s00034-015-0206-2) (Full text available)
[img]
Preview

Zhang, Lingwei and Deng, Yuhui and Zhu, Weiheng and Zhou, Jipeng and Wang, Frank Z. (2015) Skewly replicating hot data to construct a power-efficient storage cluster. Journal of Network and Computer Applications (IF=2.762, ranked A at ERA), 50 . pp. 168-179. (doi:https://doi.org/10.1016/j.jnca.2014.06.005) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Zoumpoulaki, Alexia and Alsufyani, Abdulmajeed and Bowman, Howard (2015) Resampling the peak, some dos and don'ts. Psychophysiology, 52 (3). pp. 444-448. ISSN 0048-5772. (Full text available)
[img]
Preview

Zoumpoulaki, Alexia and Alsufyani, Abdulmajeed and Filetti, Marco and Brammer, Mick and Bowman, Howard (2015) Latency as a Region Contrast: Measuring ERP Latency Differences with Dynamic Time Warping. Psychophysiology, . pp. 1-46. ISSN 0048-5772. (Full text available)
[img]
Preview

2014

Aaron, Samuel and Orchard, Dominic A. and Blackwell, Alan F. (2014) Temporal semantics for a live coding language. In: 2nd ACM SIGPLAN International workshop on Functional art, music, modeling & design, 1-3 Sep 2014, Gothenburg, Sweden. (doi:https://doi.org/10.1145/2633638.2633648) (Full text available)
[img]
Preview

Alrayes, Bedour and Kafalı, Özgür and Stathis, Kostas (2014) CONAN: A heuristic strategy for Concurrent Negotiating Agents: Extended Abstract. In: 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), May 05 - 09, 2014, Paris, France. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Altadmri, Amjad and Ahmed, Amr (2014) A framework for automatic semantic video annotation: Utilizing similarity and commonsense knowledge bases. Multimedia Tools and Applications, 72 (2). pp. 1167-1191. ISSN 1380-7501. E-ISSN 1573-7721. (doi:https://doi.org/10.1007/s11042-013-1363-6) (Full text available)
[img]
Preview

Aluko, B. and Smonou, D. and Kampouridis, Michael and Tsang, E. (2014) Combining different meta-heuristics to improve the predictability of a financial forecasting algorithm. In: IEEE Computational Intelligence for Financial Engineering & Economics (CIFEr). (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Arief, Budi and Coopamootoo, Kovila P.L. and Emms, Martin and van Moorsel, Aad (2014) Sensible Privacy: How We Can Protect Domestic Violence Survivors Without Facilitating Misuse. In: 13th Workshop on Privacy in the Electronic Society, November 03 - 03, 2014, Scottsdale, Arizona, USA. (doi:https://doi.org/10.1145/2665943.2665965) (Full text available)
[img]
Preview

Bailey, Christopher and Chadwick, David W. and de Lemos, Rogerio (2014) Self-adaptive federated authorization infrastructures. Journal of Computer and System Sciences, 80 (5). pp. 935-952. ISSN 0022-0000. (doi:https://doi.org/10.1016/j.jcss.2014.02.003) (Full text available)
[img]
Preview

Bailey, Christopher and Montrieux, Lionel and de Lemos, Rogerio and Yu, Yijun and Wermelinger, Michel (2014) Run-time Generation, Transformation, and Verification of Access Control Models for Self-protection. In: Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. (Full text available)
[img]
Preview

Barnes, David J. (2014) pgn-extract: A Portable Game Notation (PGN) Manipulator for Chess Games. University of Kent Web download. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bartoletti, M. and Lange, Julien and Scalas, A. and Zunino, R. (2014) Choreographies in the wild. Science of Computer Programming, 109 . pp. 36-60. ISSN 0167-6423. (doi:https://doi.org/10.1016/j.scico.2014.11.015) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Berry, Michael and Kölling, Michael (2014) The State Of Play: A Notional Machine for Learning Programming. In: The 19th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE 2014), June 2014, Uppsala, Sweden. (Full text available)
[img]
Preview

Bocchi, Laura and Melgratti, Hernán (2014) On the Behaviour of General-Purpose Applications on Cloud Storages. In: Web Services and Formal Methods. Lecture Notes in Computer Science. Springer pp. 29-47. (doi:https://doi.org/10.1007/978-3-319-08260-8_3) (Full text available)
[img]

Bocchi, Laura and Melgratti, Hernán and Tuosto, Emilio (2014) Resolving Non-Determinism in Choreographies. In: Programming Languages and Systems. Lecture Notes in Computer Science, 8410. Springer pp. 493-512. (doi:https://doi.org/10.1007/978-3-642-54833-8_26) (Full text available)
[img]

Bocchi, Laura and Yang, Weizhen and Yoshida, Nobuko (2014) Timed Multiparty Session Types. In: International Conference on Concurrency Theory (CONCUR). (doi:https://doi.org/10.1007/978-3-662-44584-6_29) (Full text available)
[img]

Boiten, Eerke Albert (2014) FoI reveals cynical logic that compromises NHS data privacy. . The Conversation Internet only. (Full text available)
[img]

Boiten, Eerke Albert (2014) Introducing extra operations in refinement. Formal Aspects of Computing, 26 (2). pp. 305-317. ISSN 0934-5043. (doi:https://doi.org/10.1007/s00165-012-0266-z) (Full text available)
[img]
Preview

Boiten, Eerke Albert (2014) Outdated laws put your health data in jeopardy. . The Conversation Internet only. (Full text available)
[img]

Boiten, Eerke Albert (2014) Time for some truth about who is feeding off our NHS data. . The Conversation Internet only. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert (2014) Your NHS data is completely anonymous – until it isn’t. . The Conversation Internet only. (Full text available)
[img]

Boiten, Eerke Albert and Jacob, Jeremy (2014) Sealed containers in Z. In: ABZ 2014, June 2-6, 2014, Toulouse. (doi:https://doi.org/10.1007/978-3-662-43652-3_12) (Full text available)
[img]

Bowman, Howard and Filetti, Marco and Alsufyani, Abdulmajeed and Janssen, Dirk P. and Su, Li (2014) Countering Countermeasures: Detecting Identity Lies by Detecting Conscious Breakthrough. PLoS ONE, 9 (3). e90595. ISSN 1932-6203. (doi:https://doi.org/10.1371/journal.pone.0090595) (Full text available)
[img]
Preview

Chadwick, David W and Siu, Kristy and Lee, Craig and Fouillat, Yann and Germonville, Damien (2014) Adding Federated Identity Management to OpenStack. Journal of Grid Computing, 12 (1). pp. 3-27. ISSN 1570-7873. E-ISSN 1572-9184. (doi:https://doi.org/10.1007/s10723-013-9283-2) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Chennu, Srivas and Finoia, Paola and Kamau, Evelyn and Allanson, Judith and Williams, Guy B. and Monti, Martin M. and Noreika, Valdas and Arnatkeviciute, Aurina and Canales-Johnson, Andrés and Olivares, Francisco and Cabezas-Soto, Daniela and Menon, David K. and Pickard, John D. and Owen, Adrian M. and Bekinschtein, Tristan A. (2014) Spectral signatures of reorganised brain networks in disorders of consciousness. PLoS Computational Biology, 10 (10). e1003887. ISSN 1553-734X. E-ISSN 1553-7358. (doi:https://doi.org/10.1371/journal.pcbi.1003887) (Full text available)
[img]
Preview

Chivers, Daniel (2014) Improving Automated Layout Techniques for the Production of Schematic Diagrams. Doctor of Philosophy (PhD) thesis, University of Kent,. (Full text available)
[img]
Preview

Chu, Dominique and Thompson, James and von der Haar, Tobias (2014) Charting the dynamics of translation. Bio Systems, 119 (1). pp. 1-9. ISSN 1872-8324. (doi:https://doi.org/10.1016/j.biosystems.2014.02.005) (Full text available)
[img]
Preview

Cruse, Damian and Beukema, Steve and Chennu, Srivas and Malins, Jeffrey G. and Owen, Adrian M. and McRae, Ken (2014) The reliability of the N400 in single subjects: Implications for patients with disorders of consciousness. NeuroImage: Clinical, 4 . pp. 788-799. E-ISSN 2213-1582. (doi:https://doi.org/10.1016/j.nicl.2014.05.001) (Full text available)
[img]
Preview

Czajkowski, Marcin and Grzes, Marek and Kretowski, Marek (2014) Multi-test Decision Tree and its Application to Microarray Data Classification. Artificial Intelligence in Medicine, 61 (1). pp. 35-44. ISSN 0933-3657. (doi:https://doi.org/10.1016/j.artmed.2014.01.005) (Full text available)
[img]
Preview

Cámara, Javier and de Lemos, Rogerio and Laranjeiro, Nuno and Ventura, Rafael and Vieira, Marco (2014) Robustness evaluation of the rainbow framework for self-adaptation. In: Proceedings of the 29th Annual ACM Symposium on Applied Computing - SAC '14. pp. 376-383. (doi:https://doi.org/10.1145/2554850.2554935) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cámara, Javier and de Lemos, Rogerio and Laranjeiro, Nuno and Ventura, Rafael and Vieira, Marco (2014) Testing the robustness of controllers for self-adaptive systems. Journal of the Brazilian Computer Society, 20 (1). p. 1. ISSN 1678-4804. (doi:https://doi.org/10.1186/1678-4804-20-1) (Full text available)
[img]
Preview

De Koster, Joeri and Marr, Stefan and D'Hondt, Theo and Van Cutsem, Tom (2014) Domains: safe sharing among actors. Science of Computer Programming, 98, Pa . pp. 140-158. ISSN 0167-6423. (doi:https://doi.org/10.1016/j.scico.2014.02.008) (Full text available)
[img]
Preview

De Wael, Mattias and Marr, Stefan and De Meuter, Wolfgang (2014) Data Interface + Algorithms = Efficient Programs: Separating Logic from Representation to Improve Performance. In: Proceedings of the 9th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems. (doi:https://doi.org/10.1145/2633301.2633303) (Full text available)
[img]
Preview

De Wael, Mattias and Marr, Stefan and Van Cutsem, Tom (2014) Fork/Join Parallelism in the Wild: Documenting Patterns and Anti-Patterns in Java Programs using the Fork/Join Framework. In: Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools. (doi:https://doi.org/10.1145/2647508.2647511) (Full text available)
[img]
Preview

Dimitrakos, Theo (2014) Context-Aware Multifactor Authentication Based on Dynamic Pin. In: IFIP SEC 2015. (doi:https://doi.org/10.1007/978-3-642-55415-5_27) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Emms, Martin and Arief, Budi and Freitas, Leo and Hannon, Joseph and van Moorsel, Aad (2014) Harvesting High Value Foreign Currency Transactions from EMV Contactless Credit Cards Without the PIN. In: Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 3-7 November 2014, Scottsdale, Arizona, USA. (doi:https://doi.org/10.1145/2660267.2660312) (Full text available)
[img]
Preview

Emms, Martin and Arief, Budi and van Moorsel, Aad (2014) Electronic Footprints in the Sand: Technologies for Assisting Domestic Violence Survivors. In: Preneel, Bart and Ikonomou, Demosthenes, eds. Privacy Technologies and Policy. Lecture Notes in Computer Science. Springer Berlin Heidelberg pp. 203-214. ISBN 978-3-642-54068-4. E-ISBN 978-3-642-54069-1. (doi:https://doi.org/10.1007/978-3-642-54069-1_13) (Full text available)
[img]
Preview

Fatema, Kaniz and Chadwick, David (2014) Resolving Policy Conflicts-Integrating Policies from Multiple Authors. In: Advanced Information Systems Engineering Workshops. Springer International Publishing pp. 310-321. (Full text available)
[img]
Preview

Freitas, Alex A. (2014) Contrasting meta-learning and hyper-heuristic research: the role of evolutionary algorithms. Genetic Programming and Evolvable Machines, 15 (1). pp. 3-35. ISSN 1389-2576. E-ISSN 1573-7632. (doi:https://doi.org/10.1007/s10710-013-9186-9) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Férée, Hugo and Gomaa, Walid and Hoyrup, Mathieu (2014) Analytical properties of resource-bounded real functionals. Journal of Complexity, 30 (5). pp. 647-671. ISSN 0885-064X. E-ISSN 1090-2708. (doi:https://doi.org/10.1016/j.jco.2014.02.008) (Full text available)
[img]
Preview

Gaspar, Jaime and Boiten, Eerke Albert (2014) Simple composition theorems of one-way functions -- proofs and presentations. Technical report. IACR EPrints (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Gibson, Raechelle M. and Chennu, Srivas and Owen, Adrian M. and Cruse, Damian (2014) Complexity and familiarity enhance single-trial detectability of imagined movements with electroencephalography. Clinical Neurophysiology, 125 (8). pp. 1556-1567. ISSN 1388-2457. E-ISSN 1872-8952. (doi:https://doi.org/10.1016/j.clinph.2013.11.034) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Greenhow, Keith and Johnson, Colin G. (2014) Region Based Image Preprocessor for Feed-Forward Perceptron Based Systems. In: Advances in Neural Networks – ISNN 2014, 28 Nov - 01 Dec 2014, Hong Kong and Macao. (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Grzes, Marek and Poupart, Pascal (2014) POMDP Planning and Execution in an Augmented Space. In: International Conference on Autonomous Agents and Multiagent Systems (AAMAS), May 5-9, 2014, Paris, France. (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Grzes, Marek and Poupart, Pascal and Yang, Xiao and Hoey, Jesse (2014) Energy Efficient Execution of POMDP Policies. IEEE Transactions on Cybernetics, PP (99). ISSN 2168-2267. (doi:https://doi.org/10.1109/TCYB.2014.2375817) (Full text available)
[img]
Preview

Hernandez-Castro, Julio C. and Boiten, Eerke Albert (2014) Cybercrime prevalence and impact in the UK. Computer Fraud & Security, 2014 (2). pp. 5-8. ISSN 1361-3723. (doi:https://doi.org/10.1016/S1361-3723(14)70461-0) (Full text available)
[img]
Preview

Hernandez-Castro, Julio C. and Boiten, Eerke Albert and Barnoux, Magali F.L. (2014) Second Kent Cyber Security Survey. . Internet only. (Full text available)
[img]
Preview

Jiang, Bing and Song, Yan and Wei, Si and Liu, Jun-Hua and McLoughlin, Ian Vince and Dai, Li-Rong (2014) Deep bottleneck features for spoken language identification. PloS one, 9 (7). e100795-e100795. (doi:https://doi.org/10.1371/journal.pone.0100795) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jiang, Bing and Song, Yan and Wei, Si and McLoughlin, Ian Vince and Dai, Li-Rong (2014) Task-Aware Deep Bottleneck Features for Spoken Language Identification. Interspeech 2014, . (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jiang, Bing and Song, Yan and Wei, Si and Wang, Meng-Ge and McLoughlin, Ian Vince and Dai, Li-Rong (2014) Performance evaluation of deep bottleneck features for spoken language identification. In: Chinese Spoken Language Processing (ISCSLP), 2014 9th International Symposium on, 12-14 Sept. 2014, Singapore. (doi:https://doi.org/10.1109/ISCSLP.2014.6936580) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Johnson, Colin G. (2014) Is it Time for Computational Creativity to Grow Up and Start being Irresponsible? In: Fifth International Conference on Computational Creativity, 9th-13th June 2014, Ljubljana, Slovenia. (Unpublished) (Full text available)
[img]
Preview

Jordanous, Anna (2014) Review of Digital Da Vinci: Computers in the Arts and Sciences (2014, Springer). Review of: Digital Da Vinci: Computers in the Arts and Sciences (2014, Springer) by UNSPECIFIED. ACM Computing Reviews, . p. 1. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jordanous, Anna (2014) Review of Emotional Lexicons: Continuity and Change in the Vocabulary of Feeling 1700-2000 by Ute Frevert et al.Anna Jordanous believes this book's strengths lie in its contextual diversity and in the thoroughness of the compilation and usage of reference sources. Review of: Emotional Lexicons: Continuity and Change in the Vocabulary of Feeling 1700-2000 by Ute Frevert et al. by UNSPECIFIED. Reviews in History, . p. 1682. (Full text available)
[img]

Jordanous, Anna (2014) Stepping Back to Progress Forwards: Setting Standards for Meta-Evaluation of Computational Creativity. In: International Conference on Computational Creativity, 2014, Ljubljana, Slovenia. (Full text available)
[img]
Preview

Jordanous, Anna (2014) What is Computational Creativity? . CreativityPost.com Online web platform. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jordanous, Anna and Allington, Daniel (2014) Network analysis - code for the Valuing Electronic Music project. github Python code. (Full text available)
[img]

Jordanous, Anna and Allington, Daniel and Dueck, Byron (2014) Online Networks and the Production of Value in Electronic Music. In: Digital Music Research Network Network One-Day Workshop (DMRN+9), 16 Dec 2014, Queen Mary's, London. (Unpublished) (Full text available)
[img] [img]

Jordanous, Anna and Allington, Daniel and Dueck, Byron (2014) Using online networks to analyse the value of electronic music. In: International Conference on Computational Creativity, 2014, Ljubljana, Slovenia. (Full text available)
[img]
Preview

Jordanous, Anna and Fox, Simon (2014) fba-solution-pack-measurement. github php Drupal module. (Full text available)
[img]

Jungjit, Suwimol and Kapinchev, Konstantin (2014) Postgraduate Conference 2014: Technical report 1-14. In: School of Computing Mini Conference, School of Computing - Canterbury Campus. (Full text available)
[img]
Preview

Kafalı, Özgür and Günay, Akın and Yolum, Pınar (2014) GOSU: Computing GOal SUpport with commitments in multiagent systems. In: 21st European Conference on Artificial Intelligence (ECAI), August 18-22, 2014, Prague, Czech Republic. (doi:https://doi.org/10.3233/978-1-61499-419-0-477) (Full text available)
[img]
Preview

Kafalı, Özgür and Romero, Alfonso E. and Stathis, Kostas (2014) Activity recognition for an agent-oriented personal health system. In: International Conference on Principles and Practice of Multi-Agent Systems, December 1-5, 2014, Gold Coast, Australia. (doi:https://doi.org/10.1007/978-3-319-13191-7_21) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kattan, A. and Kampouridis, Michael (2014) Generalisation Enhancement via Input Space Transformation: A GP Approach. In: EuroGP 2014,. (Full text available)
[img]
Preview

Kattan, A. and Kampouridis, Michael and Ong, Y.-S. and Mehamdi, K. (2014) Transformation of Input Space using Statistical Moments: EA-Based Approach. In: IEEE World Congress on Evolutionary Computation (WCCI). (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kotiadis, Kathy and Tako, Antuela and Vasilakis, Christos (2014) A participative and facilitative conceptual modelling framework for discrete event simulation studies in healthcare. Journal of the Operation Research Society, 65 (2). pp. 197-213. ISSN 0160-5682. (Full text available)
[img]
Preview

Li, Huiqing and Thompson, Simon (2014) Improved semantics and implementation through property-based testing with QuickCheck. In: Proceedings of the 9th International Workshop on Automation of Software Test - AST 2014. pp. 50-56. (doi:https://doi.org/10.1145/2593501.2593509) (Full text available)
[img]
Preview

Li, Huiqing and Thompson, Simon and Lamela Seijas, Pablo and Francisco, Miguel Angel (2014) Automating property-based testing of evolving web services. In: Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation - PEPM '14. pp. 169-180. (doi:https://doi.org/10.1145/2543728.2543741) (Full text available)
[img]
Preview

Li, Jing-jie and McLoughlin, Ian Vince and Dai, Li-Rong and Ling, Zhen-hua (2014) Whisper-to-speech conversion using restricted Boltzmann machine arrays. Electronics Letters, 50 (24). pp. 1781-1782. ISSN 0013-5194. E-ISSN 1350-911X. (doi:https://doi.org/10.1049/el.2014.1645) (Full text available)
[img]
Preview

Li, Jingjie and McLoughlin, Ian Vince and Song, Yan (2014) Reconstruction of pitch for whisper-to-speech conversion of Chinese. In: UNSPECIFIED, 12-14 Sept. 2014, Singapore. (doi:https://doi.org/10.1109/ISCSLP.2014.6936709) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Marr, Stefan and Pape, Tobias and De Meuter, Wolfgang (2014) Are We There Yet? Simple Language Implementation Techniques for the 21st Century. IEEE Software, 31 (5). pp. 60-67. ISSN 0740-7459. (doi:https://doi.org/10.1109/MS.2014.98) (Full text available)
[img]
Preview

Marr, Stefan and Renaux, Thierry and Hoste, Lode and De Meuter, Wolfgang (2014) Parallel Gesture Recognition with Soft Real-Time Guarantees. Science of Computer Programming, 98 (2). pp. 159-183. ISSN 0167-6423. E-ISSN 1872-7964. (doi:https://doi.org/10.1016/j.scico.2014.02.012) (Full text available)
[img]
Preview

McCall, Davin and Kölling, Michael (2014) Meaningful Categorisation of Novice Programmer Errors. In: 2014 Frontiers In Education Conference, Oct 2014, Madrid, Spain. (Full text available)
[img]
Preview

McLoughlin, Ian Vince (2014) Super-Audible Voice Activity Detection. IEEE/ACM Transactions on Audio, Speech, and Language Processing, 22 (9). pp. 1424-1433. (doi:https://doi.org/10.1109/TASLP.2014.2335055) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince and Song, Yan (2014) Mouth State Detection From Low-Frequency Ultrasonic Reflection. Circuits, Systems, and Signal Processing, 34 (4). pp. 1279-1304. ISSN 0278-081X. E-ISSN 1531-5878. (doi:https://doi.org/10.1007/s00034-014-9904-4) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince and Xie, Zhi-Peng (2014) Speech playback geometry for smart homes. In: UNSPECIFIED, 22-25 June 2014, JeJu Island. (doi:https://doi.org/10.1109/ISCE.2014.6884428) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince and Xu, Yan and Song, Yan (2014) Tone confusion in spoken and whispered Mandarin Chinese. In: UNSPECIFIED, 12-14 Sept. 2014, Singapore. (doi:https://doi.org/10.1109/ISCSLP.2014.6936708) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Micallef, Luana (2014) Succeeding by Failing. Think, 11 . p. 47. ISSN 2306-0735. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Mouli, Surej and Palaniappan, Ramaswamy and Sillitoe, Ian P. (2014) Arduino based configurable LED stimulus design for multi-frequency SSVEP-BCI. In: Proceedings of the IEEE EMBS UKRI Postgraduate Conference on Biomedical Engineering, 15-17 July 2014, Warwick, UK. (Full text available)
[img]
Preview

Neykova, Rumyana and Bocchi, Laura and Yoshida, Nobuko (2014) Timed Runtime Monitoring for Multiparty Conversations. In: 3rd International Workshop on Behavioural Types (BEAT), 1st September, 2014, Rome, Italy. (doi:https://doi.org/10.4204/EPTCS.162.3) (Full text available)
[img]
Preview

Orchard, Dominic A. (2014) Computational Semantics with Functional Programming, by Jan van Eijck and Christina Unger. Review of: Computational Semantics with Functional Programming by van Eijck, Jan and Unger, Christina. Journal of Functional Programming, 24 (4). pp. 524-527. ISSN 0956-7968. E-ISSN 1469-7653. (doi:https://doi.org/10.1017/S0956796814000057) (Full text available)
[img]
Preview

Orchard, Dominic A. and Petricek, Tomas (2014) Embedding effect systems in Haskell. In: ACM SIGPLAN symposium on Haskell, 4-5 September 2014, Gothenburg, Sweden. (doi:https://doi.org/10.1145/2633357.2633368) (Full text available)
[img]
Preview

Orchard, Dominic A. and Petricek, Tomas and Mycroft, Alan (2014) The semantic marriage of monads and effects. CoRR, abs/14 . (Unpublished) (Full text available)
[img]
Preview

Otero, Fernando E.B. and Masegosa, Antonio D. and Terrazas, Germán (2014) Thematic issue on advances in nature inspired cooperative strategies for optimization. Memetic Computing, 6 (3). pp. 147-148. ISSN 1865-9284. E-ISSN 1865-9292. (doi:https://doi.org/10.1007/s12293-014-0140-z) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Otupiri, R. and Akowuah, E. K. and Haxha, Shyqyri and Ademgil, H. and AbdelMalek, Fathi and Aggoun, A. (2014) A Novel Birefrigent Photonic Crystal Fiber Surface Plasmon Resonance Biosensor. IEEE Photonics Journal, 6 (4). pp. 1-11. ISSN 1943-0655. (doi:https://doi.org/10.1109/JPHOT.2014.2335716) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Paes, B.C. and Plastino, A. and Freitas, Alex A. (2014) Exploring attribute selection in hierarchical classification. Journal of Information and Data Management, 5 (1). pp. 124-133. ISSN 2178-7107. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Pawar, Pramod S. and Rajarajan, Muttukrishnan and Dimitrakos, Theo and Zisman, Andrea (2014) Trust Assessment Using Cloud Broker. In: Trust Management VIII. pp. 237-244. (doi:https://doi.org/10.1007/978-3-662-43813-8_18) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Pham, Thinh H. and Fahmy, Suhaib A. and McLoughlin, Ian Vince (2014) Efficient multi-standard cognitive radios on FPGAs. In: 24th International Conference on Field Programmable Logic and Applications (FPL), 2014, 2-4 Sept. 2014, Munich. (doi:https://doi.org/10.1109/FPL.2014.6927380) (Full text available)
[img]
Preview

Pham, Thinh H. and McLoughlin, Ian Vince and Fahmy, Suhaib A. (2014) Shaping spectral leakage for IEEE 802.11 p vehicular communications. Vehicular Technology Conference (VTC Spring), 2014 IEEE 79th, . pp. 1-5. (doi:https://doi.org/10.1109/VTCSpring.2014.7023089) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Pham, Thinh H. and McLoughlin, Ian Vince and Fahmy, Suhaib A. (2014) Shaping spectral leakage for IEEE 802.11 p vehicular communications. In: Vehicular Technology Conference (VTC Spring), 2014, 18-21 May 2014, Seoul, Korea. (Full text available)
[img]
Preview

Pham, Thinh Hung and McLoughlin, Ian Vince and Fahmy, Suhaib A. (2014) Robust and Efficient OFDM Synchronization for FPGA-Based Radios. Circuits, Systems, and Signal Processing, 33 (8). pp. 2475-2493. ISSN 0278-081X. E-ISSN 1531-5878. (doi:https://doi.org/10.1007/s00034-014-9747-z) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Rizzi Raymundo, Caroline and Johnson, Colin Graeme (2014) An Artificial Synaptic Plasticity Mechanism for Classical Conditioning with Neural Networks. In: Advances in Neural Networks – ISNN 2014, 28 Nov - 01 Dec 2014, Hong Kong and Macao. (doi:https://doi.org/10.1007/978-3-319-12436-0_24) (Full text available)
[img]
Preview

Rowe, Reuben N.S. and van Bakel, S.J. (2014) Semantic Types and Approximation for Featherweight Java. Theoretical Computer Science, 517 . pp. 34-74. ISSN 0304-3975. (doi:https://doi.org/10.1016/j.tcs.2013.08.017) (Full text available)
[img]
Preview

Serim, Baris and Thanh Tung, Vuong and Ruotsalo, Tuukka and Micallef, Luana and Jacucci, Giulio (2014) mailVis: Visualizing Emailbox for Re-finding Emails. In: IEEE VIS 2014 Posters, Paris, France. (Full text available)
[img]
Preview
[img]

Shao, M. and Smonou, D. and Kampouridis, Michael and Tsang, E. (2014) Guided Fast Local Search for Speeding Up a Financial Forecasting Algorithm. In: IEEE Computational Intelligence for Financial Engineering & Economics (CIFEr). (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Silles, Christopher Anthony (2014) Provenance-Aware CXXR. Doctor of Philosophy (PhD) thesis, University of Kent,. (Full text available)
[img]
Preview

Song, Yan and Guo, Wu and Dai, Li-Rong and McLoughlin, Ian Vince (2014) A spectral based visual matching method for image classification. In: UNSPECIFIED, 7-9 July 2014, Shanghai. (doi:https://doi.org/10.1109/ICALIP.2014.7009878) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Song, Yan and McLoughlin, Ian Vince and Dai, Li-Rong (2014) Local coding based matching kernel method for image classification. PloS one, 9 (8). e103575-e103575. (doi:https://doi.org/10.1371/journal.pone.0103575) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Su, Li and Gomez, Rodolfo and Bowman, Howard (2014) Analysing neurobiological models using communicating automata. Formal Aspects of Computing, 26 (6). pp. 1169-1204. ISSN 0934-5043. (doi:https://doi.org/10.1007/s00165-014-0294-y) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Supratak, A and Li, L and Guo, Y (2014) Feature Extraction with Stacked Autoencoders for Epileptic Seizure Detection. In: Engineering in Medicine and Biology Society (EMBC), 2014 36th Annual International Conference of the IEEE, 26-30 Aug. 2014, Chicago, Illinois. (doi:https://doi.org/10.1109/EMBC.2014.6944546) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Tako, Antuela and Kotiadis, Kathy and Vasilakis, Christos and Miras, Alexander and Le Roux, Carel W (2014) Improving patient waiting times: a simulation study of an obesity care service. Improving patient waiting times: a simulation study of an obesity care service, 23 (5). pp. 373-381. ISSN 2044-5415. (doi:https://doi.org/10.1136/bmjqs-2013-002107) (Full text available)
[img]
Preview

Thompson, Simon (2014) How to stand out digitally. In: Jolly, Adam, ed. The Growing Business Handbook. Kogan Page, pp. 129-131. ISBN 9780749470371. E-ISBN 9780749470388. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Thompson, Simon and Delaney, Aidan and Stapleton, Gem and Taylor, John (2014) A Normal Form for Spider Diagrams of Order. Journal of Visual Languages & Computing, . (Full text available)
[img]
Preview

Tupman, Charlotte and Jordanous, Anna (2014) Sharing Ancient Wisdoms across the Semantic Web using TEI and ontologies. In: Andrews, T.L. and Mace, C., eds. Analysis of Ancient and Medieval Texts and Manuscripts: Digital Approaches. Lectio (LECTIO 1) . Brepols, Belgium. ISBN 9782503552682. (Full text available)
[img]
Preview

Xu, Simin and Fahmy, Suhaib A. and McLoughlin, Ian Vince (2014) Square-rich fixed point polynomial evaluation on FPGAs. In: 2014 ACM/SIGDA international symposium on Field-programmable gate arrays, New York, New York, USA. (doi:https://doi.org/10.1145/2554688.2554779) (Full text available)
[img]
Preview

YANG, XIAO (2014) Memristor based neural networks: Feasibility, theories and approaches. Doctor of Philosophy (PhD) thesis, University of Kent,. (Full text available)
[img]
Preview

Yu, Li and Pérez-Delgado, Carlos A and Fitzsimons, Joseph F (2014) Limitations on information-theoretically-secure quantum homomorphic encryption. Physical Review A, 90 (5). 050303. (doi:https://doi.org/10.1103/PhysRevA.90.050303) (Full text available)
[img]
Preview

Yuvaraj, Rajamanickam and Murugappan, Murugappan and Ibrahim, Norlinah Mohamed and Omar, Mohd Iqbal and Sundaraj, Kenneth and Mohamad, Khairiyah and Palaniappan, Ramaswamy and Mesquita, Edgar and Satiyan, Marimuthu (2014) On the analysis of EEG power, frequency and asymmetry in Parkinson's disease during emotion processing. Behavioral and Brain Functions, 10 . pp. 1-19. ISSN 1744-9081. (doi:https://doi.org/10.1186/1744-9081-10-12) (Full text available)
[img]

Zeng, Wei and Huang, Xianfeng and Müller Arisona, Stefan and McLoughlin, Ian Vince (2014) Classifying watermelon ripeness by analysing acoustic signals using mobile devices. Personal and Ubiquitous Computing, 18 (7). pp. 1753-1762. ISSN 1617-4909. E-ISSN 1617-4917. (doi:https://doi.org/10.1007/s00779-013-0706-7) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Öztürkeri, Can and Johnson, Colin G. (2014) Self-repair ability of evolved self-assembling systems in cellular automata. Genetic Programming and Evolvable Machines, 15 (3). pp. 313-341. ISSN 1389-2576. E-ISSN 1573-7632. (doi:https://doi.org/10.1007/s10710-014-9216-2) (Full text available)
[img]
Preview

2013

Derrick, John and Boiten, Eerke Albert and Reeves, Steve, eds. (2013) Proceedings of the 16th International BCS-FASCS Refinement Workshop, Turku. Electronic Proceedings in Theoretical Computer Science . Electronic Proceedings in Theoretical Computer Science ISBN 2075-2180. (doi:https://doi.org/10.4204/EPTCS.115) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogerio and Giese, Holger and Müller, Hausi and Shaw, Mary, eds. (2013) Software Engineering for Self-Adaptive Systems II: International Seminar Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers. Springer (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Ahmadi, Farzaneh and McLoughlin, Ian Vince (2013) A new mechanical index for gauging the human bioeffects of low frequency ultrasound. In: UNSPECIFIED, 3-7 July 2013, Osaka. (doi:https://doi.org/10.1109/EMBC.2013.6609913) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Andersson, Jesper and Baresi, Luciano and Bencomo, Nelly and de Lemos, Rogerio and Gorla, Alessandra and Inverardi, Paola and Vogel, Thomas (2013) Software Engineering Processes for Self-Adaptive Systems. In: Software Engineering for Self-Adaptive Systems II. Springer, pp. 51-75. (doi:https://doi.org/10.1007/978-3-642-35813-5_3) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Anggadjaja, Erwin and McLoughlin, Ian Vince (2013) Cross-layer MIMO-link exploiting packet re-routing mechanisms and adaptive modulation in diverse channel condition. In: UNSPECIFIED, 20-22 Nov. 2013, Christchurch. (doi:https://doi.org/10.1109/ATNAC.2013.6705372) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bailey, Christopher and Chadwick, David W. and de Lemos, Rogerio and Siu, Kristy W. S. (2013) Enabling the Autonomic Management of Federated Identity Providers. In: Emerging Management Mechanisms for the Future Internet. Lectures Notes in Computer Science. pp. 100-111. (doi:https://doi.org/10.1007/978-3-642-38998-6_14) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bailey, Christopher and Chadwick, David W and de Lemos, Rogério and Siu, Kristy WS (2013) Enabling the Autonomic Management of Federated Identity Providers. In: Emerging Management Mechanisms for the Future Internet. Springer Berlin Heidelberg, pp. 100-111. (Full text available)
[img]

Berry, Michael and Kölling, Michael (2013) The design and implementation of a notional machine for teaching introductory programming. In: 8th Workshop in Primary and Secondary Computing Education (WiPSCE 2013), Nov 2013, Aarhus, Denmark. (doi:https://doi.org/10.1145/2532748.2532765) (Full text available)
[img]
Preview

Bocchi, Laura and Chen, Tzu-Chun and Demangeon, Romain and Honda, Kohei and Yoshida, Nobuko (2013) Monitoring Networks through Multiparty Session Types. In: Formal Techniques for Distributed Systems. Lecture Notes in Computer Science (1). Springer pp. 50-65. (doi:https://doi.org/10.1007/978-3-642-38592-6_5) (Full text available)
[img]
Preview

Bocchi, Laura and Demangeon, Romain (2013) Embedding Session Types in HML. In: Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES), 23rd March, 2013, Rome, Italy. (doi:https://doi.org/10.4204/EPTCS.137.5) (Full text available)
[img]
Preview

Bocchi, Laura and Mahmud, Hoger and Rebay-Salisbury, Katharina and Tuosto, Emilio (2013) Virtual models for archaeology. Archeologia e Calcolatori, 24 (1). pp. 305-324. ISSN 1120-6861. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert (2013) Anonymity will be the next victim of internet censorship. . The Conversation Internet only. (Full text available)
[img]

Boiten, Eerke Albert (2013) Blocking extremist sites is not the same as fighting child porn. . The Conversation Internet only. (Full text available)
[img]

Boiten, Eerke Albert (2013) Blocks just move child porn under the counter. . The Conversation Internet only. (Full text available)
[img]

Boiten, Eerke Albert (2013) How to commit a bank robbery (or stop one) using the internet. . The Conversation Internet only. (Full text available)
[img]

Boiten, Eerke Albert (2013) It’s all about cryptography as Rusbridger faces parliament. . The Conversation Internet only. (Full text available)
[img]

Boiten, Eerke Albert (2013) The UK government is working in a Snowden-free bubble. . The Conversation Internet only. (Full text available)
[img]

Boiten, Eerke Albert (2013) iPhone hack shows security isn’t at our fingertips just yet. . Scientific American Internet only. (Full text available)
[img]

Boudeville, Olivier and Cesarini, Francesco and Chechina, Natalia and Lundin, Kenneth and Papaspyrou, Nikolaos and Sagonas, Konstantinos and Thompson, Simon and Trinder, Phil and Wiger, Ulf (2013) RELEASE: A High-level Paradigm for Reliable Large-scale Server Software. Trends in Functional Programming, 7829 . pp. 263-278. ISSN 0302-9743. (doi:https://doi.org/10.1007/978-3-642-40447-4_17) (Full text available)
[img]
Preview

Brown, Neil C.C. and Kölling, Michael (2013) A Tale of Three Sites: Resource and Knowledge Sharing Amongst Computer Science Educators. In: Ninth Annual International Computing Education Research Conference (ICER), Aug 2013, San Diego, USA. (doi:https://doi.org/10.1145/2493394.2493398) (Full text available)
[img]
Preview

Cámara, Javier and de Lemos, Rogério and Ghezzi, Carlo, eds. (2013) Assurances for Self-Adaptive Systems: Principles, Models, and Techniques. Springer Publishing Company, Incorporated (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Camara, Javier and Correia, Pedro and de Lemos, Rogério and Garlan, David and Gomes, Pedro and Schmerl, Bradley and Ventura, Rafael (2013) Evolving an adaptive industrial software system to use architecture-based self-adaptation. In: 2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). pp. 13-22. (doi:https://doi.org/10.1109/SEAMS.2013.6595488) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Camara, Javier and Lemos, Rogerio de and Laranjeiro, Nuno and Ventura, Rafael and Vieira, Marco (2013) Robustness Evaluation of Controllers in Self-Adaptive Software Systems. In: 2013 Sixth Latin-American Symposium on Dependable Computing. pp. 1-10. (doi:https://doi.org/10.1109/LADC.2013.17) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cameron, Claire and Ostashevsky, Luba (2013) Science Gets Down With Miles Davis and Bernini: Analyzing music and sculpture in the digital age. . Online magazine. (Full text available)
[img]

Chadwick, David (2013) A Trust Model for ABFAB Trust Routers. . Internet. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Chadwick, David W and Casenove, Matteo and Siu, Kristy (2013) My private cloud--granting federated access to cloud resources. Journal of Cloud Computing, 2 (1). pp. 1-16. ISSN 2192-113X. (doi:https://doi.org/10.1186/2192-113X-2-3) (Full text available)
[img]
Preview

Chadwick, David W and Hibbert, Mark (2013) Towards Automated Trust Establishment in Federated Identity Management. In: Trust Management VII. Springer Berlin Heidelberg, pp. 33-48. (Full text available)
[img]
Preview

Chen, Huankai and Wang, Frank Z. and Helian, Na (2013) A Cost-Efficient and Reliable Resource Allocation Model Based on Cellular Automaton Entropy for Cloud Project Scheduling. International Journal of Advanced Computer Science and Applications, 4 (4). pp. 7-14. ISSN 2156-5570. (Full text available)
[img]
Preview

Chen, Wanlong and Yang, Xiao and Wang, Frank Z. (2013) Delayed Switching Applied to Memristor Content Addressable Memory Cell. In: World Congress on Engineering 2013, July 3 - 5, 2013, London. (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Chennu, Srivas and Finoia, Paola and Kamau, Evelyn and Monti, Martin M. and Allanson, Judith and Pickard, John D. and Owen, Adrian M. and Bekinschtein, Tristan A. (2013) Dissociable endogenous and exogenous attention in disorders of consciousness. NeuroImage: Clinical, 3 . pp. 450-461. E-ISSN 2213-1582. (doi:https://doi.org/10.1016/j.nicl.2013.10.008) (Full text available)
[img]
Preview

Chennu, Srivas and Noreika, Valdas and Gueorguiev, David and Blenkmann, Alejandro and Kochen, Silvia and Ibáñez, Agustín and Owen, Adrian M. and Bekinschtein, Tristan A. (2013) Expectation and Attention in Hierarchical Auditory Prediction. Journal of Neuroscience, 33 (27). pp. 11194-11205. ISSN 0270-6474. E-ISSN 1529-2401. (doi:https://doi.org/10.1523/JNEUROSCI.0114-13.2013) (Full text available)
[img]
Preview

Chu, Dominique (2013) Evolving Parameters for a Noisy Bio-System. In: 2013 IEEE Symposium Series on Computational Intelligence, 16th - 19th April, 2013, Singapore. (Full text available)
[img]
Preview

Chu, Dominique (2013) Replaying the tape of evolution: Evolving parameters for a simple bacterial metabolism. In: IEEE CEC 2013 : IEEE Congress on Evolutionary Computation, 20th - 23rd June, 2013, Cancun, Mexico. (Full text available)
[img]
Preview

Chu, Dominique (2013) The Science Myth: God, society, the self and what we will never know. Iff Books, London, 437 pp. ISBN 1782790470. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cruse, Damian and Chennu, Srivas and Chatelle, Camille and Bekinschtein, Tristan A. and Fernández-Espejo, Davinia and Pickard, John D. and Laureys, Steven and Owen, Adrian M. (2013) Reanalysis of "Bedside detection of awareness in the vegetative state: a cohort study" - Authors' reply. Lancet, 381 (9863). pp. 291-292. ISSN 0140-6736. E-ISSN 1474-547X. (doi:https://doi.org/10.1016/S0140-6736(13)60126-9) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cámara, Javier and de Lemos, Rogério and Vieira, Marco and Almeida, Raquel and Ventura, Rafael (2013) Architecture-based Resilience Evaluation for Self-adaptive Systems. Computing, 95 (8). pp. 689-722. ISSN 1436-5057. (doi:https://doi.org/10.1007/s00607-013-0311-7) (Full text available)
[img]
Preview

Delaney, Aidan and Stapleton, Gem and Taylor, John and Thompson, Simon (2013) On the expressiveness of spider diagrams and commutative star-free regular languages. Journal of Visual Languages and Computing, 24 (4). pp. 273-288. ISSN 1045-926X. (doi:https://doi.org/10.1016/j.jvlc.2013.02.001) (Full text available)
[img]
Preview

Emms, Martin and Arief, Budi and Hannon, Joseph and van Moorsel, Aad (2013) POS Terminal Authentication Protocol to Protect EMV Contactless Payment Cards. Technical report. CS-TR-1386 (Full text available)
[img]
Preview

Emms, Martin and Arief, Budi and Little, Nicholas and van Moorsel, Aad (2013) Risks of Offline Verify PIN on Contactless Cards. In: Proceedings of the 17th international conference, Financial Cryptography and Data Security (FC’13), 1-5 April 2013, Okinawa, Japan. (doi:https://doi.org/10.1007/978-3-642-39884-1_26) (Full text available)
[img]
Preview

Fatema, Kaniz (2013) Adding Privacy Protection to Policy Based Authorisation Systems. Doctor of Philosophy (PhD) thesis, University of Kent,. (Full text available)
[img]

Fincher, Sally (2013) The Diarists' Audience. In: Stanley, Liz, ed. Documents of Life Revisited: Narrative and Biographical Methodology for a 21st Century Critical Humanism. Ashgate, pp. 77-92. ISBN 978-1-4094-4289-9. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Fincher, Sally and Knox, Daniel (2013) The Porous Classroom: Professional Practices in the Computing Curriculum. IEEE Computer, 46 (9). pp. 44-51. ISSN 0018-9162. (doi:https://doi.org/10.1109/MC.2013.261) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Grzes, Marek and Hoey, Jesse (2013) On the Convergence of Techniques that Improve Value Iteration. In: International Joint Conference on Neural Networks (IJCNN), 2013, Dallas, USA. (doi:https://doi.org/10.1109/IJCNN.2013.6706982) (Full text available)
[img]
Preview

Grzes, Marek and Poupart, Pascal and Hoey, Jesse (2013) Controller Compilation and Compression for Resource Constrained Applications. In: International Conference on Algorithmic Decision Theory (ADT), 2013, Brussels, Belgium. (doi:https://doi.org/10.1007/978-3-642-41575-3_15) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Grzes, Marek and Poupart, Pascal and Hoey, Jesse (2013) Isomorph-Free Branch and Bound Search for Finite State Controllers. In: International Joint Conference on Artificial Intelligence (IJCAI), 2013, Beijing, China. (Full text available)
[img]
Preview

Hernandez-Castro, Julio C. and Boiten, Eerke Albert (2013) First Kent Cyber Security Survey. . Internet only. (Full text available)
[img]
Preview

Huth, Carly L and Chadwick, David W and Claycomb, William and You, Ilsun (2013) Guest editorial: A brief overview of data leakage and insider threats. Information Systems Frontiers, 15 (1). pp. 1-4. ISSN 1387-3326. E-ISSN 1572-9419. (doi:https://doi.org/10.1007/s10796-013-9419-8) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jordanous, Anna (2013) Introducing Computational Creativity Research. . CreativityPost.com Internet. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jordanous, Anna (2013) Review: Emotional sentence identification in a story Zhang Z., Ge S., Tee K. WASA 2012 (Proceedings of the Workshop at SIGGRAPH Asia, Singapore, Nov 26-27, 2012) 125-130. 2012. Type: Proceedings. Review of: Emotional sentence identification in a story Zhang Z., Ge S., Tee K. WASA 2012 (Proceedings of the Workshop at SIGGRAPH Asia, Singapore, Nov 26-27, 2012) 125-130. 2012. by UNSPECIFIED. ACM Computing Reviews, . CR141093. ISSN 1308-0745. E-ISSN 1308-0745. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jordanous, Anna and Lawrence, K. Faith and Tupman, Charlotte (2013) Sharing Ancient Wisdoms: Dataset. RDF. Located at: http://www.ancientwisdoms.ac.uk/library/data/. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jordanous, Anna and Roueché, Charlotte and Tupman, Charlotte and Lawrence, K. Faith and Hedges, Mark and Wakelnig, Elvira and Searby, Denis (2013) Sharing Ancient Wisdoms (SAWS) ontology. http://www.ancientwisdoms.ac.uk/. (Full text available)
[img]

Jordanous, Anna and Stanley, Alan and Tupman, Charlotte (2013) Reusing modern tools and techniques to reproduce and research ancient texts. In: Open Repositories, Prince Edward Island, Canada. (Full text available)
[img]
Preview

Jordanous, Anna and Tupman, Charlotte (2013) Sharing Ancient Wisdoms - supporting code. ancientwisdoms.ac.uk XSLT stylesheets. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jordanous, Anna and Tupman, Charlotte and Stanley, Alan (2013) Contemporary solutions to retrieve and publish information in ancient documents using RDF and Islandora. In: Digital Humanities 2013, 2013, Lincoln, Nebraska. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kaegi, Stefan (2013) Waiting... with Rachel and Peter: Podcast funded by Arts Council England/Wellcome Trust. Performance type: Other While You Wait, 2013, Fuel, Roundhouse and King’s Cultural Institute. Podcast. (Full text available)
[img]

Kafalı, Özgür and Bromuri, Stefano and Sindlar, Michal and van der Weide, Tom and Aguilar Pelaez, Eduardo and Schaechtle, Ulrich and Alves, Bruno and Zufferey, Damien and Rodriguez-Villegas, Esther and Schumacher, Michael Ignaz and Kostas, Stathis (2013) Commodity 12: A smart e-health environment for diabetes management. Journal of Ambient Intelligence and Smart Environments, 5 (5). pp. 479-502. ISSN 1876-1364. (doi:https://doi.org/10.3233/AIS-130220) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kafalı, Özgür and Günay, Akın and Yolum, Pınar (2013) Detecting and predicting privacy violations in online social networks. Distributed and Parallel Databases, 32 (1). pp. 161-190. ISSN 0926-8782. (doi:https://doi.org/10.1007/s10619-013-7124-8) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kafalı, Özgür and Günay, Akın and Yolum, Pınar (2013) Protoss: A run time tool for detecting privacy violations in online social networks: Short Paper. In: Proceedings of the IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM), 26-29 August 2012, Istanbul, Turkey. (doi:https://doi.org/10.1109/ASONAM.2012.76) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kafalı, Özgür and Sindlar, Michal and van der Weide, Tom and Stathis, Kostas (2013) ORC: An Ontology Reasoning Component for diabetes. In: 2nd International Workshop on Artificial Intelligence and Netmedicine (NetMed). (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kampouridis, Michael (2013) An initial investigation of choice function hyper-heuristics for the problem of financial forecasting. In: Evolutionary Computation (CEC), 2013 IEEE Congress on. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kampouridis, Michael and Alsheddy, Abdullah and Tsang, Edward (2013) On the investigation of hyper-heuristics on a financial forecasting problem. Annals of Mathematics and Artificial Intelligence, 68 (4). pp. 225-246. ISSN 1573-7470. (doi:https://doi.org/10.1007/s10472-012-9283-0) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kampouridis, Michael and Sim, Kwang Mong (2013) A GP approach for price-speed optimizing negotiation. In: IEEE Congress on Evolutionary Computation (CEC). (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kapinchev, Konstantin I. and Barnes, Frederick R.M. and Bradu, Adrian and Podoleanu, Adrian G.H. (2013) Approaches to General Purpose GPU Acceleration of Digital Signal Processing in Optical Coherence Tomography Systems. In: IEEE International Conference on Systems, Man and Cybernetics, 13th-16th October, 2013, Manchester, UK. (doi:https://doi.org/10.1109/SMC.2013.440) (Full text available)
[img]
Preview

Knox, Daniel and Cooke, Jennifer (2013) School of Computing Postgraduate Conference 2013. Technical report. University of Kent School of Computing (Full text available)
[img]
Preview

Lange, Julien and Scalas, A. (2013) Choreography Synthesis as Contract Agreement. In: 6th Interaction and Concurrency Experience workshop, 6th of June 2013, Florence, Italy. (doi:https://doi.org/10.4204/EPTCS.131.6) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Lawrence, K Faith and Jordanous, Anna (2013) Gnome on the range: finding the hypertextual narratives in ancient wisdom texts. In: 3rd Narrative and Hypertext Workshop at 24th ACM Conference on Hypertext and Social Media (HYPERTEXT 2013), 2013, Paris, France. (Full text available)
[img]
Preview

Li, Huiqing and Thompson, Simon (2013) Multicore Profiling for Erlang Programs Using Percept2. In: Erlang Workshop 2013, 28 September 2013, Boston, USA. (doi:2505305.2505311) (Full text available)
[img]
Preview

McKay, Fraser and Kölling, Michael (2013) Predictive Modelling for HCI Problems in Novice Program Editors. In: HCI 2013 - The 27th International British Computer Society Human Computer Interaction Conference: The Internet of things, 9-13 September 2013, London, UK. (Full text available)
[img]
Preview

McLoughlin, Ian Vince and Li, Jingjie and Song, Yan (2013) Reconstruction of Continuous Voiced Speech from Whispers. Proc. Interspeech 2013, (August). pp. 1022-1026. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince and Prakash, S. (2013) Mobile Communications Using Source-Selected Multi-Antenna AF Relays Over Dual-Hop Nakagami-m Channels. Wireless Personal Communications, 71 (4). pp. 3045-3057. ISSN 0929-6212. E-ISSN 1572-834X. (doi:https://doi.org/10.1007/s11277-012-0989-4) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince and Prakash, Shiva (2013) Performance analysis of adaptive modulation and transmit antenna selection with channel prediction errors and feedback delay. IET Communications, 7 (16). pp. 1852-1862. ISSN 1751-8628. E-ISSN 1751-8636. (doi:https://doi.org/10.1049/iet-com.2013.0096) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Micallef, Luana (2013) Visualizing Set Relations and Cardinalities Using Venn and Euler Diagrams. Doctor of Philosophy (PhD) thesis, University of Kent. (Full text available)
[img]

Newby, Danielle and Freitas, Alex A. and Ghafourian, Taravat (2013) Pre-processing feature selection for improved C&RT models for oral absorption. Journal of Chemical Information and Modeling, 53 (10). pp. 2730-2742. ISSN 1549-9596. (doi:https://doi.org/10.1021/ci400378j) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Peach, Kelly C. and Bray, Walter M. and Winslow, Dustin and Linington, Peter F. and Linington, Roger G. (2013) Mechanism of action-based classification of antibiotics using high-content bacterial image analysis. Molecular Biosystems, 9 (7). pp. 1837-1848. ISSN 1742-206X. (doi:https://doi.org/10.1039/C3MB70027E) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Petersen, Leaf and Orchard, Dominic A. and Glew, Neal (2013) Automatic SIMD vectorization for Haskell. In: ACM SIGPLAN International Conference on Functional Programming, 25 - 27 Sep 2013, Boston, MA, USA. (doi:https://doi.org/10.1145/2500365.2500605) (Full text available)
[img]
Preview

Phan, Quoc-Huy and Tan, Su-Lim and McLoughlin, Ian Vince (2013) GPS multipath mitigation: a nonlinear regression approach. GPS Solutions, 17 (3). pp. 371-380. ISSN 1080-5370. E-ISSN 1521-1886. (doi:https://doi.org/10.1007/s10291-012-0285-5) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Phan, Quoc-Huy and Tan, Su-Lim and McLoughlin, Ian Vince and Vu, Duc-Lung Vu (2013) A Unified Framework for GPS Code and Carrier-Phase Multipath Mitigation Using Support Vector Regression. Advances in Artificial Neural Systems, 2013 . (doi:https://doi.org/10.1155/2013/240564) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Roueché, Charlotte and Searby, Denis and Wakelnig, Elvira and Procházka, Stephan and Hedges, Mark and Lawrence, K. Faith and Jordanous, Anna and Tupman, Charlotte and Lawrence, Keith and Bylund, Måns and Österdahl, Pontus and Dallaji, Ines and Storz, Christoph and Nigst, Lorenz (2013) Sharing Ancient Wisdoms: The SAWS Dynamic Library of Wisdom Literatures. . Webpage. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Sahami, Mehran and Roach, Steve and Cuadros-Vargas, Ernesto and Danyluk, Andrea and Dodge, Ronald and Fisher, Kathleen and Fincher, Sally and France, Robert and Grossman, Dan and Hawthorne, Beth and Katz, Randy and Kumar, Amruth and LeBlanc, Rich and Reed, Dave and Robinson, Brian H. and Seker, Remzi and Thompson, Alfred (2013) Computer Science Curricula 2013(CS2013). Technical report. ACM Press and IEEE Computer Society Press, New York https://doi.org/10.1145/2534860. (doi:https://doi.org/10.1145/2534860) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Sanz-Izquierdo, Benito and Leelaratne, Rusiru (2013) Evaluation of wideband LTE antenna configurations for vehicle applications. In: 2013 Loughborough Antennas & Propagation Conference (LAPC). IEEE pp. 383-387. (doi:https://doi.org/10.1109/LAPC.2013.6711925) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Shaghaghi, A. R. and Glover, T. and Kampouridis, Michael and Tsang, E. (2013) Guided local search for optimal GPON/FTTP network design. In: Proceedings of the Fourth International Conference on Networks & Communications. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Smonou, D. and Kampouridis, Michael and Tsang, E. (2013) Metaheuristics Application on a Financial Forecasting Problem. In: IEEE Congress on Evolutionary Computation (IEEE CEC 2013), June 2013. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Stapleton, Gem and Howse, John and Thompson, Simon and Taylor, John and Chapman, Peter (2013) On the Completeness of Spider Diagrams Augmented with Constants. In: Moktefi, Amirouche and Shin, Sun-Joo, eds. Visual Reasoning with Diagrams. Studies in Universal Logic . Birkhauser, pp. 101-133. ISBN 9783034805995. E-ISBN 9783034806008. (doi:https://doi.org/10.1007/978-3-0348-0600-8_7) (Full text available)
[img]
Preview

Thompson, Simon and Li, Huiqing (2013) Refactoring tools for functional languages. Journal of Functional Programming, 23 (03). pp. 293-350. ISSN 0956-7968. (doi:https://doi.org/10.1017/S0956796813000117) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Utting, Ian (2013) The McCracken Study - 12 years on. In: ITiCSE Conference, 1-3 July 2013, University of Kent, Canterbury. (Unpublished) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Utting, Ian and Bouvier, Dennis and Caspersen, Michael and Elliott Tew, Allison and Frye, Roger and Kolikant, Yifat and McCracken, Mike and Paterson, James and Sorva, Juha and Thomas, Lynda and Wilusz, Tadeusz (2013) A Fresh Look at Novice Programmers’ Performance and Their Teachers’ Expectations. In: ITiCSE -WGR '13. ITiCSE working group, 1-3 July 2013, Canterbury, Kent. (doi:https://doi.org/10.1145/2543882.2543884) (Full text available)
[img]
Preview

Wang, Frank Z. (2013) A Triangular Periodic Table of Elementary Circuit Elements. IEEE Transactions on Circuits and Systems Society, 60 (3). pp. 616-623. ISSN 1549-8328. (doi:https://doi.org/10.1109/TCSI.2012.2209734) (Full text available)
[img]
Preview

Wazan, Ahmad Samer and Laborde, Romain and Barrere, Fran\cois and Benzekri, Abdelmalek and Chadwick, David W (2013) PKI Interoperability: Still an Issue? A Solution in the X. 509 Realm. In: Information Assurance and Security Education and Training. Springer Berlin Heidelberg, pp. 68-82. (Full text available)
[img]
Preview

Wood, Damian and Kafalı, Özgür and Stathis, Kostas (2013) DIESECT: A distributed environment for simulating e-commerce contracts. In: Huemer, Christian and Lops, Pasquale, eds. E-Commerce and Web Technologies (EC-WEB), Lecture Notes in Business Information Processing. Lecture Notes in Business Information Processing, 152. Springer pp. 39-50. ISBN 9783642398773. (doi:https://doi.org/10.1007/978-3-642-39878-0_4) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Xu, Chuanlong and Wang, Shimin and Yan, Yong (2013) Spatial Selectivity of Linear Electrostatic Sensor Arrays for Particle Velocity Measurement. IEEE Transactions on Instrumentation and Measurement, 62 (1). pp. 167-176. ISSN 0018-9456. (doi:https://doi.org/10.1109/TIM.2012.2212495) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Yang, Xiao and Chen, Wanlong and Wang, Frank Z. (2013) A Memristor-CAM (Content Addressable Memory) Cell: New Design and Evaluation. In: International Conference on Computer Science and Information Technology, 30-31 Jan 2013, Dubai. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Yang, Xiao and Chen, Wanlong and Wang, Frank Z. (2013) A supervised spiking time dependant plasticity network based on memristors. In: Computational Intelligence and Informatics (CINTI), 2013 IEEE 14th International Symposium on. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

da Silva, Carlos Eduardo and de Lemos, Rogério (2013) Dynamic Management of Integration Testing for Self-Adaptive Systems. In: LADC 2013 Workshop on Dependable in Adaptive and Self-Managing Systems (WDAS), 1-5 April 2013, Rio de Janeiro, RJ, Brazil. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogerio and Giese, Holger and Müller, Hausi A. and Shaw, Mary and Andersson, Jesper and Litoiu, Marin and Schmerl, Bradley and Tamura, Gabriel and Villegas, Norha M. and Vogel, Thomas and Weyns, Danny and Baresi, Luciano and Becker, Basil and Bencomo, Nelly and Brun, Yuriy and Cukic, Bojan and Desmarais, Ron and Dustdar, Schahram and Engels, Gregor and Geihs, Kurt and Göschka, Karl M. and Gorla, Alessandra and Grassi, Vincenzo and Inverardi, Paola and Karsai, Gabor and Kramer, Jeff and Lopes, Antónia and Magee, Jeff and Malek, Sam and Mankovskii, Serge and Mirandola, Raffaela and Mylopoulos, John and Nierstrasz, Oscar and Pezzè, Mauro and Prehofer, Christian and Schäfer, Wilhelm and Schlichting, Rick and Smith, Dennis B. and Sousa, João Pedro and Tahvildari, Ladan and Wong, Kenny and Wuttke, Jochen (2013) Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. In: Software Engineering for Self-Adaptive Systems II. Springer, pp. 1-32. (doi:https://doi.org/10.1007/978-3-642-35813-5_1) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

2012

Welch, Peter H. and Barnes, Frederick R.M. and Pedersen, Jan B. and Sampson, Adam T., eds. (2012) Communicating Process Architectures 2012. Open Channel Publishing, 236 pp. ISBN 9780956540959. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Ahmadi, Farzaneh and McLoughlin, Ian Vince (2012) Measuring resonances of the vocal tract using frequency sweeps at the lips. In: UNSPECIFIED, 2-4 May 2012, Rome, Italy. (doi:https://doi.org/10.1109/ISCCSP.2012.6217814) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Ahmadi, Farzaneh and McLoughlin, Ian Vince and Chauhan, Sunita and Ter-Haar, Gail (2012) Bio-effects and safety of low-intensity, low-frequency ultrasonic exposure. Progress in biophysics and molecular biology, 108 (3). pp. 119-138. (doi:https://doi.org/10.1016/j.pbiomolbio.2012.01.004) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Alsheddy, A. and Kampouridis, Michael (2012) Off-line Parameter Tuning for Guided Local Search Using Genetic Programming. In: IEEE World Congress on Evolutionary Computation (WCCI). (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Altadmri, Amjad and Ahmed, Amr and Mohtasseb, Haytham (2012) Semantic levels of domain-independent commonsense knowledgebase for visual indexing and retrieval applications. In: Neural Information Processing. Springer Berlin Heidelberg pp. 640-647. (Full text available)
[img]
Preview

Ang, Li Ming and McLoughlin, Ian Vince (2012) Multitouch wall displays for informational interactive collaborative space. In: Multi-touch Wall Displays for Informational and Interactive Collaborative Space. Communications in Computer and Information Science . Springer, pp. 318-338. ISBN 978-3-642-29757-1. (doi:https://doi.org/10.1007/978-3-642-29758-8_17) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Anggadjaja, Erwin and McLoughlin, Ian Vince (2012) The use of OMNeT++ modelling in WSN. In: Modelling WSNs Using OMNeT++. IGI Global, p. 22. (doi:https://doi.org/10.4018/978-1-4666-0321-9.ch018) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bailey, Christopher J. (2012) Application of Self-Adaptive techniques to federated authorization models. In: 2012 34th International Conference on Software Engineering (ICSE). , 2012 International Conference on Software Engineering (ICSE 2012) Doctoral Symposium pp. 1495-1498. (doi:https://doi.org/10.1109/ICSE.2012.6227053) (Full text available)
[img]

Barnes, David J. and Kölling, Michael (2012) Objects First with Java - A Practical Introduction using BlueJ. Pearson Education, 560 pp. ISBN 9780132835541. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Basu, Anirban and Vaidya, Jaideep and Kikuchi, Hiroaki and Dimitrakos, Theo and Nair, Srijith K. (2012) Privacy preserving collaborative filtering for SaaS enabling PaaS clouds. Journal of Cloud Computing: Advances, Systems and Applications, 1 (1). p. 8. ISSN 2192-113X. (doi:https://doi.org/10.1186/2192-113X-1-8) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bocchi, L. and Lange, Julien and Tuosto, E. (2012) Three algorithms and a methodology for amending contracts for choreographies. Scientific Annals of Computer Science, 22 (1). pp. 61-104. ISSN 1843-8121. (doi:https://doi.org/10.7561/SACS.2012.1.61) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Brysbaert, Ann and Bocchi, Laura and Tuosto, Emilio (2012) Relating archaeological chaîne opératoire and process mining in computer science. Archeologia e Calcolatori, . pp. 165-186. ISSN 1120-6861. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Castle, Tom (2012) Evolving High-Level Imperative Program Trees with Genetic Programming. Doctor of Philosophy (PhD) thesis, University of Kent. (Full text available)
[img]
Preview

Chadwick, David W and Hibbert, Mark (2012) F-SAMS: Reliably Identifying Attributes and Their Identity Providers in a Federation. In: On the Move to Meaningful Internet Systems: OTM 2012 Workshops. Springer Berlin Heidelberg, pp. 231-241. (Full text available)
[img]
Preview

Chatelle, Camille and Chennu, Srivas and Noirhomme, Quentin and Cruse, Damian and Owen, Adrian M. and Laureys, Steven (2012) Brain-computer interfacing in disorders of consciousness. Brain Injury, 26 (12). pp. 1510-1522. ISSN 0269-9052. E-ISSN 1362-301X. (doi:https://doi.org/10.3109/02699052.2012.698362) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Chen, Jing and McLoughlin, Ian Vince and Chang, Hsung Pin and Chang, Da-Wei and Chiang, Mei-Ling and Chung, Yeh-Ching (2012) Message from WEISS-12 Workshop Chairs. In: UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Chen, Tzu-Chun and Bocchi, Laura and Deniélou, Pierre-Malo and Honda, Kohei and Yoshida, Nobuko (2012) Asynchronous Distributed Monitoring for Multiparty Session Enforcement. In: Trustworthy Global Computing. Lecture Notes in Computer Science, 7173. Springer pp. 25-45. ISBN 9783642300646. E-ISBN 9783642300653. (doi:https://doi.org/10.1007/978-3-642-30065-3_2) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Chennu, Srivas and Bekinschtein, Tristan A. (2012) Arousal modulates auditory attention and awareness: insights from sleep, sedation and disorders of consciousness. Frontiers in Psychology, 3 (00065). pp. 1-9. E-ISSN 1664-1078. (doi:https://doi.org/10.3389/fpsyg.2012.00065) (Full text available)
[img]
Preview

Chua, Leon O. and Sbitnev, Valery and Hyongsuk, Kim (2012) Neurons are poised near the edge of chaos. International Journal of Bifurcation and Chaos, 22 (04). 1250098- 1. ISSN 0218-1274. (doi:https://doi.org/10.1142/S0218127412500988) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Chua, Leon O. and Sbitnev, Valery and Kim, Hyongsuk (2012) HODGKIN–HUXLEY AXON IS MADE OF MEMRISTORS. International Journal of Bifurcation and Chaos, 22 (03). pp. 1230011-1. ISSN 0218-1274. (doi:https://doi.org/10.1142/S021812741230011X) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cruse, Damian and Chennu, Srivas and Chatelle, Camille and Bekinschtein, Tristan A. and Fernández-Espejo, Davinia and Pickard, John D. and Laureys, Steven and Owen, Adrian M. (2012) Bedside detection of awareness in the vegetative state? - Authors' reply. Lancet, 379 (9827). p. 1702. ISSN 0140-6736. E-ISSN 1474-547X. (doi:https://doi.org/10.1016/S0140-6736(12)60715-6) (Full text available)
[img]
Preview

Cruse, Damian and Chennu, Srivas and Chatelle, Camille and Fernández-Espejo, Davinia and Bekinschtein, Tristan A. and Pickard, John D. and Laureys, Steven and Owen, Adrian M. (2012) Relationship between aetiology and covert cognition in the minimally-conscious state. Neurology, 78 (11). pp. 816-822. ISSN 0028-3878. E-ISSN 1526-632X. (doi:https://doi.org/10.1212/WNL.0b013e318249f764) (Full text available)
[img]
Preview

Cruse, Damian and Chennu, Srivas and Fernández-Espejo, Davinia and Payne, William L. and Young, G. Bryan and Owen, Adrian M. (2012) Detecting Awareness in the Vegetative State: Electroencephalographic Evidence for Attempted Movements to Command. PLoS ONE, 7 (11). e49933. ISSN 1932-6203. E-ISSN 1932-6203. (doi:10.1371%2Fjournal.pone.0049933) (Full text available)
[img]
Preview

Cámara, Javier and de Lemos, Rogério (2012) Evaluation of Resilience in Self-Adaptive Systems Using Probabilistic Model-Checking. In: 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2012), June 2012, Zurich, Switzerland. (doi:https://doi.org/10.1109/SEAMS.2012.6224391) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cámara, Javier and de Lemos, Rogério (2012) Towards Run-time Evaluation of Resilience in Self-Adaptive Systems. In: 17th Conference on Software Engineering and Databases (JISBD'12), September 2012, Almeria, Spain. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

De Koster, Joeri and Marr, Stefan and D'Hondt, Theo (2012) Synchronization Views for Event-loop Actors. In: Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming. (doi:https://doi.org/10.1145/2145816.2145873) (Full text available)
[img]
Preview

Chadwick, David W. and de Decker, Bart, eds. (2012) Communications and Multimedia Security: Proceedings of the 13th IFIP TC 6/TC 11 international conference on Communications and Multimedia Security. Springer-Verlag ISBN 3642328040. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Dunn, Stuart and Hedges, Mark and Jordanous, Anna and Storz, Christoph (2012) Comparing the informatics of text and Cultural Heritage: the SAWS project. In: Computer Applications and Quantitative Methods in Archaeology, 2012, Southampton, UK. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Emms, Martin and Arief, Budi and Defty, Troy and Hannon, Joseph and Hao, Feng and van Moorsel, Aad (2012) The Dangers of Verify PIN on Contactless Cards. Technical report. CS-TR-1332 (Full text available)
[img]
Preview

Ferrer, Ana Juan and Hernandez, Francisco and Tordsson, Johan and Elmroth, Erik and Ali-Eldin, Ahmed and Zsing, Csilla and Sivert, Raul and Guitart, Jordi and Badia, Rosa M. and Djemame, Karim and Ziegler, Wolfgang and Dimitrakos, Theo and Nair, Srijith K. and Kousiouris, George and Konstanteli, Kleopatra and Varvarigou, Theodora and Hudzia, Benoit and Kipp, Alexander and Wesner, Stefan and Corrales, Marcelo and Forgo, Nikolaus and Sharif, Tabassum and Sheridan, Craig (2012) OPTIMIS: A holistic approach to cloud service provisioning. Future Generation Computer Systems, 28 (1). pp. 66-77. ISSN 0167-739X. (doi:https://doi.org/10.1016/j.future.2011.05.022) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Fincher, Sally (2012) Using Narrative Methodology. University of Kent at Canterbury, Canterbury, 52 pp. ISBN 9781902671789. (Full text available)
[img]
Preview

Greathead, David and Coventry, Lynne and Arief, Budi and van Moorsel, Aad (2012) Deriving Requirements for an Online Community Interaction Scheme: Indications from Older Adults. In: Proceedings of the ACM SIGCHI Conference on Human Factors in Computing Systems (CHI 2012) Extended Abstracts on Human Factors in Computing Systems, 5-10 May 2012, Austin, Texas, USA. (doi:https://doi.org/10.1145/2212776.2223669) (Full text available)
[img]
Preview

Hedges, Mark and Jordanous, Anna and Dunn, Stuart and Roueché, Charlotte and Kuster, Marc W and Selig, Thomas and Bittorf, Michael and Artes, Waldemar (2012) New models for collaborative textual scholarship. In: 6th IEEE International Conference on Digital Ecosystems Technologies (DEST 2012), 2012, Campione d'Italia, Switzerland. (Full text available)
[img]
Preview

Jordanous, Anna (2012) A Standardised Procedure for Evaluating Creative Systems: Computational Creativity Evaluation Based on What it is to be Creative. Cognitive Computation, 4 (3). pp. 246-279. ISSN 1866-9956. E-ISSN 1866-9964. (doi:https://doi.org/10.1007/s12559-012-9156-1) (Full text available)
[img]
Preview

Jordanous, Anna and Keller, Bill (2012) Creativity Ontology. http://purl.org/creativity/ontology. (Full text available)
[img]

Jordanous, Anna and Keller, Bill (2012) Weaving creativity into the Semantic Web: a language-processing approach. In: International Conference on Computational Creativity 2012, 2012, Dublin, Ireland. (Full text available)
[img]
Preview

Jordanous, Anna and Keller, Bill (2012) What makes a musical improvisation creative? Journal of Interdisciplinary Music Studies, 6 (2). pp. 151-175. ISSN 1307-0401. E-ISSN 1306-9055. (doi:https://doi.org/10.4407/jims.2014.02.003) (Full text available)
[img]
Preview

Jordanous, Anna and Lawrence, K Faith and Hedges, Mark and Tupman, Charlotte (2012) Exploring manuscripts: sharing ancient wisdoms across the semantic web. In: International Conference on Web Intelligence, Mining and Semantics, 2012, Craiova, Romania. (Full text available)
[img]
Preview

Jordanous, Anna and Stanley, Alan and Tupman, Charlotte (2012) Contemporary transformation of ancient documents for recording and retrieving maximum information: when one form of markup is not enough. In: Balisage: The Markup Conference 2012. Balisage Series on Markup Technologies (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kafalı, Özgür and Torroni, Paolo (2012) Exception diagnosis in multiagent contract executions. Annals of Mathematics and Artificial Intelligence, 64 (1). pp. 73-107. ISSN 1573-7470. (doi:https://doi.org/10.1007/s10472-012-9282-1) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kafalı, Özgür and Yolum, Pınar (2012) Improving self-organized resource allocation with effective communication. In: Agents and Peer-to-Peer Computing. Springer, pp. 35-46. ISBN 9783642318085. (doi:https://doi.org/10.1007/978-3-642-31809-2_4) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kampouridis, Michael and Chen, S.-H. and Tsang, E. (2012) Market Fraction Hypothesis: A proposed test. International Review of Financial Analysis, 23 . pp. 41-54. ISSN 1057-5219. (doi:https://doi.org/10.1016/j.irfa.2011.06.009) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kampouridis, Michael and Chen, Shu-Heng and Tsang, Edward (2012) Microstructure Dynamics and Agent-Based Financial Markets: Can Dinosaurs Return? Advances in Complex Systems, 15 (S02). p. 1250060. ISSN 1793-6802. (doi:https://doi.org/10.1142/S0219525912500609) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kampouridis, Michael and Glover, T. and Shaghaghi, A. R. and Tsang, E. (2012) Using a Genetic Algorithm as a Decision Support Tool for the Deployment of Fiber Optic Networks. In: Proceedings of the IEEE World Congress on Computational Intelligence. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

King, Andy and Mycroft, Alan and Simon, Axel and Reps, Tom (2012) Analysis of Executables: Benefits and Challenges. In: Analysis of Executables: Benefits and Challenges, January 29 to February 3, 2012, Wadern, Germany. (doi:https://doi.org/10.4230/DagRep.2.1.100) (Full text available)
[img]
Preview

Lange, Julien and Tuosto, E. (2012) Synthesising choreographies from local session types. In: 23rd International Conference on Concurrency Theory, CONCUR 2012, September 4-7, 2012, Newcastle upon Tyne, UK. (doi:https://doi.org/10.1007/978-3-642-32940-1_17) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Marconi, Annapaola and Bucchiarone, Antonio and Bratanis, Konstantinos and Brogi, Antonio and Camara, Javier and Dranidis, Dimitris and Giese, Holger and Kazhamiakink, Raman and de Lemos, Rogerio and Marquezan, Clarissa Cassales and Metzger, Andreas (2012) Research challenges on multi-layer and mixed-initiative monitoring and adaptation for service-based systems. In: 2012 First International Workshop on European Software Services and Systems Research - Results and Challenges (S-Cube). pp. 40-46. (doi:https://doi.org/10.1109/S-Cube.2012.6225509) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Marr, Stefan and D'Hondt, Theo (2012) Identifying A Unifying Mechanism for the Implementation of Concurrency Abstractions on Multi-Language Virtual Machines. In: Objects, Models, Components, Patterns, 50th International Conference, TOOLS 2012. (doi:https://doi.org/10.1007/978-3-642-30561-0_13) (Full text available)
[img]
Preview

Marr, Stefan and Nicolay, Jens and Van Cutsem, Tom and D'Hondt, Theo (2012) Modularity and Conventions for Maintainable Concurrent Language Implementations: A Review of Our Experiences and Practices. In: Proceedings of the 2nd Workshop on Modularity In Systems Software (MISS'2012). (doi:https://doi.org/10.1145/2162024.2162031) (Full text available)
[img]
Preview

McLoughlin, Ian Vince (2012) Open-Source and Consumer Electronics - The Back Door to World Domination: Why Reinvent the Wheel (Especially When Nice People Are Giving Wheels Away for Free)? Consumer Electronics Magazine, IEEE, 1 (2). pp. 53-58. ISSN 2162-2248. (doi:https://doi.org/10.1109/MCE.2011.2181882) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince and Ang, Li Ming and Goh, Wooi Boon (2012) Multi-touch Wall Displays for Informational and Interactive Collaborative Space. In: Multi-touch Wall Displays for Informational and Interactive Collaborative Space. Communications in Computer and Information Science . Springer Berlin Heidelberg, pp. 318-338. ISBN 978-3-642-29757-1. (doi:https://doi.org/10.1007/978-3-642-29758-8_17) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince and Bretschneider, Timo Rolf and Zheming, Chen (2012) Virtualized Development and Testing for Embedded Cluster Computing. International Journal of Networking and Computing, 2 (2). pp. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince and Narendra, I Komang and Koh, Leong Hai and Nguyen, Quang Huy and Seshadri, Bharath and Zeng, Wei and Yao, Chang (2012) Campus Mobility for the Future: The Electric Bicycle. Journal of Transportation Technologies, 2 (1). pp. 1-12. (doi:https://doi.org/10.4236/jtts.2012.21001) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince and Sirisena, Harsha (2012) TCP/IP link layer error mitigation for MIMO wireless links. Telecommunication Systems, 50 (3). pp. 137-148. ISSN 1018-4864. (doi:https://doi.org/10.1007/s11235-010-9394-z) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Narwaria, Manish and Lin, W. and McLoughlin, Ian Vince and Emmanuel, Sabu and Chia, Liang-Tien (2012) Fourier Transform Based Scalable Image Quality Measure. IEEE Transactions on Image Processing, 21 (8). pp. 3364-3377. ISSN 1057-7149. (doi:https://doi.org/10.1109/TIP.2012.2197010) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Narwaria, Manish and Lin, Weisi and McLoughlin, Ian Vince and Emmanuel, Sabu and Chia, Liang-Tien (2012) Fourier transform-based scalable image quality measure. IEEE Transactions on Image Processing, 21 (8). pp. 3364-3377. ISSN 1057-7149. (doi:https://doi.org/10.1109/TIP.2012.2197010) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Narwaria, Manish and Lin, Weisi and McLoughlin, Ian Vince and Emmanuel, Sabu and Chia, Liang-Tien (2012) Nonintrusive Quality Assessment of Noise Suppressed Speech With Mel-Filtered Energies and Support Vector Regression. Audio, Speech, and Language Processing, IEEE Transactions on, 20 (4). pp. 1217-1232. ISSN 1558-7916. (doi:https://doi.org/10.1109/TASL.2011.2174223) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Orchard, Dominic A. and Mycroft, Alan (2012) A Notation for Comonads. In: Revised Selected Papers from 24th International Symposium on Implementation and Application of Functional Languages, IFL 2012, August 30 - September 1, 2012, Oxford, UK. (doi:https://doi.org/10.1007/978-3-642-41582-1_1) (Full text available)
[img]
Preview

Pham, Thinh H. and Fahmy, Suhaib A. and McLoughlin, Ian Vince (2012) Low-Power Correlation for IEEE 802.16 OFDM Synchronization on FPGA. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, . pp. 1549-1553. ISSN 1063-8210. (doi:https://doi.org/10.1109/TVLSI.2012.2210917) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Prakash, S. and McLoughlin, Ian Vince (2012) Channel prediction in non-regenerative multi-antenna relay selection systems. IET Communications, 6 (13). pp. 2027-2032. ISSN 1751-8628. (doi:https://doi.org/10.1049/iet-com.2012.0118) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Ratnarajah, Nagulan and Simmons, Andy and Hojjatoleslami, Ali and Davydov, Oleg (2012) Novel Approach for Improved Tractography and Quantitative Analysis of Probabilistic Fibre Tracking Curves. Medical Image Analysis, 16 (1). pp. 227-238. ISSN 1361-8415. (doi:https://doi.org/10.1016/j.media.2011.07.005) (Full text available)
[img]
Preview

Selvarajah, Kirusnapillai and Arief, Budi and Tully, Alan and Blythe, Phil (2012) Deploying Wireless Sensor Devices in Intelligent Transportation System Applications. In: Abdel-Rahim, A, ed. Intelligent Transportation Systems. InTech. (Full text available)
[img]
Preview

Sharifzadeh, Hamid R and McLoughlin, Ian Vince (2012) Whisper vowel diagrams for Singapore English. In: UNSPECIFIED, 21-23 June 2012, Bucharest. (doi:https://doi.org/10.1109/ICComm.2012.6262585) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Sharifzadeh, Hamid Reza and McLoughlin, Ian Vince and Russell, Martin J (2012) A Comprehensive Vowel Space for Whispered Speech. Journal of Voice, 26 (2). e49 - e56. (doi:https://doi.org/10.1016/j.jvoice.2010.12.002) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Sim, Kwang Mong (2012) Agent-Based Cloud Computing. IEEE Transactions On Services Computing, 5 (4). pp. 564-577. ISSN 1939-1374. (doi:https://doi.org/10.1109/TSC.2011.52) (Full text available)
[img]
Preview

Tupman, Charlotte and Hedges, Mark and Jordanous, Anna and Roueché, Charlotte and Lawrence, K. Faith and Wakelnig, Elvira and Dunn, Stuart (2012) Sharing Ancient Wisdoms: developing structures for tracking cultural dynamics by linking moral and philosophical anthologies with their source and recipient texts. In: Digital Humanities, 2012, Hamburg, Germany. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Tupman, Charlotte and Jordanous, Anna (2012) Sharing Ancient Wisdoms across the Semantic Web using TEI and ontologies. In: Methods and means for digital analysis of ancient and medieval texts and manuscripts, 2012, Leuven, Belgium. (Unpublished) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Zeng, Wei and Zhong, Chen and Anwar, Afian and Arisona, Stefan Muller and McLoughlin, Ian Vince (2012) MetroBuzz: Interactive 3D visualization of spatiotemporal data. In: UNSPECIFIED, 12-14 June 2012, Kuala Lumpeu. (doi:https://doi.org/10.1109/ICCISci.2012.6297228) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

2011

Welch, Peter H. and Sampson, Adam T. and Pedersen, Jan B. and Kerridge, Jon M. and Broenink, Jan F. and Barnes, Frederick R.M., eds. (2011) Communicating Process Architectures 2011. Concurrent Systems Engineering, 68 . IOS Press, Amsterdam, The Netherlands, 400 pp. ISBN 9781607507734. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Arief, Budi and Greathead, David and Coventry, Lynne and van Moorsel, Aad (2011) Towards the Implementation of an Internet-based Neighbourhood Watch Scheme. In: 3rd International Conference on Computational Aspects of Social Networks (CASoN), 19-22 October 2011, Salamanca, Spain. (Full text available)
[img]
Preview

Azmat, Freeha and Bocchi, Laura and Fiadeiro, José Luiz (2011) Early Model-Analysis of Logistics Systems. In: Service-Oriented Computing. Lecture Notes in Computer Science, 6568. Springer pp. 225-236. ISBN 9783642193934. E-ISBN 9783642193941. (doi:https://doi.org/10.1007/978-3-642-19394-1_25) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bocchi, Laura and Lange, Julien and Tuosto, E. (2011) Amending Contracts for Choreographies. In: 4th Interaction and Concurrency Experience workshop, 9th June 2011, Reykjavik, Iceland. (doi:https://doi.org/10.4204/EPTCS.59.10) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Chadwick, David W. and Lievens, Stijn F and den Hartog, Jerry I and Pashalidis, Andreas and Alhadeff, Joseph (2011) My Private Cloud Overview: A Trust, Privacy and Security Infrastructure for the Cloud. In: Cloud Computing (CLOUD), 2011 IEEE International Conference on, 4-9 July 2011, Washington, DC, USA. (doi:https://doi.org/10.1109/CLOUD.2011.113) (Full text available)
[img]
Preview

Chambers, John C and Zhang, Weihua and Sehmi, Joban S. and Li, Xinzhong and Wass, Mark N. and Van der Harst, Pim and Holm, Hilma and Sanna, Serena and Kavousi, Maryam and Baumeister, Sebastian E and Coin, Lachlan J and Deng, Guohong and Gieger, Christian and Heard-Costa, Nancy L and Hottenga, Jouke-Jan and Kühnel, Brigitte and Kumar, Vinod and Lagou, Vasiliki and Liang, Liming and Luan, Jian'an and Vidal, Pedro Marques and Mateo Leach, Irene and O'Reilly, Paul F and Peden, John F and Rahmioglu, Nilufer and Soininen, Pasi and Speliotes, Elizabeth K and Yuan, Xin and Thorleifsson, Gudmar and Alizadeh, Behrooz Z and Atwood, Larry D and Borecki, Ingrid B and Brown, Morris J and Charoen, Pimphen and Cucca, Francesco and Das, Debashish and de Geus, Eco J C and Dixon, Anna L and Döring, Angela and Ehret, Georg and Eyjolfsson, Gudmundur I and Farrall, Martin and Forouhi, Nita G and Friedrich, Nele and Goessling, Wolfram and Gudbjartsson, Daniel F and Harris, Tamara B and Hartikainen, Anna-Liisa and Heath, Simon and Hirschfield, Gideon M and Hofman, Albert and Homuth, Georg and Hyppönen, Elina and Janssen, Harry L A and Johnson, Toby and Kangas, Antti J and Kema, Ido P and Kühn, Jens P and Lai, Sandra and Lathrop, Mark and Lerch, Markus M and Li, Yun and Liang, T Jake and Lin, Jing-Ping and Loos, Ruth J F and Martin, Nicholas G and Moffatt, Miriam F and Montgomery, Grant W and Munroe, Patricia B and Musunuru, Kiran and Nakamura, Yusuke and O'Donnell, Christopher J and Olafsson, Isleifur and Penninx, Brenda W and Pouta, Anneli and Prins, Bram P and Prokopenko, Inga and Puls, Ralf and Ruokonen, Aimo and Savolainen, Markku J and Schlessinger, David and Schouten, Jeoffrey N L and Seedorf, Udo and Sen-Chowdhry, Srijita and Siminovitch, Katherine A and Smit, Johannes H and Spector, Timothy D and Tan, Wenting and Teslovich, Tanya M and Tukiainen, Taru and Uitterlinden, Andre G and Van der Klauw, Melanie M and Vasan, Ramachandran S and Wallace, Chris and Wallaschofski, Henri and Wichmann, H-Erich and Willemsen, Gonneke and Würtz, Peter and Xu, Chun and Yerges-Armstrong, Laura M and Abecasis, Goncalo R and Ahmadi, Kourosh R and Boomsma, Dorret I and Caulfield, Mark and Cookson, William O and van Duijn, Cornelia M and Froguel, Philippe and Matsuda, Koichi and McCarthy, Mark I and Meisinger, Christa and Mooser, Vincent and Pietiläinen, Kirsi H and Schumann, Gunter and Snieder, Harold and Sternberg, Michael J.E. and Stolk, Ronald P and Thomas, Howard C and Thorsteinsdottir, Unnur and Uda, Manuela and Waeber, Gérard and Wareham, Nicholas J and Waterworth, Dawn M and Watkins, Hugh and Whitfield, John B and Witteman, Jacqueline C M and Wolffenbuttel, Bruce H R and Fox, Caroline S and Ala-Korpela, Mika and Stefansson, Kari and Vollenweider, Peter and Völzke, Henry and Schadt, Eric E and Scott, James and Järvelin, Marjo-Riitta and Elliott, Paul and Kooner, Jaspal S (2011) Genome-wide association study identifies loci influencing concentrations of liver enzymes in plasma. Nature Genetics, 43 (11). pp. 1131-1138. ISSN 1061-4036. (doi:https://doi.org/10.1038/ng.970) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Chen, S.-H. and Kampouridis, Michael and Tsang, E. (2011) Microstructure Dynamics and Agent-Based Financial Markets. In: Multi-Agent-Based Simulation XI, 11th International Workshop, Revised Papers, LNAI. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Chu, Dominique and Barnes, David J. and von der Haar, Tobias (2011) The role of tRNA and ribosome competition in coupling the expression of different mRNAs in Saccharomyces cerevisiae. Nucleic Acids Research, 39 (15). pp. 6705-6714. ISSN 0305-1048. (doi:https://doi.org/10.1093/nar/gkr300) (Full text available)
[img]
Preview

Cruse, Damian and Chennu, Srivas and Chatelle, Camille and Bekinschtein, Tristan A and Fernández-Espejo, Davinia and Pickard, John D and Laureys, Steven and Owen, Adrian M (2011) Bedside detection of awareness in the vegetative state: a cohort study. Lancet, 378 (9809). pp. 2088-2094. ISSN 0140-6736. E-ISSN 1474-547X. (doi:https://doi.org/10.1016/S0140-6736(11)61224-5) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Fatema, Kaniz and Chadwick, David W. and Lievens, Stijin F. (2011) A Multi-privacy Policy Enforcement System. In: Fischer-Hubner, Simone and Duquenoy, Penny and Hansen, Marit and Leenes, Ronald and Zhang, Ge, eds. Privacy and Identity Management for Life. IFIP Advances in Information and Communication Technology, 352 (2011). Springer, Boston, pp. 297-310. ISBN 9783642207686. (doi:https://doi.org/10.1007/978-3-642-20769-3_24) (Full text available)
[img]
Preview

Howard, Sam and Silla Jr, Carlos N. and Johnson, Colin G. (2011) Automatic Lyrics-based Music Genre Classification in a Multilingual Setting. In: Thirteenth Brazilian Symposium on Computer Music, 31st August--3rd September 2011, Vitória, Brasil. (Full text available)
[img]
Preview

Jordanous, Anna (2011) Computer Models of Musical Creativity? A review of Cope (2005). Review of: Computer Models of Musical Creativity. David Cope (2005). MIT Press by UNSPECIFIED. AISB Quarterly, 132 (-). p. 10. ISSN 1476-3036. (Full text available)
[img]
Preview

Jordanous, Anna (2011) Evaluating evaluation: Assessing progress in computational creativity research. In: International Conference on Computational Creativity 2011, 2011, Mexico City, Mexico. (Full text available)
[img]
Preview

Jordanous, Anna (2011) International Conference on Computational Creativity (review). Review of: International Conference on Computational Creativity 2011 by UNSPECIFIED. AISB Quarterly, . p. 13. (Full text available)
[img]
Preview

Jordanous, Anna and Keller, Bill (2011) What makes a musical improvisation creative? In: 7th Conference on Interdisciplinary Musicology, 2011, Glasgow, UK. (Full text available)
[img]
Preview

Kafalı, Özgür and Toni, Francesca and Torroni, Paolo (2011) Collaborative diagnosis of exceptions to contracts: Extended Abstract. In: 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), May 02 - 06, 2011, Taipei, Taiwan. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kafalı, Özgür and Toni, Francesca and Torroni, Paolo (2011) Reasoning about exceptions to contracts. In: Leite, João and Torroni, Paolo and Ågotnes, Thomas and Boella, Guido and van der Torre, Leon, eds. Computational Logic in Multi-Agent Systems. Springer, pp. 225-242. ISBN 9783642223587. (doi:https://doi.org/10.1007/978-3-642-22359-4_16) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kafalı, Özgür and Torroni, Paolo (2011) Diagnosing commitments: Delegation revisited: Extended Abstract. In: 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), May 02 - 06, 2011, Taipei, Taiwan. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kafalı, Özgür and Torroni, Paolo (2011) Social commitment delegation and monitoring. In: Leite, João and Torroni, Paolo and Ågotnes, Thomas and Boella, Guido and van der Torre, Leon, eds. Computational Logic in Multi-Agent Systems. Springer, pp. 171-189. ISBN 9783642223587. (doi:https://doi.org/10.1007/978-3-642-22359-4_13) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kafalı, Özgür and Yolum, Pınar (2011) A distributed treatment of exceptions in multiagent contracts: Preliminary Report. In: 9th International Workshop on Declarative Agent Languages and Technologies (DALT). (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kampouridis, Michael and Chen, S.-H. and Tsang, E. (2011) Investigating the Effect of Different GP Algorithms on the Non-Stationary Behavior of Financial Markets. In: Computational Intelligence for Financial Engineering and Economics. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kampouridis, Michael and Chen, S.-H. and Tsang, E. (2011) The Market Fraction Hypothesis under different GP algorithms. In: Information Systems for Global Financial Markets: Emerging Developments and Effects,. IGI Global, pp. 37-54. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kampouridis, Michael and Chen, S.-H. and Tsang, E. (2011) Market Microstructure: A Self-Organizing Map Approach for Investigating Behavior Dynamics under an Evolutionary Environment. In: Natural Computing in Computational Finance,. Studies in Computational Intelligence Series, 4 . Springer, pp. 181-197. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kampouridis, Michael and Chen, S.-H. and Tsang, E. (2011) Market Microstructure: Can Dinosaurs Return? A Self-Organizing Map Approach under an Evolutionary Framework. In: EvoApplications, EvoStar 2011. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kampouridis, Michael and Tsang, Edward (2011) Using Hyperheuristics under a GP framework for Financial Forecasting. In: Proc. Fifth International Conference on Learning and Intelligent Optimization (LION5). (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Lange, Julien and Tuosto, E. (2011) A Modular Toolkit for Distributed Interactions. In: Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software (PLACES 2010), 21st March 2010, Paphos, Cyprus. (doi:https://doi.org/10.4204/EPTCS.69.7) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Le, Thanh Hai and McLoughlin, Ian Vince (2011) SLC SAR speckle filtering using homoskedastic features of logarithmic transformation. In: 31st Asian Conference on Remote Sensing (ACRS), 1-5 November 2010, Hanoi, Vietnam. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince (2011) Computer Architecture: an embedded approach. McGraw-Hill, 512 pp. ISBN 9780-071311-182. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince (2011) Reverse engineering of embedded consumer electronic systems. In: IEEE 15th International Symposium on Consumer Electronics (ISCE), 2011, 14-17 June 2011, Singapore. (doi:https://doi.org/10.1109/ISCE.2011.5973848) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince (2011) Virtualized Development and Testing of Embedded Computing Clusters. In: Second International Conference on Networking and Computing 2011, Nov. 30 2011-Dec. 2 2011, Osaka. (doi:https://doi.org/10.1109/ICNC.2011.13) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince and Wong, Kai Juan and Tan, Su Lim (2011) Data collection, communications and processing in the Sumatran GPS array (SuGAr). In: Proceedings of the World Congress on Engineering, July 6 - 8, 201, London, U.K. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Merad, Salah and de Lemos, Rogério and Anderson, Tom (2011) A game theoretic solution for the optimal selection of services. In: Performance and Dependability in Service Computing: Concepts, Techniques and Research Directions. Premier Reference Source . IGI Global, pp. 172-188. ISBN 9781609607944. (doi:https://doi.org/10.4018/978-1-60960-794-4.ch008) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Mohtasseb Billah, Haytham and Ahmed, Amr and Altadmri, Amjad and Cobham, David (2011) PSYCHONET 2: contextualized and enriched psycholinguistic commonsense ontology. In: International Conference on Knowledge Engineering and Ontology Development (KEOD), 25 - 29 October 2011, Paris, France. (Full text available)
[img]
Preview

Nguyen, Quang Huy and McLoughlin, Ian Vince and Bretschneider, Timo (2011) Fast and accurate GCPS selection scheme for SAR image registration based on an improved Trajkovic corner detector. In: International Geoscience and Remote Sensing Symposium 2011, 24-29 July 2011, Vancouver, BC. (doi:https://doi.org/10.1109/IGARSS.2011.6049194) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Orchard, Dominic A. (2011) The four Rs of programming language design. In: ACM Symposium on New Ideas in Programming and Reflections on Software, Onward! 2011, 22-27 Oct 2011, Portland, OR, USA. (doi:https://doi.org/10.1145/2089131.2089138) (Full text available)
[img]
Preview

Orchard, Dominic A. and Mycroft, Alan (2011) Efficient and Correct Stencil Computation via Pattern Matching and Static Typing. In: Proceedings IFIP Working Conference on Domain-Specific Languages, DSL 2011, 6-8th September 2011, Bordeaux, France. (doi:https://doi.org/10.4204/EPTCS.66.4) (Full text available)
[img]
Preview

Plastino, Alexandre and Fuchshuber, Richard and Martins, Simone de L. and Freitas, Alex A. and Salhi, Said (2011) A hybrid data mining metaheuristic for the p-median problem. Statistical Analysis & Data Mining Journal, 4 (3). pp. 313-335. (doi:https://doi.org/10.1002/sam.10116) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Prakash, Shiva and McLoughlin, Ian Vince (2011) Analysis of adaptive modulation with antenna selection under channel prediction errors. In: 2011 International Conference on Communications and Signal Processing, 10-12 Feb. 2011, Calicut. (doi:https://doi.org/10.1109/ICCSP.2011.5739372) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Prakash, Shiva and McLoughlin, Ian Vince (2011) Effects of Channel Prediction for Transmit Antenna Selection With Maximal-Ratio Combining in Rayleigh Fading. IEEE Transactions on Vehicular Technology, 60 (6). pp. 2555-2568. ISSN 0018-9545. (doi:https://doi.org/10.1109/TVT.2011.2157184) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Prakash, Shiva and McLoughlin, Ian Vince (2011) Performance of dual-hop multi-antenna systems with fixed gain amplify-and-forward relay selection. IEEE Transactions on Wireless Communications, 10 (6). pp. 1709-1714. ISSN 1536-1276. (doi:https://doi.org/10.1109/TWC.2011.040411.101415) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Rowe, Reuben and Van Bakel, Steffen (2011) Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming. In: Typed Lambda Calculi and Applications. Springer pp. 229-244. ISBN 978364221690-9. (doi:https://doi.org/10.1007/978-3-642-21691-6_19) (Full text available)
[img]
Preview

Schoeberl, Martin and Korsholm, Stephan and Kalibera, Tomas and Ravn, Anders P. (2011) A Hardware Abstraction Layer in Java. ACM Transactions on Embedded Computing Systems, 10 (4). pp. 182-196. (doi:https://doi.org/10.1145/2043662.2043666) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Wilson, John J. and Palaniappan, Ramaswamy (2011) Analogue mouse pointer control via an online steady state visual evoked potential (SSVEP) brain-computer interface. Journal of Neural Engineering, 8 (2). pp. 1-6. ISSN 1741-2560. (doi:https://doi.org/10.1088/1741-2560/8/2/025026) (Full text available)
[img]
Preview

da Silva, Carlos Eduardo and de Lemos, Rogerio (2011) Dynamic plans for integration testing of self-adaptive software systems. In: Proceeding of the 6th international symposium on Software engineering for adaptive and self-managing systems - SEAMS '11. p. 148. (doi:https://doi.org/10.1145/1988008.1988029) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

da Silva, Carlos Eduardo and de Lemos, Rogério (2011) A Framework for Automatic Generation of Processes for Self-Adaptive Software Systems. Informatica, 35 (1). pp. 3-13. ISSN 0350-5596. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

van Moorsel, Aad and Emms, Martin and Rendall, Gemma and Arief, Budi (2011) Digital Strategy for the Social Inclusion of Survivors of Domestic Violence. Technical report. CS-TR-1277 (Full text available)
[img]
Preview

2010

Casimiro, Antonio and de Lemos, Rogério and Gacek, Cristina, eds. (2010) Architecting Dependable Systems VII. Lecture Notes in Computer Science, 6420 . Springer, 324 pp. ISBN 9783642172441. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Weyns, Danny and Malek, Sam and de Lemos, Rogério and Andersson, Jesper, eds. (2010) Self-Organizing Architectures. Lecture Notes in Computer Science, 6090 . Springer, 301 pp. ISBN 9783642144110. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Ahmadi, Farzaneh and McLoughlin, Ian Vince (2010) The use of low-frequency ultrasonics in speech processing. In: Miron, Sebastian, ed. Signal Processing. Intech, pp. 503-528. ISBN 978-953-7619-91-6. (doi:https://doi.org/10.5772/8538) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Ahmadi, Farzaneh and McLoughlin, Ian Vince and Sharifzadeh, Hamid Reza (2010) Autoregressive Modelling for Linear Prediction of Ultrasonic Speech. In: Eleventh Annual Conference of the International Speech Communication Association, 26-30 September 2010, Makuhari, Chiba, Japan. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Ahmadi, Farzaneh and McLoughlin, Ian Vince and Sharifzadeh, Hamid Reza (2010) Linear predictive analysis for ultrasonic speech. Electronics Letters, 46 (6). pp. 387-388. ISSN 0013-5194. (doi:https://doi.org/10.1049/el.2010.3521) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Ahmadi, Farzaneh and McLoughlin, Ian Vince and Sharifzadeh, Hamid Reza (2010) Talking Ultrasound. Electronics letters, 46 (6). p. 383. (doi:https://doi.org/10.1049/el.2010.9019) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Anggadjaja, Erwin and McLoughlin, Ian Vince (2010) Point-to-point OMNeT++ based simulation of reliable transmission using realistic segmentation and reassembly with error control. In: International Conference on Advances in Computing, Control and Telecommunication Technologies (ACT), 2-3 December 2010, Jakarta, Indonesia. (doi:https://doi.org/10.1109/ACT.2010.25) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Arief, Budi and Coleman, Joey and Greathead, David (2010) How Paranoid Are You?: Issues in Location Information of Ambient Systems. Technical report. CS-TR-1219 (Full text available)
[img]
Preview

Bocchi, Laura and Tuosto, Emilio (2010) A Java Inspired Semantics for Transactions in SOC. In: Trustworthly Global Computing. Lecture Notes in Computer Science, 6084. Springer pp. 120-134. ISBN 9783642156397. E-ISBN 9783642156403. (doi:https://doi.org/10.1007/978-3-642-15640-3_9) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bocchi, Laura and Tuosto, Emilio (2010) Testing Attribute-Based Transactions in SOC. In: Formal Techniques for Distributed Systems. Lecture Notes in Computer Science, 6117. Springer pp. 87-94. (doi:https://doi.org/10.1007/978-3-642-13464-7_8) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Chen, S.-H. and Kampouridis, Michael and Tsang, E. (2010) Microstructure Dynamics and Agent-Based Financial Markets. In: Proceedings of the 11th International Workshop on Multi-Agent-Based Simulation (MABS 2010). (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Derrick, John and Walkinshaw, Neil and Arts, Thomas and Benac Earle, Clara and Cesarini, Francesco and Fredlund, Lars-Ake and Gulias, Victor and Hughes, John and Thompson, Simon (2010) Property-Based Testing - The ProTest Project. In: Formal Methods for Components and Objects. Lecture Notes in Computer Science, 6286 . Springer, pp. 250-271. ISBN 9783642170706. E-ISBN 9783642170713. (doi:https://doi.org/10.1007/978-3-642-17071-3_13) (Full text available)
[img]
Preview

Dimitrakos, Theo and Martrat, Josep and Wesner, Stefan, eds. (2010) Service Oriented Infrastructures and Cloud Service Platforms for the Enterprise: A selection of common capabilities validated in real-life business trials by the BEinGRID consortium. Springer Berlin Heidelberg ISBN 9783642040863. E-ISBN 978-3-642-04086-3. (doi:https://doi.org/10.1007/978-3-642-04086-3) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Dubois, Julie L. N. and Lavignac, Nathalie (2010) Synthesis and physicochemical characterisation of novel poly(amidoamine)s. In: 3rd International Symposium “Cellular delivery of therapeutic Macromolecules 2010”, 26-29/06/2010, Cardiff, UK. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hellyer, Laurence and Ritson, Carl G. and Simpson, Jonathan (2010) Proceedings of the 2010 School of Computing Postgraduate Conference. Technical report. , University of Kent, Canterbury, Kent CT2 7NF, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hocko, Michal and Kalibera, Tomas (2010) Reducing performance non-determinism via cache-aware page allocation strategies. In: Proceedings of the first joint WOSP/SIPEW International Conference on Performance Engineering. (doi:https://doi.org/10.1145/1712605.1712640) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hoverd, Tim and Sampson, Adam T. (2010) A Transactional Architecture for Simulation. In: ICECCS 2010: Fifteenth IEEE International Conference on Engineering of Complex Computer Systems. (Full text available)
[img]
Preview

Jordanous, Anna (2010) A-Fitness-Function-for-Creativity-in-Jazz-Improvisation-and-Beyond (Jordanous 2010) - code. github Java code. (Full text available)
[img]

Jordanous, Anna (2010) Conference Review: Empirical approaches to Performance: Empirical Musicology II conference (25-26 March 2010, School of Music, University of Leeds, UK). Review of: Empirical approaches to Performance: Empirical Musicology II conference 2010 by UNSPECIFIED. Excursions, 1 (1). p. 1. ISSN 2044-4095. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jordanous, Anna (2010) Defining creativity: Finding keywords for creativity using corpus linguistics techniques. In: International Conference on Computational Creativity 2010, 2010, Lisbon, Portugal. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jordanous, Anna (2010) The Realisation of Creativity in Artificial Music Improvisation and Interpretation. In: Empirical Musicology II, 2010, Leeds, UK. (Unpublished) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jordanous, Anna (2010) A fitness function for creativity in jazz improvisation and beyond. In: International Conference on Computational Creativity, 2010, Lisbon, Portugal. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kafalı, Özgür and Chesani, Federico and Torroni, Paolo (2010) What happened to my commitment? Exception diagnosis among misalignment and misbehavior. In: Leite, João and Torroni, Paolo and Ågotnes, Thomas and Boella, Guido and van der Torre, Leon, eds. Computational Logic in Multi-Agent Systems. Springer, pp. 82-98. ISBN 9783642149764. (doi:https://doi.org/10.1007/978-3-642-14977-1_9) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kafalı, Özgür and Yolum, Pınar (2010) Detecting exceptions in commitment protocols: Discovering hidden states. In: Languages, Methodologies, and Development Tools for Multi-Agent Systems. Springer, pp. 112-127. ISBN 9783642133374. (doi:https://doi.org/10.1007/978-3-642-13338-1_7) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kalibera, Tomas and Parizek, Pavel and Haddad, Ghaith and Leavens, Gary T. and Vitek, Jan (2010) Challenge benchmarks for verification of real-time programs. In: Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification (PLPV). (doi:https://doi.org/10.1145/1707790.1707800) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kalibera, Tomas and Parizek, Pavel and Malohlava, Michal and Schoeberl, Martin (2010) Exhaustive testing of safety critical Java. In: Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES). (doi:https://doi.org/10.1145/1850771.1850794) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kampouridis, Michael and Chen, S.-H. and Tsang, E. (2010) Testing the Dinosaur Hypothesis Under Different GP Algorithms. In: Proceedings of the UK Computational Intelligence Workshop (UKCI), IEEE Xplore. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kampouridis, Michael and Chen, Shu-Heng and Tsang, Edward (2010) Testing the Dinosaur Hypothesis under Empirical Datasets. In: Parallel Problem Solving from Nature — PPSN XI. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kampouridis, Michael and Tsang, E. (2010) EDDIE for Investment Opportunities Forecasting: Extending the Search Space of the GP. In: Proceedings of the IEEE World Congress on Computational Intelligence. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Le, Thanh-Hai and McLoughlin, Ian Vince and Lee, Ken Yoong and Bretschneider, Timo Rolf (2010) Neural network-assisted reconstruction of full polarimetric SAR information. In: 2010 4th International Symposium on Communications, Control and Signal Processing (ISCCSP), 3-5 March 2010, Limassol. (doi:https://doi.org/10.1109/ISCCSP.2010.5463414) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Marr, Stefan and Verhaegen, Stijn and De Fraine, Bruno and D'Hondt, Theo and De Meuter, Wolfgang (2010) Insertion Tree Phasers: Efficient and Scalable Barrier Synchronization for Fine-grained Parallelism. In: Proceedings of the 12th IEEE International Conference on High Performance Computing and Communications, 1-3 Sept 2010, Melbourne, Australia. (doi:https://doi.org/10.1109/HPCC.2010.30) (Full text available)
[img]
Preview

McLoughlin, Ian Vince (2010) Vowel Intelligibility in Chinese. Ieee Transactions On Audio Speech And Language Processing, 18 (1). pp. 117-125. ISSN 1558-7916. (doi:https://doi.org/10.1109/TASL.2009.2024381) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince and Bretschneider, Timo Rolf (2010) Reliability through redundant parallelism for micro-satellite computing. ACM Transactions on Embedded Computer Systems, 9 (3). p. 26. (doi:https://doi.org/10.1145/1698772.1698784) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince and Nakano, Koji (2010) A Perspective on the Experiential Learning of Computer Architecture. In: 2010 IEEEACM International Conference on Green Computing and Communications International Conference on Cyber Physical and Social Computing, 18-20 December 2010, Huangzhou, China. (doi:https://doi.org/10.1109/GreenCom-CPSCom.2010.71) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

UNSPECIFIED (2010) METHOD AND SYSTEM FOR RECONSTRUCTING SPEECH FROM AN INPUT SIGNAL COMPRISING WHISPERS. . (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince and Tsao, Shiao-Li (2010) Message from the APESER 2010 Program Chairs. In: 2010 IEEE/ACM Int'l Conference on & Int'l Conference on Cyber, Physical and Social Computing (CPSCom), 18-20 Dec. 2010, Hangzhou, China. (doi:https://doi.org/10.1109/GreenCom-CPSCom.2010.185) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Moraglio, Alberto and Togelius, Julian and Silva, Sara (2010) Geometric Differential Evolution for Combinatorial and Programs Spaces. Technical report. , University of Kent, Canterbury, Kent CT9 7NF, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Narwaria, Manish and Lin, Weisi and McLoughlin, Ian Vince and Emmanuel, Sabu and Tien, Chia Liang (2010) Non-intrusive speech quality assessment with support vector regression. In: Advances in Multimedia Modeling. Springer Berlin Heidelberg, pp. 325-335. ISBN 9783642113000. (doi:https://doi.org/10.1007/978-3-642-11301-7_34) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Orchard, Dominic A. and Bolingbroke, Max and Mycroft, Alan (2010) Ypnos: declarative, parallel structured grid programming. In: Workshop on Declarative Aspects of Multicore Programming, DAMP 2010, January 19, 2010, Madrid, Spain. (doi:https://doi.org/10.1145/1708046.1708053) (Full text available)
[img]
Preview

Orchard, Dominic A. and Schrijvers, Tom (2010) Haskell Type Constraints Unleashed. In: Functional and Logic Programming, 10th International Symposium, FLOPS 2010, April 19-21, 2010, Sendai, Japan. (doi:https://doi.org/10.1007/978-3-642-12251-4_6) (Full text available)
[img]
Preview

Parizek, Pavel and Kalibera, Tomas (2010) Efficient Detection of Errors in Java Components Using Random Environment and Restarts. In: Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). (doi:https://doi.org/10.1007/978-3-642-12002-2�) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Perkins, Samuel (2010) Hypervelocity Impact Detection: An Investigation into Piezoelectric Response of PVDF Films. Other masters thesis, School of Physical Sciences, University of Kent. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Plsek, Ales and Zhao, Lei and Sahin, Veysel H. and Tang, Daniel and Kalibera, Tomas and Vitek, Jan (2010) Developing safety critical Java applications with oSCJ/L0. In: Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES). (doi:https://doi.org/10.1145/1850771.1850786) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Polack, Fiona A.C. and Andrews, Paul S. and Ghetiu, Teodor and Read, Mark and Stepney, Susan and Timmis, Jon and Sampson, Adam T. (2010) Reflections on the Simulation of Complex Systems for Science. In: ICECCS 2010: Fifteenth IEEE International Conference on Engineering of Complex Computer Systems. (Full text available)
[img]
Preview

Saternus, Mariusz and Owen, Gareth (2010) Nav++: VANET Traffic Detection and Dissemination using Mobile Agents. International Journal of Latest Trends in Computing, 1 (1). pp. 182-196. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Sharifzadeh, Hamid R and McLoughlin, Ian Vince and Russell, Martin J (2010) Toward a comprehensive vowel space for whispered speech. In: international symposium on chinese spoken language processing 7 (2010), 29/11/2010-3/12/2010, National Cheng Kung University, Taiwan. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Sharifzadeh, Hamid Reza and McLoughlin, Ian Vince and Ahmadi, Farzaneh (2010) Reconstruction of Normal Sounding Speech for Laryngectomy Patients Through a Modified CELP Codec. IEEE Transactions on Biomedical Engineering, 57 (10). pp. 2448-2458. ISSN 0018-9294. (doi:https://doi.org/10.1109/TBME.2010.2053369) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Sharifzadeh, Hamid Reza and McLoughlin, Ian Vince and Ahmadi, Farzaneh (2010) Reconstruction of normal sounding speech for laryngectomy patients through a modified CELP codec. IEEE Transactions on Biomedical Engineering, 57 (10). pp. 2448-2458. ISSN 0018-9294. (doi:https://doi.org/10.1109/TBME.2010.2053369) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Sharifzadeh, Hamid Reza and McLoughlin, Ian Vince and Ahmadi, Farzaneh (2010) Spectral Enhancement of Whispered Speech Based on Probability Mass Function. In: Sixth Advanced International Conference on Telecommunications (AICT), 9-15 May 2010, Barcelona. (doi:https://doi.org/10.1109/AICT.2010.47) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Sharifzadeh, Hamid Reza and McLoughlin, Ian Vince and Ahmadi, Farzaneh (2010) Speech Rehabilitation Methods for Laryngectomised Patients. In: Electronic Engineering and Computing Technology. Springer Netherlands, pp. 597-607. ISBN 978-90-481-8775-1. E-ISBN 978-90-481-8776-8. (doi:https://doi.org/10.1007/978-90-481-8776-8_51) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

NCR Corporation (Duluth, GA) (2010) A Method of and System for Prediction of the State of Health of an Apparatus. US Patent 7,815,103. (doi:US Patent 7,815,103) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

2009

de Lemos, Rogério and Fabre, Jean-Charles and Gacek, Cristina and Gadducci, Fabio and ter Beek, Maurcie H., eds. (2009) Architecting Dependable Systems VI. Lecture Notes in Computer Science, 5835 . Springer, 335 pp. ISBN 9783642102479. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Welch, Peter H. and Roebbers, Herman W. and Broenink, Jan F. and Barnes, Frederick R.M. and Ritson, Carl G. and Sampson, Adam T. and Stiles, Gardner S. and Vinter, Brian, eds. (2009) Communicating Process Architectures 2009. Concurrent Systems Engineering, 67 . IOS Press, Amsterdam, The Netherlands ISBN 978-1-60750-065-0. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cheng, Betty H.C. and de Lemos, Rogério and Giese, Holger and Inverardi, Paola and Magee, Jeff, eds. (2009) Software Engineering for Self-Adaptive Systems. Lecture Notes in Computer Science/Programming and Software Engineering, 5525 . Springer, 261 pp. ISBN 9783642021602. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Ahmadi, Farzaneh and McLoughlin, Ian Vince (2009) The use of low frequency ultrasonics in speech processing. In: Signal processing. Itech Book Publishers, Vienna, Austria, pp. 503-528. ISBN 978-953-7619-91-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Altadmri, Amjad and Ahmed, Amr (2009) Automatic semantic video annotation in wide domain videos based on similarity and commonsense knowledgebases. In: IEEE International Conference on Signal and Image Processing Applications (ICSIPA)., 18-19th November 2009, Malaysia. (Full text available)
[img]
Preview

Altadmri, Amjad and Ahmed, Amr (2009) Video databases annotation enhancing using commonsense knowledgebases for indexing and retrieval. In: The 13th IASTED International Conference on Artificial Intelligence and Soft Computing, September 7 - 9, 2009, Palma de Mallorca, Spain. (Full text available)
[img]
Preview

Altadmri, Amjad and Ahmed, Amr (2009) VisualNet: Commonsense knowledgebase for video and image indexing and retrieval application. In: IEEE International Conference on Intelligent Computing and Intelligent Systems (ICIS)., 20-22 Nov. 2009, Shanghai. (Full text available)
[img]

Andersson, Jesper and de Lemos, Rogerio and Malek, Sam and Weyns, Danny (2009) Reflecting on self-adaptive software systems. In: 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems. pp. 38-47. (doi:https://doi.org/10.1109/SEAMS.2009.5069072) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Andersson, Jesper and de Lemos, Rogério and Malek, Sam and Weyns, Danny (2009) Modeling Dimensions for Self-Adaptive Systems. In: Software Engineering for Self-Adaptive Systems. Lecture Notes in Computer Science/Programming and Software Engineering (5525). Springer, pp. 27-47. ISBN 978-3-642-02160-2. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Baker, Jason and Cunei, Antonio and Kalibera, Tomas and Pizlo, Filip and Vitek, Jan (2009) Accurate garbage collection in uncooperative environments revisited. Concurrency and Computation: Practice and Experience, 21 (12). pp. 182-196. (doi:https://doi.org/10.1002/cpe.1391) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Beadle, Lawrence (2009) Semantic and Structural Analysis of Genetic Programming. Doctor of Philosophy (PhD) thesis, Computing. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Blommestijn, R. and Lange, Julien and Taylor, C. and Winton, A. (2009) Proximity-1: Simulating the CCSDS Proximity-1 Protocol for ExoMars. In: DASIA 2009 Data Systems in Aerospace, 2009, Noordwijk, Netherlands: European Space Agency. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bocchi, Laura and Fiadeiro, José Luiz and Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco (2009) From Architectural to Behavioural Specification of Services. Electronic Notes in Theoretical Computer Science, 253 (1). pp. 3-21. ISSN 15710661. (doi:https://doi.org/10.1016/j.entcs.2009.09.025) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Brito, Patrick H. S. and de Lemos, Rogério and Martins, Eliane and Moraes, R. and Rubira, Cecilia M. F. (2009) Architectural-Based Validation of Fault-Tolerant Software. In: Fourth Latin-American Symposium on Dependable Computing (LADC 09)., 1st - 4th September, 2009, Joao Pessoa, PB, Brazil. (doi:https://doi.org/10.1109/LADC.2009.34) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Brito, Patrick H. S. and de Lemos, Rogério and Rubira, Cecilia M. F. (2009) Verifying Architectural Variabilities in Software Fault Tolerance Techniques. In: Joint Working IEEE/IFIP Conference on Software Architecture 2009 (WICSA 2009) & European Conference on Software Architecture 2009 (ECSA 2009), 14th - 17th September 2009, Cambridge, UK. (doi:https://doi.org/10.1109/WICSA.2009.5290809) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Brito, Patrick H. S. and de Lemos, Rogério and Rubira, Cecilia M. F. and Martins, Eliane (2009) Architecting Fault Tolerance with Exception Handling: Verification and Validation. Journal of Computer Science and Technology, 24 (2). pp. 212-237. ISSN 1000-9000. (doi:https://doi.org/10.1007/s11390-009-9219-2) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cheng, Betty H. C. and de Lemos, Rogério and Giese, Holger and Inverardi, Paola and Magee, Jeff and Andersson, Jesper and Becker, Basil (2009) Software Engineering for Self-Adaptive Systems: A Research Roadmap. In: Software Engineering for Self-Adaptive Systems. Lecture Notes in Computer Science, 5525 . Springer, Berlin, pp. 1-26. ISBN 9783642021619. (doi:https://doi.org/10.1007/978-3-642-02161-9_1) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Di Ventra, Massimiliano and Pershin, Yuriy V. and Chua, Leon O. (2009) Circuit Elements With Memory: Memristors, Memcapacitors, and Meminductors. Proceedings of the IEEE, 97 (10). pp. 1717-1724. ISSN 0018-9219. (doi:https://doi.org/10.1109/JPROC.2009.2021077) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

NCR Corporation (Dayton, OH) (2009) A Method of Determining the Cause of an Error State in an Apparatus. US Patent 7,600,671. (doi:US Patent 7,600,671) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hellyer, Laurence and Beadle, Lawrence (2009) Detecting Plagarism in Microsoft Excel Assignments. In: 10th Annual Conference of the Subject Centre for Information and Computer Sciences. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Iliasov, Alexei and Arief, Budi and Romanovsky, Alexander (2009) Step-wise development of resilient ambient campus scenarios. In: Butler, Michael and Jones, Cliff and Romanovsky, Alexander and Troubitsyna, Elena, eds. Methods, Models and Tools for Fault Tolerance. Lecture Notes in Computer Science . Springer, pp. 297-323. ISBN 0302-9743. (doi:https://doi.org/10.1007/978-3-642-00867-2_14) (Full text available)
[img]
Preview

Jordanous, Anna (2009) Conference Report: The Fourth Conference on Interdisciplinary Musicology (CIM08). Review of: Fourth Conference on Interdisciplinary Musicology, 2008 (CIM08) by UNSPECIFIED. AISB Quarterly, 128 (-). pp. 8-9. ISSN 1476-3036. (Full text available)
[img]
Preview

Jordanous, Anna (2009) Evaluating machine creativity. In: Seventh ACM conference on Creativity and cognition, 2009, Berkeley, CA. (Full text available)
[img]
Preview

Jordanous, Anna and Smaill, Alan (2009) Investigating the role of score following in automatic musical accompaniment. Journal of New Music Research, 38 (2). pp. 197-209. ISSN 0929-8215. E-ISSN 1744-5027. (doi:https://doi.org/10.1080/09298210903180245) (Full text available)
[img]
Preview
[img]
Preview

Kafalı, Özgür and Yolum, Pınar (2009) Adapting reinforcement learning for trust: Effective modeling in dynamic environments: Short Paper. In: 2009 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, 15-18 Sept. 2009, Milan, Italy. (doi:https://doi.org/10.1109/WI-IAT.2009.67) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kalibera, Tomas (2009) Replicating real-time garbage collector for Java. In: Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES). (doi:https://doi.org/10.1145/1620405.1620420) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kalibera, Tomas and Hagelberg, Jeff and Pizlo, Filip and Plsek, Ales and Titzer, Ben and Vitek, Jan (2009) CDx: a family of real-time Java benchmarks. In: Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES). (doi:https://doi.org/10.1145/1620405.1620412) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kalibera, Tomas and Pizlo, Filip and Hosking, Antony L. and Vitek, Jan (2009) Scheduling Hard Real-Time Garbage Collection. In: Proceedings of the 30th IEEE Real-Time Systems Symposium (RTSS). (doi:https://doi.org/10.1109/RTSS.2009.40) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kalibera, Tomas and Prochazka, Marek and Pizlo, Filip and Decky, Martin and Vitek, Jan and Zulianello, Marco (2009) Real-Time Java in Space: Potential Benefits and Open Challenges. In: Proceedings of the International Space System Engineering Conference, Data Systems in Aerospace (DASIA). (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince (2009) Applied Speech and Audio Processing. Cambridge University Press ISBN 9780-52151954-0. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince (2009) Keypress Biometrics for User Validation in Mobile Consumer Devices. In: UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince and Naidu, N and Naransamy, Mohanavel s/o (2009) Keypress biometrics for user validation in mobile consumer devices. In: UNSPECIFIED. (doi:https://doi.org/10.1109/ISCE.2009.5156933) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Nguyen, Quang Huy and Aung, Myo Tun and Bretschneider, Timo Rolf and McLoughlin, Ian Vince (2009) Dynamic scaling scheme for hardware-accelerated edge detection. In: UNSPECIFIED, 14 Dec - 15 Dec 2009, Nanyang Technological University, Singapore. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Nguyen, Quang Huy and Lee, Ken Yoong and Aung, Myo Tun and Bretschneider, T and McLoughlin, Ian Vince (2009) Hardware-accelerated edge detection for polarimetric synthetic aperture radar data. In: Geoscience and Remote Sensing Symposium, 12-17 July 2009, Cape Town. (doi:https://doi.org/10.1109/IGARSS.2009.5417338) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Parizek, Pavel and Adamek, Jiri and Kalibera, Tomas (2009) Automated Construction of Reasonable Environment for Java Components. In: Proceedings of the 6th International Workshop on Formal Engineering Approaches to Software Components and Architectures (FESCA). (doi:https://doi.org/10.1016/j.entcs.2009.09.033) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Parizek, Pavel and Kalibera, Tomas (2009) Platform-specific restrictions on concurrency in model checking of Java programs. In: Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems (FMICS). (doi:https://doi.org/10.1007/978-3-642-04570-7�) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Prakash, S and McLoughlin, Ian Vince (2009) Channel prediction for mitigating feedback link issues in transmit antenna selection systems. In: 20th International Symposium on Personal, Indoor and Mobile Radio Communications, 13-16 September 2009, Tokyo, Japan. (doi:https://doi.org/10.1109/PIMRC.2009.5449835) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Prakash, Shiva and McLoughlin, Ian Vince (2009) Predictive Transmit Antenna Selection with Maximal Ratio Combining. In: Global Telecommunications Conference 2009, 30 Nov - 04 Dec 2009, Honolulu, Hawaii, USA. (doi:https://doi.org/10.1109/GLOCOM.2009.5425217) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Schippers, Hans and Van Cutsem, Tom and Marr, Stefan and Haupt, Michael and Hirschfeld, Robert (2009) Towards an Actor-based Concurrent Machine Model. In: Proceedings of the Fourth Workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS). (doi:https://doi.org/10.1145/1565824.1565825) (Full text available)
[img]
Preview

Sharifzadeh, H R and Ahmadi, F and McLoughlin, Ian Vince (2009) Speech Reconstruction in Post-Laryngectomised Patients by Formant Manipulation and Pitch Pro?le Generation. World Congress on Engineering 2009 (Volume 2), . pp. 1838-1843. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Sharifzadeh, Hamid Reza and Ahmadi, Farzaneh and McLoughlin, Ian Vince (2009) Speech reconstruction in post-laryngectomised patients by formant manipulation and pitch profile generation. In: World Congress in Engineering 2009, July 1 - 3, 2009, London, U.K. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Sharifzadeh, Hamid Reza and McLoughlin, Ian Vince and Ahamdi, Farzaneh (2009) Voiced speech from whispers for post-laryngectomised patients. IAENG International Journal of Computer Science, 36 (4). p. 367. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Sharifzadeh, Hamid Reza and McLoughlin, Ian Vince and Ahmadi, Farzaneh (2009) Regeneration of speech in voice-loss patients. In: 13th International Conference on Biomedical Engineering, 2008 3–6 December 2008, Singapore. (doi:https://doi.org/10.1007/978-3-540-92841-6_262) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Srinivasan, Padmapriya and McLoughlin, Ian Vince and Lin, W S (2009) Joint audio video quality evaluation for distance or online education systems. In: 9th Malaysia International Conference on Communications, 15-17 Dec. 2009, Kuala Lumpur. (doi:https://doi.org/10.1109/MICC.2009.5431472) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogério (2009) On Architecting Software Fault Tolerance using Abstractions. Electronic Notes in Theoretical Computer Science, 236 . pp. 21-32. ISSN 1571-0661. (doi:https://doi.org/10.1016/j.entcs.2009.03.012) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Leusse, Pierre and Periorellis, Panos and Dimitrakos, Theo and Nair, Srijith K. (2009) Self Managed Security Cell, a Security Model for the Internet of Things and Services. In: Advances in Future Internet, 2009 First International Conference on, 18-23 June 2009, Athens. (doi:https://doi.org/10.1109/AFIN.2009.15) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

2008

de Lemos, Rogério and Di Giandomenico, Felicita and Gacek, Cristina and Muccini, Henry and Vieira, Marlon, eds. (2008) Architecting Dependable Systems V. Lecture Notes in Computer Science, 5135 . Springer, 343 pp. ISBN 9783540855705. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert and Derrick, John and Smith, G., eds. (2008) Proceedings of the BCS-FACS Refinement Workshop (REFINE 2007). Electronic Notes in Theoretical Computer Science, 201 . Elsevier, 264 pp. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Ahmadi, Farzaneh and McLoughlin, Ian Vince and Sharifzadeh, Hamid Reza (2008) Analysis-by-synthesis method for whisper-speech reconstruction. In: IEEE Asia Pacific Conference on Circuits and Systems, 30 Nov - 03 Dec 2008, Macao. (doi:https://doi.org/10.1109/APCCAS.2008.4746261) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Arief, Budi and Blythe, Phil and Fairchild, Richard and Selvarajah, Kirusnapillai and Tully, Alan (2008) Integrating Smartdust into Intelligent Transportation System. In: 10th International Conference on Application of Advanced Technologies in Transportation (AATT 2008), 27-31 May 2008, Athens, Greece. (Full text available)
[img]
Preview

Arief, Budi and von Arnim, Axel (2008) TRACKSS approach to improving road safety through sensors collaboration on vehicle and in infrastructure. In: 68th Semi-Annual IEEE Vehicular Technology, VTC 2008-Fall, Conference, 21-24 Sept. 2008, Calgary, AB. (doi:https://doi.org/10.1109/VETECF.2008.439) (Full text available)
[img]
Preview

Benigni, F. and Brogi, A. and Buchholz, J-L. and Jacquet, J-M. and Lange, J. and Popescu, R. (2008) Secure P2P Programming on Top of Tuple Spaces. In: 17th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 23-25 June 2008, Rome, Italy. (doi:https://doi.org/10.1109/WETICE.2008.29) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bocchi, Laura and Gorton, Stephen and Reiff-Marganiec, Stephan (2008) Engineering Service Oriented Applications: From StPowla Processes to SRML Models. In: Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science, 4961. Springer pp. 163-178. ISBN 9783540787426. E-ISBN 9783540787433. (doi:https://doi.org/10.1007/978-3-540-78743-3_13) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bocchi, Laura and Hong, Yi and Lopes, Antónia and Fiadeiro, José Luiz (2008) From BPEL to SRML: A Formal Transformational Approach. In: Web Services and Formal Methods. Lecture Notes in Computer Science, 4937. Springer pp. 92-107. ISBN 9783540792291. E-ISBN 9783540792307. (doi:https://doi.org/10.1007/978-3-540-79230-7_7) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Brito, Patrick H. S. and de Lemos, Rogério and Rubira, Cecilia M. F. (2008) Architecting Fault Tolerance using Abstractions. In: 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2008) - Fast Abstracts, June 2008, Anchorage, AL, USA. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Brito, Patrick H. S. and de Lemos, Rogério and Rubira, Cecilia M. F. (2008) Development of Fault-Tolerant Software Systems Based on Architectural Abstractions. In: Second European Conference on Software Architecture (ECSA 2008), 29th September - 1st October, 2008, Paphos, Cyprus. (doi:https://doi.org/10.1007/978-3-540-88030-1_11) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Brito, Patrick H. S. and de Lemos, Rogério and Rubira, Cecilia M. F. (2008) Verification of Exception Control Flows and Handlers Based on Architectural Scenarios. In: 11th IEEE High Assurance Systems Engineering Symposium (HASE 2008), 3rd - 5th December, 2008, Nanjing, China. (doi:https://doi.org/10.1109/HASE.2008.11) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Chennu, Srivas (2008) On Feature Binding in Space and Time. In: University of Kent Postgraduate Conference. (Full text available)
[img]
Preview

Genaim, Samir and King, Andy (2008) Inferring non-suspension conditions for logic programs with dynamic scheduling. ACM Transactions on Computational Logic, 9 (3). pp. 182-196. ISSN 1529-3785. (doi:https://doi.org/10.1145/1352582.1352585) (Full text available)
[img]
Preview

Holden, Nicholas and Freitas, Alex A. (2008) Improving the performance of hierarchical classification with swarm intelligence. In: 6th European Conference on Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, March 26th - 28th 2008, Naples, Italy. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Iqbal, Musaddar and Freitas, Alex A. and Johnson, Colin G. (2008) Protein interaction inference using particle swarm optimization algorithm. In: 6th European Conference on Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, March 26th - 28th 2008, Naples, Italy. (doi:https://doi.org/10.1007/978-3-540-78757-0_6) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Itoh, Makoto and Chua, Leon O. (2008) MEMRISTOR OSCILLATORS. International Journal of Bifurcation and Chaos, 18 (11). pp. 3183-3206. ISSN 0218-1274. (doi:https://doi.org/10.1142/S0218127408022354) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jafarov, E. and Lievens, S.J. and van der Jeugt, Joris (2008) The Wigner distribution function for the one-dimensional parabose oscillator. Journal of Physics A: Mathematical and Theoretical, 41 (23 (Ar). ISSN 1751-8113. (doi:https://doi.org/10.1088/1751-8113/41/23/235301) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jordanous, Anna (2008) Voice Separation in polyphonic music (Jordanous 2008) - code. github Matlab code. (Full text available)
[img]

Jordanous, Anna (2008) Voice separation in polyphonic music: A data-driven approach. In: International Computer Music Conference 2008, 2008, Belfast, UK. (Full text available)
[img]
Preview

Jordanous, Anna and Smaill, Alan (2008) Artificially intelligent accompaniment using Hidden Markov Models to model musical structure. In: Conference on Interdisciplinary Musicology, 2008, Thessaloniki, Greece. (Full text available)
[img]
Preview

Kafalı, Özgür and Yolum, Pınar (2008) Action-based environment modeling for maintaining trust. In: Trust in Agent Societies. Springer, pp. 81-98. ISBN 9783540928027. (doi:https://doi.org/10.1007/978-3-540-92803-4_5) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Knowles, Adam and Timmis, Jon and de Lemos, Rogério and Forrest, Simon and McCracken, Heather (2008) Artificial Immune Systems for Data Fusion: A Novel Biologically Inspired Approach. In: 11th International Conference on Information Fusion (Fusion 2008), 30th June - 3rd July, 2008, Cologne, Germany. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Liu, Yang and Kwok, Yu-Kwong and Wang, Jiangzhou (2008) On scheduling and clustering in hierarchical TH-PPM UWB wireless ad hoc networks. Journal of Supercomputing, 46 (1). pp. 58-83. ISSN 0920-8542. (doi:https://doi.org/10.1007/s11227-008-0187-z) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Marr, Stefan (2008) Modularisierung Virtueller Maschinen. Master of Science (MSc) thesis, Hasso Plattner Institute. (Full text available)
[img]
Preview

McLoughlin, Ian Vince (2008) Line spectral pairs. Signal Processing, 88 (3). pp. 448-467. (doi:https://doi.org/10.1016/j.sigpro.2007.09.003) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince (2008) Review: Line spectral pairs. Signal processing, 88 (3). pp. 448-467. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince (2008) Secure Embedded Systems: The Threat of Reverse Engineering. In: 14th IEEE International Conference on Parallel and Distributed Systems, 8-10 December 2008, Melbourne, Victoria, Australia. (doi:https://doi.org/10.1109/ICPADS.2008.126) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince (2008) Subjective Intelligibility Testing of Chinese Speech. Ieee Transactions On Audio Speech And Language Processing, 16 (1). pp. 23-33. ISSN 1558-7916. (doi:https://doi.org/10.1109/TASL.2007.909450) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince and Agarwal, Manuj Prakash and Shantanu, Shukla and Tan, S.H. and Arichandran, K. and Tan, C.M. and Sawant, V.S. and Manchanda, Ravi (2008) Use of high-altitude balloon platforms for small satellite testing. In: International Workshop on Digital Television and Infotainment, May 2008, Malaysia. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince and Premananda, Shiva Prakash (2008) Predictive receive-directed antenna selection for quasistatic Rayleigh fading channel. In: UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince and Sharifzadeh, Hamid Reza (2008) Speech recognition for smart homes. In: Speech Recognition. Intech, pp. 477-494. (Full text available)
[img]
Preview

Micallef, Luana (2008) An Embedded Domain Specific Language to Model, Transform and Quality Assure Business Processes in Business-Driven Development. Other thesis, University of Malta. (Full text available)
[img]

Rodgers, Peter and Zhang, Leishi and Stapleton, Gem and Fish, Andrew (2008) Embedding wellformed Euler diagrams. In: 12th International Conference Information Visualisation 2008, Jul 09-11, 2008, London, UK. (doi:https://doi.org/10.1109/IV.2008.57) (Full text available)
[img]
Preview

Rubira, Cecilia M. F. and de Lemos, Rogério (2008) Software components, architectures and reuse. Journal of Universal Computer Science, 14 (8). pp. 1179-1181. ISSN 0948-695X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Secker, Andrew D. and Davies, Matthew N. and Freitas, Alex A. and Timmis, Jon and Clark, Edward and Flower, Darren R. (2008) An artificial immune system for evolving amino acid clusters tailored to protein function prediction. In: Bentley, Peter J. and Lee, Doheon and Jung, Sungwon, eds. Artificial Immune Systems. Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence . Springer, pp. 242-253. ISBN 978-3-540-85071-7. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Secker, Andrew D. and Freitas, Alex A. and Timmis, Jon (2008) AISIID: An artificial immune system for interesting information discovery on the web. Applied Soft Computing, 8 (2). pp. 885-905. ISSN 1568-4946. (doi:https://doi.org/10.1016/j.asoc.2007.07.007) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Shantanu, Shukla and Tan, Soon Hie and McLoughlin, Ian Vince (2008) Development of Nano-satellite Space segment and Ground Station. In: UNSPECIFIED, India. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Wyble, Brad and Sharma, Dinkar and Bowman, Howard (2008) Strategic Regulation of Cognitive Control by Emotional Salience: A Neural Network Model. Cognition and Emotion, 22 (6). pp. 1019-1051. ISSN 0269-9931. (doi:https://doi.org/10.1080/02699930701597627) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Zhang, Leishi and Kujis, J.N. and Liu, Xiaohui (2008) Information visualization for DNA microarray data analysis: A critical review. IEEE Transactions on Systems, Man and Cybernetics, Part C: Applications and Reviews, 38 (1). pp. 42-54. ISSN 1094-6977. (doi:https://doi.org/10.1109/tsmcc.2007.906065) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

von Arnim, Axel and Arief, Budi and Fusee, Antoine (2008) Cooperative Road Sign and Traffic Light Using Near Infrared Identification and Zigbee Smartdust Technologies. In: 15th World Congress on Intelligent Transport Systems and ITS America Annual Meeting 2008, 16-20 Nov 2008, New York, NY. (Full text available)
[img]
Preview

2007

McEwan, Alistair A. and Schneider, S. and Ifill, W. and Welch, Peter H., eds. (2007) Communicating Process Architectures 2007: WoTUG-30. Concurrent Systems Engineering, 65 . IOS Press, US, Amsterdam, 528 pp. ISBN 9781586037673. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Aichernig, Bernhard K. and Boiten, Eerke Albert and Derrick, John and Groves, Lindsay, eds. (2007) Proceedings of the 11th Refinement Workshop (REFINE 2006)Macao, China 31 October 2006. Electronic Notes in Theoretical Computer Science, 187 . Elsevier, 188 pp. ISBN 1571-0661. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Abreu, João and Bocchi, Laura and Fiadeiro, José Luiz and Lopes, Antónia (2007) Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. In: Formal Techniques for Networked and Distributed Systems – FORTE 2007. Lecture Notes in Computer Science, 4574. Springer pp. 358-373. ISBN 9783540731955. E-ISBN 9783540731962. (doi:https://doi.org/10.1007/978-3-540-73196-2_23) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Arief, Budi and Iliasov, Alexei and Romanovsky, Alexander (2007) On developing open mobile fault tolerant agent systems. In: Choren, R. and Garcia, A. and Giese, H. and Leung, H.-f. and Lucena, C. and Romanovsky, A., eds. Software Engineering for Multi-Agent Systems V. Lecture Notes in Computer Science . Springer, Shanghai, pp. 21-40. ISBN 9783540731306. (doi:https://doi.org/10.1007/978-3-540-73131-3_2) (Full text available)
[img]
Preview

Arief, Budi and Iliasov, Alexei and Romanovsky, Alexander (2007) Rigorous Development of Ambient Campus Applications that can Recover from Errors. In: Workshop on Methods, Models and Tools for Fault-Tolerance (MeMoT 2007), at the International Conference on Integrated Formal Methods 2007 (IFM 2007), 3 July 2007. (Full text available)
[img]
Preview

Ball, Rudi and Grant, James and So, Jonathan and Spurrett, Victoria and de Lemos, Rogerio (2007) Dependable and Secure Distributed Storage System for Ad Hoc Networks. In: Ad-Hoc, Mobile, and Wireless Networks. pp. 142-152. (doi:https://doi.org/10.1007/978-3-540-74823-6_11) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bretschneider, Timo and Soo, David L H and McLoughlin, Ian Vince (2007) Proceedings of the 3rd Asian Space Conference, 21-23 March 2007, NTU@ one-north Campus, Singapore. School of Computer Engineering, Nanyang Technological University (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Brito, Patrick H. S. and de Lemos, Rogério and Martins, Eliane and Rubira, Cecilia M. F. (2007) Architecture-centric Fault Tolerance with Exception Handling. In: Proceedings of the Third Latin-American Conference on Dependable Computing. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Chu, Dominique (2007) Evolving Genetic Regulatory Networks for Systems Biology. In: IEEE Congress on Evolutionary Computation 2007, Sept 25-27 2007, Singapore. (doi:https://doi.org/10.1109/CEC.2007.4424562) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Grant, J. and So, J. and de Lemos, Rogério (2007) Intrusion Tolerance in Ad Hoc Networks through Swarms of Fragments Replicas. In: Supplemental Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2007). (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Iliasov, Alexei and Romanovsky, Alexander and Arief, Budi and Laibinis, Linas and Troubitsyna, Elena (2007) On rigorous design and implementation of fault tolerant ambient systems. In: 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, ISORC 2007, 7-9 May 2007, Santorini Island. (doi:https://doi.org/10.1109/ISORC.2007.46) (Full text available)
[img]
Preview

Iliasov, Alexei and Romanovsky, Alexander and Arief, Budi and Laibinis, Linas and Troubitsyna, Elena (2007) A framework for open distributed system design. In: 31st Annual International Computer Software and Applications Conference, COMPSAC 2007, 24-27 July 2007, Beijing. (doi:https://doi.org/10.1109/COMPSAC.2007.23) (Full text available)
[img]
Preview

Jones, Richard E. (2007) Dynamic Memory Management: Challenges for Today and Tomorrow. In: International Lisp Conference. (Full text available)
[img]
Preview

Jordanous, Anna (2007) Score Following: An artificially intelligent musical accompanist (Jordanous 2007, Jordanous & Smaill 2008+2009) - code. github Max/MSP code. (Full text available)
[img]

Klebe, Bernhard and Farmer, Chris and Cooley, Roger and de Lusignan, Simon and Middleton, Rachel and O'Donoghue, Donal J. and Newport, John and Stevens, Paul E. (2007) Kidney disease management in UK primary care: guidelines, incentives and Information Technology. Family Practice, 24 (4). pp. 330-335. ISSN 0263-2136. (doi:https://doi.org/10.1093/fampra/cmm026) (Full text available)
[img]
Preview

Klebe, Bernhard and Irving, Jean and Stevens, Paul E. and O'Donoghue, Donal J. and de Lusignan, Simon and Cooley, Roger and Hobbs, Helen and Lamb, Edmund J. and John, Ian and Middleton, Rachel and New, John and Farmer, Chris (2007) The cost of implementing UK guidelines for the management of chronic kidney disease. Nephrology Dialysis Transplantation, 22 (9). pp. 2504-2512. ISSN 0931-0509. (doi:https://doi.org/10.1093/ndt/gfm248) (Full text available)
[img]
Preview

Laborde, Romain and Kamel, Michel and Barrere, Francois and Benzekri, Abdelmalek (2007) Implementation of a formal security policy refinement process in WBEM architecture. Journal of Network and Systems Management,, 15 (2). pp. 241-266. ISSN 1064-7570. (doi:https://doi.org/10.1007/s10922-007-9063-z) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Luo, Yong and Chitil, Olaf (2007) Proving the correctness of algorithmic debugging for functional programs. In: Nilsson, Henrik, ed. Trends in Functional Programming. Trends in Functional Programming, 7. Intellect UK, United States pp. 19-34. ISBN 978-1841501888. (Full text available)
[img]
Preview

McLoughlin, Ian Vince (2007) Secure and Dependable Parallel Embedded Computation. In: UNSPECIFIED, Singapore. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince (2007) Tone discrimination in Mandarin Chinese. In: UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince and Aendenroomer, A (2007) Linux as a teaching aid for embedded systems. In: UNSPECIFIED, 5-7 Dec. 2007, Hsinchu. (doi:https://doi.org/10.1109/ICPADS.2007.4447797) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

UNSPECIFIED (2007) Method,Apparatus and Computer Readable Medium for Fast Arithmetic in Digital Logic. . (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince and Maskell, D and Thambipillai, S and Goh, Wooi-Boon (2007) Message from the honorary chair. In: UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince and Maskell, Doug and Thambipillai, Srikanthan and Goh, Wooi-Boon (2007) An embedded systems graduate education for Singapore. In: UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince and Sharifzadeh, Hamid Reza (2007) Speech recognition engine adaptions for smart home dialogues. In: 6th Interational Conference on Information, Communications and Signal Processing, 10-13 Dec 2007, Singapore. (doi:https://doi.org/10.1109/ICICS.2007.4449692) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Owen, Gareth and Adda, Mo (2007) A Fault and Mobility Tolerant Location Server for Large-scale Ad-hoc networks. In: IST Mobile and Wireless Communications Summit, 1st - 5th July 2007, Budapest, Hungary. (doi:https://doi.org/10.1109/ISTMWC.2007.4299152) (Full text available)
[img]

Pappa, Gisele L. and Freitas, Alex A. (2007) Discovering new rule induction algorithms with grammar-based genetic programming. In: Maimon, Oded and Rokach, Lior, eds. Soft Computing for Knowledge Discovery and Data Mining. Springer, New York, pp. 133-152. ISBN 9780387699349. (doi:https://doi.org/10.1007/978-0-387-69935-6_6) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Runnalls, Andrew R. (2007) Kullback-Leibler approach to Gaussian mixture reduction. IEEE Transactions on Aerospace and Electronic Systems, 43 (3). pp. 989-999. ISSN 0018-9251. (doi:https://doi.org/10.1109/TAES.2007.4383588) (Full text available)
[img]
Preview

Welch, Peter H. and Brown, Neil C.C. and Moores, James and Chalmers, Kevin and Sputh, Bernhard H. C. (2007) Integrating and extending JCSP. In: McEwan, Alistair A. and Schneider, S. and Ifill, W. and Welch, Peter H., eds. Communicating Process Architectures 2007: WoTUG-30. Concurrent Systems Engineering (Volume). IOS Press, US, Amsterdam, pp. 349-370. ISBN 9781586037673. (Full text available)
[img]

de Lemos, Rogerio (2007) Architectural Reconfiguration of Software Systems using Atomic Actions. In: Supplemental Proceedings of the 36th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2006), June 2006, Philadelphia , PA , USA. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogerio (2007) Architectural fault tolerance using exception handling. In: Architecting dependable systems IV. Springer-Verlag, Berlin, Heidelberg, pp. 142-162. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogério and Timmis, Jon and Ayara, Modupe and Forrest, Simon (2007) Immune-inspired adaptable error detection for automated teller machines. IEEE Transactions on Systems, Man and Cybernetics, Part C: Applications and Reviews, 37 (5). pp. 873-886. ISSN 1094-6977. (doi:https://doi.org/10.1109/TSMCC.2007.900662) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

2006

de Lemos, Rogério and Gacek, Cristina and Romanovsky, Alexander, eds. (2006) Architecting Dependable Systems IV. Springer (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Welch, Peter H. and Kerridge, Jon M. and Barnes, Frederick R.M., eds. (2006) Communicating Process Architectures 2006: WoTUG-29 Proceedings. Concurrent Systems Engineering, 64 . IOS Press, US, Amsterdam, 400 pp. ISBN 9781586036713. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Adda, Mo and Martin, Jean-Baptise and Owen, Gareth and Peart, A. (2006) Simultion of a Wireless Senor Network for Image Processing. IADAT-tcn, . pp. 35-37. ISSN 84-933971-4-8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Arief, Budi and Iliasov, Alexei and Romanovsky, Alexander (2006) On using the CAMA framework for developing open mobile fault tolerant agent systems. In: 2006 International Workshop on Software Engineering for Large-Scale Multi-Agent Systems, SELMAS '06, Co-located with the 28th International Conference on SoftwareEngineering, ICSE 2006, 20-28 May 2006, Shanghai. (doi:https://doi.org/10.1145/1138063.1138070) (Full text available)
[img]
Preview

Baghaie, M A and McLoughlin, Ian Vince and Martin, P A and Mehrotra, K and Taylor, D P (2006) Transmit Antenna Selection for UHF MIMO Linking. In: UNSPECIFIED, 7-10 May 2006, Melbourne, Australia. (doi:https://doi.org/10.1109/VETECS.2006.1683346) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bocchi, Laura and Ciancarini, Paolo (2006) On the Impact of Formal Methods in the SOA. Electronic Notes in Theoretical Computer Science, 160 . pp. 113-126. ISSN 15710661. (doi:https://doi.org/10.1016/j.entcs.2006.05.018) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bocchi, Laura and Lucchi, Roberto (2006) Atomic Commit and Negotiation in Service Oriented Computing. In: Coordination Models and Languages. Lecture Notes in Computer Science, 4038. Springer pp. 16-27. ISBN 9783540346944. E-ISBN 9783540346951. (doi:https://doi.org/10.1007/11767954_2) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bryans, Jeremy and Arief, Budi (2006) Security implications of structure. In: Besnard, Denis and Gacek, Cristina and Jones, Cliff, eds. Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective. Springer London, London, pp. 217-227. ISBN 978-1-84628-110-5. E-ISBN 978-1-84628-111-2. (doi:https://doi.org/10.1007/1-84628-111-3_11) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Chennu, Srivas and Habel, Kai and Langer, Klaus-Dieter (2006)