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
Jump to: A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | Ö
Number of items at this level: 1336.

A

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

Abdullah, Sophiana Chua and Cooley, Roger (2000) The use of constraint logic programming in the development of adaptive tests. In: 5th International Conference on Intelligent Tutoring Systems (ITS 2000), June 2000, Montreal, Canada. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Abowd, Gregory D. and Dey, Anind K. and Brown, Peter J. and Davies, Nigel and Smith, Mark E. and Steggles, Pete (1999) Towards a better understanding of context and context-awareness. In: Gellersen, Hans, ed. 1st International Symposium on Handheld and Ubiquitous Computing (HUC 99). Lecture Notes in Computer Science, 1707. Springer-Verlag Berlin, Berlin pp. 304-307. ISBN 3-540-66550-1. (doi:https://doi.org/10.1007/3-540-48157-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)

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

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

Adda, Mo and Martin, Jean-Baptise and Owen, Gareth and Peart, A. (2006) Simultion of a Wireless Senor Network for Image Processing. IADAT-tcn, . pp. 35-37. ISSN 84-933971-4-8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

Adi, R.W. and Tio, C.M.M. and McLoughlin, Ian Vince (2000) Hardware architecture for data concealment using sub-band coding,. IEEE APCCAS 2000. 2000 IEEE Asia-Pacific Conference on Circuits and Systems. Electronic Communication Systems. (Cat. No.00EX394), . (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Adi, R.W. and Tio, C.M.M and McLoughlin, Ian Vince (2000) Hardware architecture for data concealment using sub-band coding, LSB coding and pseudo-random bit stream generators. In: UNSPECIFIED, 04 Dec 2000-06 Dec 2000, Tianjin. (doi:https://doi.org/10.1109/TENCON.2000.892261) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

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

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

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

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

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

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

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

Akehurst, David H. (2004) MDA-Transformations from Relations. In: ECOOP 2004 Workshop Reader, Workshop on Model Driven Development (WMDD 2004). (Full text available)
[img]

Akehurst, David H. (2004) Proceedings of Second European Workshop on Model Driven Architecture (MDA) with an emphasis on Methodologies and Transformations. Technical report. kent university (Full text available)
[img]
Preview

Akehurst, David H. (2004) Proposal for a Model Driven Approach to Creating a Tool to Support the RM-ODP. In: Workshop on ODP for Enterprise Computing (WODPEC 2004). (Full text available)
[img]
Preview

Akehurst, David H. (2004) Relations in OCL. In: Workshop OCL and Model Driven Engineering, October 2004, Lisbon, Portugal,. (Full text available)
[img]
Preview

Akehurst, David H. (2004) Validating BPEL Specifications using OCL. Technical report. kent university (Full text available)
[img]

Ali, Edries Abdelhadi (2001) Integration of Security and Reliability in a Distributed Collaborative Environment. Doctor of Philosophy (PhD) thesis, Computing Laboratory. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

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

Allwright, James and Pritchard, David and Jones, Stephen and Stephens, Nelson and Peel, Andrew and Makinson, Gordon and Steel, John and Liddell, Heather (1995) High Performance Computing For All. In: Proceedings of the 3rd Annual Conference on the Teaching of Computing. (Full text available)
[img]
Preview
[img]
Preview

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Anshelevich, Elliot and Owens, Scott and Lamiraux, Florent and Kavraki, Lydia E. (2000) Deformable Volumes in Path Planning Applications. In: IEEE International Conference on Robotics and Automation (ICRA), 24 - 28 April 2000, San Francisco, CA, USA. (doi:https://doi.org/10.1109/ROBOT.2000.846368) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

Arief, Budi and Besnard, Denis (2003) Technical and Human Issues in Computer-Based Systems Security. Technical report. CS-TR-790 (Full text available)
[img]
Preview

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

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

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

Arief, Budi and Bosio, Diana and Gacek, Cristina and Rouncefield, Mark (2002) Dependability Issues in Open Source Software - DIRC Project Activity 5 Final Report. Technical report. CS-TR-760 (Full text available)
[img]
Preview

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

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

Arief, Budi and Gacek, Cristina and Lawrie, Tony (2001) Software Architectures and Open Source Software – Where can Research Leverage the Most? In: 1st Workshop on Open Source Software Engineering, 15 May 2001, Toronto, Canada. (Full text available)
[img]
Preview

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

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

Arief, Budi and Iliasov, Alexei and Romanovsky, Alexander (2006) On using the CAMA framework for developing open mobile fault tolerant agent systems. In: 2006 International Workshop on Software Engineering for Large-Scale Multi-Agent Systems, SELMAS '06, Co-located with the 28th International Conference on SoftwareEngineering, ICSE 2006, 20-28 May 2006, Shanghai. (doi:https://doi.org/10.1145/1138063.1138070) (Full text available)
[img]
Preview

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

Arief, Budi and Little, Mark and Shrivastava, Santosh and Speirs, Neil and Wheater, Stuart (1999) Specifying distributed system services. British Telecom technology journal, 17 (2). pp. 126-136. ISSN 0265-0193. (doi:https://doi.org/10.1023/A:1009650219559) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Arief, Budi and Speirs, Neil (1999) Automatic Generation of Distributed System Simulations from UML. In: 13th European Simulation Multiconference (ESM'99), 1-4 June, 1999, Warsaw, Poland. (Full text available)
[img]
Preview

Arief, Budi and Speirs, Neil (1999) Simulation Generation from UML Like Specifications. In: IASTED Applied Modelling and Simulation (AMS'99), Cairns, Australia. (Full text available)
[img]
Preview

Arief, Budi and Speirs, Neil (2000) A UML tool for an automatic generation of simulation programs. In: Second International Workshop on Software and Performance WOSP2000, Ottawa, Que. (doi:https://doi.org/10.1145/350391.350408) (Full text available)
[img]
Preview

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

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

Augusto, Juan Carlos and Gomez, Rodolfo (2002) A Temporal Logic View of Paradigm Specifications. In: Proceedings of 14th. International Conference on Software Engineering and Knowledge Engineering (SEKE'02), 15-19 July 2002, Ischia, Italy. (doi:http://doi.acm.org/10.1145/568760.568847) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

Ayara, Modupe (2005) An Immune-Inspired Solution for Adaptable Error Detection in Embedded Systems. Doctor of Philosophy (PhD) thesis, Computing Laboratory. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Ayara, Modupe and Timmis, Jon and de Lemos, Rogerio and Forrest, Simon (2005) Immunising Automated Teller Machines. In: Artificial Immune Systems. pp. 404-417. (doi:https://doi.org/10.1007/11536444_31) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Ayara, Modupe and Timmis, Jon and de Lemos, Rogério and de Castro, Leandro N. and Duncan, Ross (2003) Tolerating Faults in Embedded Systems Based on Artificial Immune Systems. In: Fast Abstracts Supplement of the 4th European Dependable Computing Conference (EDCC-4), October 23-25, 2002, Toulouse, France. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

B

Baghaei, N and McLoughlin, Ian Vince (2004) Channel estimation complexity reduction using caching. In: UNSPECIFIED, 31 May-2 June 2004. (doi:https://doi.org/10.1109/CASSET.2004.1322956) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Baghaie, A and Kuo, S and McLoughlin, Ian Vince (2004) FPGA implementation of space-time block coding systems. In: UNSPECIFIED, 31 May-2 June 2004. (doi:https://doi.org/10.1109/CASSET.2004.1321957) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Baghaie, M A and McLoughlin, Ian Vince and Martin, P A and Mehrotra, K and Taylor, D P (2006) Transmit Antenna Selection for UHF MIMO Linking. In: UNSPECIFIED, 7-10 May 2006, Melbourne, Australia. (doi:https://doi.org/10.1109/VETECS.2006.1683346) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

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

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

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

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

Bakkers, A.W.P. and Bruis, R. and Roebbers, Herman W. and Schaller, Nan C. and Schwirtz, M.H. and Sunder, J.P.E. and Wijbrans, K.C.J. and Welch, Peter H. (1993) Training for Transputer Technologies. In: Parallel Processing in Education. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

Barnes, David J. and Brown, Peter J., eds. (1986) Software engineering 86. IEE Computing Series No 6/Cm006 . P. Peregrinus on behalf of the Institution of Electrical Engineers, 433 pp. ISBN 9780863410826. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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)

Barnes, David J. and Bovey, John D. (1986) Managing command submission in a multiple-window environment. Software Engineering Journal, 1 (5). pp. 177-183. ISSN 0268-6961. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Barnes, David J. and Bovey, John D. and Brown, Peter J. and Siemon, HP (1985) Some UNIX tools to exploit a workstation,". In: Integrated Project Support Environments. Peter Peregrinus Ltd, p. 68. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

Barnes, David J. and Hopkins, Tim (2000) Improving the Quality of Scientific Software. In: First SIAM Conference on Computational Science and Engineering, September 2000, Washington, DC. (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)

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

Barnes, David J. and Russell, Mark T and Wheadon, Mark C (1988) Developing and adapting UNIX tools for workstations. In: UNSPECIFIED, 1988, Cascais, Portugal. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Barnes, Frederick R.M. (2000) Blocking System Calls in KRoC/Linux. In: Communicating Process Architectures 2000. (Full text available)
[img]
Preview
[img]
Preview

Barnes, Frederick R.M. (2003) Dynamics and Pragmatics for High Performance Concurrency. Doctor of Philosophy (PhD) thesis, University of Kent at Canterbury. (Full text available)
[img]
Preview

Barnes, Frederick R.M. (2003) occwserv: An occam Web-Server. In: Communicating Process Architectures 2003, SEP 07-10, 2003, UNIV Twente, Enschde, Nederlands. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Barnes, Frederick R.M. (2001) tranx86 -- an Optimising ETC to IA32 Translator. In: Communicating Process Architectures 2001. (Full text available)
[img]
Preview
[img]
Preview

Barnes, Frederick R.M. and Beuran, R. and Dobinson, R.W. and LeVine, M.J. and Martin, B. and Lokier, J. and Meirosu, C. (2002) Testing Ethernet Networks for the ATLAS Data Collection System. IEEE Transactions on Nuclear Science, 49 (2). pp. 516-520. ISSN 0018-9499. (doi:https://doi.org/10.1109/TNS.2002.1003791) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Barnes, Frederick R.M. and Jacobsen, Christian L. and Vinter, Brian (2003) RMoX: A Raw-Metal occam Experiment. In: Communicating Process Architectures 2003, SEP 07-10, 2003, UNIV Twente, Enschde, Nederlands. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Barnes, Frederick R.M. and Welch, Peter H. (2001) Mobile Data, Dynamic Allocation and Zero Aliasing: an occam Experiment. In: Chalmers, Alan and Mirmehdi, Majid and Muller, Henk, eds. Communicating Process Architectures 2001. Concurrent Systems Engineering Series, No. 59 (59). IOS Press, Amsterdam, The Netherlands pp. 243-264. ISBN 1 58603 202 X. (Full text available)
[img]
Preview
[img]
Preview

Barnes, Frederick R.M. and Welch, Peter H. (2002) Prioritised Dynamic Communicating Processes: Part 1. In: Communicating Process Architectures 2002:WoTUG-25, 15-18 September 2002, University of Reading, United Kingdom. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Barnes, Frederick R.M. and Welch, Peter H. (2002) Prioritised Dynamic Communicating Processes: Part 2. In: Communicating Process Architectures 2002:WoTUG-25, 15-18 September 2002, University of Reading, United Kingdom. (Full text available)
[img]
Preview
[img]
Preview

Barnes, Frederick R.M. and Welch, Peter H. (2003) Prioritised Dynamic Communicating and Mobile Processes. IEE Proceedings: Software, 150 (2). pp. 121-136. ISSN 1462-5970. (doi:https://doi.org/10.1049/ip-sen:20030182) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

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

Beckett, David J. (1997) 30% Accessible - A Survey of the UK Wide Web. In: Genesereth, Michael.R. and Patterson, Anna, eds. Computer Networks and ISDN Systems. Elsevier, Holland pp. 1367-1375. (doi:https://doi.org/10.1016/S0169-7552(97)00059-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)

Beckett, David J. (1995) IAFA Templates in use as Internet Metadata. World Wide Web Journal -- Proceedings of the Fourth International World-Wide Web Conference, 1 (1). pp. 135-143. ISSN 1085-2301. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Beckett, David J. (1998) Polishing Your Searches. Ariadne, 1 (16). (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Beckett, David J. and Smith, Neil (1996) The ACademic DireCtory - AC/DC. Technical report. UKC, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Beckett, David J. and Welch, Peter H. (1996) Emulating a secure multicasting bus using occam 2.1. In: Oneill, B.C. and Transputer User, Grp, eds. Concurrent Systems Engineering Series. I O S Press pp. 59-73. ISBN 90-5199-261-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)

Beckett, David J. and Welch, Peter H. (1996) A Strict occam Design Tool. In: Proceedings of UK Parallel ''96. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

Beller-Hann, Ildiko (1995) Central-Asia Reader - the Rediscovery of History - PaKSOY,HB. American Ethnologist, 22 (3). pp. 650-651. ISSN 0094-0496. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

Benoy, Patricia Mary (2002) Polyhedral Domains for Abstract Interpretation in Logic Programming. Doctor of Philosophy (PhD) thesis, University of Kent, Canterbury. (Full text available)
[img]
Preview
[img]
Preview

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

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

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

Besnard, Denis and Arief, Budi (2003) Computer security impaired by legal users. Technical report. CS-TR-794 (Full text available)
[img]
Preview

Besnard, Denis and Arief, Budi (2004) Computer security impaired by legitimate users. Computers and Security, 23 (3). pp. 253-264. ISSN 0167-4048. (doi:https://doi.org/10.1016/j.cose.2003.09.002) (Full text available)
[img]
Preview

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

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

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

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

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

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

Bocchi, Laura and Ciancarini, Paolo (2006) On the Impact of Formal Methods in the SOA. Electronic Notes in Theoretical Computer Science, 160 . pp. 113-126. ISSN 15710661. (doi:https://doi.org/10.1016/j.entcs.2006.05.018) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

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

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

Bocchi, Laura and Lucchi, Roberto (2006) Atomic Commit and Negotiation in Service Oriented Computing. In: Coordination Models and Languages. Lecture Notes in Computer Science, 4038. Springer pp. 16-27. ISBN 9783540346944. E-ISBN 9783540346951. (doi:https://doi.org/10.1007/11767954_2) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Boiten, Eerke Albert and Derrick, John and Bowman, Howard and Steen, Maarten (1999) Constructive consistency checking for partial specification in Z. Science of Computer Programming, 35 (1). pp. 29-75. ISSN 0167-6423. (doi:https://doi.org/10.1016/S0167-6423(99)00006-4) (Full text available)
[img]
Preview
[img]
Preview

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

Bolla, Damiano (1994) IPP Routing Architecture. Technical report. versity of Kent, Computing Laboratory, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

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

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

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

Bovey, John D. (1996) Event-based personal retrieval. Journal of Information Science, 22 (5). pp. 357-366. ISSN 0165-5515. (doi:https://doi.org/10.1177/016555159602200504) (Full text available)
[img]
Preview
[img]
Preview

Bovey, John D. (1993) A graphical retrieval-system. Journal of Information Science, 19 (3). pp. 179-187. ISSN 0165-5515. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bowman, Howard and Boiten, Eerke Albert and Derrick, John and Steen, Maarten (1999) Strategies for consistency checking based on unification. Science of Computer Programming, 33 (3). pp. 261-298. ISSN 0167-6423. (doi:https://doi.org/10.1016/S0167-6423(98)00017-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)

Bowman, Howard and Derrick, John and Linington, Peter F. and Steen, Maarten (1996) Cross-viewpoint consistency in open distributed processing. Software Engineering Journal, 11 (1). pp. 44-57. ISSN 0268-6961. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

Bowman, Maggie (1997) Development of a Technical Reports Service at the Higher Education National Software Archive in the UK. Program: Electronic Library and Information Systems, 31 (2). pp. 147-159. ISSN 0033-0337. (doi:https://doi.org/10.1108/EUM0000000006885) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bretschneider, T and Ramesh, B and Gupta, V and McLoughlin, Ian Vince (2004) Low-cost space-borne processing on a reconfigurable parallel architecture. Proceedings of the International Conference on Engineering of Reconfigurable Systems and Algorithms, . pp. 93-99. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

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

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

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

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

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

Brostoff, Sacha and Sassea, M.Angela and Chadwick, David W. and Cunningham, James and Mbanaso, Uche and Otenko, Sassa (2004) RBAC What? Development of a Role-Based Access Control Policy Writing Tool for E-Scientists. In: Workshop on Grid Security Practice and Experience, Oxford, UK. (doi:https://doi.org/10.1002/spe.691) (Full text available)
[img] [img]
Preview

Brown, Heather (1997) Active Alice: Active Paper for Active Learning. In: Proceedings of ALT-C 97. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Brown, Heather (1993) Desktop Publishing. In: Ralston, Anthony and Reilly, Edwin D., eds. Encyclopedia of Computer Science. Van Nostrand Reinhold, pp. 426-429. ISBN 0-442-27679-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)

Brown, Heather and Cole, Fred C. (1992) Editing Structured Documents: Problems and Solutions. Electronic Publishing: Origination, Dissemination and Design, 5 (4). pp. 209-216. ISSN 0894-3982. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Brown, Heather and Cole, Fred C. (1993) ODA extensions for quality and flexibility. In: Evans, Cliff D. and Walker, Raymond S. and Meek, Brian L., eds. User Needs in Information Technology Standards. Computer Weekly Professional Series . Butterworth-Heinemann, pp. 148-160. ISBN 0 7506 1559 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)

Brown, Heather and Cole, Fred C. and Oxborrow, Elizabeth (1993) An Object-Oriented Toolkit for ODA and HyperODA. In: Proceedings of SigDoc'93. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Brown, Heather and Harding, Robert K. and Lay, Steve and Robinson, Peter and Sheppard, Dan and Watts, Richard (1998) Active Alice: Using Real Paper to Interact with Electronic Text. In: Hersch, Roger and Andre, Jacques and Brown, Heather, eds. Electronic Publishing, Artistic Imaging, and Digital Typography. Lecture Notes in Computer Science (1375). Springer-Verlag, pp. 407-419. ISBN 3-540-64298-6. (doi:https://doi.org/10.1007/BFb0053257) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Brown, Heather and Harding, Robert K. and Lay, Steve and Robinson, Peter and Sheppard, Dan and Watts, Richard (1998) Active Paper for Active Learning. ALT-J, 6 (1). pp. 95-101. ISSN 0968-7769. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Brown, Heather and Robinson, Peter (1999) Integrating Paper and Digital Documents. In: Vince, John A. and Earnshaw, Rae A., eds. Digital media: the future. Springer Verlag. ISBN 1-85233-246-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)

Brown, Heather and Utting, Ian (1992) Teaching Electronic Publishing to Computer Scientists. Electronic Publishing: Origination, Dissemination and Design, 5 (2). pp. 91-96. ISSN 0894-3982. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Brown, Heather and Utting, Ian (1992) Teaching Electronic Publishing to Computer Scientists. In: Teaching Electronic Publishing: Proceedings of TEP'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)

Brown, Heather and Wusteman, Judith (1996) Acrobat, Mosaic and Guide as Vehicles for Electronic Journals. In: Earnshaw, Rae A. and Vince, John A., eds. Digital Media and Electronic Publishing. Academic Press, pp. 65-89. ISBN 0-12-227756-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)

Brown, Heather and Wusteman, Judith (1995) Acrobat, Mosaic and Guide as vehicles for Electronic Journals. New Review of Information Networking, 1 . pp. 33-60. ISSN 1361-4576. (doi:https://doi.org/10.1080/13614579509516845) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Brown, Heather and Wusteman, Judith (1995) Electronic journals using Guide. In: Electronic Library and Visual Information Research: ELVIRA 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)

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

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

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

Brown, Peter J. (1990) Assessing the Quality of Hypertext Documents (keynote address to ECHT''90). In: Rizk, A., ed. Hypertext: Concepts, Systems and Applications. Cambridge University Press, pp. 1-12. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Brown, Peter J. (1996) Building Novel Software: the Researcher and the Market-place. In: Milner, Robin and Wand, I., eds. Computing Tomorrow: Future Directions in Computer Science. Cambridge University Press, pp. 21-32. (Full text available)
[img]
Preview
[img]
Preview

Brown, Peter J. (1974) Macro Processors and Techniques for Portable Software. Wiley (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Brown, Peter J. (1982) Pascal from BASIC. Addison-Wesley (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Brown, Peter J. (1998) Some Lessons for Location-aware Applications. In: Proceedings of first workshop on HCI for mobile devices. Glasgow University pp. 58-63. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Brown, Peter J. (1984) Starting with UNIX. Addison-Wesley (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Brown, Peter J. (1996) The Stick-e Document: a Framework for Creating Context-aware Applications. In: Proceedings of EP''96, Palo Alto. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Brown, Peter J. (1995) Taking a Stroll down Babel Street. In: Davidson, A., ed. Humor the Computer. MIT Press, Cambridge, Mass., pp. 165-168. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Brown, Peter J. (1998) Triggering information by context. Personal Technologies, 2 (1). pp. 1-9. ISSN 0949-2054. (doi:https://doi.org/10.1007/BF01581843) (Full text available)
[img]

Brown, Peter J. (1992) UNIX GUIDE: Lessons from Ten Years'' Development. In: Lucarella, D., ed. Proceedings of the ACM conference on Hypertext. ACM Press, New York, pp. 63-70. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Brown, Peter J. (1986) Viewing Documents on a Screen. In: Lambert, Steve and Ropiequet, Suzanne, eds. CD ROM: the New Papyrus. Microsoft Press, Redmond, Wa., pp. 175-184. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Brown, Peter J. (1979) Writing Interactive Compilers and Interpreters. Wiley (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Brown, Peter J. and Bovey, John D. and Chen, Xian (1997) Context-aware Applications: from the Laboratory to the Marketplace. IEEE Personal Communications, 4 (5). pp. 58-64. ISSN 1070-9916. (doi:https://doi.org/10.1109/98.626984) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Brown, Peter J. and Brown, Heather (1995) Embedded or Separate Hypertext Mark-up: is it an Issue? Electronic Publishing: Origination, Dissemination and Design, 8 (1). pp. 1-13. ISSN 0894-3982. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Brown, Peter J. and Welch, Peter H. (1984) Compiler Servers for the Cambridge Ring. The Coordinated Programme of Research in Distributed Computing Systems (1977..1984) -- Final Report (SERC), . (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bryans, Jeremy and Arief, Budi (2006) Security implications of structure. In: Besnard, Denis and Gacek, Cristina and Jones, Cliff, eds. Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective. Springer London, London, pp. 217-227. ISBN 978-1-84628-110-5. E-ISBN 978-1-84628-111-2. (doi:https://doi.org/10.1007/1-84628-111-3_11) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

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

Buckner, Ian (1997) UKC ANSAware Survival Guide. Technical report. University of Kent at Canterbury, Computing Laboratory, Computing Laboratory, University of Kent at Canterbury, Canterbury, CT2 7NF (Full text available)
[img]
Preview
[img]
Preview

Buckner, Ian (1997) UKC ANSAware Survival Guide (for Modula-3). Technical report. University of Kent at Canterbury, Computing Laboratory, Computing Laboratory, University of Kent at Canterbury, Canterbury, CT2 7NF (Full text available)
[img]
Preview
[img]
Preview

Buckner, Ian and Penny, Ian (1997) UKC Orbix Survival Guide. Technical report. University of Kent at Canterbury, Computing Laboratory, University of Kent at Canterbury, Canterbury, CT2 7NF (Full text available)
[img]
Preview
[img]
Preview

Bujorianu, Manuela L. and Bujorianu, Marius C. (2004) Extending UML: A Foundational Approach to Heterogeneity. CSD-UMl'04 3rd International Workshop on Critical Systems Development with UML. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

UNSPECIFIED (2003) IMPROVEMENTS RELATING TO RADIO COMMUNICATION SYSTEMS. . (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

UNSPECIFIED (2003) Radio communication systems. . (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

C

C.M.M., Tio and I.V., McLoughlin and R.W., Adi and Tio, C M M and McLoughlin, Ian Vince and Adi, R W (2002) Perceptual audio data concealment and watermarking scheme using direct frequency domain substitution. IEE Proceedings - Vision, Image & Signal Processing, 149 (6). p. 335. ISSN 1350-245X. (doi:https://doi.org/10.1049/ip-vis:20020664) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

Cakic, Jovan (2003) A High-level Framework for Policy-based Management of Distributed Systems. Doctor of Philosophy (PhD) thesis, Computing Laboratory. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cakic, Jovan (2000) Intelligent infrastructure that support system's changes. In: 13th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE 2000), New Orleans, Louisiana. (doi:https://doi.org/10.1007/3-540-45049-1_43) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

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

Camilleri, Juanito and Zammit, Vincent (1994) Symbolic Animation as a Proof Tool. In: Proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and its Applications, Valletta, Malta. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Campos, Marcília A. and da Silva, Erick Lopes and de Carvalho Pedrosa, Diogo and de Castro e Silva, Jorge Luiz and Loureiro, Janine A. and Ferraz, Carlos A.G. (2004) NetBook: uma ferramenta para avaliação de desempenho de sistemas de comunicação. In: Proceedings of the 22nd Brazilian Symposium on Computer Networks - III Tools Special Session, May 2004, Gramado/RS,. (Full text available)
[img]
Preview

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

Canuto, Anne and Howells, Gareth and Fairhurst, Michael (2000) An investigation of the effects of variable vigilance within the RePART neuro-fuzzy network. Journal of Intelligent & Robotic Systems, 29 (4). pp. 317-334. ISSN 0921-0296. (doi:https://doi.org/10.1023/A:1008159908688) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Canuto, Anne and Howells, Gareth and Fairhurst, Michael (2000) The use of confidence measures to enhance combination strategies in multi-network neuro-fuzzy systems. Connection Science, 12 (3-4). pp. 315-331. ISSN 0954-0091. (doi:https://doi.org/10.1080/09540090010014089) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Carter, Janet (1999) Collaboration or Plagiarism: What happens when students work together. In: Manaris, B., ed. Proceedings of the 4th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE'99). SIGCSE Bulletin : A Quarterly Publication of the Special Interest Group on Computer Science Education, 31. Assoc Computing Machinery, Krakow, Poland pp. 52-55. ISBN 1-58113-087-2. (doi:https://doi.org/10.1145/384267.305848) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Carter, Janet and Jenkins, Tony (1999) Gender and programming: What's going on? In: ITICSE '99: Proceedings of the 4th Annual SIGCSE/SIGCUE Conference on Innovation and Technology in Computer Science Education. SIGCSE Bulletin : A Quarterly Publication of the Special Interest Group on Computer Science Education, 31. Assoc Computing Machinery, Cracow, Poland pp. 1-4. ISBN 1-58113-087-2. (doi:https://doi.org/10.1145/384267.305824) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

Cedric, Tio M M and Adi, Robertus Wahendro and McLoughlin, Ian Vince (2000) Data concealment in audio using a nonlinear frequency distribution. 2000 TENCON Proceedings. Intelligent Systems and Technologies for the New Millennium (Cat. No.00CH37119), 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)

Cedric, Tio M M and Adi, Robertus Wahendro and McLoughlin, Ian Vince (2000) Data concealment in audio using a nonlinear frequency distribution of PRBS coded data and frequency-domain LSB insertion. In: UNSPECIFIED, 24 Sep 2000-27 Sep 2000, Kuala Lumpur. (doi:https://doi.org/10.1109/TENCON.2000.893586) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

Chadwick, David W. (2004) PKI Past, Present and Future. In: First EuroPKI Workshop, Samos, 25 June 2004. (Full text available)
[img]
Preview

Chadwick, David W. and Dimitrakos, Theo and Dam, Kerstin Kleese-Van and Randal, Damian Mac and Matthews, Brian and Otenko, Alexander (2004) Multilayer Privilege Management for Dynamic Collaborative Scientific Communities. In: Workshop on Grid Security Practice and Experience, Oxford, UK. (Full text available)
[img]
Preview

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

Chadwick, David W. and Lunt, Graeme and Zhao, Gansen (2004) Secure Role-based Messaging. In: Eighth IFIP TC-6 TC-11 Conference on Communications and Multimedia Security (CMS 2004),Windermere, UK, SEP 15-18, 2004, Windermere, England. (Full text available)
[img]
Preview

Chadwick, David W. and Otenko, Sassa and Xu, Wensheng (2005) Adding Distributed Trust Management to Shibboleth. In: NIST 4th Annual PKI Workshop. , Gaithersberg, USA pp. 3-14. (Full text available)
[img]
Preview

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

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

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

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

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

Chan, Syin (1992) Recompression of Still Images. Technical report. UKC, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

UNSPECIFIED (2002) METHOD AND APPARATUS FOR SPEECH ENHANCEMENT IN A SPEECH COMMUNICATION SYSTEM. . (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Chen, Xian and Megson, G.M (1995) A General Methodology of Partition and Mapping for Given Regular Arrays. IEEE Transactions on Parallel and Distributed Systems, 6 (10). pp. 1100-1107. ISSN 1045-9219. (doi:https://doi.org/10.1109/71.473518) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

Cheng, Russell C.H. (1995) Bootstrap methods in computer simulation experiments. In: 1995 Winter Simulation Conference, Arlington, Va. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cheng, Russell C.H. and Traylor, L. (1995) Characterization of material strength properties using probabilistic mixture models. In: 7th International Conference on Computational Methods and Experimental Measurements (CMEM 95), Capri, Italy. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

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

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

Chennu, Srivas and Habel, Kai and Langer, Klaus-Dieter (2006) Protected Ethernet Rings for Optical Access Networks. In: Proceedings of the 7th ITG Symposium on Photonic Networks. (Full text available)
[img]
Preview

Chennu, Srivas and Habel, Kai and Langer, Klaus-Dieter (2006) QoS-aware Traffic Protection for Access Rings. In: 11th European Conference on Networks and Optical Communications, 10-13 July 2006, Berlin, Germany. (Full text available)
[img]

Chennu, Srivas and Nagaraj, Vishwas (2001) Mobile Ad Hoc Networks. In: Institute of Engineers technical seminar. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Chennu, Srivas and Nagaraj, Vishwas (2001) Parallel Computing using Linux Clusters: PFract - A Parallel Fractal Generation Program. In: Computer Society of India technical seminar. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

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

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

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

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

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

Chong, F and Pawlikowski, K and McLoughlin, Ian Vince (2003) Evaluation of ITU-T G. 728 as a voice over IP codec for Chinese speech. 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)

Chong, Fong Loong and McLoughlin, Ian Vince and Pawlikowski, Krzysztof (2005) A methodology for improving PESQ accuracy for Chinese speech. In: UNSPECIFIED, 21-24 Nov. 2005, Melbourne, Qld.. (doi:https://doi.org/10.1109/TENCON.2005.301105) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

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

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

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

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

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

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

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

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

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

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

Cole, Fred C. and Oxborrow, Elizabeth and Brown, Heather (1992) An Object-Oriented Toolkit for Structured Documents. In: EP92: Proceedings of Electronic Publishing 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)

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

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

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

Cooper, Ian (1994) Indexing the World. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Cooper, Ian (1998) Web Resource Re-discovery - Personal Resource Storage and Retrieval on the World Wide Web. Doctor of Philosophy (PhD) thesis, University of Kent at Canterbury. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cooper, Ian and Shufflebotham, Royston (1995) PDA Web Browsers: Implementation Issues. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

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

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

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

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

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

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

Cronk, Jonathan and Sharp, John A. (1995) A framework for deciding what to outsource in information technology. Journal of Information Technology, 10 (4). pp. 259-267. ISSN 0268-3962. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

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

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

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

Curtis, Tony (1994) PEST: A Knowledge Based System for Product Promotions. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

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

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

Czech, Zbigniew and Mikanik, Wojciech (1996) Randomized PRAM Simulation Using T9000 Transputers. Technical report. UKC, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

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

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

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

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

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

D

Dallas, I. (1993) UCSG UNIX applications workshop, university-of-kent, July 6 and 7 1993. University Computing, 15 (4). pp. 195-200. ISSN 0265-4385. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

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

Davies, Nigel and Davy, M.J. and Blair, Gordon S. and Mariani, John A. (1993) Object invocation and management in the zenith distributed multimedia information-system. Information and Software Technology, 35 (5). pp. 259-266. ISSN 0950-5849. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Day, Warren (1992) Farming: towards a rigorous definition and efficient transputer implementation. In: Transputer Systems -- Ongoing Research, Proceedings of WoTUG 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)

Day, Warren and Hill, Steve (1993) Farming: Towards a Rigorous Definition and Efficient Transputer Implementation. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

De Castro Lima, Antonio Cesar and Descardeci, José Ricardo and Giarola, Attilio José (1992) Circular Microstrip Antenna on a Spherical Surface. Microwave and Optical Technology Letters, 5 (5). pp. 221-224. ISSN 0895-2477. (doi:https://doi.org/10.1002/mop.4650050506) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

de Lemos, Rogério and Gacek, Cristina and Romanovsky, Alexander, eds. (2003) Architecting Dependable Systems. Springer-Verlag, Berlin, Heidelberg (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

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

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

Demiralp, S.V. (1996) Configuring Distributed occam Programs using Doc. In: Proceedings of the PDPTA''96. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Dent, Alan and Hanna, Keith (1993) Reasoning about array structures using a dependently typed logic. In: Agnew, David and Claesen, Luc J. M. and Camposano, Raul, eds. IFIP transactions a-computer science and technology. Elsevier Science Publ B V pp. 207-224. ISBN 0-444-81641-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)

Derrick, John and Boiten, Eerke Albert (1999) Calculating upward and downward simulations of state-based specifications. Information and Software Technology, 41 (13). pp. 917-923. ISSN 0950-5849. (doi:https://doi.org/10.1016/S0950-5849(99)00044-0) (Full text available)
[img]
Preview
[img]
Preview

Derrick, John and Boiten, Eerke Albert (1999) Non-atomic refinement in Z. In: Wing, Jeannetter M. and Woodchck, Jim and Davies, Jim, eds. FM’99 — Formal Methods. Lecture Notes In Computer Science, 1709. Springer-Verlag Berlin, Berlin, Germany pp. 1477-1496. ISBN 978-3-540-66588-5. (doi:https://doi.org/10.1007/3-540-48118-4_28) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Derrick, John and Boiten, Eerke Albert (2003) Recent advances in refinement. In: 10th International Workshop on Abstract State Machines, MAR 03-07, 2003, TAORMINA, ITALY. (doi:https://doi.org/10.1007/3-540-36498-6_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)

Derrick, John and Boiten, Eerke Albert (1998) Testing refinements by refining tests. In: 11th International Conference of Z Users on the Z Formal Specification Notation (ZUM 98), SEP 24-26, 1998, Berlin, Germany. (Full text available)
[img]
Preview
[img]
Preview

Derrick, John and Boiten, Eerke Albert and Bowman, Howard and Steen, Maarten (1999) Viewpoints and consistency: translating LOTOS to Object-z. Computer Standards and Interfaces, 21 (3). pp. 251-272. ISSN 0920-5489. (doi:https://doi.org/10.1016/S0920-5489(99)00010-0) (Full text available)
[img]
Preview
[img]
Preview

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

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

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

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

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

Dimmich, Damian J. and Jacobsen, Christian L. and Jadud, Matthew C. (2006) Concurrency: The Next Generation. In: Postgraduate Conference 2006, 19 June 2006, Canterbury, United Kingdom. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Ding, Zhong-Qiang Q and McLoughlin, Ian Vince and Tan, Eng-Chong C (2003) Extension of proposal of standards for intelligibility tests of Chinese speech: CDRT-tone. IEE Proceedings-Vision, Image and Signal Processing, 150 (1). pp. 1-5. ISSN 1350-245X. (doi:https://doi.org/10.1049/ip-vis:20030161) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Ding, Zhongqiang Q and McLoughlin, Ian Vince and Tan, E C (2001) How to track pitch pulse in LP residual - Joint Time-Frequency Distribution Approach. In: IEEE Pacific Rim Conference on Communications, Computers and Signal Processing. 8th 2001, 26 Aug 2001-28 Aug 2001, Victoria, BC. (doi:https://doi.org/10.1109/PACRIM.2001.953518) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Ding, Zhongqiang and McLoughlin, Ian Vince and Tan, E C (2001) How to track pitch pulses in LP residual ? - joint time-frequency. 2001 IEEE Pacific Rim Conference on Communications, Computers and Signal Processing (IEEE Cat. No.01CH37233), 1 . pp. 43-46. (doi:https://doi.org/10.1109/PACRIM.2001.953518) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

Douglas, Andrew (1996) A Compiled Functional Language with a Martin-Lof Type System. Doctor of Philosophy (PhD) thesis, Computing Laboratory, University of Kent at Canterbury. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Dowle, James and Kuo, Shyh Hao and Mehrotra, Kishore and McLoughlin, Ian Vince (2006) FPGA-based MIMO and Space-Time Processing Platform. 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)

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

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

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

da Gracca Campos Pimentel, Maria (1992) Showing the destination of hypertext links: a new approach for Guide. Technical report. UKC, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

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

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

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

da Silva, Erick Lopes (2004) Qualidade de Serviço em Aplicações de Telemedicina. In: XI Scientific Initiation Congress of the Federal University of Pernambuco. , Recife/PE - Brazil (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

da Silva, Erick Lopes (2006) Um Modelo de Segurança Para o Canal de Interatividade do Sistema Brasileiro de TV Digital: Arquitetura e Implementação. Other masters thesis, Federal University of Pernambuco. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

da Silva, Erick Lopes and Assad, Rodrigo Elia and Ferraz, Carlos A.G. and Fried, Mario (2006) Um Modelo de Segurança para o Canal de Interatividade da TV Digital: Arquitetura e Implementação. 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)

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

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

de Carvalho, Paulo Manuel Martins (1996) Interaction of Periodic Bursty Traffic Flows in ATM Networks. Doctor of Philosophy (PhD) thesis, Computing Laboratory, University of Kent at Canterbury. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogerio (2007) Architectural Reconfiguration of Software Systems using Atomic Actions. In: Supplemental Proceedings of the 36th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2006), June 2006, Philadelphia , PA , USA. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogerio (2007) Architectural fault tolerance using exception handling. In: Architecting dependable systems IV. Springer-Verlag, Berlin, Heidelberg, pp. 142-162. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogerio (2000) A Co-operative Object-Oriented Architecture for Adaptive Systems. In: Seventh IEEE International Conference and Workshopon the Engineering of Computer Based Systems (ECBS 2000), 04/03/2000 - 04/07/2000, Edinburgh, UK. (doi:https://doi.org/10.1109/ECBS.2000.839869) (Full text available)
[img]
Preview
[img]
Preview

de Lemos, Rogerio Foreword. In: Mistrík, Ivan and Galster, Matthias and Maxim, Bruce and Bahsoon, Rami, eds. Software Engineering for Variability Intensive Systems: Foundations and Applications. CRC Press. (In press) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

de Lemos, Rogerio (2001) Representing Exceptional Behaviour at the earlier Phases of Software Development. In: Proceedings of the 9th Brazilian Symposium of Fault-Tolerant Computing (SCTF), March 2001, Florianópolis, SC, Brazil. (Full text available)
[img]
Preview

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

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

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

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

de Lemos, Rogerio and de Castro Guerra, Paulo Asterio (2005) Software Architectures for Dependable Systems. In: Dependable Computing. Lecture Notes in Computer Science, 3747. pp. 263-264. ISBN 9783540295723. (doi:https://doi.org/10.1007/11572329_22) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

de Lemos, Rogério and Gacek, Cristina and Romanovsky, Alexander, eds. (2005) Architecting Dependable Systems III. Lecture Notes in Computer Science . Springer, Berlin, 357 pp. ISBN 9783540289685. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogério (2006) Architectural Reconfiguration using Coordinated Atomic Actions. In: Proceedings of the ICSE 2006 Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2006), Shanghai, China. (doi:https://doi.org/10.1145/1137677.1137686) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

de Lemos, Rogério (2004) Self-* and Predictability: are these conflicting System Capabilities? In: Self-star Properties in Complex Information Systems. pp. 105-108. ISBN 978-3-540-26009-7. (Full text available)
[img]
Preview

de Lemos, Rogério and Gacek, Cristina and Romanovsky, Alexander, eds. (2004) Architecting Dependable Systems II. Lecture Notes in Computer Science, 3069 . Springer, 363 pp. ISBN 978-3540231684. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogério and Gacek, Cristina and Romanovsky, Alexander (2003) Architectural Mismatch Tolerance. In: de Lemos, Rogério and Gacek, Cristina and Romanovsky, Alexander, eds. Architecting Dependable Systems. Lecture Notes in Computer Science . Springer, pp. 175-196. ISBN 3-540-40727-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)

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

de Lemos, Rogério and Timmis, Jon and Ayara, Modupe and Forrest, Simon (2007) Immune-inspired adaptable error detection for automated teller machines. IEEE Transactions on Systems, Man and Cybernetics, Part C: Applications and Reviews, 37 (5). pp. 873-886. ISSN 1094-6977. (doi:https://doi.org/10.1109/TSMCC.2007.900662) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

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

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

du Boulay, Benedict and Patel, Mukesh J. and Taylor, Chris (1992) Programming Environments for Novices. In: Proc. of NATO Advanced Research Workshop on Cognitive Models and Intelligent Environments. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

E

Edwards, Marion and Morse, David R. (1995) The burden is description, not identification - Reply. Trends in Ecology and Evolution, 10 (10). pp. 416-417. ISSN 0169-5347. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Edwards, Marion and Morse, David R. (1995) The potential for computer-aided identification in biodiversity research. Trends in Ecology and Evolution, 10 (4). pp. 153-158. ISSN 0169-5347. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Edwards, Michael R. (1997) Developing a model of expertise for a taxonomic expert system. In: Bridge, Paul and Jeffries, Peter and Morse, David R. and Scott, Peter R., eds. Information Technology, Plant Pathology and Biodiversity. Cabi Publishing. Cabi Publishing-C a B Int, Wallingford pp. 183-196. ISBN 0-85199-217-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)

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

Elsehely, Ehab and Sobhy, Mohammed (2000) Real time radar target detection under jamming conditions using wavelet transform on FPGA device. IEEE International Symposium On Circuits and Systems, 4 . pp. 545-548. (doi:https://doi.org/10.1109/ISCAS.2000.858809) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

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

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

Evans, Andy and Kent, Stuart (1999) Core meta-modelling semantics of UML: The pUML approach. In: France, Robert and Rumpe, Bernhard, eds. «UML»’99 — The Unified Modeling Language. Lecture Notes in Computer Science, 1723. Springer-Verlag Berlin pp. 140-155. ISBN 3-540-66712-1. (doi:https://doi.org/10.1007/3-540-46852-8_11) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Evered, Mark and Kölling, Michael and Schmolitzky, Axel (1995) A Flexible Object Invocation Language based on Object-Oriented Language Definition. Computer Journal, 38 (3). pp. 181-191. ISSN 0010-4620. (Full text available)
[img]
Preview

F

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

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

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

Fachin, M.P.G. (1994) The Divide-and-Conquer Method for the Solution of the Symmetric Tridiagonal Eigenproblem and Transputer Implementations. Doctor of Philosophy (PhD) thesis, Computing Laboratory, University of Kent at Canterbury. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

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

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

Fernandes, G.P.A. (1998) Distributed Platform Support for Service Management. Doctor of Philosophy (PhD) thesis, University of Kent at Canterbury. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Fernandes, G.P.A. (1993) T'ecnicas de Compilacc~ao para Sistemas Distribu'idos}. Other masters thesis, Escola de Engenharia, Universidade do Minho. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Fernandes, G.P.A. and Derrick, John (1997) Formal Specification and Testing of a Management Architecture. In: 5th IFIP/IEEE International Symposium on Integrated Network Management, May 12-16, 1997, San Diego, CA,. (Full text available)
[img]
Preview
[img]
Preview

Fernandes, G.P.A. and Derrick, John (1996) Formal Specification of Distributed Services Management. In: Trends in Distributed Systems' 96. (Full text available)
[img]
Preview
[img]
Preview

Fernandes, G.P.A. and Hungate, J. (1995) Comparison of POSIX Open System Environment (OSE) and Open Distributed Processing (ODP) Reference Models. Technical report. Computer Systems Laboratory,U.S.A, Distributed Systems Engineering, Computer Systems Laboratory, Technology Administration, U.S. Department of Commerce, Gaithersburg, MD 20899, U.S.A. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

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

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

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

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

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

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

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

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

G

Gacek, Cristina and Arief, Budi (2004) The Many Meanings of Open Source. IEEE Software, 21 (1). pp. 34-40. ISSN 0740-7459. (doi:https://doi.org/10.1109/MS.2004.1259206) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Gacek, Cristina and Lawrie, Tony and Arief, Budi (2002) Interdisciplinary Insights on Open Source. In: Proceedings of the Open Source Software Development Workshop, 25th - 26th February, 2002, Newcastle upon Tyne, U.K.. (Full text available)
[img]
Preview

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

Gao, Qiang and Blow, Keith J. and Holding, David J. and Marshall, Ian W. (2003) Determining Design Parameters for Ad-hoc Wireless Sensor Networks. In: Proceedings of IEEE ETFA 2003, SEP 16-19, 2003, Lisbon, PORTUGAL. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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)

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

Gerig, Guido and Welti, Daniel and Guttmann, Charles and Colchester, Alan C. F. and Szekely, Gabor (1998) Exploring the discrimination power of the time domain for segmentation and characterization of lesions in serial MR data. In: 1st International Conference on Medical Image Computing and Computer-Assisted Intervention (MICCAI 98), Oct 11-13, 1998, Cambridge, Massachusetts. (doi:https://doi.org/10.1007/BFb0056232) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Ghafouri-Shiraz, H and McLoughlin, Ian Vince (1991) High accuracy displacement measurements for integrated optical components. In: UNSPECIFIED, Japan. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Ghafouri-Shiraz, H and McLoughlin, Ian Vince (1991) The implementation of a high accuracy optical measurement technique of particular interest to miniature optics. Microwave and Optical Technology Letters, 4 (12). pp. 524-527. (doi:https://doi.org/10.1002/mop.4650041204) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Ghosh, Siddhartha and Ryan, Nick S. (2005) Ubiquitous Data Capture for Cultural Heritage Research. In: Smart Environments and their Applications to Cultural Heritage. (Full text available)
[img]
Preview

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

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

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

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

Gomez, Rodolfo and Augusto, Juan Carlos and Galton, Antony (2000) Implementation and Testing of a Set of Event Detection Operators. Technical report. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Gomez, Rodolfo and Augusto, Juan Carlos and Galton, Antony (2001) Testing an Event Specification Language. In: Proceedings of the 13th. International Conference on Software Engineering and Knowledge Engineering (SEKE'01). (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

Gonzalez-Velazquez, Antonio and Sacks, Lionel and Marshall, Ian W. (2002) Ad-hoc Sensor Network Experimentation using the RCX by Mindstorms. In: Proceedings of IFIPWG6.7 Workshop. (Full text available)
[img]
Preview

Gonzalez-Velazquez, Antonio and Sacks, Lionel and Marshall, Ian W. (2002) Simple Spontaneous Mechanism for Flexible Data Communication in Wireless Ad-hoc Sensor Networks. In: Proceedings of LCS. (Full text available)
[img]
Preview

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

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

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

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

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

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

Grosso, Sergio and Tully, Alan and Arief, Budi and Marques, Antonio and Matoses, Manuel Serrano (2006) Collaborations among in-vehicle and infrastructure-based sensing technology for automotive applications: The EMMA and TRACKSS EU Projects. In: IET Seminar on RFID and Electronic Vehicle Identification in Road Transport, 29 Nov 2005, Newcastle; United Kingdom. (doi:https://doi.org/10.1049/ic:20060135) (Full text available)
[img]
Preview

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

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

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

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

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

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

Guest, Richard and Fairhurst, Michael and Potter, Jonathan (2000) Automated extraction of image segments from clinically diagnostic hand-drawn geometric shapes. Proceedsings of the 26th Euromicro Conference, Vols I and II, . A440-A446. ISSN 1089-6503. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Guitierrez, Carlos Ramierez (1998) A Theory of Episodic Memory for Case-based Reasoning and its Implementation. Doctor of Philosophy (PhD) thesis, University of Kent at Canterbury. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

H

Haas, S. and Thornley, D.A. and Zhu, M. and Dobinson, R.W. and Heeley, R. and Madsen, N.A.H. and Martin, B. (1997) The Macrame 1024 node switching network. In: Hertzberger, Bob and Sloot, Peter M. A., eds. Lecture Notes in Computer Science. Lecture Notes in Computer Science, 1225. Springer-Verlag Berlin pp. 870-877. ISBN 3-540-62898-3. (doi:https://doi.org/10.1007/BFb0031573) (Full text available)
[img]
Preview
[img]
Preview

Haas, S. and Thornley, D.A. and Zhu, M. and Dobinson, R.W. and Heeley, R. and Madsen, N.A.H. and Martin, B. (1998) Results from the Macrame 1024 node switching network. In: International Conference on Computing in High Energy Physics (CHEP 97), Apr 07-11, 1997, Berlin, Germany. (doi:https://doi.org/10.1016/S0010-4655(97)00178-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)

Haas, S. and Thornley, D.A. and Zhu, M. and Dobinson, R.W. and Martin, B. (1998) The Macrame 1024 node switching network. Microprocessors and Microsystems, 21 (7-8). pp. 511-518. ISSN 0141-9331. (doi:https://doi.org/10.1016/S0141-9331(98)00044-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)

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

Hanna, Keith (2000) Reasoning about analog-level implementations of digital systems. Formal Methods in System Design, 16 (2). pp. 127-158. ISSN 0925-9856. (doi:https://doi.org/10.1023/A:1008791128550) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hanna, Keith (1998) Reasoning about imperfect digital systems. In: Moller, Bernhard Moller and Tucker, John V, eds. Prospects for Hardware Foundations. Lecture Notes in Computer Science, 1546 . Springer-Verlag Berlin, Berlin, pp. 333-355. ISBN 0302-9743. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hanna, Keith and Daeche, Neil (1987) An Algebraic Approach to Computational Logic. In: Proc Workshop on Programming Logic. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hanna, Keith and Daeche, Neil (1986) Specification and Verification of Digital Systems using Higher-Order Logic. Proc. IEE, Part E, . pp. 242-254. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hanna, Keith and Daeche, Neil (1992) The Veritas Design Logic - a Users View. IFIP Transactions A-Computer Science And Technology, 10 . pp. 301-310. ISSN 0926-5473. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hanna, Keith and Daeche, Neil (1992) The Veritas Design Logic - a Users View. In: International Conf on Theorem Provers in Circuit Design : Theory, Practice and Experience, June 22-24, 1992, Nijmegen, Netherlands. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hanna, Keith and Daeche, Neil and Howells, Gareth (1992) Implementation of the Veritas Design Logic. In: International Conference On Theorem Provers in Circuit Design : Theory, Practice And Experience. IFIP Transactions A-Computer Science and Technology, 10. Elsevier Science BV, Nijmegen, Netherlands pp. 77-94. ISBN 0-444-89686-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)

Hanna, Keith and Daeche, Neil and Longley, Mark (1990) Specification and Verification using Dependent Types. IEEE Transactions Software Engineering, SE-16 (9). pp. 949-964. (doi:https://doi.org/10.1109/32.58783) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

Hatton, Leslie (1999) Repetitive failure, feedback and the lost art of diagnosis. Journal of Systems and Software, 47 (2-3). pp. 183-188. ISSN 0164-1212. (doi:https://doi.org/10.1016/S0164-1212(99)00038-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)

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

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

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

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

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

Henderson, Philip J. and Webb, David J. and Jackson, David A. and Zhang, Leishi and Bennion, Ian (1999) Highly-multiplexed grating-sensors for temperature-referenced quasi-static measurements of strain in concrete bridges. In: 13th International Conference on Optical Fiber Sensors and Workshop on Device and System Technology Toward Future Optical Fiber Communication and Sensing, Apr 12-16, 1999, Kyongju, South Korea. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

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

Hersch, Roger and Andre, Jacques and Brown, Heather (1998) Electronic Publishing, Artistic Imaging, and Digital Typography. Lecture Notes in Computer Science . Springer-Verlag, 574 pp. ISBN 3-540-64298-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)

Hesketh, Richard (1991) Perly - unix with buttons. Software: Practice and Experience, 21 (11). pp. 1165-1187. ISSN 0038-0644. (doi:https://doi.org/10.1002/spe.4380211103) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hierons, R. and Derrick, John (2000) Editorial: Special issue on specification-based testing. Software Testing Verification & Reliability, 10 (4). pp. 201-202. ISSN 0960-0833. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hobbs, M.H.W. (1995) Analysis of a retail branch network: a problem of catchment areas. In: Fisher, Peter, ed. Inovations in GIS 2. Taylor & Francis, pp. 151-161. ISBN 074840269-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)

Hobbs, M.H.W. (2000) Email groups for learning and assessment. In: 5th Annual SIGCSE/SIGCUE Conference on Innovation and Technology in Computer Science Education (ITICSE 2000), JUL 11-13, 2000, Helsinki, Finland. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hobbs, M.H.W. (1996) Spatial clustering using a genetic algorithm. In: Parker, David, ed. Innovatins in GIS 3. Taylor & Francis, pp. 85-95. ISBN 0748404597. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

Hopkins, Tim (1998) Certification of Algorithm 734: A Fortran 90 code for unconstrained nonlinear minimization. Acm Transactions on Mathematical Software, 24 (3). pp. 351-354. ISSN 0098-3500. (doi:https://doi.org/10.1145/292395.292460) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hopkins, Tim (1997) Is the quality of numerical subroutine code improving? In: Arge, Erlend and Bruaset, Are Magnus and Langtangen, Hans Petter and Math, Norwegian Res and Council, Norway, eds. Modern Software Tools for Scientific Computing. Birkhauser Boston pp. 311-324. ISBN 0-8176-3974-8. (Full text available)
[img]
Preview
[img]
Preview

Hopkins, Tim (1996) Restructuring software: A case study. Software: Practice and Experience, 26 (8). pp. 967-982. ISSN 0038-0644. (doi:https://doi.org/10.1002/(SICI)1097-024X(199608)26:8<967::AID-SPE41>3.0.CO;2-G) (Full text available)
[img]
Preview
[img]
Preview

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

Hopkins, Tim and Morse, David R. (1997) The implementation and visualisation of a large spatial individual-based model. In: Denzer, Ralf and Swayne, David A. and Schimak, Gerald, eds. Environmental Software Systems volume 2. Chapman & Hall pp. 284-291. ISBN 0-412-81740-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)

Hopkins, Tim and Welch, Peter H. (1996) Transputer data-flow solution for systems of linear equations. Concurrency-Practice and Experience, 8 (8). pp. 569-580. ISSN 1040-3108. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

Howe, Jacob M. (1998) A `Permutation-free' Calculus for Lax Logic. Technical report. (Full text available)
[img]
Preview
[img]
Preview

Howe, Jacob M. (1998) Proof Search Issues in Some Non-Classical Logics. Doctor of Philosophy (PhD) thesis, University of St Andrews. (Full text available)
[img] [img]
Preview

Howe, Jacob M. (1996) Theorem Proving and Partial Proof Search for Intuitionistic Propositional Logic Using a Permutation-free Calculus with Loop-Checking. Technical report. (Full text available)
[img]
Preview
[img]
Preview

Howe, Jacob M. and King, Andy (2000) Abstracting numeric constraints with Boolean functions. Information Processing Letters, 75 (1-2). pp. 17-23. ISSN 0020-0190. (doi:https://doi.org/10.1016/S0020-0190(00)00081-8) (Full text available)
[img]
Preview
[img]

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

Howells, Gareth and Fairhurst, Michael and Bisset, D.L. (1995) BCN - A Novel Network Architecture for ram-Based Neurons. Pattern Recognition Letters, 16 (3). pp. 297-303. ISSN 0167-8655. (doi:https://doi.org/10.1016/0167-8655(94)00098-N) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Huang, P. and Marshall, Ian W. (2002) New Flooding Control Schemes Applied in Route Initialisation for the Ad-hoc On Demand Routing Protocols. In: Proceedings of LCS. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Huay, Y E and McLoughlin, Ian Vince (2001) Error Detection and Correction for microsatellite software running on {COTS} processors. 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)

Hungate, J. and Fernandes, G.P.A. (1995) Distributed Systems: Survey of Open Management Approaches. Technical report. , Distributing Systems Engineering, Computer Systems Laboratory, Technology Administration, U.S. Department of Commerce, Gaithersburg, MD 20899, U.S.A. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

I

Ibbetson, Alan L. and Linington, Peter F. and Penny, Ian and Smith, Abraham B. and Tripp, Gerald (1996) Reducing the cost of remote procedure call. In: IFIP/IEEE International Conference on Distributed Platforms, FEB, 1996, Dresden, Germany. (doi:https://doi.org/10.1007/978-0-387-34947-3_32) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

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

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

Induruwa, A.S. (1999) Growth of Internet Based Services with special reference to Sri Lanka. In: Proceedings of the International Information Technology Conference '99 (IITC '99). (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Induruwa, A.S. (1999) Information Technology Development in Sri Lanka - A Review. Journal of the National Science Foundation of Sri Lanka, 27 (4). ISSN 1391-4588. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

J

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

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

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

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

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

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

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

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

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

Johnson, Leslie (1998) Revisiting Simon on the Design of Complex Systems. Systems Research and Information Science, 7 (4). pp. 213-224. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Johnson, Leslie and Stergiou, Maria (1999) BPR - Enabled Systems Engineering. In: Khoong, Chan Meng, ed. Reengineering in Action: The Quest for World-Class Excellence. Imperial College Press, World Scientific Co. ISBN 1-86094-139-7. (Full text available)
[img]

Johnson, Leslie and Stergiou, Maria (1999) Emergent design and development of information systems: The theoretical justification. In: Torres, M. and Sanchez, B. and Wills, E., eds. World Multiconference on Systemics, Cybernetics and Informatics, Vol 8, Proceedings - Concepts and Applications of Systemics, Cybernetics and Informatics. Int Inst Informatics & Systemics, Florida, USA pp. 457-463. ISBN 980-07-5919-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)

Johnson, Leslie and Stergiou, Maria (1997) Integrating BPR and Systems Development using Meta-Models. In: Proceedings - BPR Year 97 Europe. (Full text available)
[img]

Johnson, Leslie and Stergiou, Maria (1997) The Link between BPR, Evolutionary Delivery and Evolutionary Development. In: SCI'97 Proceedings - World Multiconference on Systemics, Cybernetics and Informatics. (Full text available)
[img] [img]
Preview

Johnson, Leslie and Stergiou, Maria (1997) The Necessary Architecture of Self-Regulating Teams. In: ME-SELA'97 Proceedings - International Conference on Managing Enterprises - Stakeholders, Engineering, Logistics, and Achievement, Jul 22-24, 1997, Loughborough Univ, Dept Mfg Engn; Loughborough Univ, Dept Transport Studies. (Full text available)
[img] [img]
Preview

Jones, Richard E. (2003) DO garbage collection. Technical report. Kent University, Kent, UK 2-03. (doi:2-03) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

Jones, Richard E. (1995) Introducing More Systematic Quality Assurance Arrangements for Course Approval and Review. In: Middlehurst, Robin, ed. Managing for Quality: Stories and Strategies. Higher Education Quality Council, pp. 15-17. ISBN 1--85824--234--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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Justo, George R. R. and Welch, Peter H. (1992) Serialization as a Paradigm for the Engineering of Parallel Programs. In: Etiemble, D. and Syre, J.C., eds. Parle 92 : Parallel Architectures And Languages Europe. Lecture Notes in Computer Science, 605. Springer-Verlag Berlin, Berlin, Berlin pp. 975-976. ISBN 3-540-55599-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)

Justo, George R. R. and Welch, Peter H. (1993) Serialization as a paradigm for the engineering of parallel programs. Computers and Artificial Intelligence, 12 (3). pp. 229-249. ISSN 0232-0274. (doi:https://doi.org/10.1007/3-540-55599-4_149) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

K

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Kafalı, Özgür and Yolum, Pınar (2006) Trust strategies for ART Testbed. In: 9th International Workshop on Trust in Agent Societies. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

Kaganovsky, Alexander (2004) Exact Computing in Positional Weighted Systems. Doctor of Philosophy (PhD) thesis, Computing Laboratory. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kahrs, Stefan and Sannella, Don (1998) Reflections on the design of a specification language. In: Astesiano, Egidio, ed. Lecture Notes in Computer Science. Springer-Verlag Berlin pp. 154-170. ISBN 3-540-64303-6. (doi:https://doi.org/10.1007/BFb0053578) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

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

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

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

Kalli, Kyriacos and Jackson, David A. (1995) Dynmic-Response of High-Resolution Ring-Resonator Optical Spectrometers to time-Varing Input Signals. 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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Kemp, Zarine P. (1999) A framework for integrating GIS and digital images. In: Agouri, Peggy and Stefanidis, Anthony, eds. Integrated Spatial Databases - Digital Images and GIS. Lecture Notes in Computer Science, 1737. Springer-Verlag Berlin, Berlin Germany pp. 153-167. ISBN 3-540-66931-0. (doi:https://doi.org/10.1007/3-540-46621-5_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)

Kemp, Zarine P. and Oxborrow, Elizabeth and Davy, M.J. and Linington, Peter F. and Thearle, R. and Blair, Gordon S. and Dark, P. and Davies, N.A. and Mariani, John A. and Snape, C. (1992) Zenith System for Object Management In Distributed Multimedia Design Environments. Information and Software Technology, 34 (7). pp. 427-436. ISSN 0950-5849. (doi:https://doi.org/10.1016/0950-5849(92)90034-M) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kent, Stuart and Howse, John (1999) Mixing visual and textual constraint languages. In: France, Robert and Rumpe, Bernhard, eds. «UML»’99 — The Unified Modeling Language. Lecture Notes In Computer Science, 1723. Springer-Verlag Berlin, Berlin Germany pp. 384-398. ISBN 3-540-66712-1. (doi:https://doi.org/10.1007/3-540-46852-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)

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

King, Andy and Lu, Lunjin (2002) A Backward Analysis for Constraint Logic Programs. Theory and Practice of Logic Programming, 2 (4-5). pp. 517-547. ISSN 1471-0684. (doi:https://doi.org/10.1017/S1471068402001436) (Full text available)
[img]

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

King, Andy and Soper, Paul (1992) Schedule Analysis of Concurrent Logic Programs. In: Apt, Krzysztof, ed. Joint International Conference and Symposium for Logic Programming. Logic Programming . MIT Press, USA, pp. 478-492. ISBN 9780262510646. (Full text available)
[img]
Preview

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

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

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

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

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

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

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

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

Kuo, S H and Dowle, J and McLoughlin, Ian Vince (2004) A reconfigurable platform for MIMO research - realtime implementation of a 4x4 adaptive multi-variate DFE. In: UNSPECIFIED, Virginia, USA. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kuo, S H and McLoughlin, Ian Vince (2004) FPGA Implementation of Space-Time Block Coding System. In: UNSPECIFIED, 31 May-2 June 2004, Shanghai, China. (doi:https://doi.org/10.1109/CASSET.2004.1321957) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kuo, S and McLoughlin, Ian Vince and Mehrotra, K (2003) Reconfigurable processing framework for space-time block codes. 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)

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

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

Kölling, Michael and Rosenberg, John (1999) On Creation, Equality and the Object Model. In: 32nd International Conference on Technology of Object-Oriented Languages (TOOLS), 22-25 November 1999, Melbourne, Australia. (doi:https://doi.org/10.1109/TOOLS.1999.809427) (Full text available)
[img]
Preview

L

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

Lam, K.P. and Horne, E. (1993) Enhanced Kernel Estimation Technique For Pattern-Classification. Electronics Letters, 29 (24). pp. 2130-2131. ISSN 0013-5194. (doi:https://doi.org/10.1049/el:19931424) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Lam, K.P. and Horne, E. (1993) Novel Technique To Combine Bws And Fws Classifiers. Electronics Letters, 29 (19). pp. 1702-1704. ISSN 0013-5194. (doi:https://doi.org/10.1049/el:19931132) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

Lamming, Mik G. and Brown, Peter J. (1994) The Design of a Human Memory Prosthesis. Computer Journal, 37 (3). pp. 153-163. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

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

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

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

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

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

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

Langford, C. (1995) Law and, disorder in netville - we need ethical decisions now on what the internet should be, not legislation tomorrow, claims. New Scientist, 146 (1982). pp. 52-53. ISSN 0262-4079. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Langford, Duncan (1999) Business Computer Ethics. Pearson Education, 190 pp. ISBN 0 201 34279 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)

Langford, Duncan (1997) Ethical Issues in Network System Design. Australian Journal of Information Systems, 4 (2). pp 127-132. ISSN 1039-7841. (Full text available)
[img]
Preview

Langford, Duncan (1997) Regency Minton Porcelain 1800-1815. Langford &amp; Clark, Canterbury, Kent ISBN 0-953-04340-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)

Langford, Duncan and Brown, Peter J. (1993) Creating hypertext documents - Is it worth the effort. Aslib Proceedings, 45 (4). pp. 91-95. ISSN 0001-253X. (doi:https://doi.org/10.1108/eb051311) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

Lauder, Anthony and Dumas, Marlon and Frohner, Akos and Oliver, Ian (2000) PhDOOS 2000: The 10th Ph.D. workshop on object-oriented systems. In: Malaenfant, Jacques and Moisan, Sabine and Moreira, Ana, eds. Object-Oriented Technology: Ecoop 2000 Workshop Reader: Ecoop 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12-16, 2000 Proceedings. Lecture Notes in Computer Science, 1964 . Springer Verlag Berlin, pp. 78-92. ISBN 3-540-41513-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)

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

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

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

Lee, Howard and Kemp, Zarine P. (1997) Towards a multiple placement land suitability evaluation framework. In: 7th International Symposium on Spatial Data Handling (SDH 96), 1996, Delft, Netherlands. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Leech, Helen K. and Kemp, Zarine P. (1998) Supporting complex spatiotemporal analysis in GIS. In: Carver, S., ed. Investigation in GIS5. Taylor & Francis Ltd pp. 151-161. ISBN 0-7484-0810-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)

Li, Huiqing and Reinke, Claus and Thompson, Simon (2004) Progress on HaRe: the Haskell Refactorer. Other. kent university (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)

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

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

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

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

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

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

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

Li, Ning (1993) An Implementation of OCR System Based on Skeleton Matching. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

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

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

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

Li, Zongge and Tan, E C and McLoughlin, Ian Vince and Teo, T T (2000) Proposal of standards for intelligibility tests of Chinese speech. Vision, Image and Signal Processing, IEE Proceedings-, 147 (3). pp. 254-260. ISSN 1350-245X. (doi:https://doi.org/10.1049/ip-vis:20000189) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Lim, S and McLoughlin, Ian Vince and Bretschneider, T and Schroder, H (2003) Reconfigurable, fault tolerant and high performance payload for space missions. In: UNSPECIFIED, Washington DC, USA. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Lindsey, Donna (1995) RIVUS: A Template Language for Modelling Multimedia Streams. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Linington, Peter F. (1992) Introduction to the open distributed-processing basic reference model. In: Meer, J.de. and Heymer, V. and Roth, R., eds. Open Distributed Processing. IFIP Transactions C-Communication Systems, 1. Elsevier Science BV, Po Box 211, 1000 AE Amsterdam, Netherlands, Amsterdam pp. 3-13. ISBN 0-444-89329-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)

Linington, Peter F. (1999) An ODP approach to the development of large middleware systems. In: Kutvonen, Lea and Konig, H. and Tienari, M., eds. Distributed Applications and Interoperable Systems II, Helsinki. Kluwer Academic Publishers, USA pp. 61-74. ISBN 0-7923-8527-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)

Linington, Peter F. and Milosevic, Zoran and Raymond, Kerry (1998) Policies in communities: Extending the ODP enterprise viewpoint. In: Enterprise Distributed Object Computing Workshop, 1998. EDOC '98. Proceedings. Second International. Ieee pp. 14-24. ISBN 0-7803-5158-4. (doi:https://doi.org/10.1109/EDOC.1998.723238) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Lins, Rafael D. (1992) Cyclic Reference Counting With Lazy Mark-Scan. Information Processing Letters, 44 (4). pp. 215-220. ISSN 0020-0190. (doi:https://doi.org/10.1016/0020-0190(92)90088-D) (Full text available)
[img] [img]
Preview

Lins, Rafael D. (1992) A Multiprocessor Shared Memory Architecture for Parallel Cyclic Reference Counting. In: 18th Symposium On Microprocessing And Microprogramming ( Euromicro-92 ) : Software And Hardware : Specification And Design. Microprocessing And Microprogramming ( Euromicro-92 ) : Software And Hardware : Specification And Design, 35. Elsevier Science Bv, Paris, France pp. 563-568. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Lins, Rafael D. and Neto, Mario Guimaraes and Neto, Leopoldo Franca and Rosa, Luciano Galdino (1994) An environment for processing images of historical documents. Microprocessing and Microprogramming, 40 (10-12). pp. 939-942. ISSN 0165-6074. (doi:https://doi.org/10.1016/0165-6074(94)90074-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)

Liu, Wenbin and Barrett, John W. (1993) Error bounds for the finite element approximation of a degenerate quasilinear parabolic variational inequality. Advances in Computational Mathematics, 1 (2). pp. 223-239. ISSN 1019-7168. (doi:https://doi.org/10.1007/BF02071387) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

LoMing, J and McLoughlin, Ian Vince (2006) Performance investigation and implementation of a real-time adaptive {MIMO-DFE} system. In: UNSPECIFIED, Oct. 2006, Singapore. (doi:https://doi.org/10.1109/ICCS.2006.301367) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Locke, T (2001) Towards a Viable Alternative to OO -- Extending the sf occam/CSP Programming Model. In: Chalmers, Alan and Mirmehdi, Majid and Muller, Henk, eds. Communicating process architectures 2001. Concurrent Systems Engineering Series, 59 . IOS Press, Amsterdam, The Netherlands, pp. 329-349. ISBN 158603202X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Lopes, Adilson and Silva, Carlos and Elias, Gledson and Magalhães, Maurício F. (2006) Um Modelo de Metacomponentes para Suporte à Adaptação Dinâmica em um Middleware para Sistemas de Televisão Interativa. In: ACM International Conference Proceeding Series. ACM International Conference Proceeding Series, 192. ACM, New York pp. 193-202. ISBN 85-7669-100-0. (doi:https://doi.org/10.1145/1186595.1186619) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

M

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

Makinson, Gordon and Wojtulewicz, M. (1993) Further Development of a Distributed Transputer Based X Server. In: Proceedings of the Seventh International Parallel Processing Symposium. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Mansfield, Elizabeth L. and Clarkson, Peter (1997) Symmetries and exact solutions for a 2+1-dimensional shallow water wave equation. Mathematics and Computers in Simulation, 43 (1). pp. 39-55. ISSN 0378-4754. (doi:https://doi.org/10.1016/S0378-4754(96)00054-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)

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

Marin, Lungu and Marian, Gheorghe and Musatescu, Carmen and Patrascoiu, Octavian (1998) Elaboration and Testing of Hierarchical / Distributed Computing Algorithms. In: Proceedings of the International Symposium on System Theory (ISST-98). (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

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

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

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

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

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

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

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

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

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

Marshall, Ian W. (2002) Complex System Modelling for Communication Networks. In: Complexity Modelling Workshop, November 19-21, 2002, REID Engineering Laboratory Conference Facility, University of Nevada, Reno, Nevada. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Marshall, Ian W. and Sacks, Lionel (2002) Autonomous Management for Pervasive Computing. In: Proceedings ICCS, 2002, Nashua. (Full text available)
[img]

Martin, Jeremy M. R. and Welch, Peter H. (1997) A Design Strategy for Deadlock-Free Concurrent Systems. Transputer Communications, 3 (4). pp. 215-232. ISSN 1070-454X. (Full text available)
[img]
Preview

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

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

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

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

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

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

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

McCluskey, T.L. and Porteous, J.M. and Naik, Yogesh and Taylor, C. and Jones, S. (1995) A Requirements Capture Method and Its Use in an Air Traffic Control Application. Software Practice and Experience, 25 . pp. 47-71. (Full text available)
[img]
Preview
[img]
Preview

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

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

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

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

McLoughlin, Ian Vince (1997) CELP and speech enhancement: PhD Thesis. The University of Birmingham, Birmingham, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

McLoughlin, Ian Vince (1999) DSP software development. Linux Journal, 1999 (61es). p. 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)

McLoughlin, Ian Vince (2001) Design, testing and verification of a microsatellite on-board data processing unit using commercial grade processors. In: UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

McLoughlin, Ian Vince (1999) LSP Parameter Interpretation for Speech Classification. Proc. 2nd IEEE Int.l Conf. on Information, Communications and Signal Processing, (113). (doi:https://doi.org/10.1109/ICECS.1999.812312) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

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

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

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

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

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

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

McLoughlin, Ian Vince (1999) Switched- basis LSP quantization. 2nd International Conference on Information, Communication & Signal Processing, . p. 389. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

McLoughlin, Ian Vince (2006) The art of public speaking for engineers. In: UNSPECIFIED, July-Aug. 2006. (doi:https://doi.org/10.1109/MP.2006.1657756) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

McLoughlin, Ian Vince and Bretschneider, Timo Rolf (2006) Achieving low-cost high-reliability computation through redundant parallel processing. In: UNSPECIFIED, 6-8 June 2006, Kuala Lumpur. (doi:https://doi.org/10.1109/ICOCI.2006.5276450) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

McLoughlin, Ian Vince and Chance, R. J. (1997) LSP analysis and processing for speech coders. Electronics Letters, 33 (99). pp. 743-744. ISSN 0013-5194. E-ISSN 1350-911X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince and Chance, R. J. (1997) LSP-based speech modification for intelligibility enhancement. In: UNSPECIFIED, 2-4 Jul 1997, Santorini. (doi:https://doi.org/10.1109/ICDSP.1997.628419) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Simoco Int. Ltd. Vince Ian McLoughlin. James Robert Chance (1998) Method and Apparatus for Speech Enhancement in a Speech Communications System. N/A. (doi:N/A) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince and Ding, Zhong-Qiang (2000) Mandarin Speech Coding using a modified RPE_LTP technique. In: UNSPECIFIED, 04 Dec 2000-06 Dec 2000, Tianjin. (doi:https://doi.org/10.1109/APCCAS.2000.913628) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince and Ding, Zhongqiang Q and Tan, Eng Chong (2002) Intelligibility evaluation of GSM coder for Mandarin speech using CDRT. Speech Communication, 38 (1). pp. 161-165. (doi:https://doi.org/10.1016/S0167-6393(01)00050-4) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince and Ding, Zhongqiang and Tan, Eng Chong (2001) Intelligibility evaluation of GSM coder for Mandarin speech using CDRT. In: 19th International Conference on the Computer Processing of Oriental Languages. (doi:https://doi.org/10.1016/S0167-6393(01)00050-4) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince and Gupta, V. and Sandhu, G.S. and Lim, S. and Bretschneider, T.R. (2003) Fault tolerance through redundant COTS components for satellite processing applications. Fourth International Conference on Information, Communications and Signal Processing, 2003 and the Fourth Pacific Rim Conference on Multimedia. Proceedings of the 2003 Joint, 1 . pp. 269-299. (doi:https://doi.org/10.1109/ICICS.2003.1292463) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince and Gupta, V. and Singh, S. and Lim, S. and Bretschneider, T. (2003) Fault tolerance through redundant COTS components for satellite processing applications. In: Information, Communications and Signal Processing, 2003 and Fourth Pacific Rim Conference on Multimedia., 15-18 Dec. 2003. (doi:https://doi.org/10.1109/ICICS.2003.1292463) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince and Hui, Fang (2000) Adaptive bit allocation for LSP parameter quantization. In: UNSPECIFIED, 04 Dec 2000-06 Dec 2000, Tianjin. (doi:https://doi.org/10.1109/APCCAS.2000.913525) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince and Hui, Fang (2000) Novel Dynamic Bit Allocation Method for LSP Quantization. In: UNSPECIFIED, 24 Sep 2000-27 Sep 2000, Kuala Lumpur. (doi:https://doi.org/10.1109/TENCON.2000.893714) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

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

McLoughlin, Ian Vince and Maskell, D and Thambipillai, S and Goh, Wooi-Boon (2007) Message from the honorary chair. In: UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince and Maskell, Doug and Thambipillai, Srikanthan and Goh, Wooi-Boon (2007) An embedded systems graduate education for Singapore. In: UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince and Mehrotra, K (2003) Time reversal space time block coding with channel estimation errors. In: UNSPECIFIED, 15-18 Dec. 2003, Singapore. (doi:https://doi.org/10.1109/ICICS.2003.1292527) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince and Mehrotra, Kishore and Kuo, SH and Baghaei, Nilufar (2004) Nonlinear Codebook-based Channel Estimation for Computational Efficiency in Multi-Antenna Wireless Systems. In: UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

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

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

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

McLoughlin, Ian Vince and Scott, Tom (2004) Space-time processing-Linux style. Linux Journal, 2004 (125). p. 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)

McLoughlin, Ian Vince and Sharifzadeh, Hamid Reza (2007) Speech recognition engine adaptions for smart home dialogues. In: 6th Interational Conference on Information, Communications and Signal Processing, 10-13 Dec 2007, Singapore. (doi:https://doi.org/10.1109/ICICS.2007.4449692) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

McLoughlin, Ian Vince and Shin, F. M. (2000) MP3 player on JUMPtec DIMM-PC/486-I. Embedded Linux Journal, 1 (1). pp. 64-69. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

McLoughlin, Ian Vince and Thambipillai, Srikanthan (1999) LSP parameter interpretation for speech classification. In: 6th IEEE International Conference on Electronics, Circuits and Systems, 05 Sep 1999-08 Sep 1999, Pafos, Cyprus. (doi:https://doi.org/10.1109/ICECS.1999.812312) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

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

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

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

McLoughlin, Ian Vince and Zhong-Qiang, Ding (2000) Mandarin speech coding using a modified RPE-LTP technique. In: UNSPECIFIED, 04 Dec 2000-06 Dec 2000, Tianjin. (doi:https://doi.org/10.1109/APCCAS.2000.913628) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Mehrotra, K and McLoughlin, Ian Vince (2004) Low Complexity Detection Algorithms For A MIMO-OFDM System. 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)

Mehrotra, Kishore and McLoughlin, Ian Vince (2003) Time reversal space time block coding with channel estimation and synchronisation errors. 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)

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

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

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

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

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)

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

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

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