Skip to main content

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: 1650.

2020

Marr, Stefan, ed. (2020) The Art, Science, and Engineering of Programming. The Art, Science, and Engineering of Programming, 4 (3). ISSN 2473-7321. (doi:10.22152/programming-journal.org/2020/4/issue3) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:80313)

Abrahamsson, Oskar, Ho, Son, Kanabar, Hrutvik, Kumar, Ramana, Myreen, Magnus O., Norrish, Michael, Tan, Yong Kiam (2020) Proof-Producing Synthesis of CakeML from Monadic HOL Functions. Journal of Automated Reasoning, . ISSN 0168-7433. (doi:10.1007/s10817-020-09559-8) (KAR id:82103)
[img]
Preview

Ahmad, Farhan and Adnane, Asma and Kerrache, Chaker Abdelaziz and Franqueira, Virginia N. L. and Kurugollu, Fatih (2020) Trust Management in Vehicular Ad-Hoc Networks and Internet-of-Vehicles: Current Trends and Future Research Directions. In: Global Advancements in Connected and Intelligent Mobility: Emerging Research and Opportunities. IGI Global, pp. 135-165. ISBN 978-1-5225-9020-0. (doi:10.4018/978-1-5225-9019-4.ch004) (KAR id:77167)
[img]
Preview
[img]

Allen, Nyasha, White, Lisa J., Boles, Jessica E., Williams, George T., Chu, Dominique, Ellaby, Rebecca J., Shepherd, H.J., Ng, Kendrick K. L., Blackholly, Laura R., Wilson, B., and others. (2020) Predicting the antimicrobial efficacy of hydrogen bonded, self‐associating amphiphiles. ChemMedChem, . ISSN 1860-7179. (doi:10.1002/cmdc.202000533) (KAR id:82922)
[img]
Preview
[img]
Preview

Alqahtani, Saeed Ibrahim, Li, Shujun, Yuan, Haiyue, Rusconi, Patrice (2020) Human-Generated and Machine-Generated Ratings of Password Strength: What Do Users Trust More? EAI Endorsed Transactions on Security and Safety, 18 (e1). ISSN 2032-9393. (doi:10.4108/eai.13-7-2018.162797) (KAR id:79945)
[img]
Preview

Arief, Budi, Periam, Andy, Cetin, Orcun, Hernandez-Castro, Julio C. (2020) Using Eyetracker to Find Ways to Mitigate Ransomware. In: Proceedings of the 6th International Conference on Information Systems Security and Privacy - Volume 1: ICISSP. . pp. 448-456. Scitepress ISBN 978-989-758-399-5. (doi:10.5220/0008956004480456) (KAR id:80445)
[img]
Preview
[img]
Preview

Aviles, Alberto, Bowman, Howard, Wyble, Brad (2020) On the limits of evidence accumulation of the preconscious percept. Cognition, 195 . Article Number 104080. ISSN 0010-0277. E-ISSN 1873-7838. (doi:10.1016/j.cognition.2019.104080) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:77074)
[img]

Bareham, Corinne A., Roberts, Neil, Allanson, Judith, Hutchinson, Peter J.A., Pickard, John D., Menon, David K., Chennu, Srivas (2020) Bedside EEG predicts longitudinal behavioural changes in disorders of consciousness. NeuroImage: Clinical, 28 . Article Number 102372. E-ISSN 2213-1582. (doi:10.1016/j.nicl.2020.102372) (KAR id:82407)
[img]
Preview
[img]

Belen Sağlam, Rahime, Nurse, Jason R. C. (2020) Is your chatbot GDPR compliant? Open issues in agent design. In: 2020 International Conference on Conversational User Interfaces (CUI). . ACM (In press) (doi:10.1145/3405755.3406131) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:81313)
[img]

Bereczky, Péter and Horpácsi, Dániel and Thompson, Simon (2020) Machine-checked natural semantics for Core Erlang: exceptions and side effects. In: Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang. ACM, pp. 1-13. ISBN 978-1-4503-8049-2. (doi:10.1145/3406085.3409008) (KAR id:82515)
[img]
Preview

Bonheme, Lisa, Grzes, Marek (2020) SESAM at SemEval-2020 Task 8: Investigating the relationship between image and text in sentiment analysis of memes. In: Proceedings of the 14th International Workshop on Semantic Evaluation (SemEval-2020). . (In press) (KAR id:82204)
[img]
Preview

Bonkhoff, Anna, Hope, Thomas M.H., Bzdok, Danilo, Guggisberg, Adrian, Hawe, Rachel, Dukelow, Sean, Rehme, Anne, Fink, Gereon, Grefkes, Christian, Bowman, Howard and others. (2020) Bringing Proportional Recovery into Proportion: Bayesian Modelling of Post-Stroke Motor Impairment. Brain, 143 (7). pp. 2189-2206. ISSN 0006-8950. (doi:10.1093/brain/awaa146) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:81216)
[img]

Brabazon, Anthony, Kampouridis, Michael, O’Neill, Michael (2020) Applications of Genetic Programming to Finance and Economics: Past, Present, Future. Genetic Programming and Evolvable Machines, 21 (1-2). pp. 33-53. ISSN 1389-2576. (doi:10.1007/s10710-019-09359-z) (KAR id:75949)
[img]
Preview

Dilley, Nicolas, Lange, Julien (2020) Bounded verification of message-passing concurrency in Go using Promela and Spin. In: PLACES 2020. . EPTCS (In press) (KAR id:80588)
[img]
Preview

Fabris, Fabio, Palmer, Daniel, de Magalhaes, João Pedro, Freitas, Alex A. (2020) Comparing enrichment analysis and machine learning for identifying gene properties that discriminate between gene classes. Briefings in Bioinformatics, 21 (3). pp. 803-814. ISSN 1477-4054. (doi:10.1093/bib/bbz028) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:73238)

Halgas, Lukas, Agrafiotis, Ioannis, Nurse, Jason R. C. (2020) Catching the Phish: Detecting Phishing Attacks using Recurrent Neural Networks (RNNs). In: Lecture Notes in Computer Science. Information Security Applications: 20th International Conference, WISA 2019, Jeju Island, South Korea, August 21–24, 2019, Revised Selected Papers. 11897. Springer ISBN 978-3-030-39302-1. (doi:10.1007/978-3-030-39303-8_17) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:75746)
[img]

Hariri, Ali, Giannelos, Nicolas, Arief, Budi (2020) Selective Forwarding Attack on IoT Home Security Kits. In: Lecture Notes in Computer Science. Springer LNCS Proceedings, 2nd International Workshop on Attacks and Defenses for Internet-of-Things (ADIoT 2019). . Springer ISBN 978-3-030-42047-5. (doi:10.1007/978-3-030-42048-2_23) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:75895)
[img]

Hernandez-Castro, J., Cartwright, A., Cartwright, E. (2020) An economic analysis of ransomware and its welfare consequences. Royal Society Open Science, 7 (3). p. 190023. ISSN 2054-5703. (doi:10.1098/rsos.190023) (KAR id:80658)
[img]
Preview

Hernández-Castro, Carlos Javier, Li, Shujun, R-Moreno, María D. (2020) All about uncertainties and traps: Statistical oracle-based attacks on a new CAPTCHA protection against oracle attacks. Computers & Security, 92 . Article Number 101758. ISSN 0167-4048. (doi:10.1016/j.cose.2020.101758) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:80266)
[img]

Hurley-Smith, Darren, Hernandez-Castro, Julio (2020) Quantum Leap and Crash: Searching and Finding Bias in Quantum Random Number Generators. ACM Transactions on Privacy and Security, 23 (3). pp. 1-25. ISSN 2471-2566. (doi:10.1145/3398726) (KAR id:81957)
[img]
Preview
[img]

Hurley-Smith, Darren, Patsakis, Constantinos, Hernandez-Castro, Julio C. (2020) On the unbearable lightness of FIPS 140-2 randomness tests. IEEE Transactions on Information Forensics and Security, . p. 1. ISSN 1556-6013. (doi:10.1109/TIFS.2020.2988505) (KAR id:81881)
[img]
Preview

Jones, Keenan, Nurse, Jason R. C., Li, Shujun (2020) Behind the Mask: A Computational Study of Anonymous' Presence on Twitter. In: 14th International AAAI Conference on Web and Social Media (ICWSM). . (KAR id:80660)
[img]
Preview

Jones, William, Pincham, Hannah, Gootjes-Dreesbach, Ellis Luise, Bowman, Howard (2020) Fleeting Perceptual Experience and the Possibility of Recalling Without Seeing. Scientific Reports, 10 (8540). ISSN 2045-2322. (doi:10.1038/s41598-020-64843-2) (KAR id:81206)
[img]
Preview
[img]

Knight, Richard, Nurse, Jason R. C. (2020) A Framework for Effective Corporate Communication after Cyber Security Incidents. Computers & Security, . ISSN 0167-4048. (doi:10.1016/j.cose.2020.102036) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:82836)
[img]

Knox, Daniel and Greenhow, Keith (2020) Breath shield for Topcon Triton. PDF. (Unpublished) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:81728)
[img]

Langroudi, George, Jordanous, Anna, Li, Ling (2020) Music Emotion Capture: Ethical issues around emotion-based music generation. In: Brain. Cognition. Emotion. Music., 20-21 May 2020, Canterbury, UK (online). (KAR id:81490)
[img]
Preview

Lu, Yang, Li, Shujun (2020) From Data Flows to Privacy Issues: A User-Centric Semantic Model for Representing and Discovering Privacy Issues. In: Scholar Space. Proceedings of the 53rd Hawaii International Conference on System Sciences. . University of Hawaii at Manoa, Haiwaii, USA ISBN 978-0-9981331-3-3. (doi:10.24251/HICSS.2020.799) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:76648)
[img] [img]

Mouli, Surej, Palaniappan, Ramaswamy (2020) DIY Hybrid SSVEP-P300 LED Stimuli for BCI Platform Using EMOTIV EEG Headset. HardwareX, 8 . ISSN 2468-0672. E-ISSN 2468-0672. (doi:10.1016/j.ohx.2020.e00113) (KAR id:81314)
[img]
Preview
[img]

Paolizzo, Fabio, Johnson, Colin G. (2020) Creative Autonomy in a Simple Interactive Music System. Journal of New Music Research, 49 (2). pp. 115-125. ISSN 0929-8215. (doi:10.1080/09298215.2019.1709510) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:79402)
[img] [img]

Paviotti, Marco, Cooksey, Simon, Paradis, Anouk, Wright, Daniel, Owens, Scott, Batty, Mark (2020) Modular Relaxed Dependencies in Weak Memory Concurrency. In: Lecture Notes in Computer Science. Programming Languages and System: 29th European Symposium on Programming, ESOP 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software. 12075. pp. 599-625. Springer ISBN 978-3-030-44913-1. (doi:10.1007/978-3-030-44914-8_22) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:81430)

Petricek, Tomas (2020) Computing and Programming in Context — Introduction. Philosophy & Technology, . ISSN 2210-5433. (doi:10.1007/s13347-020-00411-w) (KAR id:82634)
[img]
Preview

Pont, Jamie, Arief, Budi, Hernandez-Castro, Julio C. (2020) Why Current Statistical Approaches to Ransomware Detection Fail. In: 23rd Information Security Conference, 16-20 Dec 2020, Bali, Indonesia. (In press) (KAR id:82960)
[img]
Preview

Sağlam, Rahime Belen, Aslan, Çağrı B., Li, Shujun, Dickson, Lisa, Pogrebna, Ganna (2020) A Data-Driven Analysis of Blockchain Systems' Public Online Communications on GDPR. In: Proceedings of 2020 2nd IEEE International Conference on Decentralized Applications and Infrastructures. . pp. 22-31. IEEE ISBN 978-1-72817-022-0. (doi:10.1109/DAPPS49028.2020.00003) (KAR id:81277)
[img]
Preview

Stevens, Francesca, Nurse, Jason R.C., Arief, Budi (2020) Cyber Stalking, Cyber Harassment and Adult Mental Health: A Systematic Review. Cyberpsychology, Behavior, and Social Networking, . ISSN 2152-2715. (In press) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:83544)
[img]

Todd, Chris, Bryce, Joanne, Franqueira, Virginia N. L. (2020) Technology, Cyberstalking and Domestic Homicide: Informing Prevention and Response Strategies. Policing and Society, . ISSN 1043-9463. (doi:10.1080/10439463.2020.1758698) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:80886)
[img]

Witon, Adrien, Shirazibeheshti, Amirali, Cooke, Jennifer, Aviles, Alberto, Adapa, Ram, Menon, David K., Chennu, Srivas, Bekinschtein, Tristan A., David Lopez, Jose, Litvak, Vladimir, and others. (2020) Sedation Modulates Frontotemporal Predictive Coding Circuits and the Double Surprise Acceleration Effect. Cerebral Cortex, . ISSN 1047-3211. E-ISSN 1460-2199. (doi:10.1093/cercor/bhaa071) (KAR id:80568)
[img]
Preview
[img]

Wyble, Brad, Callahan-Flintoft, Chloe, Chen, Hui, Marinov, Toma, Sarkar, Aakash, Bowman, Howard (2020) Understanding visual attention with RAGNAROC: A Reflexive Attention Gradient through Neural AttRactOr Competition. Psychological Review, . ISSN 0033-295X. E-ISSN 1939-1471. (In press) (doi:10.1037/rev0000245) (KAR id:81591)
[img]
Preview

Zahrah, Fatima, Nurse, Jason R. C., Goldsmith, Michael (2020) #ISIS vs #ActionCountersTerrorism: A Computational Analysis of Extremist and Counter-extremist Twitter Narratives. In: 2nd Workshop on Attackers and Cyber-Crime Operations (WACCO), at the IEEE European Symposium on Security and Privacy (Euro S&P). . IEEE (In press) (KAR id:81140)
[img]
Preview

2019

Marr, Stefan, ed. (2019) The Art, Science, and Engineering of Programming. The Art, Science, and Engineering of Programming, 4 (1). ISSN 2473-7321. (doi:10.22152/programming-journal.org/2020/4/issue1) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:80311)

Marr, Stefan, ed. (2019) The Art, Science, and Engineering of Programming. The Art, Science, and Engineering of Programming, 4 (2). ISSN 2473-7321. (doi:10.22152/programming-journal.org/2020/4/issue2) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:80312)

Marr, Stefan and Cazzola, Walter, eds. (2019) Conference Companion of the 3rd International Conference on Art, Science, and Engineering of Programming: <Programming>'19:. ACM, New York, NY, USA, 201 pp. ISBN 978-1-4503-6257-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) (KAR id:77489)

Marr, Stefan and Fumero, Juan, eds. (2019) DLS 2019: Proceedings of the 15th ACM SIGPLAN International Symposium on Dynamic Languages. ACM ISBN 978-1-4503-6996-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) (KAR id:77491)

Agrawal, Utkarsh, Soria, Daniele, Wagner, Christian, Garibaldi, Jonathan, Ellis, Ian O., Bartlett, John M.S., Cameron, David, Rakha, Emad A., Green, Andrew R. (2019) Combining clustering and classification ensembles: A novel pipeline to identify breast cancer profiles. Artificial Intelligence in Medicine, 97 . pp. 27-37. ISSN 0933-3657. (doi:10.1016/j.artmed.2019.05.002) (KAR id:76421)
[img]
Preview

Al-Sudani, Sahar, Ramaswamy, Palaniappan (2019) Predicting Students’ Final Degree Classification Using an Extended Profile. Education and Information Technologies, . ISSN 1360-2357. E-ISSN 1573-7608. (doi:10.1007/s10639-019-09873-8) (KAR id:71736)
[img]
Preview
[img]

Albakri, Adham, de Lemos, Rogerio, Boiten, Eerke Albert (2019) Sharing Cyber Threat Intelligence under the General Data Protection Regulation. In: Lecture Notes in Computer Science. Privacy Technologies and Policy: 7th Annual Privacy Forum, APF 2019, Rome, Italy, June 13–14, 2019, Proceedings. 11498. Springer ISBN 978-3-030-21751-8. (doi:10.1007/978-3-030-21752-5_3) (KAR id:73262)
[img]
Preview

Aumayr, Dominik, Marr, Stefan, Gonzalez Boix, Elisa, Mössenböck, Hanspeter (2019) Asynchronous Snapshots of Actor Systems for Latency-Sensitive Applications. In: Proceedings of the 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes. . pp. 157-171. ACM ISBN 978-1-4503-6977-0. (doi:10.1145/3357390.3361019) (KAR id:77490)
[img]
Preview

Bareham, Corinne, Allanson, Judith, Roberts, Neil, Hutchinson, Peter J. A., Pickard, John D., Menon, David K., Chennu, Srivas (2019) Longitudinal assessments highlight long-term behavioural recovery in disorders of consciousness. Brain Communications, . E-ISSN 2632-1297. (doi:10.1093/braincomms/fcz017) (KAR id:76439)
[img]
Preview
[img]
Preview

Bastian, Théophile, Kell, Stephen, Zappa Nardelli, Francesco (2019) Reliable and Fast DWARF-Based Stack Unwinding. Proceedings of the ACM on Programming Languages, 3 . E-ISSN 2475-1421. (doi:10.1145/3360572) (KAR id:76575)
[img]
Preview
[img]

Bekos, Michael, Frank, Fabian, Meulemans, Wouter, Rodgers, Peter, Schulz, Andre (2019) Concentric Set Schematization. In: SetVA 2019 - Set Visual Analytics Workshop at IEEE VIS 2019. . (KAR id:77711)
[img]
Preview

Bertholon, Guillaume, Kell, Stephen (2019) Towards seamless interfacing between dynamic languages and native code. In: VMIL 2019: Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages. . pp. 38-47. ACM ISBN 978-1-4503-6987-9. (doi:10.1145/3358504.3361230) (KAR id:76576)
[img]
Preview

Blake, Andrew, Stapleton, Gem, Rodgers, Peter, Touloumis, Anestis (2019) Evaluating Free Rides in Visualizations of Sets. In: SetVA 2019 - Set Visual Analytics Workshop at IEEE VIS 2019. . (KAR id:77709)
[img]
Preview

Bravetti, Mario, Carbone, Marco, Lange, Julien, Yoshida, Nobuko, Zavattaro, Gianluigi (2019) A Sound Algorithm for Asynchronous Session Subtyping. In: Fokkink, Wan and van Glabbeek, Rob, eds. Leibniz International Proceedings in Informatics. 140. LIPICS ISBN 978-3-95977-121-4. (doi:10.4230/LIPIcs.CONCUR.2019.34) (KAR id:75503)
[img]
Preview

Camacho-Collados, Jose, Espinosa-Anke, Luis, Jameel, Shoaib, Schockaert, Steven (2019) A Latent Variable Model for Learning Distributional Relation Vectors. In: International Joint Conferences on Artificial Intelligence. Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence. . pp. 4911-4917. IJCAI ISBN 978-0-9992411-4-1. (doi:10.24963/ijcai.2019/682) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:74586)
[img]

Casey, Anthony, Azhar, Hannan, Grzes, Marek, Sakel, Mohamed (2019) BCI controlled robotic arm as assistance to the rehabilitation of neurologically disabled patients. Disability and Rehabilitation: Assistive Technology, . ISSN 1748-3107. (doi:10.1080/17483107.2019.1683239) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:78608)
[img]

Chapman, Peter, Stapleton, Gem, Rodgers, Peter, Touloumis, Anestis, Blake, Andrew, Delaney, Aidan (2019) The efficacy of Euler diagrams and linear diagrams for visualizing set cardinality using proportions and numbers. PLOS ONE, 14 (3). Article Number 211234. ISSN 1932-6203. (doi:10.1371/journal.pone.0211234) (KAR id:73642)
[img]
Preview

Chhonker, Ananya, de Lemos, Rogerio (2019) Microservices Architectures and Technical Debt: A Self-adaptation View. In: International Conference on Microservices (Microservices 2019), 19-21 February 2019, Dortmund, Germany. (KAR id:73261)
[img]

Correia, António, Jameel, Shoaib, Schneider, Daniel, Fonseca, Benjamim, Paredes, Hugo (2019) The Effect of Scientific Collaboration on CSCW Research: A Scientometric Study. In: Computer Supported Cooperative Work in Design. Proceedings of the 2019 IEEE 23rd International Conference on Computer Supported Cooperative Work in Design. . pp. 129-134. IEEE, New York ISBN 978-1-72810-350-1. (doi:10.1109/CSCWD.2019.8791855) (KAR id:73120)
[img]
Preview

Cramer, Sam, Kampouridis, Michael, Freitas, Alex A., Alexandridis, Antonis (2019) Stochastic Model Genetic Programming: Deriving Pricing Equations for Rainfall Weather Derivatives. Swarm and Evolutionary Computation, 46 . pp. 184-200. ISSN 2210-6502. E-ISSN 2210-6510. (doi:10.1016/j.swevo.2019.01.008) (KAR id:72082)
[img]
Preview
[img]

Danish, Matthew, Allamanis, Miltiadis, Brockschmidt, Marc, Rice, Andrew, Orchard, Dominic A. (2019) Learning Units-of-Measure from Scientific Code. In: 2019 IEEE/ACM 14th International Workshop on Software Engineering for Science (SE4Science). Proceedings: 2019 IEEE/ACM 14th International Workshop on Software Engineering for Science (SE4Science 2019). . pp. 43-46. IEEE ISBN 978-1-72812-277-9. E-ISBN 978-1-72812-276-2. (doi:10.1109/SE4Science.2019.00013) (KAR id:79924)
[img]
Preview

Deng, Yun (2019) Novel Methods for the Computational Analysis of Codon Usage Bias. Doctor of Philosophy (PhD) thesis, University of Kent,. (KAR id:80473)
[img]
Preview

Dilley, Nicolas, Lange, Julien (2019) An Empirical Study of Messaging Passing Concurrency in Go Projects. In: Proceedings of the 2019 IEEE 26th International Conference on Software Analysis, Evolution, and Reengineering. . IEEE ISBN 978-1-72810-591-8. (doi:10.1109/SANER.2019.8668036) (KAR id:71491)
[img]
Preview

Dziallas, Sebastian, Fincher, Sally (2019) Accountable Disciplinary Knowledge in Computing Education. In: Proceedings of the 2019 ACM Conference on International Computing Education Research. ICER '19 Proceedings of the 2019 ACM Conference on International Computing Education Research. . pp. 1-9. ACM, New York, NY, USA ISBN 978-1-4503-6185-9. (doi:10.1145/3291279.3339403​) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:77509)
[img]

Edwards, Jonathan, Kell, Stephen, Petricek, Tomas, Church, Luke (2019) Evaluating programming systems design. In: PPIG 2019, 28-30 Aug 2019, Newcastle upon Tyne, United Kingdom. (Unpublished) (KAR id:79905)
[img]
Preview

Fan, Wenjun (2019) Enabling Privacy-preserving Sharing of Cyber Threat Information in the Cloud. In: IEEE International Conference on Cyber Security and Cloud Computing. 2019 6th IEEE International Conference on Cyber Security and Cloud Computing. . IEEE E-ISBN 978-1-72811-661-7. (doi:10.1109/CSCloud/EdgeCom.2019.00-15) (KAR id:74547)
[img]
Preview

Fan, Wenjun (2019) HoneyDOC: An Efficient Honeypot Architecture Enabling All-Round Design. IEEE Journal on Selected Areas in Communications, 37 (3). 683 -697. ISSN 0733-8716. (doi:10.1109/JSAC.2019.2894307) (KAR id:72626)
[img]
Preview

Gariano, Isaac Oscar, Roberts, Richard, Marr, Stefan, Homer, Michael, Noble, James (2019) Which of My Transient Type Checks Are Not (Almost) Free? In: VMIL 2019 Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages. . pp. 58-66. ACM ISBN 978-1-4503-6987-9. (doi:10.1145/3358504.3361232) (KAR id:77492)
[img]
Preview

Gaspar, Jaime (2019) Transformation of cryptographic primitives: provable security and proof presentation. Doctor of Philosophy (PhD) thesis, University of Kent,. (KAR id:78724)
[img]
Preview

Helal, Ayah (2019) New Archive-Based Ant Colony Optimization Algorithms for Learning Predictive Rules from Data. Doctor of Philosophy (PhD) thesis, University of Kent,. (KAR id:80465)
[img]
Preview

Hope, Thomas M.H., Friston, Karl J., Price, Cathy J., Leff, Alex P., Rotshtein, Pia, Bowman, Howard (2019) Recovery After Stroke: Not So Proportional After All? Brain, 142 (1). pp. 15-22. ISSN 0006-8950. E-ISSN 1460-2156. (doi:10.1093/brain/awy302) (KAR id:69746)
[img]
Preview

Hull, Gavin, John, Henna, Arief, Budi (2019) Ransomware Deployment Methods and Analysis: Views from a Predictive Model and Human Responses. Crime Science, 8 (2). (doi:10.1186/s40163-019-0097-9) (KAR id:71720)
[img]
Preview
[img]
Preview

Imperatori, Laura Sophie, Betta, Monica, Cecchetti, Luca, Canales-Johnson, Andrés, Ricciardi, Emiliano, Pietrini, Pietro, Siclari, Francesca, Chennu, Srivas, Bernardi, Giulio (2019) EEG functional connectivity metrics wPLI and wSMI account for distinct types of brain functional interactions. Scientific Reports, 9 . Article Number 8894. E-ISSN 2045-2322. (doi:10.1038/s41598-019-45289-7) (KAR id:74303)
[img]
Preview
[img]

Islam, Tasmina, Becker, Ingolf, Posner, Rebecca, Ekblom, Paul, McGuire, Michael, Borrion, Hervé, Li, Shujun (2019) A Socio-Technical and Co-Evolutionary Framework for Reducing Human-Related Risks in Cyber Security and Cybercrime Ecosystems. In: Communications in Computer and Information Science. Dependability in Sensor, Cloud, and Big Data Systems and Applications: 5th International Conference, DependSys 2019, Guangzhou, China, November 12–15, 2019, Proceedings. 1123. pp. 277-293. Springer, Singapore ISBN 978-981-1513-03-9. E-ISBN 978-981-1513-04-6. (doi:10.1007/978-981-15-1304-6_22) (KAR id:76678)
[img]
Preview
[img]

Johnson, Colin G. (2019) Aesthetics, Artificial Intelligence, and Search-based Art. In: Romero, Juan and Machado, Penousal and Greenfield, Gary, eds. The Handbook of Artificial Intelligence and the Arts. Springer, Heidelberg. (In press) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:76668)
[img]

Johnson, Colin G. (2019) Solving the Rubik’s Cube with Learned Guidance Functions. In: Proceedings of the 2018 IEEE Symposium Series on Computational Intelligence. . pp. 2082-2089. ISBN 978-1-5386-9277-6. E-ISBN 978-1-5386-9276-9. (doi:10.1109/SSCI.2018.8628626) (KAR id:69595)
[img]
Preview

Johnson, Colin G. (2019) Stepwise Evolutionary Learning using Deep Learned Guidance Functions. In: Bramer, Max and Petridis, Miltos, eds. Lecture Notes in Artificial Intelligence. Artificial Intelligence XXXVI: 39th SGAI International Conference on Artificial Intelligence, AI 2019, Cambridge, UK, December 17–19, 2019, Proceedings. Lecture Notes in Computer Science , 11927. Springer ISBN 978-3-030-34884-7. (doi:10.1007/978-3-030-34885-4_4) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:78198)
[img]

Johnson, Colin G., McCormack, Jon, Santos, Iria, Romero, Juan (2019) Understanding Aesthetics and Fitness Measures in Evolutionary Art Systems. Complexity, 2019 . Article Number 3495962. ISSN 1076-2787. (doi:10.1155/2019/3495962) (KAR id:72848)
[img]
Preview

Jones, William Roger (2019) ON THE POSSIBILITY OF RECALLING WITHOUT SEEING: EVIDENCE FROM STATE-TRACE ANALYSIS OF THE EXPERIENTIAL BLINK. 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) (KAR id:82197)
[img]

Kiss, Tamas, DesLauriers, James, Gesmier, Gregoire, Terstyanszky, Gabor, Pierantoni, Gabriele, Oun, Osama Abu, Taylor, Simon J.E., Anagnostou, Anastasia, Kovacs, Jozsef (2019) A cloud-agnostic queuing system to support the implementation of deadline-based application execution policies. Future Generation Computer Systems, 101 . pp. 99-111. ISSN 0167-739X. (doi:10.1016/j.future.2019.05.062) (KAR id:75315)
[img]
Preview

Lange, Julien and Yoshida, Nobuko (2019) Verifying Asynchronous Interactions via Communicating Session Automata. In: Computer Aided Verification. CAV 2019. Lecture Notes in Computer Science (11561). Springer, pp. 97-117. ISBN 978-3-030-25539-8. E-ISBN 978-3-030-25540-4. (doi:10.1007/978-3-030-25540-4_6) (KAR id:74012)
[img] [img]
Preview

Lin, Yuzhou, De Wilde, Philippe, Palaniappan, Ramaswamy, Li, Ling (2019) Muscle Connectivity Analysis for Hand Gesture Recognition via sEMG. In: 2018 Asia-Pacific Signal and Information Processing Association Annual Summit and Conference (APSIPA ASC) Proceedings. . pp. 848-852. IEEE ISBN 978-988-14-7685-2. (doi:10.23919/APSIPA.2018.8659570) (KAR id:73945)
[img]
Preview

Liza, Farhana Ferdousi (2019) Improving Training of Deep Neural Network Sequence Models. 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) (KAR id:81637)
[img]

Lopes, Raul H.C., Franqueira, Virginia N.L., Rand, Duncan (2019) Integration and Evaluation of QUIC and TCP-BBR in longhaul Science Data Transfers. EPJ Web Conferences, 214 . ISSN 2100-014X. (doi:10.1051/epjconf/201921408026) (KAR id:77164)
[img]
Preview

Lu, Yang, Li, Shujun, Ioannou, Athina, Tussyadiah, Iis (2019) From Data Disclosure to Privacy Nudges: A Privacy-aware and User-centric Personal Data Management Framework. In: Communications in Computer and Information Science. Dependability in Sensor, Cloud, and Big Data Systems and Applications: 5th International Conference, DependSys 2019, Guangzhou, China, November 12–15, 2019, Proceedings. 1123. pp. 262-276. Springer, Singapore ISBN 978-981-1513-03-9. E-ISBN 978-981-1513-04-6. (doi:10.1007/978-981-15-1304-6_21) (KAR id:76677)
[img]
Preview
[img]

Lu, Yang and Sinnott, Richard O. (2019) Security and privacy solutions for smart healthcare systems. In: Lytras, Miltiadis and Sarirete, Akila, eds. Innovation in Health Informatics - A Smart Healthcare Primer. Elsevier, pp. 189-216. ISBN 978-0-12-819043-2. (KAR id:80945)
[img] [img]
Preview

Malmi, Lauri and Utting, Ian and Ko, Andrew J (2019) Tools and Environments. In: Fincher, S A and Robins, A V, eds. The Cambridge handbook of computing education research. Cambridge University Press, pp. 639-662. ISBN 978-1-108-72189-9. (doi:10.1017/9781108654555) (KAR id:73256)
[img]
Preview

Memarian, Kayvan, Gomes, Victor B.F., David, Brooks, Kell, Stephen, Richardson, Alexander, Watson, Robert N.M., Sewell, Peter (2019) Exploring C semantics and pointer provenance. Proceedings of the ACM on Programming Languages, 3 (POPL). Article Number 67. ISSN 2475-1421. (doi:10.1145/3290380) (KAR id:78086)
[img]
Preview

Michelmann, Sebastian, Staresina, Bernhard, Bowman, Howard, Hanslmayr, Simon (2019) Speed of time-compressed forward replay flexibly changes in human episodic memory. Nature Human Behavior, 3 . pp. 143-154. E-ISSN 2397-3374. (doi:10.1038/s41562-018-0491-4) (KAR id:71430)
[img]
Preview

Montrieux, Lionel and de Lemos, Rogerio and Bailey, Christopher (2019) Challenges in Engineering Self-adaptive Authorisation Infrastructures. In: Yu, Y. and Bandara, A. and Honiden, S. and Hu, Z. and Tamai, T. and Muller, H. and Mylopoulos, J. and Nuseibeh, B., eds. Engineering Adaptive Software Systems: Communications of NII Shonan Meetings. Springer, pp. 57-94. ISBN 978-981-1321-85-6. (doi:10.1007/978-981-13-2185-6) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:67031)
[img]

Mutawa, Noora Al, Bryce, Joanne, Franqueira, Virginia N.L., Marrington, Andrew, Read, Janet C. (2019) Behavioural Digital Forensics Model: Embedding Behavioural Evidence Analysis into the Investigation of Digital Crimes. Digital Investigation, 28 . pp. 70-82. ISSN 1742-2876. (doi:10.1016/j.diin.2018.12.003) (KAR id:77169)
[img]
Preview
[img]

Nadeem, Muhammad Shahroz and Franqueira, Virginia N. L. and Zhai, Xiaojun (2019) Privacy Verification of PhotoDNA Based on Machine Learning. In: Security and Privacy for Big Data, Cloud Computing and Applications. IET, pp. 263-280. E-ISBN 978-1-78561-748-5. (doi:10.1049/PBPC028E_ch12) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:77165)
[img]

Nadeem, Muhammad Shahroz, Franqueira, Virginia N.L., Zhai, Xiaojun, Kurugollu, Fatih (2019) A Survey of Deep Learning Solutions for Multimedia Visual Content Analysis. IEEE Access, 7 . pp. 84003-84019. ISSN 2169-3536. (doi:10.1109/access.2019.2924733) (KAR id:77168)
[img]
Preview

Nouh, Mariam, Nurse, Jason R. C., Webb, Helena, Goldsmith, Michael (2019) Cybercrime Investigators are Users Too! Understanding the Socio-Technical Challenges Faced by Law Enforcement. In: Proceedings of the 2019 Workshop on Usable Security (USEC) at Network and Distributed System Security Symposium (NDSS). . Internet Society (KAR id:71674)
[img]
Preview

Nurse, Jason R. C. (2019) Cybercrime and You: How Criminals Attack and the Human Factors That They Seek to Exploit. In: Attrill-Smith, Alison and Fullwood, Chris and Keep, Melanie and Kuss, Daria J., eds. The Oxford Handbook of Cyberpsychology. Oxford University Press. E-ISBN 978-0-19-881274-6. (doi:10.1093/oxfordhb/9780198812746.013.35) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:69500)
[img]

Nurse, Jason R. C. and Bada, Maria (2019) The Group Element of Cybercrime: Types, Dynamics, and Criminal Operations. In: Attrill-Smith, Alison and Fullwood, Chris and Keep, Melanie and Kuss, Daria J., eds. The Oxford Handbook of Cyberpsychology. Oxford University Press. E-ISBN 978-0-19-881274-6. (doi:10.1093/oxfordhb/9780198812746.013.36) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:69501)
[img]

Parish, George Michael (2019) Functional Brain Oscillations: How Oscillations Facilitate Information Representation and Code Memories. Doctor of Philosophy (PhD) thesis, University of Kent,. (KAR id:83107)
[img]
Preview

Phan, Huy (2019) Fusion of End-to-End Deep Learning Models for Sequence-to-Sequence Sleep Staging. In: 2019 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC 2019). . IEEE ISBN 978-1-5386-1312-2. E-ISBN 978-1-5386-1312-2. (doi:10.1109/EMBC.2019.8857348) (KAR id:73784)
[img]
Preview

Phan, Huy, Chén, Oliver Y., Koch, Philipp, Pham, Lam Dang, McLoughlin, Ian, Mertins, Alfred, De Vos, Maarten (2019) Beyond Equal-Length Snippets: How Long is Sufficient to Recognize an Audio Scene? In: AES E-LIBRARY. 2019 AES Conference on Audio Forensics. . The Audio Engineering Society (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:73780)
[img]

Rigger, Manuel, Marr, Stefan, Adams, Bram, Mössenböck, Hanspeter (2019) Understanding GCC Builtins to Develop Better Tools. In: ESEC/FSE 2019 Proceedings of the 2019 27th ACM. Proceedings of the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. ESEC/FSE . pp. 74-85. ACM ISBN 978-1-4503-5572-8. (doi:10.1145/3338906.3338907) (KAR id:75258)
[img]
Preview

Roberts, Richard, Marr, Stefan, Homer, Michael, Noble, James (2019) Transient Typechecks are (Almost) Free. In: 33rd European Conference on Object-Oriented Programming, 15-19 July 2019, London, UK. (doi:10.4230/LIPIcs.ECOOP.2019.5) (KAR id:74327)
[img]
Preview

Romero, Juan, Johnson, Colin G., Jon, McCormack (2019) Editorial: Complex Systems in Aesthetics and Arts. Complexity, 2019 . Article Number 9836102. ISSN 1076-2787. E-ISSN 1099-0526. (doi:10.1155/2019/9836102) (KAR id:73750)
[img]
Preview

Rowe, Reuben, Férée, Hugo, Thompson, Simon, Owens, Scott (2019) ROTOR : A Tool for Renaming Values in OCaml's Module System. In: 2019 IEEE/ACM 3rd International Workshop on Refactoring (IWoR). . pp. 27-30. IEEE Press ISBN 978-1-72812-271-7. E-ISBN 978-1-72812-270-0. (doi:10.1109/IWoR.2019.00013) (KAR id:80338)
[img]
Preview

Sandim Eleutério, Jane D. A. and de França, Breno B. N. and Rubira, Cecilia M. F. and de Lemos, Rogerio (2019) Realising Variability in Dynamic Software Product Line Solutions. In: Software Engineering for Variability Intensive Systems: Foundations and Applications. CRC Press. (KAR id:66574)
[img]
Preview

Sharrad, Joanna, Chitil, Olaf, Wang, Meng (2019) Delta Debugging Type Errors with a Blackbox Compiler. In: Proceedings of the 30th Symposium on Implementation and Application of Functional Languages. . pp. 13-24. ACM ISBN 978-1-4503-7143-8. (doi:10.1145/3310232.3310243) (KAR id:74037)
[img]
Preview

Tighe, D., Lewis-Morris, T., Freitas, Alex A. (2019) Machine learning methods applied to audit of surgical outcomes after treatment for cancer of the head and neck. British Journal of Oral and Maxillofacial Surgery, 57 (8). pp. 771-777. ISSN 0266-4356. (doi:10.1016/j.bjoms.2019.05.026) (KAR id:77045)
[img]
Preview

Torres Lopez, Carmen, Gurdeep Singh, Robbert, Marr, Stefan, Gonzalez Boix, Elisa, Scholliers, Christophe (2019) Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs. In: 33rd European Conference on Object-Oriented Programming, 15-19 July 2019, London, UK. (doi:10.4230/LIPIcs.ECOOP.2019.27) (KAR id:74328)
[img]
Preview

Wang, Pan, Peng, Danlin, Li, Ling, Chen, Liuqing, Wu, Chao, Wang, Xiaoyi, Childs, Peter, Guo, Yike (2019) Human-in-the-Loop Design with Machine Learning. Proceedings of the Design Society: International Conference on Engineering Design, 1 (1). pp. 2577-2586. ISSN 2220-4342. (doi:10.1017/dsi.2019.264) (KAR id:78092)
[img]
Preview
[img]

Webb, Helena, Nurse, Jason R. C., Bezuidenhout, Louise, Jirotka, Marina (2019) Lab Hackathons to Overcome Laboratory Equipment Shortages in Africa: Opportunities and Challenges. In: 2019 CHI Conference on Human Factors in Computing Systems Extended Abstracts. . ACM ISBN 978-1-4503-5971-9. (doi:10.1145/3290607.3299063) (KAR id:71381)
[img]
Preview

Witon, Adrien J-B. (2019) EEG-Based Mental States Identification. Doctor of Philosophy (PhD) thesis, University of Kent,. (KAR id:73337)
[img]
Preview

Zhao, Liming, Pérez-Delgado, Carlos A, Benjamin, Simon C., Fitzsimons, Joseph F. (2019) Measurement-driven analog of adiabatic quantum computation for frustration-free Hamiltonians. Physical Review A, 100 (3). ISSN 2469-9926. (doi:10.1103/PhysRevA.100.032331) (KAR id:78089)
[img]
Preview
[img]
Preview

de Lemos, Rogerio (2019) Foreword. In: Mistrík, Ivan and Galster, Matthias and Maxim, Bruce, eds. Software Engineering for Variability Intensive Systems: Foundations and Applications. CRC Press. ISBN 978-0-8153-4805-4. (doi:10.1201/9780429022067) (KAR id:67032)
[img]
Preview

de Lemos, Rogerio, Grzes, Marek (2019) Self-adaptive Artificial Intelligence. In: 2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). . IEEE, New York, NY, USA ISBN 978-1-72813-368-3. (doi:10.1109/SEAMS.2019.00028) (KAR id:73259)
[img]
Preview

2018

Gonzalez Boix, Elisa and Marr, Stefan, eds. (2018) Meta'16 Workshop Special Issue. The Journal of Object Technology, 17 (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) (KAR id:70340)

Adegboye, Adesola, Kampouridis, Michael, Johnson, Colin G. (2018) Regression genetic programming for estimating trend end in foreign exchange market. In: 2017 IEEE Symposium Series on Computational Intelligence (SSCI) Proceedings. . IEEE ISBN 978-1-5386-2727-3. E-ISBN 978-1-5386-2726-6. (doi:10.1109/SSCI.2017.8280833) (KAR id:63368)
[img]
Preview

Andreotti, Fernando, Phan, Huy, Cooray, Navin, Lo, Christine, Hu, Michele T.M., De Vos, Maarten (2018) Multichannel Sleep Stage Classification and Transfer Learning using Convolutional Neural Networks. In: 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society: Learning from the Past, Looking to the Future. . pp. 171-174. IEEE, Honolulu, Hawaii ISBN 978-1-5386-3646-6. (doi:10.1109/EMBC.2018.8512214) (KAR id:72663)
[img]
Preview

Armas Vega, Esteban, Sandoval Orozco, Ana, García Villalba, Luis, Hernandez-Castro, Julio C. (2018) Digital Images Authentication Technique Based on DWT, DCT and Local Binary Patterns. Sensors, 18 (10). Article Number 3372. ISSN 1424-8220. (doi:10.3390/s18103372) (KAR id:69864)
[img]
Preview

Aumayr, Dominik, Marr, Stefan, Béra, Clément, Gonzalez Boix, Elisa, Mössenböck, Hanspeter (2018) Efficient and Deterministic Record & Replay for Actor Languages. In: Proceedings of the 15th International Conference on Managed Languages and Runtimes. . (doi:10.1145/3237009.3237015) (KAR id:68801)
[img]
Preview

Balaskas, Anastasios, Franqueira, Virginia N. L. (2018) Analytical Tools for Blockchain: Review, Taxonomy and Open Challenges. In: 2018 International Conference on Cyber Security and Protection of Digital Services (Cyber Security). . pp. 1-8. IEEE ISBN 978-1-5386-4683-0. (doi:10.1109/cybersecpods.2018.8560672) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:77172)
[img]

Bareham, Corinne, Allanson, Judith, Roberts, Neil, Hutchinson, Peter, Pickard, John D., Menon, David K., Chennu, Srivas (2018) Longitudinal Bedside Assessments of Brain Networks in Disorders of Consciousness: Case Reports from the Field. Longitudinal Bedside Assessments of Brain Networks in Disorders of Consciousness: Case Reports from the Field, . ISSN 1664-2295. E-ISSN 1664-2295. (doi:10.3389/fneur.2018.00676) (KAR id:68448)
[img]
Preview

Brookhouse, James (2018) Discovering Regression and Classification Rules with Monotonic Constraints Using Ant Colony Optimization. Doctor of Philosophy (PhD) thesis, University of Kent,. (KAR id:76774)
[img]
Preview

Cervantes, Alejandro, Sloan, Tom, Hernandez-Castro, Julio C., Isasi, Pedro (2018) System steganalysis with automatic fingerprint extraction. PLOS ONE, 13 (4). Article Number 195737. ISSN 1932-6203. (doi:10.1371/journal.pone.0195737) (KAR id:67066)
[img]

Chari, Guido, Garbervetsky, Diego, Marr, Stefan, Ducasse, Stéphane (2018) Fully Reflective Execution Environments: Virtual Machines for More Flexible Software. IEEE Transactions on Software Engineering, . ISSN 0098-5589. (doi:10.1109/TSE.2018.2812715) (KAR id:66604)
[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) (KAR id:65886)
[img]
Preview

Comsa, Iulia M., Bekinschtein, Tristan A., Chennu, Srivas (2018) Transient topographical dynamics of the electroencephalogram predict brain connectivity and behavioural responsiveness during drowsiness. Brain Topography, . ISSN 0896-0267. E-ISSN 1573-6792. (doi:10.1007/s10548-018-0689-9) (KAR id:70355)
[img]
Preview
[img]
Preview

Contrastin, Mistral, Orchard, Dominic A., Rice, Andrew C. (2018) Automatic reordering for dataflow safety of Datalog. In: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming. Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming. . ACM ISBN 978-1-4503-6441-6. (doi:10.1145/3236950.3236954) (KAR id:68499)
[img]

Daloze, Benoit, Tal, Arie, Marr, Stefan, Mössenböck, Hanspeter, Petrank, Erez (2018) Parallelization of Dynamic Languages: Synchronizing Built-in Collections. Proceedings of the ACM on Programming Languages, 2 (OOPSLA). ISSN 2475-1421. E-ISSN 2475-1421. (doi:10.1145/3276478) (KAR id:69156)
[img]
Preview

Dib, Fadi (2018) Improved Neighbourhood Search-Based Methods for Graph Layout. Doctor of Philosophy (PhD) thesis, University of Kent,. (KAR id:69286)
[img]
Preview

Dib, Fadi K., Rodgers, Peter (2018) Graph drawing using tabu search coupled with path relinking. PLOS ONE, 13 (5). Article Number 197103. ISSN 1932-6203. (doi:10.1371/journal.pone.0197103) (KAR id:67399)
[img]
Preview

Dziallas, Sebastian (2018) Characterising Graduateness in Computing Education: A Narrative Approach. Doctor of Philosophy (PhD) thesis, University of Kent,. (KAR id:69292)
[img]
Preview

Fabris, Fabio (2018) Meta-Learning for Hierarchical Classification and Applications in Bioinformatics. International Journal of Computer and Information Engineering, 12 (7). ISSN 2010-3921. (KAR id:69105)
[img]
Preview
[img]
Preview

Fan, Wenjun, Du, Zhihui, Fernandez, David, Villagra, Victor A. (2018) Enabling an Anatomic View to Investigate Honeypot Systems: A Survey. IEEE Systems Journal, 12 (4). pp. 3906-3919. ISSN 1932-8184. (doi:10.1109/JSYST.2017.2762161) (KAR id:64933)
[img]
Preview
[img]
Preview

Franqueira, Virginia N. L., Bryce, Joanne, Mutawa, Noora Al, Marrington, Andrew (2018) Investigation of Indecent Images of Children cases: Challenges and Suggestions Collected from the Trenches. Digital Investigation, 24 . pp. 95-105. (doi:10.1016/j.diin.2017.11.002) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:77174)
[img] [img]

Freitas, Alex A., Pinto Junior, Jony A., Plastino, Alexandre, Neumann, Nadine M. (2018) Is P-value<0.05 Enough? Two Case Studies in Classifiers Evaluation. In: Annals of the National Meeting of Artificial and Computational Intelligence (ENIAC). . pp. 94-103. (doi:10.5753/eniac.2018.4407) (KAR id:72111)
[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: 2017 12th International Conference for Internet Technology and Secured Transactions (ICITST). IEEE. ISBN 978-1-5386-0598-1. E-ISBN 978-1-908320-93-3. (doi:10.23919/ICITST.2017.8356404) (KAR id:65817)
[img]
Preview

Goncalves, E.C., Freitas, Alex A., Plastino, Alexandre (2018) A survey of genetic algorithms for multi-label classification. In: Proceedings of the 2018 IEEE Congress on Evolutionary Computation (CEC 2018). Proceedings of the 2018 IEEE Congress on Evolutionary Computation (CEC 2018). . pp. 981-988. IEEE, New York, NY, USA ISBN 978-1-5090-6017-7. (doi:10.1109/CEC.2018.8477927) (KAR id:74161)
[img]
Preview

Gonzalez Boix, Elisa, Marr, Stefan (2018) Introduction to the Meta’16 Workshop Special Issue. Journal of Object Technology, 17 (1). pp. 1-2. ISSN 1660-1769. (doi:10.5381/jot.2018.17.1.e1) (KAR id:70338)
[img]
Preview

González Fernández, Edgar, Sandoval Orozco, Ana, García Villalba, Luis, Hernandez-Castro, Julio C. (2018) Digital Image Tamper Detection Technique Based on Spectrum Analysis of CFA Artifacts. Sensors (Basel, Switzerland), 18 (9). ISSN 1424-8220. (doi:10.3390/s18092804) (KAR id:69341)
[img]
Preview

Guo, Hui, Kafalı, Özgur, Jeukeng, Anne-Liz, Williams, Laurie, 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). (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) (KAR id:66201)

Guo, Hui, Kafalı, Özgur, Singh, Munindar (2018) Extraction of Natural Language Requirements from Breach Reports Using Event Inference. In: 2018 5th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE). . pp. 22-28. IEEE ISBN 978-1-5386-8404-7. (doi:10.1109/AIRE.2018.00009) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:73790)
[img]

Hanson, Richard J., 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:10.1145/3134441) (KAR id:67205)
[img]
Preview

Harrison, Joseph (2018) Automatic detection of core Erlang message passing errors. In: Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang - Erlang 2018. Erlang 2018 Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang. . pp. 37-48. ACM Press ISBN 978-1-4503-5824-8. (doi:10.1145/3239332.3242765) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:69298)

Hopkins, Jack, Kafalı, Özgur, Alrayes, Bedour, Stathis, Kostas (2018) Pirasa: strategic protocol selection for e-commerce agents. Electronic Markets, . ISSN 1019-6781. E-ISSN 1422-8890. (doi:10.1007/s12525-018-0307-4) (KAR id:67446)
[img]
Preview
[img]
Preview

Hopkins, Tim, 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:10.1016/j.cam.2017.11.038) (KAR id:66997)
[img]
Preview

Jarchi, Delaram, Rodgers, Sarah J., Tarassenko, Lionel, Clifton, David A. (2018) Accelerometry-Based Estimation of Respiratory Rate for Post-Intensive Care Patient Monitoring. IEEE Sensors Journal, 18 (12). pp. 4981-4989. ISSN 1530-437X. (doi:10.1109/JSEN.2018.2828599) (KAR id:69642)
[img]
Preview

Javarone, Marco A., Marinazzo, Daniele (2018) Dilution of Ferromagnets via a Random Graph-Based Strategy. Complexity, 2018 . Article ID 2845031. ISSN 1076-2787. (doi:10.1155/2018/2845031) (KAR id:66766)
[img]
Preview

Johnson, Colin G., Swan, Jerry, Edwin, Brady (2018) Subtype Polymorphism à la carte via Machine Learning on Dependent Types. In: ML4PL. 2nd International Workshop on Machine Learning Techniques for Programming Languages. . ACM ISBN ACM ISBN 123-4567-24-567/08/06. (doi:10.475/123_4) (KAR id:71461)
[img]
Preview

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. (KAR id:66563)
[img]
Preview

Kafalı, Özgur, Torroni, Paolo (2018) Comodo: Collaborative Monitoring of Commitment Delegations. Expert Systems with Applications, 105 . pp. 144-158. ISSN 0957-4174. (doi:10.1016/j.eswa.2018.03.057) (KAR id:66566)
[img]
Preview

Kalonaris, Stefano, Jordanous, Anna (2018) Computational Music Aesthetics: a survey and some thoughts. In: 3rd Conference on Computational Simulation of Musical Creativity, 20-22 August 2018, Dublin, Ireland. (KAR id:67600)
[img]
Preview

Kell, Stephen (2018) Unix, Plan 9 and the Lurking Smalltalk. In: de Mol, Liesbeth and Primiero, Giuseppe, eds. Reflections on Programming Systems: Historical and Philosophical Aspects. Philosophical Studies Series . Springer. ISBN 978-3-319-97225-1. E-ISBN 978-3-319-97226-8. (doi:10.1007/978-3-319-97226-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) (KAR id:69708)

Kell, Stephen (2018) The inevitable death of VMs: a progress report. In: Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming. ACM-ICPS International Conference Proceeding Series . ACM, New York, USA, pp. 61-62. ISBN 978-1-4503-5513-1. (doi:10.1145/3191697.3191728) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:69709)
[img]

Koch, Philipp, Phan, Huy, Maass, Marco, Katzberg, Fabrice, Mertins, Alfred (2018) Recurrent Neural Network Based Early Prediction of Future Hand Movements. In: 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society: Learning from the Past, Looking to the Future. . pp. 4710-4713. IEEE, Honolulu, Hawaii E-ISBN 978-1-5386-3646-6. (doi:10.1109/EMBC.2018.8513145) (KAR id:72664)
[img]
Preview

Lange, Julien and Ng, Nicholas and Toninho, Bernardo and Yoshida, Nobuko (2018) A Static Verification Framework for Message Passing in Go using Behavioural Types. In: Proceedings of the 40th International Conference on Software Engineering. ICSE International Conference on Software Engineering . ACM, New York, USA, pp. 1137-1148. ISBN 978-1-4503-5660-2. (doi:10.1145/3180155.3180157) (KAR id:65587)
[img]
Preview
[img]

Langroudi, George, Jordanous, Anna, Li, Ling (2018) Music Emotion Capture: sonifying emotions in EEG data. In: Emotion Modelling and Detection in Social Media and Online Interaction symposium at the AISB 2018 Convention, 4-6 April 2018, Liverpool, UK. (KAR id:66564)
[img]
Preview

Li, Zengxi, Song, Yan, Dai, Li-Rong, 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). . pp. 681-685. IEEE ISBN 978-1-5386-4659-5. E-ISBN 978-1-5386-4658-8. (doi:10.1109/ICASSP.2018.8461578) (KAR id:67161)
[img]
Preview

Liu, Junjie and Aljaffan, Nouf and Li, Shujun (2018) PassInfinity: A software prototype system. NA Electronic files. (Unpublished) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:80287)
[img]

Lu, Yang, Sinnott, Richard O. (2018) Semantic privacy-preserving framework for electronic health record linkage. Telematics and Informatics, 35 (4). pp. 737-752. ISSN 0736-5853. (doi:10.1016/j.tele.2017.06.007) (KAR id:80957)
[img]
Preview

Marr, Stefan and Sartor, Jennifer B., eds. (2018) Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming. ACM-ICPS International Conference Proceeding Series . ACM, New York, USA ISBN 978-1-4503-5513-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) (KAR id:68803)

Marr, Stefan and Daloze, Benoit (2018) Few Versatile vs. Many Specialized Collections: How to design a collection library for exploratory programming? In: Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming. ACM-ICPS International Conference Proceeding Series . ACM, New York, USA, pp. 135-143. ISBN 978-1-4503-5513-1. (doi:10.1145/3191697.3214334) (KAR id:66605)
[img]
Preview

Marr, Stefan, Roberts, Richard, Noble, James (2018) Newspeak and Truffle: A Platform for Grace? In: Grace'18, 2018-11-04, Boston, MA, USA. (Unpublished) (KAR id:70341)
[img]
Preview

Martin, Alejandro, Hernandez-Castro, Julio C., Camacho, David (2018) An in-Depth Study of the Jisut Family of Android Ransomware. IEEE Access, 6 . pp. 57205-57218. ISSN 2169-3536. (doi:10.1109/ACCESS.2018.2873583) (KAR id:69882)
[img]
Preview

McBride, Jack and Arief, Budi and Hernandez-Castro, Julio C. (2018) Security Analysis of Contiki IoT Operating System. In: EWSN ’18 Proceedings of the 2018 International Conference on Embedded Wireless Systems and Networks. Junction Publishing, Canada, pp. 278-283. ISBN 978-0-9949886-2-1. (KAR id:67379)
[img]
Preview

McBride, Jack and Hernandez-Castro, Julio and Arief, Budi (2018) Earworms Make Bad Passwords: An Analysis of the Noke Smart Lock Manual Override. In: 2017 International Workshop on Secure Internet of Things (SIoT). IEEE. ISBN 978-1-5386-4542-0. E-ISBN 978-1-5386-4541-3. (doi:10.1109/SIoT.2017.00009) (KAR id:64302)
[img]
Preview

McKeown, Lewis, Jordanous, Anna (2018) An Evaluation of the Impact of Constraints on the Perceived Creativity of Narrative Generating Software. In: Pachet, François and Jordanous, Anna and León, Carlos, eds. Proceedings of the Ninth International Conference on Computational Creativity. . pp. 16-23. Association of Computational Creativity ISBN 978-989-54-1600-4. (KAR id:67599)
[img]
Preview

Miao, Xiaoxiao, McLoughlin, Ian Vince, Yao, Shengyu, Yan, Yonghong (2018) Improved Conditional Generative Adversarial Net Classification For Spoken Language Recognition. In: 2018 IEEE Workshop on Spoken Language Technology SLT 2018 Proceedings. . IEEE ISBN 978-1-5386-4334-1. (doi:10.1109/SLT.2018.8639522) (KAR id:69101)
[img]
Preview

Miranda, Enrico S., Fabris, Fabio, Nascimento, Chrystian G. M., Freitas, Alex A., Oliveira, Alexandre C. M. (2018) Meta-Learning for Recommending Metaheuristics for the MaxSAT Problem. In: IEEE Conference on Intelligent Systems. 2018 7th Brazilian Conference on Intelligent Systems (BRACIS). . pp. 169-174. IEEE, USA ISBN 978-1-5386-8023-0. (doi:10.1109/BRACIS.2018.00037) (KAR id:73694)
[img]
Preview
[img]

Oliveira, Luiz O.V.B. and Otero, Fernando E.B. and Pappa, Gisele L. (2018) A Generic Framework for Building Dispersion Operators in the Semantic Space. In: Genetic Programming Theory and Practice XIV. Genetic and Evolutionary Computation . Springer, pp. 179-195. ISBN 978-3-319-97088-2. E-ISBN 978-3-319-97087-5. (doi:10.1007/978-3-319-97088-2_12) (KAR id:59297)
[img]
Preview

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

Patlatzoglou, Konstantinos and Chennu, Srivas and Boly, Melanie and Noirhomme, Quentin and Bonhomme, Vincent and Brichant, Jean-Francois and Gosseries, Olivia and Laureys, Steven (2018) Deep Neural Networks for Automatic Classification of Anesthetic-Induced Unconsciousness. In: Brain Informatics. Springer. (doi:10.1007/978-3-030-05587-5_21) (KAR id:69530)
[img]
Preview

Pease, Alison and Jordanous, Anna (2018) Report on the Eighth International Conference on Computational Creativity. Review of: Eighth International Conference on Computational Creativity by UNSPECIFIED. AI Magazine, 39 (1). pp. 62-64. ISSN 0738-4602. (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:64189)
[img]

Phan, Huy, Andreotti, Fernando, Cooray, Navin, Chén, Oliver Y., De Vos, Maarten (2018) DNN Filter Bank Improves 1-Max Pooling CNN for Single-Channel EEG Automatic Sleep Stage Classification. In: 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society: Learning from the Past, Looking to the Future. . pp. 453-456. IEEE, Honolulu, Hawaii E-ISBN 978-1-5386-3646-6. (doi:10.1109/EMBC.2018.8512286) (KAR id:72661)
[img]
Preview

Phan, Huy, Koch, Philipp, McLoughlin, Ian Vince, Mertins, A. (2018) Enabling Early Audio Event Detection With Neural Networks. In: 2018 IEEE International Conference on Acoustics, Speech and Signal Processing Proceedings. . pp. 141-145. IEEE ISBN 978-1-5386-4659-5. E-ISBN 978-1-5386-4658-8. (doi:10.1109/ICASSP.2018.8461859) (KAR id:67162)
[img]
Preview

Phan, Huy, Krawczyk-Becker, Martin, Gerkmann, Timo, Mertins, Alfred (2018) Weighted and Multi-Task Loss for Rare Audio Event Detection. In: 2018 IEEE International Conference on Acoustics, Speech, and Signal Processing: Proceedings. . pp. 336-340. IEEE, Calgary, Canada ISBN 978-1-5386-4658-8. (doi:10.1109/ICASSP.2018.8461353) (KAR id:72667)
[img]
Preview

Rigger, Manuel, Marr, Stefan, Kell, Stephen, Leopoldseder, David, Mössenböck, Hanspeter (2018) An Analysis of x86-64 Inline Assembly in C Programs. ACM SIGPLAN Notices, 53 (3). pp. 84-99. ISSN 0362-1340. E-ISSN 1558-1160. (doi:10.1145/3186411.3186418) (KAR id:66147)
[img]
Preview

Rigger, Manuel and Marr, Stefan and Kell, Stephen and Leopoldseder, David and Mössenböck, Hanspeter (2018) A Survey of x86-64 Inline Assembly in C Programs. In: Proceedings of the 14th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments. VEE International Conference on Virtual Execution Environments . ACM, New York, USA, pp. 84-99. ISBN 978-1-4503-5579-7. (doi:10.1145/3186411.3186418) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:69697)

Rivera-Lillo, Gonzalo, Rojas-Li?bano, Daniel, Burgos, Pablo, Egan?a, Jose, Chennu, Srivas, Maldonado, Pedro (2018) Reduced delta-band modulation underlies the loss of P300 responses in disorders of consciousness. Clinical Neurophysiology, 129 (12). pp. 2613-2622. ISSN 1388-2457. (doi:10.1016/j.clinph.2018.09.104) (KAR id:69229)
[img]
Preview

Rizzi, Caroline and Johnson, Colin G. and Vargas, Patricia (2018) Fear Learning for Flexible Decision Making in RoboCup: A Discussion. In: Akiyama, Hidehisa and Obst, Oliver and Sammut, Claude and Tonidandel, Flavio, eds. RoboCup 2017: Robot World Cup XXI. Lecture Notes in Artificial Intelligence, 11175 . Springer, Germany, pp. 59-70. ISBN 978-3-030-00307-4. E-ISBN 978-3-030-00308-1. (doi:10.1007/978-3-030-00308-1_5) (KAR id:69611)
[img]
Preview

Schmitz, Roland and Li, Shujun and Grecos, Christos and Zhang, Xinpeng (2018) Commutative Watermarking-Encryption of Multimedia Data Based on Histograms. In: Bhattacharyya, Siddhartha, ed. Intelligent Innovations in Multimedia Data Engineering and Management. IGI Global, USA, pp. 141-163. ISBN 978-1-5225-8783-5. E-ISBN 978-1-5225-7108-7. (doi:10.4018/978-1-5225-7107-0.ch006) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:74214)
[img]

Shirazibeheshti, Amirali, Cooke, Jennifer, Chennu, Srivas, Adapa, Ram, Menon, David K., Hojjatoleslami, Ali, Witon, Adrien, Li, Ling, Bekinschtein, Tristan, Bowman, Howard and others. (2018) Placing Meta-stable States of Consciousness within the Predictive Coding Hierarchy: the Deceleration of the Accelerated Prediction Error. Consciousness and Cognition, 63 . pp. 123-142. ISSN 1053-8100. (doi:10.1016/j.concog.2018.06.010) (KAR id:67245)
[img]
Preview

Sloan, Thomas (2018) System Steganalysis: Implementation Vulnerabilities and Side-Channel Attacks Against Digital Steganography Systems. Doctor of Philosophy (PhD) thesis, University of Kent,. (KAR id:75280)
[img]
Preview

Spangsberg, Thomas Hvid, Fincher, Sally, Dziallas, Sebastian (2018) Non-Traditional Novices’ Perceptions of Learning to Program: A Framework of Developing Mental Models. In: IEEE 2018 Frontiers in Education Conference (FIE) Proceedings. . IEEE (doi:10.1109/FIE.2018.8659301) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:73946)
[img]

Spinney, Richard E., Prokopenko, Mikhail, Chu, Dominique (2018) Information ratchets exploiting spatially structured information reservoirs. Physical Review E: Statistical, Nonlinear, and Soft Matter Physics, 98 (2). ISSN 2470-0045. (doi:10.1103/PhysRevE.98.022124) (KAR id:67362)
[img]
Preview

Swan, Jerry, Johnson, Colin G., Brady, Edwin C. (2018) Subtype polymorphism à la carte via machine learning on dependent types. In: ISSTA/ECOOP 2018 Workshops. . pp. 14-16. ACM, New York, NY, USA ISBN 978-1-4503-5939-9. (doi:10.1145/3236454.3236469) (KAR id:73791)
[img]
Preview
[img]

Thibaut, Aurore, Chennu, Srivas, Chatelle, Camille, Martens, Géraldine, Annen, Jitka, Cassol, Helena, Laureys, Steven (2018) Theta network centrality correlates with tDCS response in disorders of consciousness. Brain Stimulation, 11 (6). pp. 1407-1409. ISSN 1935-861X. (doi:10.1016/j.brs.2018.09.002) (KAR id:69096)
[img]
Preview

Thompson, Simon, ed. (2018) Proceedings of the Sixth Workshop on Trends in Functional Programming in Education. EPTCS, 60 pp. (doi: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) (KAR id:67028)

Thompson, Simon and Lamela Seijas, Pablo (2018) Marlowe: Financial Contracts on Blockchain. In: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice. Lecture Notes in Computer Science . Springer-Verlag Berlin, Switzerland. ISBN 978-3-030-03427-6. (doi:10.1007/978-3-030-03427-6_27) (KAR id:69846)
[img]
Preview
[img]

Torres Lopez, Carmen and Marr, Stefan and Gonzalez Boix, Elisa and Mössenböck, Hanspeter (2018) A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs. In: Ricci, Alessandro and Haller, Philipp, eds. Programming with Actors: State-of-the-Art and research Perspectives. Lect.Notes ComputerState-of-the-Art Surveys, 10789 . Springer. ISBN 978-3-030-00302-9. (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:68802)
[img]

Tussyadiah, Iis, Li, Shujun, Miller, Graham (2018) Privacy Protection in Tourism: Where We Are and Where We Should Be Heading For. In: Pesonen, Juho and Neidhardt, Julia, eds. Information and Communication Technologies in Tourism 2019: Proceedings of the International Conference in Nicosia, Cyprus, January 30–February 1, 2019. . pp. 278-290. Springer Nature Switzerland AG, Cham, Switzerland ISBN 978-3-030-05939-2. E-ISBN 978-3-030-05940-8. (doi:10.1007/978-3-030-05940-8_22) (KAR id:71418)
[img]
Preview

Ugawa, Tomoharu and Jones, Richard (2018) Model Checking Transactional Sapphire. Technical report. School of Computing, University of Kent, Kent, UK (Unpublished) (KAR id:67197)
[img]
Preview

da Silva, P.N., Plastino, Alexandre, Freitas, Alex A. (2018) A Novel Genetic Algorithm for Feature Selection in Hierarchical Feature Spaces. In: Proceedings of the SIAM International Conference on Data Mining (SDM18). . pp. 738-746. E-ISBN 978-1-61197-532-1. (doi: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) (KAR id:67129)

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 978-3-319-74182-6. (doi: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) (KAR id:65859)

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: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) (KAR id:65848)

de Sá, Alex G. C. and Freitas, Alex A. and Pappa, Gisele L. (2018) Automated Selection and Configuration of Multi-Label Classification Algorithms with Grammar-Based Genetic Programming. In: Auger, Anne and Fonseca, Carlos M. and Lourenço, Nuno and Machado, Penousal and Paquete, Luís and Whitley, Darrell, eds. Parallel Problem Solving from Nature – PPSN XV. Lecture Notes in Computer Science . Springer, pp. 308-320. ISBN 978-3-319-99258-7. (doi:10.1007/978-3-319-99259-4_25) (KAR id:68970)
[img]
Preview

2017

Adams, Stephen (2017) Data-Driven Refactorings for Haskell. Doctor of Philosophy (PhD) thesis, University of Kent,. (KAR id:69589)
[img]
Preview

Agrawal, Shweta, Bhattacherjee, Sanjay, Phan, Duong Hieu, Stehlé, Damien, Yamada, Shota (2017) Efficient Public Trace and Revoke from Standard Assumptions. In: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security. . pp. 2277-2293. Association for Computing Machinery, New York- United States ISBN 978-1-4503-4946-8. (doi:10.1145/3133956.3134041) (KAR id:83284)
[img]
Preview

Akanmu, Amidu Akinpelumi Gbolasere (2017) Introducing Combined Weights and Centrality Measures To Evaluate Network Topologies. Doctor of Philosophy (PhD) thesis, University of Kent,. (KAR id:79873)
[img]
Preview

Aljaffan, Nouf and Yuan, Haiyue and Li, Shujun (2017) PSV (Password Security Visualizer): From Password Checking to User Education. In: Tryfonas, Theo, ed. Human Aspects of Information Security, Privacy and Trust 5th International Conference. Lecture Notes in Computer Science, 10292 . Springer International Publishing AG, pp. 191-211. ISBN 978-3-319-58459-1. E-ISBN 978-3-319-58460-7. (doi:10.1007/978-3-319-58460-7_13) (KAR id:69560)
[img]
Preview

Alqahtani, Saeed Ibrahim, Li, Shujun (2017) PPAndroid-Benchmarker: Benchmarking Privacy Protection Systems on Android Devices. In: Fischer, Mathias, ed. Proceedings of the 12th International Conference on Availability, Reliability and Security. . Article No. 19. ACM, New York, NY, USA ISBN 978-1-4503-5257-4. (doi:10.1145/3098954.3098984) (KAR id:69561)
[img]
Preview

Alrayes, Bedour, Kafalı, Özgur, Stathis, Kostas (2017) Concurrent bilateral negotiation for open e-markets: The Conan strategy. Knowledge and Information Systems, . ISSN 0219-1377. (doi:10.1007/s10115-017-1125-2) (KAR id:65851)
[img]
Preview

Baker, Robert (2017) A Method for Graph Drawing Utilising Patterns. Doctor of Philosophy (PhD) thesis, University of Kent,. (KAR id:63895)
[img]
Preview

Barardo, Diogo G., Newby, Danielle, Thornton, Daniel, Ghafourian, Taravat, Pedro de Magalhães, João, Freitas, Alex A. (2017) Machine learning for predicting lifespan-extending chemical compounds. Aging, 9 (7). pp. 1721-1737. ISSN 1945-4589. (doi:10.18632/aging.101264) (KAR id:62389)
[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:10.1098/rsta.2015.0406) (KAR id:64300)
[img]
Preview
[img]

Chari, Guido and Garbervetsky, Diego and Marr, Stefan (2017) Fully-reflective VMs for Ruling Software Adaptation. In: 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C). IEEE, pp. 229-231. ISBN 978-1-5386-1590-4. E-ISBN 978-1-5386-1589-8. (doi:10.1109/ICSE-C.2017.144) (KAR id:63813)
[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 12th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems. ECOOP European Conference on Object-Oriented Programming . ACM, New York, USA. ISBN 978-1-4503-5088-4. (doi:10.1145/3098572.3098577) (KAR id:63812)
[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 978-3-319-71236-9. (doi:10.1007/978-3-319-71237-6_23) (KAR id:62853)
[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) (KAR id:61076)
[img]

Cheval, Vincent, Comon-Lundh, Hubert, 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:10.1016/j.ic.2017.05.004) (KAR id:46882)
[img]
Preview

Duraisingam, A., Palaniappan, Ramaswamy, Andrews, S. (2017) Cognitive task difficulty analysis using EEG and data mining. In: Proceedings of the 2017 Conference on Emerging Devices and Smart Systems (ICEDSS). . pp. 52-57. IEEE ISBN 978-1-5090-5555-5. (doi:10.1109/ICEDSS.2017.8073658) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:70673)

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. ACM-ICPS International Conference Proceeding Series . ACM, New York, USA, pp. 92-104. ISBN 978-1-4503-5340-3. (doi:10.1145/3132190.3132209) (KAR id:63807)
[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,. (KAR id:63883)
[img]
Preview
[img]

Fabris, Fabio, Freitas, Alex A., 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:10.1007/s10522-017-9683-y) (KAR id:60517)
[img]
Preview
[img]
Preview

Faddegon, Maarten (2017) Algorithmic debugging for complex lazy functional programs. Doctor of Philosophy (PhD) thesis, University of Kent,. (KAR id:63869)
[img]
Preview

Greenhow, Keith A. (2017) Investigation into Intelligent Image Preprocessor Techniques for Artificial Neural Networks. Doctor of Philosophy (PhD) thesis, University of Kent,. (KAR id:77011)
[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: Proceedings of the 14th International Conference on Managed Languages and Runtimes. ACM-ICPS International Conference Proceeding Series . ACM, New York, USA, pp. 12-22. ISBN 978-1-4503-5340-3. (doi:10.1145/3132190.3132202) (KAR id:63809)
[img]
Preview

Grzes, Marek (2017) Reward Shaping in Episodic Reinforcement Learning. In: Proc. of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017). . pp. 565-573. ACM (KAR id:60614)
[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 978-1-4503-5291-8. (doi:10.1145/3131851.3131861) (KAR id:62377)
[img]
Preview

Jameel, Shoaib, Bouraoui, Zied, Schockaert, Steven (2017) MEmbER: Max-Margin Based Embeddings for Entity Retrieval. In: SIGIR '17 Proceedings of the 40th International ACM SIGIR Conference on Research and Development in Information Retrieval. Proceedings of the 40th International ACM SIGIR. . pp. 783-792. ACM ISBN 978-1-4503-5022-8. (doi:10.1145/3077136.3080803) (KAR id:69598)
[img]
Preview

Jarchi, Delaram, Casson, Alexander J. (2017) Towards Photoplethysmography-Based Estimation of Instantaneous Heart Rate During Physical Activity. IEEE Transactions on Biomedical Engineering, 64 (9). pp. 2042-2053. ISSN 0018-9294. (doi:10.1109/TBME.2017.2668763) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:69647)
[img]

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. Advances in Intelligent Systems and Computing . Springer, Cham, Switzerland, pp. 181-194. ISBN 978-3-319-47252-2. E-ISBN 978-3-319-47253-9. (doi:10.1007/978-3-319-47253-9_15) (KAR id:61066)
[img]
Preview

Jordanous, Anna (2017) How can we write software that can communicate creatively? In: Proceedings of the 4th AISB Symposium on Computational Creativity. . (KAR id:61054)
[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. (KAR id:63489)
[img]

Kafalı, Özgur, Ajmeri, Nirav, Singh, Munindar P. (2017) Kont: Computing tradeoffs in normative multiagent systems. In: Proceedings of the 31st Conference on Artificial Intelligence (AAAI). . pp. 3006-3012. (KAR id:65868)
[img]
Preview

Kafalı, Özgur, Jones, Jasmine, Petruso, Megan, Williams, Laurie, Singh, Munindar P. (2017) How Good is a Security Policy against Real Breaches? A HIPAA Case Study. In: 2017 IEEE/ACM 39th International Conference on Software Engineering. . pp. 530-540. IEEE ISBN 978-1-5386-3868-2. (doi:10.1109/ICSE.2017.55) (KAR id:65867)
[img]
Preview

Kafalı, Özgur, Romero, Alfonso E., 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: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) (KAR id:65852)

Kafalı, Özgur, Singh, Munindar P. (2017) Improving Cybersecurity: User Accountability and Sociotechnical Systems. . IEEE Online. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:66529)

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

Kell, Stephen (2017) Some were meant for C: the endurance of an unmanageable language. In: Onward! 2017 Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. . ACM, New York, NY, USA ISBN 978-1-4503-5530-8. (doi:10.1145/3133850.3133867) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:69698)
[img]

Knox, Daniel (2017) A Cartography of Practice. Doctor of Philosophy (PhD) thesis, University of Kent,. (KAR id:66350)
[img]
Preview

Koch, Philipp, Phan, Huy, Maass, Marco, Katzberg, Fabrice, Mertins, Alfred (2017) Early Prediction of Future Hand Movements Using sEMG Data. In: 39th Annual International Conference of the IEEE Engineering in Medicine and Biology Society: Smarter Technology for a Healthier World. . pp. 54-57. IEEE (doi:10.1109/EMBC.2017.8036761) (KAR id:72674)
[img]
Preview

Kuttikat, Anoop, Noreika, Valdas, Chennu, Srivas, Shenker, Nicholas, Bekinschtein, Tristan, 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:10.1016/j.jpain.2017.11.008) (KAR id:65570)
[img]
Preview

Lamela Seijas, Pablo (2017) Model construction, evolution, and use in testing of software systems. Doctor of Philosophy (PhD) thesis, University of Kent,. (KAR id:69474)
[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 978-87-93519-82-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) (KAR id:62371)

Lange, Julien and Yoshida, N. (2017) On the undecidability of asynchronous session subtyping. In: Esparza, J. and Murawski, A., eds. Foundations of Software Science and Computation Structures. FoSSaCS 2017. Lecture Notes in Computer Science, 10203 (10203). Springer, Berlin, Germany, pp. 441-457. ISBN 978-3-662-54457-0. E-ISBN 978-3-662-54458-7. (doi: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) (KAR id:62265)

Lu, Yang, Sinnott, Richard O., Verspoor, Karin (2017) A Semantic-Based K-Anonymity Scheme for Health Record Linkage. Studies in Health Technology and Informatics, 239 . pp. 84-90. ISSN 0926-9630. (doi:10.3233/978-1-61499-783-2-84) (KAR id:80964)
[img]
Preview

Maass, Marco, Ahlborg, Mandy, Bakenecker, Anna, Katzberg, Fabrice, Phan, Huy, Buzug, Thorsten M., Mertins, Alfred (2017) A Trajectory Study for Obtaining MPI System Matrices in a Compressed-Sensing Framework. International Journal on Magnetic Particle Imaging, 3 (2). (doi:10.18416/ijmpi.2017.1706005) (KAR id:72676)
[img]
Preview

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 international ACM SIGPLAN symposium on Principles and practices of declarative programming. SPLASH Systems, Programming, and Applications . ACM, New York, USA. ISBN 978-1-4503-5526-1. (doi:10.1145/3133841.3133842) (KAR id:63810)
[img]
Preview

Mazaheri, A., Segaert, K., Olichney, J., Yang, J-C, Niu, Y-Q, Shapiro, Kimron L., 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:10.1016/j.nicl.2017.10.009) (KAR id:64541)
[img]
Preview

Mazur, Radoslaw, Katzberg, Fabrice, Phan, Huy, Mertins, Alfred (2017) Room Equalization Based on Measurements of Moving Microphones. In: 2017 Hands-Free Speech Communications and Microphone Arrays Hscma 2017 Proceedings. . pp. 121-125. IEEE, San Francisco, USA ISBN 978-1-5090-5925-6. (doi:10.1109/HSCMA.2017.7895574) (KAR id:72670)
[img]
Preview

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

Mikolas, Janota, Radu, Grigore, 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) (KAR id:67090)
[img]
Preview

Mouli, S., Palaniappan, Ramaswamy (2017) Eliciting higher SSVEP response from LED visual stimulus with varying luminosity levels. In: 2016 International Conference for Students on Applied Engineering (ICSAE). . pp. 201-206. IEEE ISBN 978-1-4673-9053-8. (doi:10.1109/ICSAE.2016.7810188) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:70676)

Mouli, S., Palaniappan, Ramaswamy (2017) Hybrid BCI utilising SSVEP and P300 event markers for reliable and improved classification using LED stimuli. In: 2017 IEEE Symposium on Computer Applications & Industrial Electronics (ISCAIE). . pp. 127-131. IEEE ISBN 978-1-5090-4752-9. (doi:10.1109/ISCAIE.2017.8074963) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:70674)

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,. (KAR id:66503)
[img]
Preview

Nouh, Mariam, Nurse, Jason R. C., Goldsmith, Michael (2017) Towards Designing a Multipurpose Cybercrime Intelligence Framework. In: Brynielsson, Joel and Johansson, Fredrik, eds. 2016 European Intelligence and Security Informatics Conference (EISIC 2016). . IEEE ISBN 978-1-5090-2858-0. E-ISBN 978-1-5090-2857-3. (doi:10.1109/EISIC.2016.018) (KAR id:67483)
[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 978-87-93519-82-4. E-ISBN 978-87-93519-81-7. (doi:10.13052/rp-9788793519817) (KAR id:66632)
[img]
Preview
[img]
Preview

Osadchy, Margarita, Hernandez-Castro, Julio C., Gibson, Stuart J., Dunkelman, Orr, 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, 12 (11). pp. 2640-2653. ISSN 1556-6013. E-ISSN 1556-6021. (doi:10.1109/TIFS.2017.2718479) (KAR id:62081)
[img]
Preview

Pedersen, Jan B., 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:10.1007/s00165-017-0447-x) (KAR id:66519)
[img]
Preview

Phan, Huy, Hertel, Lars, Maass, Marco, Koch, Philipp, Mazur, Radoslaw, Mertins, Alfred (2017) Improved Audio Scene Classification based on Label-Tree Embeddings and Convolutional Neural Networks. IEEE/ACM Transactions on Audio, Speech, and Language Processing, 25 (6). pp. 1278-1290. ISSN 2329-9290. E-ISSN 2329-9304. (doi:10.1109/TASLP.2017.2690564) (KAR id:72672)
[img]
Preview

Phan, Huy, Koch, P., Katzberg, F., Maass, Marco, Mazur, M., McLoughlin, Ian Vince, Mertins, A. (2017) What makes audio event detection harder than classification? In: 2017 25th European Signal Processing Conference (EUSIPCO). . IEEE ISBN 978-0-9928626-7-1. (doi:10.23919/EUSIPCO.2017.8081709) (KAR id:66057)
[img]
Preview
[img]
Preview

Phan, Huy, Koch, Philipp, Hertel, Lars, Maass, Marco, Mazur, Radoslaw, Mertins, Alfred (2017) CNN-LTE: A Class of 1-X Pooling Convolutional Neural Networks on Label Tree Embeddings for Audio Scene Classification. In: 2017 IEEE International Conference on Acoustics, Speech, and Signal Processing Proceedings. . pp. 136-140. IEEE, New Orleans, USA ISBN 978-1-5090-4117-6. (doi:10.1109/ICASSP.2017.7952133) (KAR id:72673)
[img]
Preview

Phan, Huy, Koch, Philipp, Katzberg, Fabrice, Maass, Marco, Mazur, Radoslaw, Mertins, Alfred (2017) Audio Scene Classification with Deep Recurrent Neural Networks. In: Proceedings of Interspeech. . pp. 3043-3047. International Speech Communication Association, Stockholm, Sweden (doi:10.21437/Interspeech.2017-101) (KAR id:72671)
[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 on Dynamic Languages. SPLASH Systems, Programming, and Applications . ACM, New York, USA, pp. 39-50. ISBN 978-1-4503-5526-1. (doi:10.1145/3133841.3133845) (KAR id:63808)
[img]
Preview

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

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

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

Qian, Mengjie and McLoughlin, Ian and Quo, Wu and Dai, Lirong (2017) Mismatched Training Data Enhancement for Automatic Recognition of Children’s Speech using DNN-HMM. In: 2016 10th International Symposium on Chinese Spoken Language Processing (ISCSLP). IEEE. ISBN 978-1-5090-4295-1. E-ISBN 978-1-5090-4294-4. (doi:10.1109/ISCSLP.2016.7918386) (KAR id:57110)
[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) (KAR id:61077)
[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) (KAR id:65705)
[img]

Robbins, Ed (2017) Solvers for Type Recovery and Decompilation of Binaries. Doctor of Philosophy (PhD) thesis, University of Kent,. (KAR id:61349)
[img]
Preview

Salama, Khalid M., Abdelbar, Ashraf M., Helal, Ayah, Freitas, Alex A. (2017) Instance-based classification with ant colony optimization. Intelligent Data Analysis, 21 (4). pp. 913-944. ISSN 1088-467X. (doi: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) (KAR id:66669)

Si, Xujie, Zhang, Xin, Grigore, Radu, Naik, Mayur (2017) Maximum Satisfiability in Software Analysis: Applications and Techniques. In: Lecture Notes in Computer Science. Computer Aided Verification: 29th International Conference, CAV 2017 Heidelberg, Germany, July 24–28, 2017 Proceedings, Part I. 10426. pp. 68-94. Springer ISBN 978-3-319-63386-2. (doi:10.1007/978-3-319-63387-9_4) (KAR id:63671)
[img]
Preview

Simione, Luca, Akyurek, Elkan, Vastola, Valentina, Raffone, Antonino, 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:10.1016/j.concog.2017.03.004) (KAR id:61353)
[img]
Preview

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

Vandercammen, Maarten, Marr, Stefan, 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:10.1016/j.cl.2017.07.005) (KAR id:63811)
[img]
Preview

Wiiliams, Nick, Li, Shujun (2017) Simulating human detection of phishing websites: An investigation into the applicability of ACT-R cognitive behaviour architecture model. In: Proceedings of 2017 3rd IEEE International Conference on Cybernetics. . pp. 471-478. IEEE, USA ISBN 978-1-5386-2201-8. E-ISBN 978-1-5386-2200-1. (doi:10.1109/CYBConf.2017.7985810) (KAR id:74278)
[img]
Preview

Williams, Meredydd and Nurse, Jason R. C. and Creese, Sadie (2017) Privacy Salience: Taxonomies and Research Opportunities. In: Lehmann, Anja and Whitehouse, Diane and Fischer-Hübner, Simone and Fritsch, Lothar and Raab, Charles, eds. Privacy and Identity Management. Facing up to Next Steps. IFIP Advances in Information and Communication Technology . Springer, pp. 263-278. ISBN 978-3-319-55782-3. (doi:10.1007/978-3-319-55783-0_18) (KAR id:67477)
[img]
Preview

Williams, Meredydd, Nurse, Jason R. C., Creese, Sadie (2017) Privacy is the boring bit: User perceptions and behaviour in the Internet-of-Things. In: 15th International Conference on Privacy‚ Security and Trust (PST), August 28-30, 2017, Calgary, canada. (KAR id:67472)
[img]
Preview

Yuan, Haiyue and Li, Shujun and Rusconi, Patrice and Aljaffan, Nouf (2017) When Eye-Tracking Meets Cognitive Modeling: Applications to Cyber Security Systems. In: Tryfonas, Theo, ed. Human Aspects of Information Security, Privacy and Trust 5th International Conference. Lecture Notes in Computer Science . Springer, Cham, Switzerland, pp. 251-264. ISBN 978-3-319-58459-1. E-ISBN 978-3-319-58460-7. (doi:10.1007/978-3-319-58460-7_17) (KAR id:69559)
[img]
Preview

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

de Oliveira, Lariza Laura, Freitas, Alex A., 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:10.1016/j.ins.2017.10.022) (KAR id:64639)
[img]
Preview

2016

Agrafiotis, Ioannis and Creese, Sadie and Goldsmith, Michael and Nurse, Jason R. C. and Upton, David (2016) The Relative Effectiveness of widely used Risk Controls and the Real Value of Compliance. Project report. University of Oxford, Oxford, UK (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:67479)
[img]

Allen, Jaqui, Sharifzadeh, Hamid Reza, McLoughlin, Ian Vince, Sarrafzadeh, A, 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) (KAR id:55058)

Alrayes, Bedour and Kafalı, Özgur 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 978-3-319-30305-5. (doi: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) (KAR id:65893)

Alsallakh, Bilal, Micallef, Luana, Aigner, Wolfgang, Hauser, Helwig, Miksch, Silvia, Rodgers, Peter (2016) The State-of-the-Art of Set Visualization. Computer Graphics Forum, 35 (1). pp. 234-260. ISSN 1467-8659. (doi: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) (KAR id:52106)

Aniceto, Natália, Freitas, Alex A., Bender, Andreas, 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). Article Number 69. ISSN 1758-2946. (doi:10.1186/s13321-016-0182-y) (KAR id:60709)
[img]
Preview

Avoine, Gildas, Beaujeant, Antonin, Hernandez-Castro, Julio C., Demay, Louis, Teuwen, Philippe (2016) A Survey of Security and Privacy Issues in ePassport Protocols. ACM Computing Surveys, 48 (3). Article Number 47. ISSN 0360-0300. (doi: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) (KAR id:60598)

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

Bhattacherjee, Sanjay, Sarkar, Palash (2016) Reducing Communication Overhead of the Subset Difference Scheme. IEEE Transactions on Computers, 65 (8). pp. 2575-2587. ISSN 0018-9340. (doi:10.1109/TC.2015.2485231) (KAR id:83283)
[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 SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. SPLASH Systems, Programming, and Applications . ACM, New York, USA, pp. 531-547. ISBN 978-1-4503-4444-9. (doi:10.1145/2983990.2984039) (KAR id:63817)
[img]
Preview

Brown, Neil C. C., Kölling, Michael, Altadmri, Amjad (2016) Position Paper: Lack of Keyboard Support Cripples Block-Based Programming. In: 2015 IEEE Blocks and Beyond Workshop (Blocks and Beyond). . pp. 59-61. IEEE E-ISBN 978-1-4673-8367-7. (doi:10.1109/BLOCKS.2015.7369003) (KAR id:50383)
[img]
Preview

Casson, Alexander J., Vazquez Galvez, Arturo, Jarchi, Delaram (2016) Gyroscope vs. accelerometer measurements of motion from wrist PPG during physical exercise. ICT Express, 2 (4). pp. 175-179. ISSN 2405-9595. (doi:10.1016/j.icte.2016.11.003) (KAR id:69648)
[img]
Preview

Chari, Guido, Garbervetsky, Diego, Marr, Stefan (2016) Building Efficient and Highly Run-time Adaptable Virtual Machines. In: ACM SIGPLAN Notices. DLS 2016 Proceedings of the 12th Symposium on Dynamic Languages. 52 (2). pp. 60-71. ACM ISBN 978-1-4503-4445-6. (doi:10.1145/2989225.2989234) (KAR id:63814)
[img]
Preview

Chen, Huankai (2016) Entropy-Based Resource Management in Complex Cloud Environment. Doctor of Philosophy (PhD) thesis, University of Kent,. (KAR id:72241)
[img]
Preview

Chennu, S., Noreika, V., Gueorguiev, D., Shtyrov, Y., Bekinschtein, T. A., 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:10.1523/JNEUROSCI.1125-16.2016) (KAR id:56807)
[img]
Preview

Chennu, Srivas, O’Connor, Stuart, Adapa, Ram, Menon, David K., 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/journal.pcbi.1004669) (KAR id:54628)
[img]
Preview

Chennu, Srivas, Stamatakis, Emmanuel A, Menon, David K (2016) The see-saw brain: recovering consciousness after brain injury. The Lancet Neurology, 15 (8). pp. 830-842. ISSN 1474-4422. E-ISSN 1474-4465. (doi: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) (KAR id:55206)

Contrastin, Mistral, Danish, Matthew, Rice, Andrew C., Orchard, Dominic A. (2016) Supporting Software Sustainability with Lightweight Specifications. In: CEUR Workshop Proceedings. Proceedings of the Fourth Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE4). 1686. (KAR id:66901)
[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,. (KAR id:63872)
[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: 2015 IEEE Symposium Series on Computational Intelligence. IEEE, pp. 711-718. ISBN 978-1-4799-7560-0. (doi:10.1109/SSCI.2015.108) (KAR id:50522)
[img]
Preview

Cvetkovic, Bozidara, Janko, Vito, Romero, Alfonso E, Kafalı, Özgur, Stathis, Kostas, Lustrek, Mitja (2016) Activity recognition for diabetic patients using a smartphone. Journal of medical systems, 40 (12). Article Number 256. ISSN 0148-5598. (doi: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) (KAR id:65856)

Daloze, Benoit and Marr, Stefan and Bonetta, Daniele and Mössenböck, Hanspeter (2016) Efficient and Thread-Safe Objects for Dynamically-Typed Languages. In: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. ACM, New York, USA, pp. 642-659. ISBN 978-1-4503-4444-9. (doi:10.1145/2983990.2984001) (KAR id:63818)
[img]
Preview

De Koster, Joeri, Marr, Stefan, Van Cutsem, Tom, 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:10.1016/j.cl.2016.01.003) (KAR id:63821)
[img]
Preview

Everett, Richard, Nurse, Jason R. C., Erola, Arnau (2016) The Anatomy of Online Deception: What Makes Automated Text Convincing? In: 31st Annual ACM Symposium on Applied Computing (SAC). (doi:10.1145/2851613.2851813) (KAR id:67493)
[img]
Preview

Garner, Tom, 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. . (KAR id:56773)
[img]
Preview

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

Happa, Jassim, Fairclough, Graham, Nurse, Jason R. C., Agrafiotis, Ioannis, Goldsmith, Michael, Creese, Sadie (2016) A Pragmatic System-failure Assessment and Response Model. In: 2nd International Conference on Information Systems Security and Privacy. . (KAR id:67494)
[img]
Preview

Hertel, Lars, Phan, Huy, Mertins, Alfred (2016) Comparing Time and Frequency Domain for Audio Event Recognition Using Deep Learning. In: IEEE International Joint Conference on Neural Networks (IJCNN 2016). . pp. 3407-3411. IEEE, Vancouver, BC, Canada ISBN 978-1-5090-0619-9. (doi:10.1109/IJCNN.2016.7727635) (KAR id:72680)
[img]
Preview

Jarchi, Delaram, Lo, Benny, Wong, Charence, Ieong, Edmund, Nathwani, Dinesh, Yang, Guang-Zhong (2016) Gait Analysis From a Single Ear-Worn Sensor: Reliability and Clinical Evaluation for Orthopaedic Patients. IEEE Transactions on Neural Systems and Rehabilitation Engineering, 24 (8). pp. 882-892. ISSN 1534-4320. (doi:10.1109/TNSRE.2015.2477720) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:69641)
[img]

Johnson, Colin G. (2016) Fitness in Evolutionary Art and Music: A Taxonomy and Future Prospects. Fitness in evolutionary art and music: a taxonomy and future prospects, 9 (1). pp. 4-25. ISSN 1754-8853. E-ISSN 1754-8861. (doi:10.1504/IJART.2016.075406) (KAR id:69612)
[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:10.1080/09540091.2016.1151860) (KAR id:53851)
[img]
Preview

Jordanous, Anna (2016) Language and Music. In: Jones, Rodney, ed. Routledge Handbook of Language and Creativity. Routledge. ISBN 978-0-415-83973-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) (KAR id:57690)

Jordanous, Anna (2016) The longer term value of creativity judgements in computational creativity. In: Proceedings of AISB 2016’s Third International Symposium on Computational Creativity (CC2016). . (KAR id:54453)
[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,. (KAR id:58873)
[img]
Preview

Kell, Stephen (2016) Dynamically Diagnosing Type Errors in Unsafe Code. In: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. SPLASH Systems, Programming, and Applications . ACM, New York, USA, pp. 800-819. ISBN 978-1-4503-4444-9. (doi:10.1145/2983990.2983998) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:69699)
[img]

Kell, Stephen and Mulligan, Dominic P. and Sewell, Peter (2016) The Missing Link: Explaining ELF Static Linking, Semantically. In: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. SPLASH Systems, Programming, and Applications . ACM, New York, USA, pp. 607-623. ISBN 978-1-4503-4444-9. (doi:10.1145/2983990.2983996) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:69700)
[img]

Kim, Yong-Kyuk and Kattan, Ahmed and Kampouridis, Michael and Yoon, Yourim, eds. (2016) Discrete Dynamics in Evolutionary Computation and Its Applications. Discrete Dynamics in Nature and Society, 2016 . pp. 1-2. ISSN 1026-0226. (doi:10.1155/2016/6043597) (KAR id:60572)
[img]
Preview

Kotiadis, Kathy, Tako, Antuela (2016) A Facilitation Workshop for the Implementation Stage: A Case Study in health care. In: Proceedings of the Operational Research Society Simulation Workshop 2016 (SW16). 8th Simulation Workshop (SW16). . pp. 165-174. (KAR id:53997)
[img]
Preview

Kuttikat, Anoop, Noreika, Valdas, Shenker, Nicholas, Chennu, Srivas, Bekinschtein, Tristan, 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:10.3389/fnhum.2016.00016) (KAR id:54627)
[img]
Preview

Lamela Seijas, Pablo and Thompson, Simon (2016) Identifying and introducing interfaces and callbacks using Wrangler. In: Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages. ACM-ICPS International Conference Proceeding Series . ACM, New York, USA. ISBN 978-1-4503-4767-9. (doi:10.1145/3064899.3064909) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:64632)
[img]

Lange, Julien, Yoshida, Nobuko (2016) Characteristic formulae for session types. In: Chechik, M. and Raskin, J.F., eds. Lecture Notes in Computer Science. Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2016. 9636. pp. 833-850. Springer ISBN 978-3-662-49673-2. (doi: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) (KAR id:62253)

Li, Jingjie, McLoughlin, Ian Vince, Liu, Cong, Xue, Shaofei, Wei, Si (2016) Multi-task deep neural network acoustic models with model adaptation using discriminative speaker identity for whisper recognition. In: IEEE International Conference on Acoustics Speech and Signal Processing. 2015 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). . pp. 4969-4973. Institute of Electrical and Electronics Engineers (IEEE), South Brisbane, QLD (doi:10.1109/ICASSP.2015.7178916) (KAR id:55019)
[img]
Preview

Li, Zheng-xi, Song, Yan, McLoughlin, Ian Vince, Dai, Li-Rong (2016) Compact Convolutional Neural Network Transfer Learning For Small-Scale Image Classification. In: Acoustics, Speech and Signal Processing (ICASSP), 2016 IEEE International Conference on. Proceedings 2016 International Conference on Acoustics, Speech and Signal Processing. . IEEE E-ISBN 978-1-4799-9988-0. (doi: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) (KAR id:55053)

Ma, Jin, Song, Yan, McLoughlin, Ian Vince, Dai, Li-Rong, Ye, Zhong-Fu (2016) LID-senone Extraction via Deep Neural Networks for End-to-End Language Identification. In: Odyssey 2016: The Speaker and Language Recognition Workshop. . pp. 210-216. (KAR id:55055)
[img]
Preview

Maass, Marco, Bente, Klaas, Ahlborg, Mandy, Medimagh, Hanne, Phan, Huy, Buzug, Thorsten M., Mertins, Alfred (2016) Optimized Compression of MPI System Matrices Using a Symmetry-Preserving Secondary Orthogonal Transform. International Journal on Magnetic Particle Imaging, 2 (1). pp. 1-5. ISSN 2365-9033. (doi:10.18416/ijmpi.2016.1607002) (KAR id:72683)
[img]
Preview

Marr, Stefan, Daloze, Benoit, Mössenböck, Hanspeter (2016) Cross-Language Compiler Benchmarking: Are We Fast Yet? In: ACM SIGPLAN Notices. DLS 2016 Proceedings of the 12th Symposium on Dynamic Languages. 52 (2). pp. 120-131. ACM ISBN 978-1-4503-4445-6. (doi:10.1145/2989225.2989232) (KAR id:63815)
[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 978-1-4503-4837-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) (KAR id:63816)

McCall, Davin (2016) Novice Programmer Errors - Analysis and Diagnostics. Doctor of Philosophy (PhD) thesis, University of Kent,. (KAR id:61340)
[img]
Preview

McLoughlin, Ian Vince (2016) Speech and Audio Processing: a MATLAB-based approach. Cambridge University Press, Cambridge, UK, 400 pp. ISBN 978-1-107-08546-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) (KAR id:56310)

Mouli, Surej, Palaniappan, Ramaswamy (2016) Radial Photic Stimulation for Maximal EEG Response for BCI Applications. In: 9th International Conference on Human System Interaction. . IEEE E-ISBN 978-1-5090-1729-4. (doi:10.1109/HSI.2016.7529658) (KAR id:56166)
[img]
Preview

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

Naccache, Lionel, Sitt, Jacobo, King, Jean-Rémi, Rohaut, Benjamin, Faugeras, Frédéric, Chennu, Srivas, Strauss, Mélanie, Valente, Mélanie, Engemann, Denis, Raimondo, Federico, and others. (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: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) (KAR id:54626)

Nurse, Jason R. C. and Agrafiotis, Ioannis and Erola, Arnau and Bada, Maria and Roberts, Taylor and Williams, Meredydd and Goldsmith, Michael and Creese, Sadie (2016) An Independent Assessment of the Procedural Components of the Estonian Internet Voting System. Working paper. University of Oxford (KAR id:67481)
[img]
Preview

Orchard, Dominic, Yoshida, Nobuko (2016) Using session types as an effect system. In: Gay, Simon and Alglave, Jade, eds. Electronic Proceedings in Theoretical Computer Science. Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software. 203. pp. 1-13. Open Publishing Association (doi:10.4204/EPTCS.203.1) (KAR id:61624)
[img]
Preview

Orozco, Ana Lucila Sandoval, Corripio, Jocelin Rosales, González, David Manuel Arenas, Villalba, Luis Javier García, 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: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) (KAR id:61997)

Owens, Scott, Myreen, Magnus O., Kumar, Ramana, Tan, Yong Kiam (2016) Functional Big-step Semantics. In: Lecture Notes in Computer Science. Lecture Notes in Computer Science. 9632. Springer (doi:10.1007/978-3-662-49498-1_23) (KAR id:53533)
[img]
Preview

Panda, Rajanikant, Bharath, Rose Dawn, Upadhyay, Neeraj, Mangalore, Sandhya, Chennu, Srivas, 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:10.3389/fnhum.2016.00372) (KAR id:56743)
[img]
Preview

Perera, R., Lange, Julien, Gay, S. (2016) Multiparty compatibility for concurrent objects. In: Electronic Proceedings in Theoretical Computer Science, EPTCS. Electronic Proceedings in Theoretical Computer Science, EPTCS. 211. pp. 73-82. Open Publishing Association (doi: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) (KAR id:62254)

Pham, Thinh H, Fahmy, Suhaib A, 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:10.1016/j.dsp.2015.12.008) (KAR id:55026)
[img]
Preview
[img]

Pham, Thinh Hung, Fahmy, Suhaib A, 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:10.1109/TVLSI.2015.2453207) (KAR id:55022)
[img]
Preview

Phan, Huy, Hertel, Lars, Maass, Marco, Koch, Philipp, Mertins, Alfred (2016) Label Tree Embeddings for Acoustic Scene Classification. In: Proceedings of the 24th ACM international conference on Multimedia. . pp. 486-490. ACM, Amsterdam, The Netherlands ISBN 978-1-4503-3603-1. (doi:10.1145/2964284.2967268) (KAR id:72682)
[img]
Preview

Phan, Huy, Hertel, Lars, Maass, Marco, Mazur, Radoslaw, Mertins, Alfred (2016) Learning Representations for Nonspeech Audio Events through Their Similarities to Speech Patterns. IEEE/ACM Transactions on Audio, Speech and Language Processing, 24 (4). pp. 807-822. ISSN 2329-9290. E-ISSN 2329-9304. (doi:10.1109/TASLP.2016.2530401) (KAR id:72684)
[img]
Preview

Phan, Huy, Hertel, Lars, Maass, Marco, Mertins, Alfred (2016) Robust Audio Event Recognition with 1-Max Pooling Convolutional Neural Networks. In: Proceedings of Interspeech. . pp. 3653-3657. ISCA, San Francisco, USA (doi:10.21437/Interspeech.2016-123) (KAR id:72681)
[img]
Preview

Phan, Huy, Maass, Marco, Hertel, Lars, Mazur, Radoslaw, McLoughlin, Ian Vince, Merins, Alfred (2016) Learning Compact Structural Representations For Audio Events Using Regressor Banks. In: 2016 IEEE International Conference on Acoustics, Speech, and Signal Processing Proceedings. . IEEE ISBN 978-1-4799-9988-0. (doi: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) (KAR id:55054)

Price, Thomas W., Brown, Neil C.C., Lipovac, Dragan, Barnes, Tiffany, Kölling, Michael (2016) Evaluation of a Frame-based Programming Editor. In: ICER '16 Proceedings of the 2016 ACM Conference on International Computing Education Research. . pp. 33-42. ACM, New York, USA ISBN 978-1-4503-4449-4. (doi:10.1145/2960310.2960319) (KAR id:56259)
[img]
Preview

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

Rizzi, Caroline, Johnson, Colin G., 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). . pp. 736-742. IEEE ISBN 978-1-5090-3930-2. E-ISBN 978-1-5090-3929-6. (doi:10.1109/ROMAN.2016.7745201) (KAR id:60437)
[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. PPoPP Principles and Practice of Parallel Programming . ACM, New York, USA. ISBN 978-1-4503-4092-2. (doi:10.1145/2851141.2851184) (KAR id:63819)
[img]
Preview

Samraj, A., Rajendran, K., Palaniappan, Ramaswamy (2016) A segmented-mean feature extraction method for glove-based system to enhance physiotherapy for accurate and speedy recuperation of limbs. In: 2016 International Conference on Advances in Computing, Communications and Informatics (ICACCI). . pp. 1983-1988. IEEE ISBN 978-1-5090-2028-7. (doi:10.1109/ICACCI.2016.7732342) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:70677)

Shackleton, Mark B., El-Moussa, Fadi, Rowlingson, Robert, Healing, Alex, Crowther, John, Daniel, Joshua, Dimitrakos, Theo, Sajjad, Ali (2016) Deploying Visual Analytics Through a Multi-cloud Service Store with Encrypted Big Data (Short Paper). In: Debruyne, Christophe and Panetto, Hervé and Meersman, Robert and Dillon, Tharam and Kühn, Eva and O'Sullivan, Declan and Ardagna, Claudio Agostino, eds. Lecture Notes in Computer Science. On the Move to Meaningful Internet Systems: OTM 2016 Conferences. Lecture Notes in Computer Science (LNCS) , 10033. pp. 883-889. Springer ISBN 978-3-319-48471-6. E-ISBN 978-3-319-48472-3. (doi: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) (KAR id:58309)

Sharifzadeh, Hamid R. and HajiRassouliha, Amir and McLoughlin, Ian V. and Ardekani, Imam and Allen, Jacqueline E. (2016) Phonated Speech Reconstruction Using Twin Mapping Models. In: 2015 IEEE International Symposium on Signal Processing and Information Technology (ISSPIT). IEEE. ISBN 978-1-5090-0480-5. E-ISBN 978-1-5090-0481-2. (doi:10.1109/ISSPIT.2015.7394247) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:51758)
[img]

Sharifzadeh, Hamid R, Ardekani, Iman T, 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). . pp. 258-262. Institute of Electrical and Electronics Engineers (IEEE) ISBN 978-988-14-7680-7. (doi:10.1109/APSIPA.2015.7415516) (KAR id:55027)
[img]
Preview

Song, Yan, Cui, Ruilian, Hong, Xinhai, McLoughlin, Ian Vince, Shi, Jiong, Dai, Lirong (2016) Improved language identification using deep bottleneck network. In: 2015 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). . pp. 4200-4204. IEEE, South Brisbane, QLD (doi:10.1109/ICASSP.2015.7178762) (KAR id:55021)
[img]
Preview

Song, Yan, Cui, Ruilian, McLoughlin, Ian Vince, Dai, Li-Rong (2016) Improvements on Deep Bottleneck Network based I-Vector Representation for Spoken Language Identification. In: Odyssey 2016: The Speaker and Language Recognition Workshop. . pp. 140-145. (KAR id:55056)
[img]
Preview

Tan, Yong Kiam, Myreen, Magnus O., Kumar, Ramana, Fooks, Anthony R., Owens, Scott, Norrish, Michael (2016) A New Verified Compiler Backend for CakeML. In: ICFP'16: ACM SIGPLAN International Conference on Functional Programming. . pp. 60-73. Association for Computing Machinery, New York United States ISBN 978-1-4503-4219-3. (doi:10.1145/2951913.2951924) (KAR id:55687)
[img]
Preview

Thompson, Simon, Horpacsi, Daniel, Koszegi, Judit (2016) Towards Trustworthy Refactoring in Erlang. In: Hamilton, Geoff and Lisitsa, Alexei and Nemytykh, Andrei P., eds. Electronic Proceedings in Theoretical Computer Science. Proceedings of the Fourth International Workshop on Verification and Program Transformation (VPT 2016). 216. pp. 83-103. (doi:10.4204/EPTCS.216.5) (KAR id:56750)
[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) (KAR id:61162)
[img]
Preview

Vastardis, N., Kampouridis, Michael, 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:10.3233/AIS-160403) (KAR id:52101)
[img]
Preview

Williams, Meredydd, Nurse, Jason R. C., Creese, Sadie (2016) The perfect storm: The privacy paradox and the Internet-of-Things. In: 11th International Conference on Availability‚ Reliability and Security (ARES 2016), 31 Aug.-2 Sept. 2016, Salzburg, Austria. (doi:10.1109/ARES.2016.25) (KAR id:67485)
[img]
Preview

Xie, Zhi-Peng and Du, Jun and McLoughlin, Ian 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: 2016 10th International Symposium on Chinese Spoken Language Processing (ISCSLP). IEEE. ISBN 978-1-5090-4295-1. E-ISBN 978-1-5090-4294-4. (doi:10.1109/ISCSLP.2016.7918400) (KAR id:57111)
[img]
Preview
[img]
Preview

Xie, Zhipeng, McLoughlin, Ian, Zhang, Haomin, Song, Yan, Xiao, Wei (2016) A new variance-based approach for discriminative feature extraction in machine hearing classification using spectrogram features. Digital Signal Processing, 54 . pp. 119-128. ISSN 1051-2004. (doi:10.1016/j.dsp.2016.04.005) (KAR id:55016)
[img]
Preview
[img]

Yuvaraj, Rajamanickam, Murugappan, Murugappan, Palaniappan, Ramaswamy (2016) The Effect of Lateralization of Motor Onset and Emotional Recognition in PD Patients Using EEG. Brain Topography, 30 . pp. 333-342. ISSN 0896-0267. E-ISSN 1573-6792. (doi:10.1007/s10548-016-0524-0) (KAR id:57443)
[img]
Preview

Zhang, Haomin, McLoughlin, Ian Vince, Song, Yan (2016) Robust sound event recognition using convolutional neural networks. In: IEEE International Conference on Acoustics Speech and Signal Processing. 2015 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). . pp. 559-563. Institute of Electrical and Electronics Engineers, South Brisbane, QLD (doi:10.1109/ICASSP.2015.7178031) (KAR id:55020)
[img]
Preview

Zhao, Liming, Pérez-Delgado, Carlos A, Fitzsimons, Joseph F (2016) Fast graph operations in quantum computation. Physical Review A, 93 (3). Article Number 32314. ISSN 2469-9926. E-ISSN 2469-9934. (doi:10.1103/PhysRevA.93.032314) (KAR id:58072)
[img]
Preview

Zheng, Yudi, Kell, Stephen, Bulej, Lubomir, Sun, Haiyang, Binder, Walter (2016) Comprehensive Multiplatform Dynamic Program Analysis for Java and Android. IEEE Software, 33 (4). pp. 55-63. ISSN 0740-7459. (doi:10.1109/MS.2015.151) (KAR id:72033)
[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) (KAR id:61386)
[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 978-0-12-802855-1. (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:57424)
[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 978-0-12-802855-1. (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:57423)
[img]

2015

Agrafiotis, Ioannis, Nurse, Jason R. C., Buckley, Oliver, Legg, Phil, Creese, Sadie, Goldsmith, Michael (2015) Identifying attack patterns for insider threat detection. Computer Fraud & Security, (7). pp. 9-17. (doi:10.1016/S1361-3723(15)30066-X) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:67505)

Alahmadi, Bushra A., Legg, Philip .A., Nurse, Jason R. C. (2015) Using Internet Activity Profiling for Insider-Threat Detection. In: Proceedings of the 17th International Conference on Enterprise Information Systems - (Volume 2). 2. pp. 709-720. SciTePress ISBN 978-989-758-097-0. (doi:10.5220/0005480407090720) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:67508)
[img]

Allington, Daniel, Dueck, Byron, 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:10.1080/09548963.2015.1066073) (KAR id:49284)
[img]
Preview

Allington, Daniel, Jordanous, Anna, Dueck, Byron (2015) Music, value, and networks in the digital world. http://valuingelectronicmusic.org (KAR id:53850)
[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) (KAR id:50751)
[img]

Anderson, Tom, Arief, Budi, Basit, Tehmina, Borup, Rosie, Rutherford, Louise (2015) How To Succeed in Cyberspace. In: ICERI2015: 8TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION. ICERI Proceedings . pp. 6074-6083. ISBN 978-84-608-2657-6. (doi:WOS:000377304006024) (KAR id:58706)
[img]
Preview

Anggadjaja, Erwin, McLoughlin, Ian Vince, 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, 13 (2). pp. 96-108. ISSN 1448-837X. E-ISSN 2205-362X. (doi:10.1080/1448837X.2015.1093677) (KAR id:51746)
[img]

Arief, Budi, 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:10.1109/MSP.2015.44) (KAR id:54146)
[img]
Preview

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

Asghar, Hassan Jameel, Steinfeld, Ron, Li, Shujun, Kaafa, Mohamed Ali, Pieprzyk, Josef (2015) On the Linearization of Human Identification Protocols: Attacks Based on Linear Algebra, Coding Theory, and Lattices. IEEE Transactions on Information Forensics and Security, 10 (8). pp. 1643-1655. ISSN 1556-6013. E-ISSN 1556-6021. (doi:10.1109/TIFS.2015.2421875) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:69555)
[img]

Bada, Maria, Sasse, Angela, Nurse, Jason R. C. (2015) Cyber Security Awareness Campaigns: Why do they fail to change behaviour? In: International Conference on Cyber Security for Sustainable Society. (KAR id:67511)
[img]
Preview

Barnes, David J., 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: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) (KAR id:51092)

Bekhet, Saddam, Ahmed, Amr, Altadmri, Amjad, 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:10.1007/s11042-015-2887-8) (KAR id:50561)
[img]
Preview

Bello Orgaz, Gema, Hernandez-Castro, Julio C., 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) (KAR id:45297)

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

Bocchi, Laura, Tuosto, Emilio (2015) Attribute-based transactions in service oriented computing. Mathematical Structures in Computer Science, 25 (3). pp. 619-665. ISSN 0960-1295. (doi: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) (KAR id:44574)

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

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

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

Boiten, Eerke Albert (2015) Privacy watchdog takes first step against those undermining right to be forgotten. . The Conversation Internet only. (KAR id:51067)
[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. (KAR id:51070)
[img]

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

Canales-Johnson, Andrés, Silva, Carolina, Huepe, David, Rivera-Rei, Álvaro, Noreika, Valdas, Garcia, María del Carmen, Silva, Walter, Ciraolo, Carlos, Vaucheret, Esteban, Sedeño, Lucas, and others. (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: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) (KAR id:54633)

Carvalho, Rodrigo, Goldsmith, Michael, Nurse, Jason R. C. (2015) Online banking malware ontology. In: International Crime and Intelligence Analysis Conference (ICIA). (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:67513)

Chen, Huankai, Wang, Frank Z. (2015) Spark on Entropy: A Reliable & Efficient Scheduler for Low-latency Parallel Jobs in Heterogeneous Cloud. In: Local Computer Networks Conference Workshops (LCN Workshops), 2015 IEEE 40th. . IEEE E-ISBN 978-1-4673-6773-8. (doi:10.1109/LCNW.2015.7365918) (KAR id:51357)
[img]
Preview

Chu, Dominique, Barnes, David J. (2015) Evolving strategies for single-celled organisms in multi-nutrient environments. In: Proceedings of the European Conference on Artificial Life 2015. . pp. 226-233. MIT Press (doi:10.7551/978-0-262-33027-5-ch046) (KAR id:51101)
[img]
Preview

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

Corneli, Joseph, Jordanous, Anna, Shepperd, Rosie, Llano, Maria Teresa, Misztal, Joanna, Colton, Simon, 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. (KAR id:48038)
[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 978-3-319-18490-6. E-ISBN 978-3-319-18491-3. (doi: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) (KAR id:48980)

Daniel, Joshua and Dimitrakos, Theo and El-Moussa, Fadi and Ducatel, Géry 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. IEEE, pp. 1021-1026. E-ISBN 978-1-4799-4093-6. (doi: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) (KAR id:48982)

Daniel, Joshua, El-Moussa, Fadi, Ducatel, Géry, Pawar, Pramod, Sajjad, Ali, Rowlingson, Robert, Dimitrakos, Theo (2015) Integrating Security Services in Cloud Service Stores. In: Trust Management IX. IFIP Advances in Information and Communication Technology. Trust Management IX. IFIP Advances in Information and Communication Technology , 454. pp. 226-239. Springer ISBN 978-3-319-18490-6. E-ISBN 978-3-319-18491-3. (doi:10.1007/978-3-319-18491-3_19) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:48978)
[img]

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

Devlin, Matthieu, Nurse, Jason R. C., Hodges, Duncan, Goldsmith, Michael, Creese, Sadie (2015) Predicting Graphical Passwords. In: HAS 2015: Human Aspects of Information Security, Privacy, and Trust. 9190 . pp. 23-35. Springer ISBN 978-3-319-20375-1. E-ISBN 978-3-319-20376-8. (doi:10.1007/978-3-319-20376-8_3) (KAR id:67509)
[img]
Preview

Dimitrakos, Theo (2015) Foreword: Towards Trusted Cloud Ecosystems. In: IFIP Advances in Information and Communication Technology. 9th IFIP WG 11.11 International Conference, IFIPTM 2015, Hamburg, Germany, May 26-28, 2015, Proceedings. IFIP Advances in Information and Communication Technology (IFIPAICT) , 454. pp. 215-216. Springer ISBN 978-3-319-18490-6. E-ISBN 978-3-319-18491-3. (doi: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) (KAR id:48976)

Fabris, Fabio, Freitas, Alex A., 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:10.1109/TCBB.2015.2505288) (KAR id:58594)
[img]
Preview

Gonzalez-Gadea, Maria Luz, Chennu, Srivas, Bekinschtein, Tristan A., Rattazzi, Alexia, Beraudi, Ana, Tripicchio, Paula, Moyano, Beatriz, Soffita, Yamila, Steinberg, Laura, Adolfi, Federico, and others. (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: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) (KAR id:54631)

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) (KAR id:56667)
[img]

Gouvas, Panagiotis, Kalaboukas, Konstantinos, Ledakis, Giannis, Dimitrakos, Theo, Daniel, Joshua, Ducatel, Gery, Rodriguez Dominguez, Nuria (2015) A Cloud Orchestrator for Deploying Public Services on the Cloud – The Case of STRATEGIC Project. In: IFIP Advances in Information and Communication Technology. Trust Management IX: 9th IFIP WG 11.11 International Conference, IFIPTM 2015. IFIP Advances in Information and Communication Technology (IFIPAICT) , 454 (454). pp. 217-225. Springer ISBN 978-3-319-18490-6. E-ISBN 978-3-319-18491-3. (doi: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) (KAR id:48977)

Greenhow, Keith, Johnson, Colin G. (2015) Regioned Downsample for ANN Image Classification: Alternate Selection Methods. In: 2015 SAI Intelligent Systems Conference (IntelliSys). . pp. 793-797. IEEE, Red Hood, NY, USA ISBN 978-1-4673-7607-5. (doi:10.1109/IntelliSys.2015.7361231) (KAR id:70994)
[img]
Preview

Hajdusek, Michal, Pérez-Delgado, Carlos A, Fitzsimons, Joseph F (2015) Device-independent verifiable blind quantum computation. arXiv preprint arXiv:1502.02563, . (Unpublished) (KAR id:58189)
[img]
Preview

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

Hopkins, Jack and Kafalı, Özgür and Stathis, Kostas (2015) Open Game Tournaments in STARLITE: Demonstration. In: Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems. AAMAS International Conference on Autonomous Agents and Multiagent Systems . International Foundation for Autonomous Agents and Multiagent Systems, Richland, South Carolina, USA, pp. 1927-1928. ISBN 978-1-4503-3413-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) (KAR id:65892)

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) (KAR id:57856)
[img]

Jordanous, Anna (2015) Four PPPPerspectives on Computational Creativity. In: AISB 2015 Symposium on Computational Creativity, 20-22nd May, 2015, Canterbury, Kent, UK. (KAR id:47623)
[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) (KAR id:48325)

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) (KAR id:46738)

Kafalı, Özgur and Schaechtle, Ulrich and Stathis, Kostas (2015) HYDRA: A HYbrid Diagnosis and monitoRing Architecture for diabetes. In: 2014 IEEE 16th International Conference on e-Health Networking, Applications and Services (Healthcom). IEEE, pp. 531-536. E-ISBN 978-1-4799-6644-8. (doi: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) (KAR id:65880)

Kafalı, Özgur, Yolum, Pinar (2015) Pisagor: A proactive software agent for monitoring interactions. Knowledge and Information Systems, 47 (1). pp. 215-239. ISSN 0219-1377. (doi: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) (KAR id:65857)

Kell, Stephen (2015) Towards a Dynamic Object Model Within Unix Processes. In: Onward! 2015 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. SPLASH Systems, Programming, and Applications . ACM, New York, USA, pp. 224-239. ISBN 978-1-4503-3688-8. (doi:10.1145/2814228.2814238) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:69702)
[img]

Kirschner, Aaron, Cruse, Damian, Chennu, Srivas, Owen, Adrian M., 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:10.1002/brb3.336) (KAR id:54630)
[img]
Preview

Lange, Julien, Tuosto, E., Yoshida, N. (2015) From Communicating Machines to Graphical Choreographies. In: ACM SIGPLAN NOTICES. POPL 2015 Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 50 (1). pp. 221-232. ACM ISBN 978-1-4503-3300-9. (doi: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) (KAR id:62255)

Luštrek, Mitja, Cvetkovic, Bozidara, Mirchevska, Violeta, Kafalı, Özgür, Romero, Alfonso, Stathis, Kostas (2015) Recognising lifestyle activities of diabetic patients with a smartphone. EAI Endorsed Transactions on Pervasive Health and Technology, 15 (4). ISSN 2411-7145. (doi: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) (KAR id:65891)

Maass, Marco and Phan, Huy and Möller, Anita and Mertins, Alfred (2015) Cosine-Sine Modulated Filter Banks for Motion Estimation and Correction. In: Battiato, Sebastiano and Blanc-Talon, Jacques and Gallo, Giovanni and Philips, Wilfried and Popescu, Dan and Scheunders, Paul, eds. Advanced Concepts for Intelligent Vision Systems 16th International Conference. Lecture Notes in Computer Science . Springer, Catania, Italy, pp. 195-204. ISBN 978-3-319-25902-4. E-ISBN 978-3-319-25903-1. (doi:10.1007/978-3-319-25903-1_17) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:72690)
[img]

Marr, Stefan and Ducasse, Stéphane (2015) Tracing vs. Partial Evaluation: Comparing Meta-Compilation Approaches for Self-Optimizing Interpreters. In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. SPLASH Systems, Programming, and Applications . ACM, New York, USA, pp. 821-839. ISBN 978-1-4503-3689-5. (doi:10.1145/2814270.2814275) (KAR id:63825)
[img]
Preview

Marr, Stefan and Seaton, Chris and Ducasse, Stéphane (2015) Zero-Overhead Metaprogramming: Reflection and Metaobject Protocols Fast and without Compromises. In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI Programming Language Design and Implementation . ACM, New York, USA, pp. 545-554. ISBN 978-1-4503-3468-6. (doi:10.1145/2737924.2737963) (KAR id:63826)
[img]
Preview

Matsuda, Kazutaka, 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. (KAR id:49084)
[img]
Preview

Mazur, Radoslaw, Phan, Huy, Mertins, Alfred (2015) A Clustering Approach for Solving the Spatial Aliasing Problem in Convolutive Blind Source Separation. In: 20th IEEE International Conference on Digital Signal Processing (DSP 2015). . pp. 679-683. IEEE, Singapore ISBN 978-1-4799-8058-1. (doi:10.1109/ICDSP.2015.7251961) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:72686)
[img]

McGough, Andrew Stephen, Arief, Budi, Gamble, Carl, Wall, David, Brennan, John, Fitzgerald, John, van Moorsel, Aad, Alwis, Sujeewa, Theodoropoulos, Georgios, Ruck-Keene, Ed and others. (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. (KAR id:54143)
[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 International Workshop on Managing Insider Security Threats. CCS Computer and Communications Security . ACM, New York, USA, pp. 1-12. ISBN 978-1-4503-3824-0. (doi:10.1145/2808783.2808785) (KAR id:54145)
[img]
Preview

McLoughlin, Ian V., Sharifzadeh, Hamid Reza, Tan, Su Lim, Li, Jingjie, Song, Yan (2015) Reconstruction of Phonated Speech from Whispers Using Formant-Derived Plausible Pitch Modulation. ACM Transactions on Accessible Computing, 6 (4). Article Number 12. ISSN 1936-7228. E-ISSN 1936-7236. (doi:10.1145/2737724) (KAR id:48819)
[img]
Preview

McLoughlin, Ian Vince, Song, Yan (2015) Low Frequency Ultrasonic Voice Activity Detection using Convolutional Neural Networks. In: Proc. Interspeech 2015. . (Unpublished) (KAR id:50258)
[img]
Preview

McLoughlin, Ian Vince, Zhang, Hao-min, Xie, Zhi-Peng, Song, Yan, 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:10.1109/TASLP.2015.2389618) (KAR id:51341)
[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,. (KAR id:56664)
[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,. (KAR id:57582)
[img]
Preview

Mouli, S. and Palaniappan, Ramaswamy and Sillitoe, I.P. (2015) A configurable, inexpensive, portable, multi-channel, multi-frequency, multi-chromatic RGB LED system for SSVEP stimulation. In: Hassanien, A. and Azar, A., eds. Brain-Computer Interfaces. Intelligent Systems Reference Library . Springer, pp. 241-269. ISBN 978-3-319-10977-0. (doi:10.1007/978-3-319-10978-7_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) (KAR id:70685)

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

Naccache, Lionel, King, Jean-Rémi, Sitt, Jacobo, Engemann, Denis, El Karoui, Imen, Rohaut, Benjamin, Faugeras, Frédéric, Chennu, Srivas, Strauss, Mélanie, Bekinschtein, Tristan, and others. (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: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) (KAR id:54629)

Newby, D., Freitas, Alex A., 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. (KAR id:47123)
[img]
Preview

Nouh, Mariam, Nurse, Jason R. C., Goldsmith, Michael (2015) Identifying Key-Players in Online Activist Groups on Facebook Social Network. In: 2015 IEEE International Conference on Data Mining Workshop (ICDMW), 14-17 November 2015, Atlantic City, NJ, USA. (doi:10.1109/ICDMW.2015.88) (KAR id:67500)
[img]
Preview
[img]
Preview

Nurse, Jason R. C. (2015) Exploring the risks to identity security and privacy in cyberspace. XRDS: Crossroads, The ACM Magazine, 21 (3). pp. 42-47. ISSN 1528-4972. E-ISSN 1528-4980. (doi:10.1145/2730912) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:67507)
[img]

Nurse, Jason R. C., Agrafiotis, Ioannis, Goldsmith, Michael, Creese, Sadie, Lamberts, Koen, Price, Darren, Jones, Glyn (2015) Information trustworthiness as a solution to the misinformation problems in social media. In: International Conference on Cyber Security for Sustainable Society. (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:67506)
[img]

Nurse, Jason R. C., Agrafiotis, Ioannis, Goldsmith, Michael, Creese, Sadie, Lamberts, Koen (2015) Tag clouds with a twist: using tag clouds coloured by information's trustworthiness to support situational awareness. Journal of Trust Management, 2 (10). E-ISSN 2196-064X. (doi:10.1186/s40493-015-0021-5) (KAR id:67501)
[img]
Preview

Nurse, Jason R. C., Erola, Arnau, Goldsmith, Michael, Creese, Sadie (2015) Investigating the leakage of sensitive personal and organisational information in email headers. Journal of Internet Services and Information Security, 5 (1). pp. 70-84. ISSN 2182-2069. E-ISSN 2182-2077. (doi:10.22667/JISIS.2015.02.31.070) (KAR id:67510)
[img]
Preview

Nurse, Jason R. C., Goldsmith, Michael, Creese, Sadie, Lamberts, Koen (2015) Technology and information trust for supporting risky decisions based on social-media content. In: 2015 IEEE International Conference on Computer and Information Technology; Ubiquitous Computing and Communications; Dependable, Autonomic and Secure Computing; Pervasive Intelligence and Computing. . pp. 461-468. IEEE E-ISBN 978-1-5090-0154-5. (doi:10.1109/CIT/IUCC/DASC/PICOM.2015.66) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:67503)
[img]

Palaniappan, Ramaswamy and Sihra, Tarsem (2015) Brain prints for biometrics: An introduction and review of current trends. In: Khosrow-Pour, Mehdi, ed. Encyclopedia of Information Science and Technology. IGI Global. ISBN 978-1-4666-5888-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) (KAR id:71062)

Phan, Huy, Hertel, Lars, Maass, Marco, Mazur, Radoslaw, Mertins, Alfred (2015) Audio Phrases for Audio Event Recognition. In: 23rd European Signal Processing Conference (EUSIPCO 2015). . pp. 2546-2550. IEEE, Nice, France E-ISBN 978-0-9928626-3-3. (doi:10.1109/EUSIPCO.2015.7362844) (KAR id:72687)
[img]
Preview

Phan, Huy, Hertel, Lars, Maass, Marco, Mazur, Radoslaw, Mertins, Alfred (2015) Representing Nonspeech Audio Signals through Speech Classification Models. In: 16th Annual Conference of the International Speech Communication Association (INTERSPEECH 2015). . pp. 3441-3445. ISCA, Dresden, Germany (KAR id:72688)
[img]
Preview

Phan, Huy, Maass, Marco, Hertel, Lars, Mazur, Radoslaw, Mertins, Alfred (2015) A Multi-Channel Fusion Framework for Audio Event Detection. In: IEEE Workshop on Applications of Signal Processing to Audio and Acoustics (WASPAA 2015). . pp. 1-5. IEEE, New York, USA ISBN 978-1-4799-7450-4. (doi:10.1109/WASPAA.2015.7336889) (KAR id:72689)
[img]
Preview

Phan, Huy, Maass, Marco, Mazur, Radoslaw, Mertins, Alfred (2015) Early Event Detection in Audio Streams. In: IEEE International Conference on Multimedia and Expo (ICME 2015). . pp. 1-6. IEEE, Torino, Italy E-ISBN 978-1-4799-7082-7. (doi:10.1109/ICME.2015.7177439) (KAR id:72685)
[img]
Preview

Phillips, Elizabeth, Nurse, Jason R. C., Goldsmith, Michael, Creese, Sadie (2015) Applying Social Network Analysis to Security. In: International Conference on Cyber Security for Sustainable Society. (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:67512)
[img]

Phillips, Elizabeth, Nurse, Jason R. C., Goldsmith, Michael, Creese, Sadie (2015) Extracting Social Structure from DarkWeb Forums. In: 5th International Conference on Social Media Technologies‚ Communication‚ and Informatics (SOTICS '15). (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:67504)
[img]

Phillips, Estelle M., Pugh, Derek (2015) How to Get a PhD. Open University Press/McGraw-Hill, London, UK, 280 pp. ISBN 978-0-335-26412-4. E-ISBN 978-0-335-26413-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) (KAR id:69655)

Phon-Amnuaisuk, Somnuk, Palaniappan, Ramaswamy (2015) Exploring Swarm-Based Visual Effects. In: Intelligent and Evolutionary Systems, Series Proceedings in Adaptation, Learning and Optimization. 5. pp. 333-341. Springer (doi:10.1007/978-3-319-27000-5_27) (KAR id:56165)
[img]
Preview

Pérez-Delgado, Carlos A, 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:10.1103/PhysRevLett.114.220502) (KAR id:58146)
[img]
Preview

Rizzi Raymundo, C., Johnson, C. G., 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). . pp. 31-36. IEEE (doi:10.1109/ROMAN.2015.7333699) (KAR id:56882)
[img]
Preview

Rowe, Reuben (2015) Encoding the Factorisation Calculus. In: Electronic Proceedings in Theoretical Computer Science. Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics. 190. pp. 76-90. (doi:10.4204/EPTCS.190.6) (KAR id:64718)
[img]
Preview

Sandoval Orozco, Ana Lucila, Corripio, Jocelin Rosales, García Villalba, Luis Javier, 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: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) (KAR id:61966)

Sandoval Orozco, Ana Lucila, Garcia Villalba, Luis Javier, Arenas Gonzalez, David Manuel, Rosales Corripio, Jocelin, Hernandez-Castro, Julio C., 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: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) (KAR id:53396)
[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) (KAR id:54467)
[img]

Simon, .., Clear, Alison, Carter, Janet, Cross, Gerry, Radenski, Atanas, Tudor, Liviana, 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: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) (KAR id:63973)

Song, Yan, Hong, Xinhai, Jiang, Bing, Cui, Ruilian, McLoughlin, Ian Vince, Dai, Lirong (2015) Deep Bottleneck Network based i-vector representation for Language Identification. In: Proc. Interspeech 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) (KAR id:50262)

Song, Yan, McLoughlin, Ian Vince, 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) (KAR id:50264)

Song, Yan and McLoughlin, Ian and Dai, Lirong (2015) Deep Bottleneck Feature for Image Classification. In: Proceedings of the 5th ACM on International Conference on Multimedia Retrieval. MM International Multimedia Conference . ACM, New York, USA, pp. 491-494. ISBN 978-1-4503-3274-3. (doi:10.1145/2671188.2749314) (KAR id:55018)
[img]
Preview

Sun, Haiyang and Zheng, Yudi and Bulej, Lubomir and Kell, Stephen and Binder, Walter (2015) Analyzing Distributed Multi-platform Java and Android Applications with ShadowVM. In: Programming Languages and Systems 13th Asian Symposium. Lecture Notes in Computer Science, 9458 . Springer, Cham, Switzerland, pp. 356-365. ISBN 978-3-319-26528-5. (doi:10.1007/978-3-319-26529-2_19) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:69721)

Sun, Haiyang, Zheng, Yudi, Bulej, Lubomí, Binder, Walter, Kell, Stephen (2015) Custom Full-coverage Dynamic Program Analysis for Android. In: SPLASH Companion 2015 Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity. . pp. 7-8. ACM, New York, NY, USA ISBN 978-1-4503-3722-9. (doi:10.1145/2814189.2814190) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:69720)
[img]

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. ICSE International Conference on Software Engineering . ACM, New York, USA, pp. 25-30. ISBN 978-1-4503-3909-4. (doi:10.1145/2823363.2823369) (KAR id:63824)
[img]
Preview

Vu, Quang, Colombo, Maurizio, Asal, Rasool, Sajjad, Ali, El-Moussa, Fadi Ali, Dimitrakos, Theo (2015) Secure Cloud Storage: A Framework for Data Protection as a Service in the Multi-cloud Environment. In: Communications and Network Security (CNS), 2015 IEEE Conference on. . pp. 638-642. (doi:10.1109/CNS.2015.7346879) (KAR id:50845)
[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. (KAR id:54761)
[img]
Preview

Wu, Tina, Nurse, Jason R. C. (2015) Exploring The Use Of PLC Debugging Tools For Digital Forensic Investigations On SCADA Systems. Journal of Digital Forensics, Security and Law, 10 (4). pp. 79-96. ISSN 1558-7215. (KAR id:67499)
[img]
Preview

Wyble, Brad, Bowman, Howard, 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. (KAR id:47943)
[img]
Preview

Xu, Yan, McLoughlin, Ian Vince, Song, Yan, 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:10.1007/s00034-015-0206-2) (KAR id:55023)
[img]
Preview

Zhang, Lingwei, Deng, Yuhui, Zhu, Weiheng, Zhou, Jipeng, 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: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) (KAR id:44007)
[img]

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

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

Čagalja, Mario, Perković, Toni, Bugarić, Marin, Li, Shujun (2015) Fortune cookies and smartphones: Weakly unrelayable channels to counter relay attacks. Pervasive and Mobile Computing, 20 . pp. 64-81. ISSN 1574-1192. (doi:10.1016/j.pmcj.2014.09.002) (KAR id:69556)
[img]
Preview

2014

Alrayes, Bedour and Kafalı, Özgur and Stathis, Kostas (2014) CONAN: a heuristic strategy for concurrent negotiating agents. In: Proceedings of the 2014 international conference on Autonomous agents and multi-agent systems. AAMAS International Conference on Autonomous Agents and Multiagent Systems . ACM, New York, USA, pp. 1585-1586. ISBN 978-1-4503-2738-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) (KAR id:65883)

Altadmri, Amjad, 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:10.1007/s11042-013-1363-6) (KAR id:45948)
[img]
Preview

Aluko, B., Smonou, D., Kampouridis, Michael, 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) (KAR id:42159)

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: Proceedings of the 13th Workshop on Privacy in the Electronic Society. CCS Computer and Communications Security . ACM, New York, USA, pp. 201-204. ISBN 978-1-4503-3148-7. (doi:10.1145/2665943.2665965) (KAR id:54149)
[img]
Preview

Asensio-Cubero, J., Gan, J.Q., Palaniappan, Ramaswamy (2014) Multiresolution analysis of an information based EEG graph representation for motor imagery brain computer interfaces. In: PhyCS 2014 - Proceedings of the International Conference on Physiological Computing Systems. . pp. 5-12. SciTePress ISBN 978-989-758-006-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) (KAR id:70691)

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

Bailey, Christopher, Montrieux, Lionel, de Lemos, Rogerio, Yu, Yijun, 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. (KAR id:42968)
[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) (KAR id:45760)

Bartoletti, M., Lange, Julien, Scalas, A., Zunino, R. (2014) Choreographies in the wild. Science of Computer Programming, 109 . pp. 36-60. ISSN 0167-6423. (doi: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) (KAR id:62256)

Berry, Michael, Kölling, Michael (2014) The State Of Play: A Notional Machine for Learning Programming. In: Proceedings of the 19th Annual Conference on Innovation and Technology in Computer Science Education. . (KAR id:43795)
[img]
Preview

Bhattacherjee, Sanjay, Sarkar, Palash (2014) Concrete Analysis and Trade-Offs for the (Complete Tree) Layered Subset Difference Broadcast Encryption Scheme. IEEE Transactions on Computers, 63 (7). pp. 1709-1722. ISSN 0018-9340. (doi:10.1109/TC.2013.68) (KAR id:83282)
[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 10th International Workshop. Lecture Notes in Computer Science . Springer, Cham, Switzerland, pp. 29-47. ISBN 978-3-319-08259-2. E-ISBN 978-3-319-08260-8. (doi:10.1007/978-3-319-08260-8_3) (KAR id:43738)
[img]
Preview

Bocchi, Laura and Melgratti, Hernán and Tuosto, Emilio (2014) Resolving Non-Determinism in Choreographies. In: Programming Languages and Systems 23rd European Symposium on Programming. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 493-512. ISBN 978-3-642-54832-1. E-ISBN 978-3-642-54833-8. (doi:10.1007/978-3-642-54833-8_26) (KAR id:43733)
[img]
Preview

Bocchi, Laura and Yang, Weizhen and Yoshida, Nobuko (2014) Timed Multiparty Session Types. In: Baldan, Paolo and Gorla, Daniele, eds. CONCUR 2014 – Concurrency Theory 25th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 419-434. ISBN 978-3-662-44583-9. E-ISBN 978-3-662-44584-6. (doi:10.1007/978-3-662-44584-6_29) (KAR id:43729)
[img]
Preview

Boiten, Eerke Albert (2014) FoI reveals cynical logic that compromises NHS data privacy. . The Conversation Internet only. (KAR id:52726)
[img]

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

Boiten, Eerke Albert (2014) Outdated laws put your health data in jeopardy. . The Conversation Internet only. (KAR id:52729)
[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) (KAR id:52727)

Boiten, Eerke Albert (2014) Your NHS data is completely anonymous – until it isn’t. . The Conversation Internet only. (KAR id:52728)
[img]

Boiten, Eerke Albert and Jacob, Jeremy (2014) Sealed containers in Z. In: Ait Ameur, Y. and Schewe, K.-D., eds. Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference. Lecture Notes in Computer Science, 8477 . Springer, Berlin, Germany, pp. 136-141. ISBN 978-3-662-43651-6. E-ISBN 978-3-662-43652-3. (doi:10.1007/978-3-662-43652-3_12) (KAR id:40790)
[img]
Preview

Bowman, Howard, Filetti, Marco, Alsufyani, Abdulmajeed, Janssen, Dirk P., Su, Li (2014) Countering Countermeasures: Detecting Identity Lies by Detecting Conscious Breakthrough. PLoS ONE, 9 (3). Article Number 90595. ISSN 1932-6203. (doi:10.1371/journal.pone.0090595) (KAR id:38771)
[img]
Preview

Buckley, Oliver, Nurse, Jason R. C., Legg, Philip A., Goldsmith, Michael, Creese, Sadie (2014) Reflecting on the Ability of Enterprise Security Policy to Address Accidental Insider Threat. In: 2014 Workshop on Socio-Technical Aspects in Security and Trust. . IEEE E-ISBN 978-1-4799-7901-1. (doi:10.1109/STAST.2014.10) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:67514)
[img]

Chadwick, David W., Siu, Kristy W.S., Lee, Craig, Fouillat, Yann, 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: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) (KAR id:43212)

Chennu, Srivas, Finoia, Paola, Kamau, Evelyn, Allanson, Judith, Williams, Guy B., Monti, Martin M., Noreika, Valdas, Arnatkeviciute, Aurina, Canales-Johnson, Andrés, Olivares, Francisco, and others. (2014) Spectral signatures of reorganised brain networks in disorders of consciousness. PLoS Computational Biology, 10 (10). Article Number 1003887. ISSN 1553-734X. E-ISSN 1553-7358. (doi:10.1371/journal.pcbi.1003887) (KAR id:54636)
[img]
Preview

Chivers, Daniel (2014) Improving Automated Layout Techniques for the Production of Schematic Diagrams. Doctor of Philosophy (PhD) thesis, University of Kent,. (KAR id:50750)
[img]
Preview

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

Creese, Sadie, Gibson-Robinson, Thomas, Goldsmith, Michael, Hodges, Duncan, Kim, Dee, Love, Oriana, Nurse, Jason R. C., Pike, Bill, Schultz, Jean (2014) Tools for Understanding Identity. In: 2013 IEEE International Conference on Technologies for Homeland Security (HST). . IEEE E-ISBN 978-1-4799-1535-4. (doi:10.1109/THS.2013.6699064) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:67520)

Cruse, Damian, Beukema, Steve, Chennu, Srivas, Malins, Jeffrey G., Owen, Adrian M., 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:10.1016/j.nicl.2014.05.001) (KAR id:54635)
[img]
Preview

Czajkowski, Marcin, Grzes, Marek, 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:10.1016/j.artmed.2014.01.005) (KAR id:48654)
[img]
Preview

Cámara, Javier, de Lemos, Rogerio, Laranjeiro, Nuno, Ventura, Rafael, Vieira, Marco (2014) Robustness evaluation of the rainbow framework for self-adaptation. In: UNSPECIFIED. (doi: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) (KAR id:42969)

Cámara, Javier, de Lemos, Rogerio, Laranjeiro, Nuno, Ventura, Rafael, 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:10.1186/1678-4804-20-1) (KAR id:42982)
[img]
Preview

De Koster, Joeri, Marr, Stefan, D'Hondt, Theo, Van Cutsem, Tom (2014) Domains: safe sharing among actors. Science of Computer Programming, 98, Pa . pp. 140-158. ISSN 0167-6423. (doi:10.1016/j.scico.2014.02.008) (KAR id:63831)
[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. PPPJ Principles and Practice of Programming in Java . ACM, New York, USA, pp. 39-50. ISBN 978-1-4503-2926-2. (doi:10.1145/2647508.2647511) (KAR id:63829)
[img]
Preview

Emms, Martin and Arief, Budi and Freitas, Leonardo 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. CCS Computer and Communications Security . ACM, New York, USA, pp. 716-726. ISBN 978-1-4503-2957-6. (doi:10.1145/2660267.2660312) (KAR id:54148)
[img]
Preview

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

Fatema, Kaniz, Chadwick, David (2014) Resolving Policy Conflicts-Integrating Policies from Multiple Authors. In: UNSPECIFIED. (KAR id:43215)
[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: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) (KAR id:43431)

Férée, Hugo, Gomaa, Walid, 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:10.1016/j.jco.2014.02.008) (KAR id:64714)
[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) (KAR id:52889)

Gibson, Raechelle M., Chennu, Srivas, Owen, Adrian M., 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: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) (KAR id:54634)

Grzes, Marek, Poupart, Pascal (2014) POMDP Planning and Execution in an Augmented Space. In: Alessio Lomuscio, Paul Scerri, Ana Bazzan, and Michael Huhns (eds.), Proceedings of the 13th International Con- ference on Autonomous Agents and Multiagent Systems (AAMAS 2014). Proceedings of the International Conference on Autonomous Agents and Multiagent Systems (AAMAS). . pp. 757-764. (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:48655)
[img]

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

Hernandez-Castro, Julio C., Boiten, Eerke Albert, Barnoux, Magali F.L. (2014) Second Kent Cyber Security Survey. . Internet only. (KAR id:52891)
[img]
Preview

Jarchi, Delaram, Wong, Charence, Kwasnicki, Richard Mark, Heller, Ben, Tew, Garry A., Yang, Guang-Zhong (2014) Gait Parameter Estimation From a Miniaturized Ear-Worn Sensor Using Singular Spectrum Analysis and Longest Common Subsequence. IEEE Transactions on Biomedical Engineering, 61 (4). pp. 1261-1273. ISSN 0018-9294. (doi:10.1109/TBME.2014.2299772) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:69640)
[img]

Jiang, Bing, Song, Yan, Wei, Si, Liu, Jun-Hua, McLoughlin, Ian Vince, Dai, Li-Rong (2014) Deep bottleneck features for spoken language identification. PLoS ONE, 9 (7). Article Number 100795. ISSN 1932-6203. (doi: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) (KAR id:48803)

Jiang, Bing, Song, Yan, Wei, Si, McLoughlin, Ian Vince, 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) (KAR id:48802)

Jiang, Bing and Song, Yan and Wei, Si and Wang, Meng-Ge and McLoughlin, Ian and Dai, Li-Rong (2014) Performance evaluation of deep bottleneck features for spoken language identification. In: The 9th International Symposium on Chinese Spoken Language Processing. IEEE, pp. 143-147. E-ISBN 978-1-4799-4219-0. (doi: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) (KAR id:48804)

Johnson, Colin G. (2014) Is it Time for Computational Creativity to Grow Up and Start being Irresponsible? In: Fifth International Conference on Computational Creativity. . (Unpublished) (KAR id:41429)
[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) (KAR id:43990)

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. (KAR id:42889)
[img]

Jordanous, Anna (2014) Stepping Back to Progress Forwards: Setting Standards for Meta-Evaluation of Computational Creativity. In: Proceedings of the 5th International Conference on Computational Creativity. . (KAR id:42392)
[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) (KAR id:42390)

Jordanous, Anna and Allington, Daniel (2014) Network analysis - code for the Valuing Electronic Music project. github Python code. (KAR id:42885)
[img]

Jordanous, Anna, Allington, Daniel, 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) (KAR id:46258)
[img] [img]

Jordanous, Anna, Allington, Daniel, Dueck, Byron (2014) Using online networks to analyse the value of electronic music. In: Proceedings of the 5th International Conference on Computational Creativity. . (KAR id:42391)
[img]
Preview

Jordanous, Anna and Fox, Simon (2014) fba-solution-pack-measurement. github php Drupal module. (KAR id:42886)
[img]

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

Kafalı, Özgur and Günay, Akin and Yolum, Pinar (2014) GOSU: Computing GOal SUpport with commitments in multiagent systems. In: ECAI 2014. IOS Press, pp. 477-482. ISBN 978-1-61499-418-3. E-ISBN 978-1-61499-419-0. (doi:10.3233/978-1-61499-419-0-477) (KAR id:65881)
[img]
Preview

Kafalı, Özgur, Romero, Alfonso E., Stathis, Kostas (2014) Activity recognition for an agent-oriented personal health system. In: Lecture Notes in Computer Science. PRIMA 2014: Principles and Practice of Multi-Agent Systems. 8861. pp. 254-269. Springer ISBN 978-3-319-13190-0. (doi: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) (KAR id:65874)

Kattan, A., Kampouridis, Michael (2014) Generalisation Enhancement via Input Space Transformation: A GP Approach. In: EuroGP 2014,. (KAR id:42164)
[img]
Preview

Kattan, A., Kampouridis, Michael, Ong, Y.-S., 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) (KAR id:42161)

Kell, Stephen (2014) In Search of Types. In: Onward! 2014 Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software. . pp. 227-241. ACM, New York, NY, USA ISBN 978-1-4503-3210-1. (doi:10.1145/2661136.2661154) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:69703)
[img]

Li, Huiqing, 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. . pp. 50-56. (doi:10.1145/2593501.2593509) (KAR id:42307)
[img]
Preview

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

Li, Jing-jie, McLoughlin, Ian Vince, Dai, Li-Rong, 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:10.1049/el.2014.1645) (KAR id:48793)
[img]
Preview

Li, Jingjie and McLoughlin, Ian Vince and Song, Yan (2014) Reconstruction of pitch for whisper-to-speech conversion of Chinese. In: The 9th International Symposium on Chinese Spoken Language Processing. IEEE, pp. 206-210. E-ISBN 978-1-4799-4219-0. (doi: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) (KAR id:48809)

Li, Jiyuan, Meng, Lingkui, Wang, Frank Z., Zhang, Wen, Cai, Yang (2014) A Map-Reduce-enabled SOLAP cube for large-scale remotely sensed data aggregation. Computers & Geosciences, 70 . pp. 110-119. ISSN 0098-3004. (doi:10.1016/j.cageo.2014.05.008) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:69682)
[img]

Lopes, Raul H. C., Franqueira, Virginia N. L., Hobson, Peter R. (2014) Efficient Computation of Hashes. Journal of Physics: Conference Series, 513 (3). pp. 1-6. (doi:10.1088/1742-6596/513/3/032042) (KAR id:77189)
[img]
Preview

Maass, Marco, Phan, Huy, Mertins, Alfred (2014) Design of Cosine-Sine Modulated Filter Banks without DC Leakage. In: 19th IEEE International Conference on Digital Signal Processing (DSP 2014). . pp. 486-491. IEEE, Hong Kong, China E-ISBN 978-1-4799-4612-9. (doi:10.1109/ICDSP.2014.6900713) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:72692)
[img]

Marr, Stefan, Pape, Tobias, 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:10.1109/MS.2014.98) (KAR id:63828)
[img]
Preview

Marr, Stefan, Renaux, Thierry, Hoste, Lode, 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:10.1016/j.scico.2014.02.012) (KAR id:63833)
[img]
Preview

McCall, Davin, Kölling, Michael (2014) Meaningful Categorisation of Novice Programmer Errors. In: Frontiers In Education Conference 2014 Proceedings. . (KAR id:43796)
[img]
Preview

McLoughlin, Ian V. and Xie, Zhi-Peng (2014) Speech playback geometry for smart homes. In: The 18th IEEE International Symposium on Consumer Electronics (ISCE 2014). IEEE, pp. 1-2. E-ISBN 978-1-4799-4592-4. (doi: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) (KAR id:48820)

McLoughlin, Ian Vince (2014) Super-Audible Voice Activity Detection. IEEE/ACM Transactions on Audio, Speech, and Language Processing, 22 (9). pp. 1424-1433. (doi: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) (KAR id:48837)

McLoughlin, Ian Vince, 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: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) (KAR id:48872)

McLoughlin, Ian Vince and Xu, Yan and Song, Yan (2014) Tone confusion in spoken and whispered Mandarin Chinese. In: The 9th International Symposium on Chinese Spoken Language Processing. IEEE, pp. 313-316. E-ISBN 978-1-4799-4219-0. (doi: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) (KAR id:48876)

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) (KAR id:47073)

Mouli, Surej, Palaniappan, Ramaswamy, 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. . (KAR id:56173)
[img]
Preview

Nurse, Jason R. C., Agrafiotis, Ioannis, Goldsmith, Michael, Creese, Sadie, Lamberts, Koen, Price, Darren, Jones, Glyn (2014) Managing the influence of social media using information trust. In: Social Influence in the Information Age Conference. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:67517)

Nurse, Jason R. C., Agrafiotis, Ioannis, Goldsmith, Michael, Creese, Sadie, Lamberts, Koen (2014) Two sides of the coin: measuring and communicating the trustworthiness of online information. Journal of Trust Management, 1 (5). E-ISSN 2196-064X. (doi:10.1186/2196-064X-1-5) (KAR id:67516)
[img]
Preview

Nurse, Jason R. C., Buckley, Oliver, Legg, Philip A., Goldsmith, Michael, Creese, Sadie, Wright, Gordon R.T., Whitty, Monica (2014) Understanding Insider Threat: A Framework for Characterising Attacks. In: 2014 IEEE Security and Privacy Workshops. . IEEE E-ISBN 978-1-4799-5103-1. (doi:10.1109/SPW.2014.38) (KAR id:67518)
[img]
Preview

Nurse, Jason R. C., Legg, Philip A., Buckley, Oliver, Agrafiotis, Ioannis, Wright, Gordon, Whitty, Monica, Upton, David, Goldsmith, Michael, Creese, Sadie (2014) A critical reflection on the threat from human insiders - its nature, industry perceptions, and detection approaches. In: HAS 2014: Human Aspects of Information Security, Privacy, and Trust. . Springer ISBN 978-3-319-07619-5. E-ISBN 978-3-319-07620-1. (doi:10.1007/978-3-319-07620-1_24) (KAR id:67519)
[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:10.1017/S0956796814000057) (KAR id:57485)
[img]
Preview

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

Otero, Fernando E.B., Masegosa, Antonio D., 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: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) (KAR id:42349)

Otupiri, R., Akowuah, E. K., Haxha, Shyqyri, Ademgil, H., AbdelMalek, Fathi, 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: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) (KAR id:41929)

Paes, B.C., Plastino, A., 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) (KAR id:42048)

Palaniappan, Ramaswamy, Andrews, S. (2014) Achieving stability of ECG biometric features through binaural brain entrainment. In: 2014 International Conference on Contemporary Computing and Informatics (IC3I). . pp. 1208-1210. IEEE E-ISBN 978-1-4799-6629-5. (doi:10.1109/IC3I.2014.7019629) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:70688)

Pawar, Pramod S., Rajarajan, Muttukrishnan, Dimitrakos, Theo, Zisman, Andrea (2014) Trust Assessment Using Cloud Broker. In: IFIPTM 2014: Trust Management VIII. 430. pp. 237-244. (doi: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) (KAR id:48983)

Petricek, Tomas and Syme, Don (2014) The F# Computation Expression Zoo. In: Flatt, Matthew and Guo, Hai-Feng, eds. Practical Aspects of Declarative Languages. Lecture Notes in Computer Science . Springer, New York, NY, USA, pp. 33-48. ISBN 978-3-319-04131-5. (doi:10.1007/978-3-319-04132-2_3) (KAR id:69692)
[img]
Preview

Pham, Thinh H. and Fahmy, Suhaib A. and McLoughlin, Ian Vince (2014) Efficient multi-standard cognitive radios on FPGAs. In: 2014 24th International Conference on Field Programmable Logic and Applications (FPL). IEEE, pp. 1-2. E-ISBN 978-3-00-044645-0. (doi:10.1109/FPL.2014.6927380) (KAR id:48892)
[img]
Preview

Pham, Thinh H., McLoughlin, Ian Vince, 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: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) (KAR id:48890)

Pham, Thinh H., McLoughlin, Ian Vince, 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. (KAR id:51748)
[img]
Preview

Pham, Thinh Hung, McLoughlin, Ian Vince, 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: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) (KAR id:48893)

Phan, Huy, Maass, Marco, Mazur, Radoslaw, Mertins, Alfred (2014) Acoustic Event Detection and Localization with Regression Forests. In: 15th Annual Conference of the International Speech Communication Association (INTERSPEECH 2014). . pp. 2524-2528. ISCA (KAR id:72695)
[img]
Preview

Phan, Huy, Maaß, Marco, Mazur, Radoslaw, Mertins, Alfred (2014) Random Regression Forests for Acoustic Event Detection and Classification. IEEE/ACM Transactions on Audio, Speech and Language Processing, 23 (1). pp. 20-31. ISSN 2329-9290. E-ISSN 2329-9304. (doi:10.1109/TASLP.2014.2367814) (KAR id:72691)
[img]
Preview

Phan, Huy, Mertins, Alfred (2014) Exploring Superframe Co-occurrence for Acoustic Event Recognition. In: 22nd European Signal Processing Conference (EUSIPCO 2014). . pp. 631-635. IEEE, Lisbon, Portugal ISBN 978-0-9928626-1-9. (KAR id:72694)
[img]
Preview

Rossebø, Judith E. Y., Houmb, Siv Hilde, Georg, Geri, Franqueira, Virginia N. L., Serpanos, Dimitrios (2014) Introduction to Special Issue on Risk and Trust in Embedded Critical Systems. ACM Transactions on Embedded Computing Systems, 13 (5S). Article Number 152. ISSN 1539-9087. E-ISSN 1558-3465. (doi:10.1145/2659008) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:77190)
[img]

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

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

Shao, M., Smonou, D., Kampouridis, Michael, 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) (KAR id:42238)

Silles, Christopher Anthony (2014) Provenance-Aware CXXR. Doctor of Philosophy (PhD) thesis, University of Kent,. (KAR id:50499)
[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: 2014 International Conference on Audio, Language and Image Processing. IEEE, pp. 666-670. ISBN 978-1-4799-3902-2. E-ISBN 978-1-4799-3903-9. (doi: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) (KAR id:48921)

Song, Yan, McLoughlin, Ian Vince, Dai, Li-Rong (2014) Local coding based matching kernel method for image classification. PLoS ONE, 9 (8). Article Number 103575. ISSN 1932-6203. (doi: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) (KAR id:48922)

Su, Li, Gomez, Rodolfo, Bowman, Howard (2014) Analysing neurobiological models using communicating automata. Formal Aspects of Computing, 26 (6). pp. 1169-1204. ISSN 0934-5043. (doi: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) (KAR id:47880)
[img]

Supratak, A, Li, L, 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. . pp. 4184-4187. IEEE (doi:10.1109/EMBC.2014.6944546) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:48648)
[img]

Tako, Antuela, Kotiadis, Kathy, Vasilakis, Christos, Miras, Alexander, 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:10.1136/bmjqs-2013-002107) (KAR id:51027)
[img]
Preview

Thompson, Simon (2014) How to stand out digitally. In: Jolly, Adam, ed. The Growing Business Handbook. Kogan Page, pp. 129-131. ISBN 978-0-7494-7037-1. E-ISBN 978-0-7494-7038-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) (KAR id:42881)

Thompson, Simon, Delaney, Aidan, Stapleton, Gem, Taylor, John (2014) A Normal Form for Spider Diagrams of Order. Journal of Visual Languages & Computing, . (KAR id:42350)
[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 978-2-503-55268-2. (KAR id:42892)
[img]
Preview

Xu, Simin and Fahmy, Suhaib A. and McLoughlin, Ian V. (2014) Square-rich fixed point polynomial evaluation on FPGAs. In: Proceedings of the 2014 ACM/SIGDA international symposium on Field-programmable gate arrays. FPGD International Symposium on Field Programmable Gate Arrays . ACM, New York, USA, pp. 99-108. ISBN 978-1-4503-2671-1. (doi:10.1145/2554688.2554779) (KAR id:48925)
[img]
Preview

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

Yan, Li, Pérez-Delgado, Carlos A, Fitzsimons, Joseph F (2014) Limitations on information-theoretically-secure quantum homomorphic encryption. Physical Review A, 90 (5). Article Number 50303. ISSN 2469-9926. E-ISSN 2469-9934. (doi:10.1103/PhysRevA.90.050303) (KAR id:58149)
[img]
Preview

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

Zeng, Wei, Huang, Xianfeng, Müller Arisona, Stefan, 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: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) (KAR id:48926)

Öztürkeri, Can, 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:10.1007/s10710-014-9216-2) (KAR id:51431)
[img]
Preview

2013

Ahmadi, Farzaneh, McLoughlin, Ian Vince (2013) A new mechanical index for gauging the human bioeffects of low frequency ultrasound. In: Engineering in Medicine and Biology Society (EMBC), 2014 36th Annual International Conference of the IEEE. Engineering in Medicine and Biology Society (EMBC), 2013 35th Annual International Conference of the IEEE. . pp. 1964-1967. IEEE (doi: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) (KAR id:48766)

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 International Seminar. Lecture Notes in Computer Science . Springer, pp. 51-75. ISBN 978-3-642-35812-8. E-ISBN 978-3-642-35813-5. (doi: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) (KAR id:42991)

Anggadjaja, Erwin and McLoughlin, Ian (2013) Cross-layer MIMO-link exploiting packet re-routing mechanisms and adaptive modulation in diverse channel condition. In: 2013 Australasian Telecommunication Networks and Applications Conference (ATNAC). IEEE, pp. 148-153. E-ISBN 978-1-4799-1081-6. (doi: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) (KAR id:48773)

Ansaloni, Danilo and Kell, Stephen and Zheng, Yudi and Bulej, Walter and Truma (2013) Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine. In: ECOOP 2013 – Object-Oriented Programming 27th European Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 352-377. ISBN 978-3-642-39037-1. E-ISBN 978-3-642-39038-8. (doi:10.1007/978-3-642-39038-8_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) (KAR id:69705)

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 7th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security. Lectures Notes in Computer Science . Springer, Berlin, Germany, pp. 100-111. ISBN 978-3-642-38997-9. E-ISBN 978-3-642-38998-6. (doi: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) (KAR id:42993)

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. (KAR id:43208)
[img]
Preview

Berry, Michael, Kölling, Michael (2013) The design and implementation of a notional machine for teaching introductory programming. In: WiPSE '13. Proceedings of the 8th Workshop in Primary and Secondary Computing Education. . pp. 25-28. ACM, New York ISBN 978-1-4503-2455-7. (doi:10.1145/2532748.2532765) (KAR id:37645)
[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 Joint IFIP WG 6.1 International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 50-65. ISBN 978-3-642-38591-9. E-ISBN 978-3-642-38592-6. (doi:10.1007/978-3-642-38592-6_5) (KAR id:43737)
[img]
Preview

Bocchi, Laura, Mahmud, Hoger, Rebay-Salisbury, Katharina, 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) (KAR id:44578)

Boiten, Eerke Albert (2013) Anonymity will be the next victim of internet censorship. . The Conversation Internet only. (KAR id:52756)
[img]

Boiten, Eerke Albert (2013) Blocking extremist sites is not the same as fighting child porn. . The Conversation Internet only. (KAR id:52759)
[img]

Boiten, Eerke Albert (2013) Blocks just move child porn under the counter. . The Conversation Internet only. (KAR id:52760)
[img]

Boiten, Eerke Albert (2013) How to commit a bank robbery (or stop one) using the internet. . The Conversation Internet only. (KAR id:52761)
[img]

Boiten, Eerke Albert (2013) It’s all about cryptography as Rusbridger faces parliament. . The Conversation Internet only. (KAR id:52758)
[img]

Boiten, Eerke Albert (2013) The UK government is working in a Snowden-free bubble. . The Conversation Internet only. (KAR id:52757)
[img]

Boiten, Eerke Albert (2013) iPhone hack shows security isn’t at our fingertips just yet. . Scientific American Internet only. (KAR id:52762)
[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. In: Trends in Functional Programming 13th International Symposium. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 263-278. ISBN 978-3-642-40446-7. E-ISBN 978-3-642-40447-4. (doi:10.1007/978-3-642-40447-4_17) (KAR id:42314)
[img]
Preview

Camara, Javier, Correia, Pedro, de Lemos, Rogério, Garlan, David, Gomes, Pedro, Schmerl, Bradley, Ventura, Rafael (2013) Evolving an adaptive industrial software system to use architecture-based self-adaptation. In: UNSPECIFIED. (doi: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) (KAR id:42972)

Camara, Javier, Lemos, Rogerio de, Laranjeiro, Nuno, Ventura, Rafael, Vieira, Marco (2013) Robustness Evaluation of Controllers in Self-Adaptive Software Systems. In: Sixth Latin-American Symposium on Dependable Computing (LADC 2013), 1-5 April 2013, Rio de Janeiro, RJ, Brazil. (doi: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) (KAR id:42994)

Cameron, Claire, Ostashevsky, Luba (2013) Science Gets Down With Miles Davis and Bernini: Analyzing music and sculpture in the digital age. . Online magazine. (KAR id:42896)
[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) (KAR id:43207)

Chadwick, David W, Casenove, Matteo, 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:10.1186/2192-113X-2-3) (KAR id:43204)
[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. (KAR id:43206)
[img]
Preview

Chen, Huankai, Wang, Frank Z., 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. (KAR id:34031)
[img]
Preview

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

Chennu, Srivas, Noreika, Valdas, Gueorguiev, David, Blenkmann, Alejandro, Kochen, Silvia, Ibáñez, Agustín, Owen, Adrian M., 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:10.1523/JNEUROSCI.0114-13.2013) (KAR id:54638)
[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. (KAR id:34408)
[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. (KAR id:34409)
[img]
Preview

Chu, Dominique (2013) The Science Myth: God, society, the self and what we will never know. Iff Books, London, 437 pp. ISBN 1-78279-047-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) (KAR id:37144)

Cruse, Damian, Chennu, Srivas, Chatelle, Camille, Bekinschtein, Tristan A., Fernández-Espejo, Davinia, Pickard, John D., Laureys, Steven, 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: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) (KAR id:54637)

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

Delaney, Aidan, Stapleton, Gem, Taylor, John, 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:10.1016/j.jvlc.2013.02.001) (KAR id:33572)
[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 (KAR id:58709)
[img]
Preview

Emms, Martin, Arief, Budi, Little, Nicholas, van Moorsel, Aad (2013) Risks of Offline Verify PIN on Contactless Cards. In: Sadeghi, Ahmad-Reza, ed. Lecture Notes in Computer Science. Lecture Notes in Computer Science LNCS , 7859. pp. 313-321. Springer Berlin Heidelberg, Berlin ISBN 978-3-642-39883-4. E-ISBN 978-3-642-39884-1. (doi:10.1007/978-3-642-39884-1_26) (KAR id:54151)
[img]
Preview

Fatema, Kaniz (2013) Adding Privacy Protection to Policy Based Authorisation Systems. Doctor of Philosophy (PhD) thesis, University of Kent,. (KAR id:47905)
[img]
Preview

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) (KAR id:34033)

Fincher, Sally, Knox, Daniel (2013) The Porous Classroom: Professional Practices in the Computing Curriculum. IEEE Computer, 46