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

University Organisation (56505)
- Faculties (56369)
  - Sciences (19635)
    - School of Computing (4923)
      - Applied and Interdisciplinary Informatics Group (558)
      - Computational Intelligence Group (549)
      - Computing Education Group (309)
      - Data Science (466)
      - Programming Languages and Systems Group (455)
      - Security Group (522)
      - Systems Architecture Group (636)
      - Theoretical Computing Group (589)

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

A

Abdullah, Sophiana Chua and Cooley, Roger (2000) The use of constraint logic programming in the development of adaptive tests. In: Gauthier, Gilles and Frasson, Claude and VanLehn, Kurt, eds. Intelligent Tutoring Systems 5th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, p. 650. ISBN 978-3-540-67655-3. E-ISBN 978-3-540-45108-2. (doi:10.1007/3-540-45108-0_73) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:16039)

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. Handheld and Ubiquitous Computing First International Symposium. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 304-307. ISBN 978-3-540-66550-2. E-ISBN 978-3-540-48157-7. (doi: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) (KAR id:17006)

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

Preview

Abreu, João, Bocchi, Laura, Fiadeiro, José Luiz, Lopes, Antónia (2007) Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. In: Formal Techniques for Networked and Distributed Systems – FORTE 2007. 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings. Lecture Notes in Computer Science , 4574. pp. 358-373. Springer ISBN 978-3-540-73195-5. E-ISBN 978-3-540-73196-2. (doi: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) (KAR id:59184)

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

Preview

Adda, Mo, Martin, Jean-Baptise, Owen, Gareth, 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) (KAR id:14433)

Adda, Mo and Owen, Gareth and Al-Kasassbeh, M. and Peart, Amanda (2005) Communication issues in Large Scale Wireless Ad hoc Networks. In: Petratos, P. and Michalopoulos, D., eds. Computer Science and Information System. Athens Institute for Education and Research, Athens, Greece, pp. 299-313. ISBN 960-88672-3-1. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14289)

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

Preview

Adi, R.W., Tio, C.M.M., 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) (KAR id:48759)

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: 2000 TENCON Proceedings. Intelligent Systems and Technologies for the New Millennium. IEEE, pp. 221-225. ISBN 0-7803-6355-8. (doi: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) (KAR id:48760)

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

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

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

Preview

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

Preview

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

Preview

Ahmadi, Farzaneh and McLoughlin, Ian V. and Sharifzadeh, Hamid R. (2010) Autoregressive Modelling for Linear Prediction of Ultrasonic Speech. In: 11th Annual Conference of the International Speech Communication Association 2010. International Speech Communication Association, pp. 829-832. ISBN 978-1-61782-123-3. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:48769)

Ahmadi, Farzaneh and McLoughlin, Ian Vince (2012) Measuring resonances of the vocal tract using frequency sweeps at the lips. In: 2012 5th International Symposium on Communications, Control and Signal Processing. IEEE, pp. 1-5. ISBN 978-1-4673-0274-6. E-ISBN 978-1-4673-0276-0. (doi: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) (KAR id:48767)

Ahmadi, Farzaneh, McLoughlin, Ian Vince (2013) A new mechanical index for gauging the human bioeffects of low frequency ultrasound. In: Engineering in Medicine and Biology Society (EMBC), 2014 36th Annual International Conference of the IEEE. Engineering in Medicine and Biology Society (EMBC), 2013 35th Annual International Conference of the IEEE. . pp. 1964-1967. IEEE (doi:10.1109/EMBC.2013.6609913) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:48766)

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

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

Ahmadi, Farzaneh, McLoughlin, Ian Vince, Chauhan, Sunita, 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: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) (KAR id:48768)

Ahmadi, Farzaneh and McLoughlin, Ian Vince and Sharifzadeh, Hamid Reza (2008) Analysis-by-synthesis method for whisper-speech reconstruction. In: APCCAS 2008 - 2008 IEEE Asia Pacific Conference on Circuits and Systems. IEEE, pp. 1280-1283. ISBN 978-1-4244-2341-5. E-ISBN 978-1-4244-2342-2. (doi: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) (KAR id:48770)

Ahmadi, Farzaneh, McLoughlin, Ian Vince, Sharifzadeh, Hamid Reza (2010) Linear predictive analysis for ultrasonic speech. Electronics Letters, 46 (6). pp. 387-388. ISSN 0013-5194. (doi: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) (KAR id:48762)

Ahmadi, Farzaneh, McLoughlin, Ian Vince, Sharifzadeh, Hamid Reza (2010) Talking Ultrasound. Electronics letters, 46 (6). p. 383. (doi: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) (KAR id:48763)

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

Preview

Akehurst, David H. (2004) MDA-Transformations from Relations. In: ECOOP 2004 Workshop Reader, Workshop on Model Driven Development (WMDD 2004). . (KAR id:14141)

Preview

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

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). . , Monterey, California (KAR id:14084)

Preview

Akehurst, David H. (2004) Relations in OCL. In: Workshop OCL and Model Driven Engineering. . , Lisbon, Portugal (KAR id:14072)

Preview

Akehurst, David H. (2004) Validating BPEL Specifications using OCL. Technical report. kent university (KAR id:14114)

Preview

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

Preview

+1 more...

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

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

Preview

Alentorn, Amadeo, Moraglio, Alberto (2010) Heuristic Portfolio Optimisation for a Hedge Fund Strategy using the Geometric Nelder-Mead Algorithm. In: 2010 UK Workshop on Computational Intelligence (UKCI 2010). . ISBN 978-1-4244-8774-5. (KAR id:71013)

Preview

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

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

Preview

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

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

Preview

Preview

Allington, Daniel, Dueck, Byron, Jordanous, Anna (2015) Networks of Value in Electronic Music : SoundCloud, London, and the Importance of Place. Cultural Trends, 24 (3). pp. 211-222. ISSN 0954-8963. E-ISSN 1469-3690. (doi:10.1080/09548963.2015.1066073) (KAR id:49284)

Preview

Allington, Daniel, Jordanous, Anna, Dueck, Byron (2015) Music, value, and networks in the digital world. http://valuingelectronicmusic.org (KAR id:53850)

Preview

Allwright, James, Pritchard, David, Jones, Stephen, Stephens, Nelson, Peel, Andrew, Makinson, Gordon, Steel, John, Liddell, Heather (1995) High Performance Computing For All. In: Alexander, Sylvia and Magee, Patricia, eds. Proceedings of the 3rd Annual Conference on the Teaching of Computing. . CTI, Dublin City University (KAR id:21239)

Preview

Preview

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

Preview

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

Preview

Alrayes, Bedour and Kafalı, Özgur and Stathis, Kostas (2014) CONAN: a heuristic strategy for concurrent negotiating agents. In: Proceedings of the 2014 international conference on Autonomous agents and multi-agent systems. AAMAS International Conference on Autonomous Agents and Multiagent Systems . ACM, New York, USA, pp. 1585-1586. ISBN 978-1-4503-2738-1. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:65883)

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

Preview

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

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

Alsheddy, A., 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) (KAR id:42157)

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

Altadmri, Amjad and Ahmed, Amr (2009) Automatic semantic video annotation in wide domain videos based on similarity and commonsense knowledgebases. In: 2009 IEEE International Conference on Signal and Image Processing Applications. IEEE, pp. 74-79. ISBN 978-1-4244-5560-7. E-ISBN 978-1-4244-5561-4. (doi:10.1109/ICSIPA.2009.5478723) (KAR id:45943)

Preview

Altadmri, Amjad, 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. (KAR id:45944)

Preview

Altadmri, Amjad, Ahmed, Amr (2014) A framework for automatic semantic video annotation: Utilizing similarity and commonsense knowledge bases. Multimedia Tools and Applications, 72 (2). pp. 1167-1191. ISSN 1380-7501. E-ISSN 1573-7721. (doi:10.1007/s11042-013-1363-6) (KAR id:45948)

Preview

Altadmri, Amjad, Ahmed, Amr, Mohtasseb, Haytham (2012) Semantic levels of domain-independent commonsense knowledgebase for visual indexing and retrieval applications. In: 19th International Conference on Neural Information Processing (ICONIP), November 12-15, 2012, Doha, Qatar. (KAR id:45947)

Preview

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

Alves, Roberto T. and Delgado, Myriam and Freitas, Alex A. (2010) Knowledge discovery with artificial immune systems for hierarchical multi-label classification of protein functions. In: Sobrevilla, P. and Aranda, J. and Xambo, S., eds. International Conference on Fuzzy Systems. IEEE, pp. 182-196. ISBN 978-1-4244-6919-2. E-ISBN 978-1-4244-6921-5. (doi:10.1109/FUZZY.2010.5584298) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30655)

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

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 International Seminar. Lecture Notes in Computer Science . Springer, pp. 51-75. ISBN 978-3-642-35812-8. E-ISBN 978-3-642-35813-5. (doi:10.1007/978-3-642-35813-5_3) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:42991)

Andersson, Jesper, de Lemos, Rogerio, Malek, Sam, Weyns, Danny (2009) Reflecting on self-adaptive software systems. In: UNSPECIFIED. (doi: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) (KAR id:42970)

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

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

Preview

Andrews, S., Palaniappan, Ramaswamy, Kamel, N. (2005) Single trial VEP source separation through sandwich spectral power ratio method. In: Proceedings of the 1st International Conference on Computers, Communications, & Signal Processing. . IEEE ISBN 978-1-4244-0011-9. (doi:10.1109/CCSP.2005.4977147) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:70739)

Andrews, S., Palaniappan, Ramaswamy, Kiong, L.C., Mastorakis, N. (2009) Singular value decomposition based feature classification for single trial brain-computer interface design. In: ICCOMP'09 Proceedings of the WSEAES 13th international conference on Computers. . pp. 46-53. ACM ISBN 978-960-474-099-4. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:70709)

Andrews, Samraj, Kamel, nidal, Ngo, David, Palaniappan, Ramaswamy (2005) Appropriate normalisation for selective eigen rate method in separating principal components of VEP and EEG in BCI. Multimedia Cyberscape Journal, . (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:71056)

Andrews, Samraj, Palaniappan, Ramaswamy, Kamel, Nidal (2005) Extracting Single Trial Visual Evoked Potentials using Selective Eigen-Rate Principal Components. Proceedings of World Academy of Science, Engineering and Technology, 7 . pp. 330-333. ISSN 1307-6884. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:48199)

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

Anggadjaja, Erwin and McLoughlin, Ian (2013) Cross-layer MIMO-link exploiting packet re-routing mechanisms and adaptive modulation in diverse channel condition. In: 2013 Australasian Telecommunication Networks and Applications Conference (ATNAC). IEEE, pp. 148-153. E-ISBN 978-1-4799-1081-6. (doi:10.1109/ATNAC.2013.6705372) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:48773)

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: 2010 Second International Conference on Advances in Computing, Control, and Telecommunication Technologies. IEEE, pp. 125-128. ISBN 978-1-4244-8746-2. E-ISBN 978-0-7695-4269-0. (doi: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) (KAR id:48772)

Anggadjaja, Erwin and McLoughlin, Ian Vince (2012) The use of OMNeT++ modelling in WSN. In: Modelling WSNs Using OMNeT++. IGI Global, p. 22. (doi: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) (KAR id:48775)

Anggadjaja, Erwin, McLoughlin, Ian Vince, Lau, Chiew Tong (2015) Cross-layer TCP/IP segmentation, re-routing and adaptive modulation techniques to exploit instantaneous BER variations on parallel subchannels. Australian Journal of Electrical and Electronics Engineering, 13 (2). pp. 96-108. ISSN 1448-837X. E-ISSN 2205-362X. (doi:10.1080/1448837X.2015.1093677) (KAR id:51746)

Aniceto, Natália, Freitas, Alex A., Bender, Andreas, Ghafourian, Taravat (2016) A novel applicability domain technique for mapping predictive reliability across the chemical space of a QSAR: reliability-density neighbourhood. Journal of Cheminformatics, 8 (1). Article Number 69. ISSN 1758-2946. (doi:10.1186/s13321-016-0182-y) (KAR id:60709)

Preview

Ansaloni, Danilo and Kell, Stephen and Zheng, Yudi and Bulej, Walter and Truma (2013) Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine. In: ECOOP 2013 – Object-Oriented Programming 27th European Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 352-377. ISBN 978-3-642-39037-1. E-ISBN 978-3-642-39038-8. (doi:10.1007/978-3-642-39038-8_15) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:69705)

Arief, Budi and Besnard, Denis (2003) Technical and Human Issues in Computer-Based Systems Security. Technical report. CS-TR-790 (KAR id:58732)

Preview

Arief, Budi, Bin Adzmi, Mohd Azeem (2015) Understanding Cybercrime from Its Stakeholders’ Perspectives: Part 2 - Defenders and Victims. IEEE Security & Privacy, 13 (2). pp. 84-88. ISSN 1540-7993. (doi:10.1109/MSP.2015.44) (KAR id:54146)

Preview

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

Preview

Arief, Budi, Blythe, Phil, Fairchild, Richard, Selvarajah, Kirusnapillai, 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. (KAR id:58716)

Preview

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

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

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

Preview

Arief, Budi and Gacek, Cristina and Lawrie, Tony (2001) Software Architectures and Open Source Software – Where can Research Leverage the Most? In: 23rd International Conference on Software Engineering. IEEE, pp. 3-5. ISBN 0-7695-1050-7. (KAR id:58807)

Preview

Arief, Budi, Greathead, David, Coventry, Lynne, 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. (KAR id:58713)

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 978-3-540-73130-6. (doi:10.1007/978-3-540-73131-3_2) (KAR id:58694)

Preview

Arief, Budi, Iliasov, Alexei, Romanovsky, Alexander (2006) On using the CAMA framework for developing open mobile fault tolerant agent systems. In: Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems. . pp. 29-36. ISBN 978-1-59593-395-9. (doi:10.1145/1138063.1138070) (KAR id:58696)

Preview

Arief, Budi, Iliasov, Alexei, 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. (KAR id:58721)

Preview

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

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

Preview

Preview

Arief, Budi, Speirs, Neil (1999) Automatic Generation of Distributed System Simulations from UML. In: 13th European Simulation Multiconference (ESM'99), 1-4 June, 1999, Warsaw, Poland. (KAR id:58809)

Preview

Arief, Budi, Speirs, Neil (1999) Simulation Generation from UML Like Specifications. In: IASTED Applied Modelling and Simulation (AMS'99), Cairns, Australia. (KAR id:58808)

Preview

Arief, Budi, Speirs, Neil (2000) A UML tool for an automatic generation of simulation programs. In: WOSP '00 Proceedings of the 2nd international workshop on Software and performance. . pp. 71-76. ISBN 1-58113-195-X. (doi:10.1145/350391.350408) (KAR id:58700)

Preview

Arief, Budi, von Arnim, Axel (2008) TRACKSS approach to improving road safety through sensors collaboration on vehicle and in infrastructure. In: Vehicular Technology Conference, 2008. VTC 2008-Fall. IEEE 68th. . IEEE ISBN 978-1-4244-1722-3. (doi:10.1109/VETECF.2008.439) (KAR id:58691)

Preview

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

Preview

Arumugam, M.S., Rao, M.V.C., Palaniappan, Ramaswamy (2005) New hybrid genetic operators for real coded genetic algorithm to compute optimal control of a class of hybrid systems. Applied Soft Computing, 6 (1). pp. 38-52. ISSN 1568-4946. (doi:10.1016/j.asoc.2004.11.001) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:70748)

Asensio-Cubero, J., Gan, J.Q., Palaniappan, Ramaswamy (2012) Extracting common spatial patterns based on wavelet lifting for brain computer interface design. In: 2012 4th Computer Science and Electronic Engineering Conference (CEEC). . pp. 160-163. IEEE ISBN 978-1-4673-2666-7. (doi:10.1109/CEEC.2012.6375397) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:70703)

Asensio-Cubero, J., Gan, J.Q., Palaniappan, Ramaswamy (2014) Multiresolution analysis of an information based EEG graph representation for motor imagery brain computer interfaces. In: PhyCS 2014 - Proceedings of the International Conference on Physiological Computing Systems. . pp. 5-12. SciTePress ISBN 978-989-758-006-2. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:70691)

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

Asirvadam, Vijanth S., McLoone, Sean F., Palaniappan, Ramaswamy (2008) Bio-Signal Identification using Simple Growing RBF-Network (OLACA). In: Icias 2007: International Conference on Intelligent & Advanced Systems, Proceedings. . pp. 263-267. IEEE ISBN 978-1-4244-1355-3. (doi:10.1109/ICIAS.2007.4658387) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:48204)

Augusto, Juan Carlos and Gomez, Rodolfo (2002) A Temporal Logic View of Paradigm Specifications. In: Proceedings of the 14th international conference on Software engineering and knowledge engineering. ACM, New York, USA, pp. 497-503. ISBN 1-58113-556-4. (doi: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) (KAR id:13762)

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

Preview

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

Preview

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

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

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

Ayara, Modupe and Timmis, Jon and de Lemos, Rogerio and Forrest, Simon (2005) Immunising Automated Teller Machines. In: Artificial Immune Systems 4th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 404-417. ISBN 978-3-540-28175-7. E-ISBN 978-3-540-31875-0. (doi: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) (KAR id:42977)

Ayara, Modupe, Timmis, Jon, de Lemos, Rogério, de Castro, Leandro N., 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). Lecture Notes in Computer Science . pp. 27-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) (KAR id:13712)

Azmat, Freeha, Bocchi, Laura, Fiadeiro, José Luiz (2011) Early Model-Analysis of Logistics Systems. In: Service-Oriented Computing. ICSOC 2010 International Workshops, PAASC, WESOA, SEE, and SOC-LOG. Lecture Notes in Computer Science , 6568. pp. 225-236. Springer ISBN 978-3-642-19393-4. E-ISBN 978-3-642-19394-1. (doi: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) (KAR id:59196)

B

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

Preview

Baghaei, N. and McLoughlin, Ian Vince (2004) Channel estimation complexity reduction using caching. In: Proceedings of the IEEE 6th Circuits and Systems Symposium on Emerging Technologies: Frontiers of Mobile and Wireless Communication. IEEE Circuits and Systems Symposium on Emerging Technologies . IEEE, pp. 209-212. ISBN 0-7803-7938-1. (doi: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) (KAR id:48778)

Baghaie, A.M. and McLoughlin, Ian Vince and Martin, P.A. and Mehrotra, K. and Taylor, D.P. (2006) Transmit Antenna Selection for UHF MIMO Linking. In: 2006 IEEE 63rd Vehicular Technology Conference. IEEE, pp. 2640-2644. ISBN 0-7803-9391-0. (doi: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) (KAR id:48780)

Baghaie, M. and Kuo, S. and McLoughlin, Ian Vince (2004) FPGA Implementation of Space-Time Block Coding System. In: Proceedings of the IEEE 6th Circuits and Systems Symposium on Emerging Technologies: Frontiers of Mobile and Wireless Communication. IEEE Circuits and Systems Symposium on Emerging Technologies . IEEE. ISBN 0-7803-7938-1. (doi: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) (KAR id:48813)

Baghaie, M. and Kuo, S. and McLoughlin, Ian Vince (2004) FPGA implementation of space-time block coding systems. In: Proceedings of the IEEE 6th Circuits and Systems Symposium on Emerging Technologies: Frontiers of Mobile and Wireless Communication. IEEE, pp. 591-594. ISBN 0-7803-7938-1. (doi: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) (KAR id:48779)

Bailey, Christopher J. (2012) Application of Self-Adaptive techniques to federated authorization models. In: 2012 International Conference on Software Engineering (ICSE 2012) Doctoral Symposium. . pp. 1495-1498. , 2012 International Conference on Software Engineering (ICSE 2012) Doctoral Symposium (doi:10.1109/ICSE.2012.6227053) (KAR id:38730)

Preview

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

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 7th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security. Lectures Notes in Computer Science . Springer, Berlin, Germany, pp. 100-111. ISBN 978-3-642-38997-9. E-ISBN 978-3-642-38998-6. (doi:10.1007/978-3-642-38998-6_14) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:42993)

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

Preview

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

Preview

Baker, Jason, Cunei, Antonio, Kalibera, Tomas, Pizlo, Filip, Vitek, Jan (2009) Accurate garbage collection in uncooperative environments revisited. Concurrency and Computation: Practice and Experience, 21 (12). pp. 182-196. (doi: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) (KAR id:30598)

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

Preview

Bakkers, A.W.P., Bruis, R., Roebbers, Herman W., Schaller, Nan C., Schwirtz, M.H., Sunder, J.P.E., Wijbrans, K.C.J., Welch, Peter H. (1993) Training for Transputer Technologies. In: Parallel Processing in Education. . Hungarian Academic of 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) (KAR id:21127)

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

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 6th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 142-152. ISBN 978-3-540-74822-9. E-ISBN 978-3-540-74823-6. (doi: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) (KAR id:43000)

Balli, T., Palaniappan, Ramaswamy (2008) EEG time series analysis with exponential autoregressive modelling. In: 2008 Canadian Conference on Electrical and Computer Engineering. . pp. 485-488. IEEE ISBN 978-1-4244-1643-1. (doi:10.1109/CCECE.2008.4564581) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:70715)

Balli, T., Palaniappan, Ramaswamy (2009) A combined linear & nonlinear approach for classification of epileptic EEG signals. In: Proceedings of the 4th International IEEE/EMBS Conference on Neural Engineering. . pp. 714-717. IEEE ISBN 978-1-4244-2073-5. (doi:10.1109/NER.2009.5109396) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:70711)

Balli, T., Palaniappan, Ramaswamy, Bhattacharya, J. (2009) Minimising prediction error for optimal nonlinear modelling of EEG signals using genetic algorithm. In: Proceedings of the 4th International IEEE/EMBS Conference on Neural Engineering. . pp. 363-366. IEEE ISBN 978-1-4244-2073-5. (doi:10.1109/NER.2009.5109308) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:70712)

Balli, T., Palaniappan, Ramaswamy, Mandic, D.P. (2007) On the linearity/non-linearity of mental activity EEG for brain-computer interface design. In: IFMBE Proceedings. 15. pp. 451-454. Springer ISBN 978-3-540-68016-1. (doi:10.1007/978-3-540-68017-8_114) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:70726)

Balli, Tugce, Palaniappan, Ramaswamy (2009) A Combined Linear & Nonlinear Approach for Classification of Epileptic EEG Signals. In: Proceedings of the 4th International IEEE/EMBS Conference on Neural Engineering. . pp. 707-710. IEEE ISBN 978-1-4244-2072-8. (doi:10.1109/NER.2009.5109396) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:48209)

Balli, Tugce and Palaniappan, Ramaswamy (2009) Nonlinear Approach to Brain Signal Modeling. In: Encyclopedia of Information Science and Technology. IGI Global, pp. 2834-2839. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:71065)

Barardo, Diogo G., Newby, Danielle, Thornton, Daniel, Ghafourian, Taravat, Pedro de Magalhães, João, Freitas, Alex A. (2017) Machine learning for predicting lifespan-extending chemical compounds. Aging, 9 (7). pp. 1721-1737. ISSN 1945-4589. (doi:10.18632/aging.101264) (KAR id:62389)

Preview

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

Preview

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

Preview

Preview

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

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 978-0-86341-082-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:44996)

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

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

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

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

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

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

Barnes, David J., Russell, Mark T, Wheadon, Mark C (1988) Developing and adapting UNIX tools for workstations. In: EUUG Conference Proceedings. . pp. 321-333. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:44988)

Barnes, Frederick R.M. (2000) Blocking System Calls in KRoC/Linux. In: Welch, Peter H. and Bakkers, A.W.P., eds. Communicating Process Architectures 2000. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 155-178. ISBN 978-1-58603-077-3. (KAR id:21966)

Preview

Preview

Barnes, Frederick R.M. (2003) Dynamics and Pragmatics for High Performance Concurrency. Doctor of Philosophy (PhD) thesis, University of Kent at Canterbury. (KAR id:13969)

Preview

Barnes, Frederick R.M. (2003) occwserv: An occam Web-Server. In: Broenink, Jan F. and Hilderink, Gerald H., eds. Communicating Process Architectures 2003. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 251-268. ISBN 978-1-58603-381-1. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13916)

Barnes, Frederick R.M. (2001) tranx86 -- an Optimising ETC to IA32 Translator. In: Chalmers, Alan and Mirmehdi, Majid and Muller, Henk, eds. Communicating Process Architectures 2001. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 265-282. ISBN 978-1-58603-202-9. (KAR id:13553)

Preview

Preview

Barnes, Frederick R.M., Beuran, R., Dobinson, R.W., LeVine, M.J., Martin, B., Lokier, J., 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: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) (KAR id:13800)

Barnes, Frederick R.M. and Jacobsen, Christian L. and Vinter, Brian (2003) RMoX: A Raw-Metal occam Experiment. In: Broenink, Jan F. and Hilderink, Gerald H., eds. Communicating Process Architectures 2003. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 269-288. ISBN 978-1-58603-381-1. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13917)

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 . IOS Press, Amsterdam, Netherlands, pp. 243-264. ISBN 978-1-58603-202-9. (KAR id:13552)

Preview

Preview

Barnes, Frederick R.M. and Welch, Peter H. (2002) Prioritised Dynamic Communicating Processes: Part 1. In: Pascoe, James and Welch, Peter H. and Loader, Roger and Sunderam, Vaidy, eds. Communicating Process Architectures 2002. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 321-352. ISBN 978-1-58603-268-5. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13728)

Barnes, Frederick R.M. and Welch, Peter H. (2002) Prioritised Dynamic Communicating Processes: Part 2. In: Pascoe, James and Welch, Peter H. and Loader, Roger and Sunde, Vaidy, eds. Communicating Process Architectures 2002. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 353-370. ISBN 978-1-58603-268-5. (KAR id:13734)

Preview

Preview

Barnes, Frederick R.M., Welch, Peter H. (2003) Prioritised Dynamic Communicating and Mobile Processes. IEE Proceedings: Software, 150 (2). pp. 121-136. ISSN 1462-5970. (doi: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) (KAR id:13996)

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

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

Preview

Basu, Anirban, Vaidya, Jaideep, Kikuchi, Hiroaki, Dimitrakos, Theo, 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: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) (KAR id:40198)

Batty, Mark (2017) Compositional relaxed concurrency. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 375 (2104). ISSN 1364-503X. E-ISSN 1471-2962. (doi:10.1098/rsta.2015.0406) (KAR id:64300)

Preview

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

Beckett, David J. (1997) 30% Accessible - A Survey of the UK Wide Web. In: Genesereth, Michael.R. and Patterson, Anna, eds. Proceedings of the Sixth World Wide Web Conference. Proceedings of the Sixth World Wide Web Conference. 29. pp. 1367-1375. Elsevier, Amsterdam, Netherlands (doi: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) (KAR id:21519)

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

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

Beckett, David J. and Smith, Neil (1996) The ACademic DireCtory - AC/DC. Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21374)

Preview

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. Proceedings of the 19th world occam and transputer user group technical meeting on Parallel processing developments. Concurrent Systems Engineering Series . IOS Press, Amsterdam, Netherlands, 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) (KAR id:18814)

Beckett, David J., Welch, Peter H. (1996) A Strict occam Design Tool. In: Jesshope, C.R. and Shafarenko, A., eds. Proceedings of UK Parallel ''96. . pp. 53-69. Springer-Verlag, London, Guildford, 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) (KAR id:21360)

Bekhet, Saddam, Ahmed, Amr, Altadmri, Amjad, Hunter, Andrew (2015) Compressed video matching: Frame-to-frame revisited. Multimedia Tools and Applications, . pp. 1-16. ISSN 1380-7501. E-ISSN 1573-7721. (doi:10.1007/s11042-015-2887-8) (KAR id:50561)

Preview

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

Preview

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

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

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

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: 2008 IEEE 17th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises. IEEE, pp. 54-59. ISBN 978-0-7695-3315-5. (doi: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) (KAR id:62263)

Benoy, Patricia Mary (2002) Polyhedral Domains for Abstract Interpretation in Logic Programming. Doctor of Philosophy (PhD) thesis, University of Kent, Canterbury. (KAR id:13825)

Preview

Preview

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

Preview

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

Preview

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

Preview

Berry, Michael, Kölling, Michael (2013) The design and implementation of a notional machine for teaching introductory programming. In: WiPSE '13. Proceedings of the 8th Workshop in Primary and Secondary Computing Education. . pp. 25-28. ACM, New York ISBN 978-1-4503-2455-7. (doi:10.1145/2532748.2532765) (KAR id:37645)

Preview

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

Preview

Besnard, Denis and Arief, Budi (2003) Computer security impaired by legal users. Technical report. CS-TR-794 (KAR id:58730)

Preview

Besnard, Denis, Arief, Budi (2004) Computer security impaired by legitimate users. Computers and Security, 23 (3). pp. 253-264. ISSN 0167-4048. (doi:10.1016/j.cose.2003.09.002) (KAR id:58698)

Preview

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

Preview

Bhattacherjee, Sanjay, Sarkar, Palash (2014) Concrete Analysis and Trade-Offs for the (Complete Tree) Layered Subset Difference Broadcast Encryption Scheme. IEEE Transactions on Computers, 63 (7). pp. 1709-1722. ISSN 0018-9340. (doi:10.1109/TC.2013.68) (KAR id:83282)

Preview

Bhattacherjee, Sanjay, Sarkar, Palash (2016) Reducing Communication Overhead of the Subset Difference Scheme. IEEE Transactions on Computers, 65 (8). pp. 2575-2587. ISSN 0018-9340. (doi:10.1109/TC.2015.2485231) (KAR id:83283)

Preview

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

Preview

Blommestijn, R., Lange, Julien, Taylor, C., Winton, A. (2009) Proximity-1: Simulating the CCSDS Proximity-1 Protocol for ExoMars. In: Ouwehand, L., ed. DAta Systems In Aerospace (DASIA). Proceedings of DASIA 2009 Data Systems in Aerospace. ESA Special Publication . ISBN 978-92-9221-233-9. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:62262)

Bocchi, L., Lange, Julien, 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: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) (KAR id:62259)

Bocchi, Laura and Chen, Tzu-Chun and Demangeon, Romain and Honda, Kohei and Yoshida, Nobuko (2013) Monitoring Networks through Multiparty Session Types. In: Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 50-65. ISBN 978-3-642-38591-9. E-ISBN 978-3-642-38592-6. (doi:10.1007/978-3-642-38592-6_5) (KAR id:43737)

Preview

Bocchi, Laura, Ciancarini, Paolo (2006) On the Impact of Formal Methods in the SOA. Electronic Notes in Theoretical Computer Science, 160 . pp. 113-126. ISSN 1571-0661. (doi: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) (KAR id:59182)

Bocchi, Laura, Fiadeiro, José Luiz, Lapadula, Alessandro, Pugliese, Rosario, Tiezzi, Francesco (2009) From Architectural to Behavioural Specification of Services. Electronic Notes in Theoretical Computer Science, 253 (1). pp. 3-21. ISSN 1571-0661. (doi: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) (KAR id:59190)

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 . Springer, Berlin, Germany, pp. 163-178. ISBN 978-3-540-78742-6. E-ISBN 978-3-540-78743-3. (doi: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) (KAR id:59186)

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 4th International Workshop. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 92-107. ISBN 978-3-540-79229-1. E-ISBN 978-3-540-79230-7. (doi: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) (KAR id:59185)

Bocchi, Laura, Lange, Julien, Tuosto, E. (2011) Amending Contracts for Choreographies. In: Electronic Proceedings in Theoretical Computer Science. Proceedings Fourth Interaction and Concurrency Experience. 59. pp. 111-129. (doi: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) (KAR id:62260)

Bocchi, Laura, Lucchi, Roberto (2006) Atomic Commit and Negotiation in Service Oriented Computing. In: Coordination Models and Languages. 8th International Conference, COORDINATION 2006, Proceedings. Lecture Notes in Computer Science , 4038. pp. 16-27. Springer ISBN 978-3-540-34694-4. E-ISBN 978-3-540-34695-1. (doi: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) (KAR id:59181)

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

Bocchi, Laura and Melgratti, Hernán (2014) On the Behaviour of General-Purpose Applications on Cloud Storages. In: Web Services and Formal Methods 10th International Workshop. Lecture Notes in Computer Science . Springer, Cham, Switzerland, pp. 29-47. ISBN 978-3-319-08259-2. E-ISBN 978-3-319-08260-8. (doi:10.1007/978-3-319-08260-8_3) (KAR id:43738)

Preview

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

Preview

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

Bocchi, Laura, Tuosto, Emilio (2010) A Java Inspired Semantics for Transactions in SOC. In: 5th International Symposium on Trustworthy Global Computing (TGC). Lecture Notes in Computer Science , 6084. pp. 120-134. Springer ISBN 978-3-642-15639-7. E-ISBN 978-3-642-15640-3. (doi: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) (KAR id:59192)

Bocchi, Laura, Tuosto, Emilio (2010) Testing Attribute-Based Transactions in SOC. In: International Conference on Formal Techniques for Distributed Systems (FORTE). Lecture Notes in Computer Science , 6117. pp. 87-94. Springer (doi: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) (KAR id:59194)

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

Preview

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

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

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

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

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

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

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

Preview

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

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

Boiten, Eerke Albert (2014) Outdated laws put your health data in jeopardy. . The Conversation Internet only. (KAR id:52729)

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

Boiten, Eerke Albert (2015) Privacy watchdog takes first step against those undermining right to be forgotten. . The Conversation Internet only. (KAR id:51067)

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

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

Boiten, Eerke Albert (2015) We are right to fear spy ‘database of everything’ if even politicians know little about it. . The Conversation Internet only. (KAR id:51070)

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

Boiten, Eerke Albert (2013) iPhone hack shows security isn’t at our fingertips just yet. . Scientific American Internet only. (KAR id:52762)

Boiten, Eerke Albert, Derrick, John (2007) Proceedings of the 11th Refinement Workshop (REFINE 2006)Macao, China 31 October 2006. Electronic Notes in Theoretical Computer Science, 187 . Elsevier, 188 pp. ISBN 15710661. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:3372)

Boiten, Eerke Albert, Derrick, John, Bowman, Howard, Steen, Maarten (1999) Constructive consistency checking for partial specification in Z. Science of Computer Programming, 35 (1). pp. 29-75. ISSN 0167-6423. (doi:10.1016/S0167-6423(99)00006-4) (KAR id:17100)

Preview

Preview

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

Preview

Bolla, Damiano (1994) IPP Routing Architecture. Technical report. versity of Kent, Computing Laboratory, University of Kent, Canterbury, UK (KAR id:21167)

Preview

Preview

Bonetta, Daniele and Salucci, Luca and Marr, Stefan and Binder, Walter (2016) GEMs: Shared-memory Parallel Programming for Node.js. In: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. SPLASH Systems, Programming, and Applications . ACM, New York, USA, pp. 531-547. ISBN 978-1-4503-4444-9. (doi:10.1145/2983990.2984039) (KAR id:63817)

Preview

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

Preview

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

Boudeville, Olivier and Cesarini, Francesco and Chechina, Natalia and Lundin, Kenneth and Papaspyrou, Nikolaos and Sagonas, Konstantinos and Thompson, Simon and Trinder, Phil and Wiger, Ulf (2013) RELEASE: A High-level Paradigm for Reliable Large-scale Server Software. In: Trends in Functional Programming 13th International Symposium. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 263-278. ISBN 978-3-642-40446-7. E-ISBN 978-3-642-40447-4. (doi:10.1007/978-3-642-40447-4_17) (KAR id:42314)

Preview

Bovey, John D. (1996) Event-based personal retrieval. Journal of Information Science, 22 (5). pp. 357-366. ISSN 0165-5515. (doi:10.1177/016555159602200504) (KAR id:18833)

Preview

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

Bowman, Howard, Boiten, Eerke Albert, Derrick, John, Steen, Maarten (1999) Strategies for consistency checking based on unification. Science of Computer Programming, 33 (3). pp. 261-298. ISSN 0167-6423. (doi: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) (KAR id:17119)

Bowman, Howard, Derrick, John, Linington, Peter F., 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) (KAR id:18834)

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

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

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

Preview

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

Preview

Bretschneider, T, Ramesh, B, Gupta, V, 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) (KAR id:48781)

Bretschneider, Timo, Soo, David L H, 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) (KAR id:48782)

Brito, Patrick H. S., de Lemos, Rogério, Martins, Eliane, 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) (KAR id:42971)

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

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: Software Architecture Second European Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 131-147. ISBN 978-3-540-88029-5. E-ISBN 978-3-540-88030-1. (doi: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) (KAR id:32081)

Brito, Patrick H. S., de Lemos, Rogério, Rubira, Cecilia M. F., 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: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) (KAR id:31878)

Brito, Patrick H.S. and Rubira, Cecilia M.F. and de Lemos, Rogério (2009) Verifying Architectural Variabilities in Software Fault Tolerance Techniques. In: 2009 Joint Working IEEE/IFIP Conference on Software Architecture & European Conference on Software Architecture. IEEE, pp. 231-240. ISBN 978-1-4244-4984-2. (doi: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) (KAR id:31880)

Brito, Patrick H.S. and de Lemos, Rogério and Martins, Eliane and Moraes, Regina and Rubira, Cecilia M.F. (2009) Architectural-Based Validation of Fault-Tolerant Software. In: 2009 Fourth Latin-American Symposium on Dependable Computing. IEEE, pp. 103-110. ISBN 978-1-4244-4678-0. (doi:10.1109/LADC.2009.22) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:32079)

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

Preview

Brostoff, Sacha, Sassea, M.Angela, Chadwick, David W., Cunningham, James, Mbanaso, Uche, 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. 35. pp. 835-856. (doi:10.1002/spe.691) (KAR id:14120)

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

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

Brown, Heather, 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) (KAR id:21071)

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

Brown, Heather and Cole, Fred C. and Oxborrow, Elizabeth (1993) An Object-Oriented Toolkit for ODA and HyperODA. In: Proceedings of the 11th annual international conference on Systems documentation. ACM, pp. 29-41. ISBN 0-89791-630-1. (doi:10.1145/166025.166032) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21140)

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 7th International Conference on Electronic Publishing. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 407-419. ISBN 978-3-540-64298-5. E-ISBN 978-3-540-69718-3. (doi:10.1007/BFb0053287) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21674)

Brown, Heather, Harding, Robert K., Lay, Steve, Robinson, Peter, Sheppard, Dan, 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) (KAR id:21661)

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

Brown, Heather, 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) (KAR id:21056)

Brown, Heather, Utting, Ian (1992) Teaching Electronic Publishing to Computer Scientists. In: Andre, Jacques, ed. Teaching Electronic Publishing. . pp. 97-105. Bigre (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21072)

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

Brown, Heather, 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: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) (KAR id:21286)

Brown, Heather, Wusteman, Judith (1995) Electronic journals using Guide. In: Collier, Mel and Arnold, Kathryn, eds. Electronic Library and Visual Information Research: ELVIRA 2. . pp. 92-106. ISBN 0-85142-354-X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21287)

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

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

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

Preview

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

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

Brown, Peter J. (1998) Some Lessons for Location-aware Applications. In: First Workshop on Human Computer Interaction with Mobile Devices, 21-23rd May 1998, Department of Computing Science, University of Glasgow, Scotland. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21657)

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

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

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

Brown, Peter J. (1998) Triggering information by context. Personal Technologies, 2 (1). pp. 1-9. ISSN 0949-2054. (doi:10.1007/BF01581843) (KAR id:21602)

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

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

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

Brown, Peter J., Bovey, John D., Chen, Xian (1997) Context-aware Applications: from the Laboratory to the Marketplace. IEEE Personal Communications, 4 (5). pp. 58-64. ISSN 1070-9916. (doi: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) (KAR id:21443)

Brown, Peter J., 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) (KAR id:21285)

Brown, Peter J., 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) (KAR id:20905)

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

Brysbaert, Ann, Bocchi, Laura, 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) (KAR id:59219)

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

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

Preview

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

Preview

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

Preview

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

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

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

C

C.M.M., Tio, I.V., McLoughlin, R.W., Adi, Tio, C M M, McLoughlin, Ian Vince, 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: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) (KAR id:48785)

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

Cakic, Jovan (2000) Intelligent infrastructure that support system's changes. In: Loganantharaj, Rasiah and Palm, Gunther and Ali, Moonis, eds. Intelligent Problem Solving. Methodologies and Approaches 13th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 351-356. ISBN 978-3-540-67689-8. E-ISBN 978-3-540-45049-8. (doi: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) (KAR id:16194)

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

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

Preview

Camara, Javier, Correia, Pedro, de Lemos, Rogério, Garlan, David, Gomes, Pedro, Schmerl, Bradley, Ventura, Rafael (2013) Evolving an adaptive industrial software system to use architecture-based self-adaptation. In: UNSPECIFIED. (doi:10.1109/SEAMS.2013.6595488) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:42972)

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

Cameron, Claire, Ostashevsky, Luba (2013) Science Gets Down With Miles Davis and Bernini: Analyzing music and sculpture in the digital age. . Online magazine. (KAR id:42896)

Camilleri, Juanito and Zammit, Vincent (1994) Symbolic Animation as a Proof Tool. In: Melham, Thomas F. and Camilleri, Juanito, eds. Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 113-127. ISBN 978-3-540-58450-6. E-ISBN 978-3-540-48803-3. (doi:10.1007/3-540-58450-1_38) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21180)

Campos, Marcília A., da Silva, Erick Lopes, de Carvalho Pedrosa, Diogo, de Castro e Silva, Jorge Luiz, Loureiro, Janine A., 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. . pp. 967-974. , Gramado/RS (KAR id:14165)

Preview

Canales-Johnson, Andrés, Silva, Carolina, Huepe, David, Rivera-Rei, Álvaro, Noreika, Valdas, Garcia, María del Carmen, Silva, Walter, Ciraolo, Carlos, Vaucheret, Esteban, Sedeño, Lucas, and others. (2015) Auditory Feedback Differentially Modulates Behavioral and Neural Markers of Objective and Subjective Performance When Tapping to Your Heartbeat. Cerebral Cortex, 25 (11). pp. 4490-4503. ISSN 1047-3211. E-ISSN 1460-2199. (doi:10.1093/cercor/bhv076) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:54633)

Canuto, Anne, Howells, Gareth, 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: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) (KAR id:16214)

Canuto, Anne, Howells, Gareth, 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: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) (KAR id:16212)

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

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

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

Preview

Castle, Tom (2012) Evolving High-Level Imperative Program Trees with Genetic Programming. Doctor of Philosophy (PhD) thesis, University of Kent. (KAR id:34799)

Preview

Cedric, Tio M M, Adi, Robertus Wahendro, 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) (KAR id:48786)

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: 2000 TENCON Proceedings. Intelligent Systems and Technologies for the New Millennium. IEEE, pp. 275-278. ISBN 0-7803-6355-8. (doi: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) (KAR id:48787)

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

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

Chadwick, David W. (2004) PKI Past, Present and Future. In: First EuroPKI Workshop, Samos. . (KAR id:14149)

Preview

Chadwick, David W., Dimitrakos, Theo, Dam, Kerstin Kleese-Van, Randal, Damian Mac, Matthews, Brian, Otenko, Alexander (2004) Multilayer Privilege Management for Dynamic Collaborative Scientific Communities. In: Workshop on Grid Security Practice and Experience, Oxford, UK. . II 7-14. (KAR id:14118)

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: 2011 IEEE 4th International Conference on Cloud Computing. IEEE, pp. 752-753. ISBN 978-1-4577-0836-7. E-ISBN 978-0-7695-4460-1. (doi:10.1109/CLOUD.2011.113) (KAR id:43198)

Preview

Chadwick, David W., Otenko, Sassa, Xu, Wensheng (2005) Adding Distributed Trust Management to Shibboleth. In: NIST 4th Annual PKI Workshop. . pp. 3-14. , Gaithersberg, USA (KAR id:14343)

Preview

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

Chadwick, David W, Casenove, Matteo, Siu, Kristy (2013) My private cloud--granting federated access to cloud resources. Journal of Cloud Computing, 2 (1). pp. 1-16. ISSN 2192-113X. (doi:10.1186/2192-113X-2-3) (KAR id:43204)

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

Preview

Chadwick, David W and Hibbert, Mark (2013) Towards Automated Trust Establishment in Federated Identity Management. In: Trust Management VII. Springer Berlin Heidelberg, pp. 33-48. (KAR id:43206)

Preview

Chadwick, David and Lunt, Graeme and Zhao, Gansen (2005) Secure Role-based Messaging. In: Chadwick, David W. and Preneel, Bart, eds. Communications and Multimedia Security 8th IFIP TC-6 TC-11 Conference on Communications and Multimedia Security. IFIP — The International Federation for Information Processing . Springer, pp. 263-275. ISBN 978-0-387-24485-3. E-ISBN 978-0-387-24486-0. (doi:10.1007/0-387-24486-7_20) (KAR id:14030)

Preview

Chambers, John C, Zhang, Weihua, Sehmi, Joban S., Li, Xinzhong, Wass, Mark N., Van der Harst, Pim, Holm, Hilma, Sanna, Serena, Kavousi, Maryam, Baumeister, Sebastian E, and others. (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: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) (KAR id:34217)

Chan, Syin (1992) Recompression of Still Images. Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21068)

Preview

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

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

Preview

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

Preview

Chari, Guido and Garbervetsky, Diego and Marr, Stefan (2017) Fully-reflective VMs for Ruling Software Adaptation. In: 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C). IEEE, pp. 229-231. ISBN 978-1-5386-1590-4. E-ISBN 978-1-5386-1589-8. (doi:10.1109/ICSE-C.2017.144) (KAR id:63813)

Preview

Chari, Guido and Garbervetsky, Diego and Marr, Stefan (2017) A Metaobject Protocol for Optimizing Application-Specific Run-Time Variability. In: Proceedings of the 12th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems. ECOOP European Conference on Object-Oriented Programming . ACM, New York, USA. ISBN 978-1-4503-5088-4. (doi:10.1145/3098572.3098577) (KAR id:63812)

Preview

Chari, Guido, Garbervetsky, Diego, Marr, Stefan, Ducasse, Stéphane (2018) Fully Reflective Execution Environments: Virtual Machines for More Flexible Software. IEEE Transactions on Software Engineering, . ISSN 0098-5589. (doi:10.1109/TSE.2018.2812715) (KAR id:66604)

Preview

Chatelle, Camille, Chennu, Srivas, Noirhomme, Quentin, Cruse, Damian, Owen, Adrian M., 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: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) (KAR id:54648)

Chawdhary, Aziem and King, Andy (2017) Compact Difference Bound Matrices. In: Chang, Evan, ed. 15th Asian Symposium on Programming Languages and Systems. Lecture Notes in Computer Science . Springer, pp. 471-490. ISBN 978-3-319-71236-9. (doi:10.1007/978-3-319-71237-6_23) (KAR id:62853)

Preview

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

Preview

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

Preview

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

Preview

Chen, Jing, McLoughlin, Ian Vince, Chang, Hsung Pin, Chang, Da-Wei, Chiang, Mei-Ling, 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) (KAR id:48789)

Chen, S.-H., Kampouridis, Michael, 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) (KAR id:42180)

Chen, S.-H., Kampouridis, Michael, 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) (KAR id:42181)

Chen, Tzu-Chun, Bocchi, Laura, Deniélou, Pierre-Malo, Honda, Kohei, Yoshida, Nobuko (2012) Asynchronous Distributed Monitoring for Multiparty Session Enforcement. In: 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers. Lecture Notes in Computer Science , 7173. pp. 25-45. Springer ISBN 978-3-642-30064-6. E-ISBN 978-3-642-30065-3. (doi: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) (KAR id:59210)

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

Chen, Xian, 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: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) (KAR id:19757)

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 978-3-642-02161-9. (doi: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) (KAR id:32077)

Cheng, Russell C.H. (1995) Bootstrap methods in computer simulation experiments. In: Alexopoulos, C. and Kang, K. and Lilegdon, W.R and Goldsman, D., eds. Winter Simulation Conference Proceedings, 1995. IEEE, pp. 171-177. ISBN 0-7803-3018-8. (doi:10.1109/WSC.1995.478720) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:19759)

Cheng, Russell C.H. and Traylor, L. (1995) Characterization of material strength properties using probabilistic mixture models. In: Carlomagno, G.M. and Brebbia, C.A., eds. Computational Methods and Experimental Measurements. Computational Mechanics Publications, pp. 553-560. ISBN 978-1-85312-313-9. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:19760)

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

Preview

Chennu, Srivas (2008) On Feature Binding in Space and Time. In: University of Kent Postgraduate Conference. (KAR id:54658)

Preview

Chennu, Srivas, 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:10.3389/fpsyg.2012.00065) (KAR id:54646)

Preview

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

Preview

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

Preview

Chennu, Srivas and Habel, Kai and Langer, Klaus-Dieter (2006) Protected Ethernet Rings for Optical Access Networks. In: 2006 ITG Symposium on Photonic Networks. VDE, pp. 29-36. ISBN 978-3-8007-2959-3. (KAR id:14493)

Preview

Chennu, Srivas and Habel, Kai and Langer, Klaus-Dieter (2006) QoS-aware Traffic Protection for Access Rings. In: Proceedings of the 11th European Conference on Networks and Optical Communications. NOC, Berlin, Germany, pp. 165-174. ISBN 392361340. (KAR id:14452)

Chennu, Srivas, 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) (KAR id:54664)

Chennu, Srivas, 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) (KAR id:54663)

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

Preview

Chennu, Srivas, O’Connor, Stuart, Adapa, Ram, Menon, David K., Bekinschtein, Tristan A. (2016) Brain Connectivity Dissociates Responsiveness from Drug Exposure during Propofol-Induced Transitions of Consciousness. PLoS Computational Biology, 12 (1). pp. 1-17. ISSN 1553-734X. E-ISSN 1553-7358. (doi:10.1371/journal.pcbi.1004669) (KAR id:54628)

Preview

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

Cheval, Vincent, Comon-Lundh, Hubert, Delaune, Stéphanie (2017) A procedure for deciding symbolic equivalence between sets of constraint systems. Information and Computation, 255 (part 1). pp. 94-125. ISSN 0890-5401. E-ISSN 1090-2651. (doi:10.1016/j.ic.2017.05.004) (KAR id:46882)

Preview

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

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

Preview

Chong, F, Pawlikowski, K, McLoughlin, Ian Vince (2003) Evaluation of ITU-T G. 728 as a voice over IP codec for Chinese speech. In: , Proceedings of the Australian Telecommunications Networks and Applications Conference 2003 (ATNAC 03â??). . pp. 8-10. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:48790)

Chong, Fong Loong and McLoughlin, Ian Vince and Pawlikowski, Krzysztof (2005) A methodology for improving PESQ accuracy for Chinese speech. In: TENCON 2005 - 2005 IEEE Region 10 Conference. IEEE, pp. 1-6. ISBN 0-7803-9311-2. (doi: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) (KAR id:48792)

Chu, Dominique (2007) Evolving Genetic Regulatory Networks for Systems Biology. In: 2007 IEEE Congress on Evolutionary Computation. IEEE, pp. 875-882. ISBN 978-1-4244-1339-3. (doi: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) (KAR id:13019)

Chu, Dominique (2013) Evolving Parameters for a Noisy Bio-System. In: 2013 IEEE Symposium Series on Computational Intelligence, 16th - 19th April, 2013, Singapore. (KAR id:34408)

Preview

Chu, Dominique (2013) Replaying the tape of evolution: Evolving parameters for a simple bacterial metabolism. In: IEEE CEC 2013 : IEEE Congress on Evolutionary Computation, 20th - 23rd June, 2013, Cancun, Mexico. (KAR id:34409)

Preview

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

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

Preview

Chu, Dominique, Barnes, David J., 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:10.1093/nar/gkr300) (KAR id:28074)

Preview

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

Preview

Chua, Leon O., Sbitnev, Valery, 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: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) (KAR id:40164)

Chua, Leon O., Sbitnev, Valery, 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: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) (KAR id:40163)

Cohen, Liron and Rowe, Reuben N. S. (2018) Infinitary and Cyclic Proof Systems for Transitive Closure Logic. Technical report. University of Kent (Submitted) (KAR id:65886)

Preview

Cole, Fred C., Oxborrow, Elizabeth, Brown, Heather (1992) An Object-Oriented Toolkit for Structured Documents. In: Vanoirbeek, C. and Coray, G., eds. EP92: Proceedings of Electronic Publishing 92. Cambridge Series on Electronic Publishing . pp. 95-111. Cambridge University Press ISBN 0-521-43277-4. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21073)

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

Preview

Preview

Contrastin, Mistral, Danish, Matthew, Rice, Andrew C., Orchard, Dominic A. (2016) Supporting Software Sustainability with Lightweight Specifications. In: CEUR Workshop Proceedings. Proceedings of the Fourth Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE4). 1686. (KAR id:66901)

Preview

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

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

Preview

Cooke, Jennifer, Ann (2016) Interacting with consciousness: An investigation into the neural signatures of conscious processing using the global-local auditory task. Doctor of Philosophy (PhD) thesis, University of Kent,. (KAR id:63872)

Preview

Cooper, Ian (1994) Indexing the World. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK (KAR id:21188)

Preview

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

Cooper, Ian and Shufflebotham, Royston (1995) PDA Web Browsers: Implementation Issues. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK (KAR id:21224)

Preview

Preview

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

Preview

Correa, Elon S. and Freitas, Alex A. and Johnson, Colin G. (2008) A New Discrete Particle Swarm Algorithm Applied to Attribute Selection in a Bioinformatics Data Set. In: Proceedings of the 8th annual conference on Genetic and evolutionary computation. ACM, New York, USA, pp. 35-42. ISBN 1-59593-186-4. (doi:10.1145/1143997.1144003) (KAR id:71009)

Preview

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

Preview

Cota, Navin Gupta, Palaniappan, Ramaswamy (2008) Enhanced target detection using P300 and gamma band analysis. Neuroscience Research, 61 . ISSN 0168-0102. (KAR id:48210)

Cramer, Sam and Kampouridis, Michael and Freitas, Alex A. and Alexandridis, Antonis (2016) Predicting Rainfall in the Context of Rainfall Derivatives Using Genetic Programming. In: 2015 IEEE Symposium Series on Computational Intelligence. IEEE, pp. 711-718. ISBN 978-1-4799-7560-0. (doi:10.1109/SSCI.2015.108) (KAR id:50522)

Preview

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

Preview

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

Creese, Sadie, Goldsmith, Michael, Nurse, Jason R. C., Phillips, Elizabeth (2012) A Data-Reachability Model for Elucidating Privacy and Security Risks Related to the Use of Online Social Networks. In: 2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications. . pp. 1124-1131. IEEE ISBN 978-1-4673-2172-3. (doi:10.1109/TrustCom.2012.22) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:67528)

Cronk, Jonathan, 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) (KAR id:19783)

Cruse, Damian, Beukema, Steve, Chennu, Srivas, Malins, Jeffrey G., Owen, Adrian M., McRae, Ken (2014) The reliability of the N400 in single subjects: Implications for patients with disorders of consciousness. NeuroImage: Clinical, 4 . pp. 788-799. E-ISSN 2213-1582. (doi:10.1016/j.nicl.2014.05.001) (KAR id:54635)

Preview

Cruse, Damian, Chennu, Srivas, Chatelle, Camille, Bekinschtein, Tristan A., Fernández-Espejo, Davinia, Pickard, John D., Laureys, Steven, 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:10.1016/S0140-6736(12)60715-6) (KAR id:54645)

Preview

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

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

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

Preview

Cruse, Damian, Chennu, Srivas, Fernández-Espejo, Davinia, Payne, William L., Young, G. Bryan, 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/journal.pone.0049933) (KAR id:54643)

Preview

Curtis, Tony (1994) PEST: A Knowledge Based System for Product Promotions. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK (KAR id:21196)

Preview

Preview

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

Czajkowski, Marcin, Grzes, Marek, Kretowski, Marek (2014) Multi-test Decision Tree and its Application to Microarray Data Classification. Artificial Intelligence in Medicine, 61 (1). pp. 35-44. ISSN 0933-3657. (doi:10.1016/j.artmed.2014.01.005) (KAR id:48654)

Preview

Czech, Zbigniew and Mikanik, Wojciech (1996) Randomized PRAM Simulation Using T9000 Transputers. Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21406)

Preview

Preview

Cámara, Javier, de Lemos, Rogerio, Laranjeiro, Nuno, Ventura, Rafael, Vieira, Marco (2014) Robustness evaluation of the rainbow framework for self-adaptation. In: UNSPECIFIED. (doi:10.1145/2554850.2554935) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:42969)

Cámara, Javier, de Lemos, Rogerio, Laranjeiro, Nuno, Ventura, Rafael, Vieira, Marco (2014) Testing the robustness of controllers for self-adaptive systems. Journal of the Brazilian Computer Society, 20 (1). p. 1. ISSN 1678-4804. (doi:10.1186/1678-4804-20-1) (KAR id:42982)

Preview

Cámara, Javier and de Lemos, Rogério (2012) Evaluation of Resilience in Self-Adaptive Systems Using Probabilistic Model-Checking. In: 2012 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). IEEE, pp. 53-62. ISBN 978-1-4673-1788-7. E-ISBN 978-1-4673-1787-0. (doi: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) (KAR id:31879)

Cámara, Javier, de Lemos, Rogério (2012) Towards Run-time Evaluation of Resilience in Self-Adaptive Systems. In: Proceedings of the 17th Conference on Software Engineering and Databases (JISBD'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) (KAR id:42998)

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

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

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

Preview

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

Preview

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

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

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

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

Preview

Davies, Nigel, Davy, M.J., Blair, Gordon S., 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) (KAR id:20868)

Day, Warren (1992) Farming: towards a rigorous definition and efficient transputer implementation. In: Allen, Alastair, ed. Transputer Systems -- Ongoing Research, Proceedings of WoTUG 15. . pp. 49-62. IOS Press, Netherlands, University of Aberdeen, 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) (KAR id:21060)

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

Preview

Preview

De Castro Lima, Antonio Cesar, Descardeci, José Ricardo, 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: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) (KAR id:22345)

De Koster, Joeri, Marr, Stefan, 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:10.1145/2145816.2145873) (KAR id:63841)

Preview

De Koster, Joeri, Marr, Stefan, D'Hondt, Theo, Van Cutsem, Tom (2014) Domains: safe sharing among actors. Science of Computer Programming, 98, Pa . pp. 140-158. ISSN 0167-6423. (doi:10.1016/j.scico.2014.02.008) (KAR id:63831)

Preview

De Koster, Joeri, Marr, Stefan, Van Cutsem, Tom, D'Hondt, Theo (2016) Domains: Sharing State in the Communicating Event-Loop Actor Model. Computer Languages, Systems & Structures, 45 . pp. 132-160. ISSN 1477-8424. (doi:10.1016/j.cl.2016.01.003) (KAR id:63821)

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

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

Preview

De Wael, Mattias and Marr, Stefan and Van Cutsem, Tom (2014) Fork/Join Parallelism in the Wild: Documenting Patterns and Anti-Patterns in Java Programs using the Fork/Join Framework. In: Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform: Virtual machines, Languages, and Tools. PPPJ Principles and Practice of Programming in Java . ACM, New York, USA, pp. 39-50. ISBN 978-1-4503-2926-2. (doi:10.1145/2647508.2647511) (KAR id:63829)

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 3-642-32804-0. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:43202)

Delaney, Aidan, Stapleton, Gem, Taylor, John, Thompson, Simon (2013) On the expressiveness of spider diagrams and commutative star-free regular languages. Journal of Visual Languages and Computing, 24 (4). pp. 273-288. ISSN 1045-926X. (doi:10.1016/j.jvlc.2013.02.001) (KAR id:33572)

Preview

Demiralp, S.V. (1996) Configuring Distributed occam Programs using Doc. In: Arabnia, Hamid R., ed. Proceedings of the PDPTA''96. . pp. 1152-1162. CSREA, Athens, Georgia, Sunnyvale, California, 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) (KAR id:21345)

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

Preview

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. North Holland, pp. 207-224. ISBN 0-444-81641-0. (doi:10.1016/B978-0-444-81641-2.50022-8) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20872)

Derrick, John, 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:10.1016/S0950-5849(99)00044-0) (KAR id:17282)

Preview

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 World Congress on Formal Methods in the Development of Computing Systems. Lecture Notes In Computer Science, 2 . Springer-Verlag Berlin, Berlin, Germany, pp. 1477-1496. ISBN 978-3-540-66588-5. E-ISBN 978-3-540-48118-8. (doi: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) (KAR id:17280)

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

Derrick, John and Boiten, Eerke Albert (2003) Recent advances in refinement. In: Borger, Egon and Gargantini, Angelo and Riccobene, Elvinia, eds. Abstract State Machines 2003 Advances in Theory and Practice 10th International Workshop. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 33-56. ISBN 978-3-540-00624-4. E-ISBN 978-3-540-36498-6. (doi: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) (KAR id:14003)

Derrick, John and Boiten, Eerke Albert (1998) Testing refinements by refining tests. In: Bowen, Jonathan P. and Fett, A. and Hinchey, Michael G., eds. ZUM ’98: The Z Formal Specification Notation 11th International Conference of Z Users. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 265-283. ISBN 978-3-540-65070-6. E-ISBN 978-3-540-49676-2. (doi:10.1007/978-3-540-49676-2_19) (KAR id:17694)

Preview

Preview

Derrick, John, Boiten, Eerke Albert, Bowman, Howard, Steen, Maarten (1999) Viewpoints and consistency: translating LOTOS to Object-z. Computer Standards and Interfaces, 21 (3). pp. 251-272. ISSN 0920-5489. (doi:10.1016/S0920-5489(99)00010-0) (KAR id:17284)

Preview

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 . Springer, Berlin, Germany, pp. 250-271. ISBN 978-3-642-17070-6. E-ISBN 978-3-642-17071-3. (doi:10.1007/978-3-642-17071-3_13) (KAR id:42313)

Preview

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

Preview

Di Ventra, Massimiliano, Pershin, Yuriy V., 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: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) (KAR id:40166)

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

Preview

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

Preview

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

Preview

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

Preview

Dimitrakos, Theo (2015) Foreword: Towards Trusted Cloud Ecosystems. In: IFIP Advances in Information and Communication Technology. 9th IFIP WG 11.11 International Conference, IFIPTM 2015, Hamburg, Germany, May 26-28, 2015, Proceedings. IFIP Advances in Information and Communication Technology (IFIPAICT) , 454. pp. 215-216. Springer ISBN 978-3-319-18490-6. E-ISBN 978-3-319-18491-3. (doi:10.1007/978-3-319-18491-3_17) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:48976)

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 978-3-642-04086-3. E-ISBN 978-3-642-04086-3. (doi: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) (KAR id:40196)

Dimmich, Damian J., Jacobsen, Christian L., Jadud, Matthew C. (2006) Concurrency: The Next Generation. In: Proceedings of Postgraduate Conference 2006: Computing Laboratory 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) (KAR id:14471)

Ding, Zhong-Qiang Q, McLoughlin, Ian Vince, 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: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) (KAR id:48794)

Ding, Zhongqiang Q, McLoughlin, Ian Vince, Tan, E C (2001) How to track pitch pulse in LP residual - Joint Time-Frequency Distribution Approach. In: Proceedings of IEEE Pacific Rim Conference on Communications, Computers and Signal Processing. 1. pp. 43-46. ISBN 0-7803-7080-5. (doi: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) (KAR id:48796)

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

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

Dowle, James, Kuo, Shyh Hao, Mehrotra, Kishore, McLoughlin, Ian Vince (2006) FPGA-based MIMO and Space-Time Processing Platform. In: , EURASIP Journal of Applied Signal Processing special issue on MIMO implementation. (34653). pp. 1-14. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:48797)

Dubois, Julie L. N., 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) (KAR id:53126)

Dunn, Stuart, Hedges, Mark, Jordanous, Anna, 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) (KAR id:42382)

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

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

Preview

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

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

Preview

Preview

da Silva Brito, Patrick Henrique and de Lemos, Rogério and Fischer Rubira, Cecilía Mary (2008) Verification of Exception Control Flows and Handlers Based on Architectural Scenarios. In: 2008 11th IEEE High Assurance Systems Engineering Symposium. IEEE, pp. 177-186. ISBN 978-0-7695-3482-4. (doi: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) (KAR id:32080)

da Silva, Carlos Eduardo, de Lemos, Rogerio (2011) Dynamic plans for integration testing of self-adaptive software systems. In: UNSPECIFIED. (doi: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) (KAR id:42973)

da Silva, Carlos Eduardo, de Lemos, Rogério (2013) Dynamic Management of Integration Testing for Self-Adaptive Systems. In: Workshop on Dependable in Adaptive and Self-Managing Systems (WDAS 2013). . ISBN 978-85-7669-274-4. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:42996)

da Silva, Carlos Eduardo, 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) (KAR id:31875)

da Silva, Erick Lopes (2004) Qualidade de Serviço em Aplicações de Telemedicina. In: UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14207)

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

da Silva, Erick Lopes, Assad, Rodrigo Elia, Ferraz, Carlos A.G., Fried, Mario (2006) Um Modelo de Segurança para o Canal de Interatividade da TV Digital: Arquitetura e Implementação. In: Proceeding of the 8th International Symposium on System and Information Security (SSI 2006). . , São Paulo/SP- 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) (KAR id:14393)

da Silva, P.N., Plastino, Alexandre, Freitas, Alex A. (2018) A Novel Genetic Algorithm for Feature Selection in Hierarchical Feature Spaces. In: Proceedings of the SIAM International Conference on Data Mining (SDM18). . pp. 738-746. E-ISBN 978-1-61197-532-1. (doi:10.1137/1.9781611975321.83) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:67129)

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

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). Fast Abstracts . pp. 174-175. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14580)

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

de Lemos, Rogerio (2000) A Co-operative Object-Oriented Architecture for Adaptive Systems. In: Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems. IEEE, pp. 120-128. ISBN 0-7695-0604-6. (doi:10.1109/ECBS.2000.839869) (KAR id:22033)

Preview

Preview

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

Preview

de Lemos, Rogerio (2001) Representing Exceptional Behaviour at the earlier Phases of Software Development. In: Proceedings of the 11th Brazilian Symposium of Fault-Tolerant Computing (SCTF). . pp. 233-236. (KAR id:13630)

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 978-3-319-74182-6. (doi:10.1007/978-3-319-74183-3_1) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:65859)

de Lemos, Rogerio and 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 International Seminar. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 1-32. ISBN 978-3-642-35812-8. E-ISBN 978-3-642-35813-5. (doi: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) (KAR id:42992)

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

Preview

de Lemos, Rogerio, de Castro Guerra, Paulo Asterio (2005) Software Architectures for Dependable Systems. In: Dependable Computing. Lecture Notes in Computer Science , 3747. pp. 263-264. ISBN 978-3-540-29572-3. (doi:10.1007/11572329_22) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:51109)

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 978-3-540-28968-5. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14331)

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

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

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

de Lemos, Rogério (2006) Architectural Reconfiguration using Coordinated Atomic Actions. In: Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems. ACM, New York, USA, pp. 44-50. ISBN 1-59593-403-0. (doi: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) (KAR id:14480)

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

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

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

de Lemos, Rogério (2004) Self-* and Predictability: are these conflicting System Capabilities? In: International Workshop on Self-* Properties in Complex Information Systems (SELF-STAR 2004), May/June, 2004, Bertinoro, Italy. (KAR id:14169)

Preview

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

Cheng, Betty H.C. and de Lemos, Rogério and Giese, Holger and Inverardi, Paola and Magee, Jeff, eds. (2009) Software Engineering for Self-Adaptive Systems. Lecture Notes in Computer Science/Programming and Software Engineering, 5525 . Springer, 261 pp. ISBN 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) (KAR id:32073)

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

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

de 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-3-540-23168-4. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14156)

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, Berlin, Germany, pp. 175-196. ISBN 978-3-540-40727-0. E-ISBN 978-3-540-45177-8. (doi:10.1007/3-540-45177-3_8) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13856)

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

de Lemos, Rogério, Timmis, Jon, Ayara, Modupe, 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:10.1109/TSMCC.2007.900662) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:2028)

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: 2009 First International Conference on Advances in Future Internet. IEEE, pp. 47-52. ISBN 978-0-7695-3664-4. (doi: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) (KAR id:40195)

de Oliveira, Lariza Laura, Freitas, Alex A., Tinós, Renato (2017) Multi-objective genetic algorithms in the study of the genetic code’s adaptability. Information Sciences, 425 . pp. 48-61. ISSN 0020-0255. (doi:10.1016/j.ins.2017.10.022) (KAR id:64639)

Preview

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

Preview

de Vries, Patrick, Johnson, Colin G., Blomfield, Ian C. (2010) Modelling fim expression in Escherichia coli K12. In: International Conference on Computational Systems-Biology and Bioinformatics. Communications in Computer and Information Science . pp. 14-25. Springer, Heidelberg ISBN 978-3-642-16749-2. E-ISBN 978-3-642-16750-8. (doi:10.1007/978-3-642-16750-8_2) (KAR id:70973)

Preview

du Boulay, Benedict, Patel, Mukesh J., Taylor, Chris (1992) Programming Environments for Novices. In: Proc. of NATO Advanced Research Workshop on Cognitive Models and Intelligent Environments. . pp. 105-107. , Genoa, 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) (KAR id:21065)

E

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

Preview

Edwards, Marion, 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) (KAR id:21231)

Edwards, Marion, 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) (KAR id:21265)

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 . pp. 183-196. Cabi Publishing-C a B Int, Wallingford 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) (KAR id:17704)

Eisl, Josef and Marr, Stefan and Würthinger, Thomas and Mössenböck, Hanspeter (2017) Trace Register Allocation Policies: Compile-time vs. Performance Trade-offs. In: Proceedings of the 14th International Conference on Managed Languages and Runtimes. ACM-ICPS International Conference Proceeding Series . ACM, New York, USA, pp. 92-104. ISBN 978-1-4503-5340-3. (doi:10.1145/3132190.3132209) (KAR id:63807)

Preview

Elsehely, Ehab, 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: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) (KAR id:16067)

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

Preview

Emms, Martin and Arief, Budi and Freitas, Leonardo and Hannon, Joseph and van Moorsel, Aad (2014) Harvesting High Value Foreign Currency Transactions from EMV Contactless Credit Cards Without the PIN. In: Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security. CCS Computer and Communications Security . ACM, New York, USA, pp. 716-726. ISBN 978-1-4503-2957-6. (doi:10.1145/2660267.2660312) (KAR id:54148)

Preview

Emms, Martin and Arief, Budi and Hannon, Joseph and van Moorsel, Aad (2013) POS Terminal Authentication Protocol to Protect EMV Contactless Payment Cards. Technical report. CS-TR-1386 (KAR id:58709)

Preview

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

Preview

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

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 Beyond the Standard Second International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 140-155. ISBN 978-3-540-66712-4. E-ISBN 978-3-540-46852-3. (doi: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) (KAR id:17316)

Evered, Mark, Kölling, Michael, Schmolitzky, Axel (1995) A Flexible Object Invocation Language based on Object-Oriented Language Definition. Computer Journal, 38 (3). pp. 181-191. ISSN 0010-4620. (KAR id:21238)

Preview

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

Preview

F

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

Preview

Preview

Fabris, Fabio (2017) New Probabilistic Graphical Models and Meta-Learning Approaches for Hierarchical Classification, with Applications in Bioinformatics and Ageing. Doctor of Philosophy (PhD) thesis, University of Kent,. (KAR id:63883)

Preview

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

Preview

Fabris, Fabio, Freitas, Alex A., de Magalhaes, João Pedro (2017) A Review of Supervised Machine Learning Applied to Ageing Research. Biogerontology, 18 (2). pp. 171-188. ISSN 1389-5729. E-ISSN 1573-6768. (doi:10.1007/s10522-017-9683-y) (KAR id:60517)

Preview

Preview

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

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

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

Preview

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

Preview

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

Preview

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

Preview

Preview

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

Preview

Fatema, Kaniz, Chadwick, David (2014) Resolving Policy Conflicts-Integrating Policies from Multiple Authors. In: UNSPECIFIED. (KAR id:43215)

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 978-3-642-20768-6. (doi:10.1007/978-3-642-20769-3_24) (KAR id:31982)

Preview

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

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

Fernandes, G.P.A. and Derrick, J. (1997) Formal Specification and Testing of a Management Architecture. In: Lazar, Aurel and Saracco, Roberto and Stadler, Rolf, eds. Integrated Network Management V Integrated management in a virtual world Proceedings of the Fifth IFIP/IEEE International Symposium on Integrated Network Management. IFIP - The International Federation for Information Processing . Springer, Boston, Massachusetts, USA, pp. 473-484. ISBN 978-1-4757-5519-0. E-ISBN 978-0-387-35180-3. (doi:10.1007/978-0-387-35180-3_35) (KAR id:21505)

Preview

Preview

Fernandes, G.P.A. and Derrick, John (1996) Formal Specification of Distributed Services Management. In: Spaniol, Otto and Linnhoff-Popien, Claudia and Meyer, Bernd, eds. Trends in Distributed Systems' 96. Verlag der Augustinus Buchhandlung, Aachen, Germany, pp. 182-196. ISBN 3-86073-473-3. (KAR id:21332)

Preview

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

Ferrer, Ana Juan, Hernandez, Francisco, Tordsson, Johan, Elmroth, Erik, Ali-Eldin, Ahmed, Zsing, Csilla, Sivert, Raul, Guitart, Jordi, Badia, Rosa M., Djemame, Karim, and others. (2012) OPTIMIS: A holistic approach to cloud service provisioning. Future Generation Computer Systems, 28 (1). pp. 66-77. ISSN 0167-739X. (doi: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) (KAR id:40197)

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

Fincher, Sally (2012) Using Narrative Methodology. University of Kent at Canterbury, Canterbury, 52 pp. ISBN 978-1-902671-78-9. (KAR id:32059)

Preview

Fincher, Sally, Knox, Daniel (2013) The Porous Classroom: Professional Practices in the Computing Curriculum. IEEE Computer, 46 (9). pp. 44-51. ISSN 0018-9162. (doi: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) (KAR id:35169)

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

Franqueira, Virginia N. L., Bakalova, Zornitza, Tun, Thein Than, Daneva, Maya (2011) Towards Agile Security Risk Management in RE and Beyond. In: Proceedings of the Workshop on Empirical Requirements Engineering (EmpiRE 2011). . pp. 33-36. IEEE (doi:10.1109/empire.2011.6046253) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:77196)

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

Franqueira, Virginia N. L. and van Cleeff, Andre' and van Eck, Pascal and Wieringa, Roel (2012) Securing the Extended Enterprise: A Method for Analyzing External Insider Threat. In: Strategic and Practical Approaches for Information Security Governance. IGI Global, pp. 195-222. (doi:10.4018/978-1-4666-0197-0.ch012) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:77193)

Franqueira, Virginia N. L., van Cleeff, Andre', van Eck, Pascal, Wieringa, Roel J. (2013) Engineering Security Agreements Against External Insider Threat. Information Resources Management Journal, 26 (4). pp. 66-91. (doi:10.4018/irmj.2013100104) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:77191)

Franqueira, Virginia N. L., van Cleeff, Andre, van Eck, Pascal, Wieringa, Roel (2010) External Insider Threat: A Real Security Challenge in Enterprise Value Webs. In: The Fifth International Conference on Availability, Reliability, and Security (ARES 2010). . pp. 446-453. IEEE ISBN 978-0-7695-3965-2. (doi:10.1109/ares.2010.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) (KAR id:77198)

Franqueira, Virginia N.L., Tun, Thein Than, Yu, Yijun, Wieringa, Roel, Nuseibeh, Bashar (2011) Risk and Argument: A risk-based Argumentation Method for Practical Security. In: 2011 IEEE 19th International Requirements Engineering Conference. 2011 IEEE 19th International Requirements Engineering Conference. . pp. 239-248. IEEE ISBN 978-1-4577-0921-0. E-ISBN 978-1-4577-0924-1. (doi:10.1109/re.2011.6051659) (KAR id:77195)

Preview

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

Freitas, Alex A., Pinto Junior, Jony A., Plastino, Alexandre, Neumann, Nadine M. (2018) Is P-value<0.05 Enough? Two Case Studies in Classifiers Evaluation. In: Annals of the National Meeting of Artificial and Computational Intelligence (ENIAC). . pp. 94-103. (doi:10.5753/eniac.2018.4407) (KAR id:72111)

Preview

Férée, Hugo, Gomaa, Walid, Hoyrup, Mathieu (2014) Analytical properties of resource-bounded real functionals. Journal of Complexity, 30 (5). pp. 647-671. ISSN 0885-064X. E-ISSN 1090-2708. (doi:10.1016/j.jco.2014.02.008) (KAR id:64714)

Preview

G

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

Gacek, Cristina, Lawrie, Tony, 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.. (KAR id:58770)

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: 2003 IEEE Conference on Emerging Technologies and Factory Automation. Proceedings. IEEE, pp. 545-550. ISBN 0-7803-7937-3. (doi:10.1109/ETFA.2003.1247754) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13929)

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

Preview

Garner, Tom, Jordanous, Anna (2016) Emergent Perception and Video Games that Listen: Applying Sonic Virtuality for Creative and Intelligent NPC Behaviours. In: 2nd Computational Creativity and Games Workshop. . (KAR id:56773)

Preview

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

Preview

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

Genaim, Samir, 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:10.1145/1352582.1352585) (KAR id:15105)

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: Wells, William M. and Colchester, Alan C. F. and Delp, Scott, eds. Medical Image Computing and Computer-Assisted Intervention — MICCAI’98 First International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 469-480. ISBN 978-3-540-65136-9. E-ISBN 978-3-540-49563-5. (doi: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) (KAR id:17762)

Ghafouri-Shiraz, H, McLoughlin, Ian Vince (1991) High accuracy displacement measurements for integrated optical components. In: Trans. IEICE, National Convention Record. . p. 1. IEICE (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:48798)

Ghafouri-Shiraz, H, 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: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) (KAR id:48799)

Ghosh, Siddhartha, Ryan, Nick S. (2005) Ubiquitous Data Capture for Cultural Heritage Research. In: Ryan, Nick S. and Cinotti, Tullio Salmon and Raffa, Guiseppe, eds. Smart Environments and their Applications to Cultural Heritage. EPOCH Publication . pp. 19-22. Archaeolingua, Budapest, Hungary, Tokyo, Japan (KAR id:14263)

Preview

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

Preview

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

Giubilo, Fabio and Sajjad, Ali and Shackleton, Mark and Chadwick, David W. and Fan, Wenjun and de Lemos, Rogério (2018) An Architecture for Privacy-preserving Sharing of CTI with 3rd party Analysis Services. In: 2017 12th International Conference for Internet Technology and Secured Transactions (ICITST). IEEE. ISBN 978-1-5386-0598-1. E-ISBN 978-1-908320-93-3. (doi:10.23919/ICITST.2017.8356404) (KAR id:65817)

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

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

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

Preview

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

Preview

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

Gonzalez-Velazquez, Antonio, Sacks, Lionel, Marshall, Ian W. (2002) Ad-hoc Sensor Network Experimentation using the RCX by Mindstorms. In: Proceedings of IFIPWG6.7 Workshop. . (KAR id:13650)

Preview

Gonzalez-Velazquez, Antonio, Sacks, Lionel, Marshall, Ian W. (2002) Simple Spontaneous Mechanism for Flexible Data Communication in Wireless Ad-hoc Sensor Networks. In: Proceedings of LCS. . (KAR id:13647)

Preview

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

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

Gounaropoulos, Alex, Johnson, Colin Graeme (2007) A Neural Network Approach for Synthesising Timbres from Adjectives. In: Proceedings of the 4th Sound and Music Computing Conference (SMC07). . National and Kapodistrian University of Athens, Athens, Greece ISBN 978-960-6608-75-9. (KAR id:71025)

Preview

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

Grant, J., So, J., 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). . pp. 386-387. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14585)

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: CHI '12 Extended Abstracts on Human Factors in Computing Systems. ACM, New York, USA, pp. 1541-1546. ISBN 978-1-4503-1016-1. (doi:10.1145/2212776.2223669) (KAR id:54152)

Preview

Greenhow, Keith A. (2017) Investigation into Intelligent Image Preprocessor Techniques for Artificial Neural Networks. Doctor of Philosophy (PhD) thesis, University of Kent,. (KAR id:77011)

Preview

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

Preview

Grimmer, Matthias and Marr, Stefan and Kahlhofer, Mario and Wimmer, Christian and Würthinger, Thomas and Mössenböck, Hanspeter (2017) Applying Optimizations for Dynamically-typed Languages to Java. In: Proceedings of the 14th International Conference on Managed Languages and Runtimes. ACM-ICPS International Conference Proceeding Series . ACM, New York, USA, pp. 12-22. ISBN 978-1-4503-5340-3. (doi:10.1145/3132190.3132202) (KAR id:63809)

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. IEEE, pp. 57-65. ISBN 978-0-86341-734-4. (doi:10.1049/ic:20060135) (KAR id:58697)

Preview

Grzes, Marek (2017) Reward Shaping in Episodic Reinforcement Learning. In: Proc. of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017). . pp. 565-573. ACM (KAR id:60614)

Preview

Grzes, Marek, Hoey, Jesse (2013) On the Convergence of Techniques that Improve Value Iteration. In: Neural Networks (IJCNN), The 2013 International Joint Conference. Proceedings of International Joint Conference on Neural Networks (IJCNN). . pp. 1-8. ISBN 978-1-4673-6128-6. (doi:10.1109/IJCNN.2013.6706982) (KAR id:48658)

Preview

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

Grzes, Marek, Poupart, Pascal, Hoey, Jesse (2013) Isomorph-Free Branch and Bound Search for Finite State Controllers. In: Proceedings of International Joint Conference on Artificial Intelligence (IJCAI). . (KAR id:48657)

Preview

Guest, Richard and Fairhurst, Michael and Potter, Jonathan (2000) Automated extraction of image segments from clinically diagnostic hand-drawn geometric shapes. In: Vajda, F., ed. Proceedings of the 26th Euromicro Conference. IEEE, A440-A446. ISBN 0-7695-0780-8. (doi:10.1109/EURMIC.2000.874527) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:16171)

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

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

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

Gupta, C.N., Palaniappan, Ramaswamy (2009) Denoising cyclostationary framework for enhanced electrocardiogram analysis. In: 2007 Computers in Cardiology. . pp. 93-96. ISBN 978-1-4244-2533-4. (doi:10.1109/CIC.2007.4745429) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:70722)

Gupta, C.N., Palaniappan, Ramaswamy, Rajan, S., Swaminathan, S., Krishnan, S.M. (2005) Segmentation and classification of heart sounds. In: Proceedings of the Canadian Conference on Electrical and Computer Engineering 2005. 2005. pp. 1678-1681. IEEE ISBN 0-7803-8885-2. (doi:10.1109/CCECE.2005.1557305) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:70745)

Gupta, C.N., Palaniappan, Ramaswamy, Swaminathan, S. (2005) Classification of homomorphic segmented phonocardiogram signals using grow and learn network. In: 2005 IEEE Engineering in Medicine and Biology 27th Annual Conference. . pp. 4251-4254. IEEE ISBN 978-0-7803-8740-9. (doi:10.1109/IEMBS.2005.1615403) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:70744)

Gupta, C.N., Palaniappan, Ramaswamy, Swaminathan, S., Krishnan, S.M. (2007) Neural network classification of homomorphic segmented heart sounds. Applied Soft Computing, 7 (1). pp. 286-297. ISSN 1568-4946. (doi:10.1016/j.asoc.2005.06.006) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:70727)

Gupta, Cota Navin, Khan, Yusuf U, Palaniappan, Ramaswamy, Sepulveda, Francisco (2009) Wavelet framework for improved target detection in oddball paradigms using P300 and gamma band analysis. International Journal of Biomedical Soft-computing and Human Sciences, 14 (2). pp. 61-67. ISSN 2185-2421. (doi:10.24466/ijbschs.14.2_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) (KAR id:71049)

Gupta, Cota Navin and Palaniappan, Ramaswamy (2009) Biometric paradigm using visual evoked potential. In: Encyclopedia of Information Science and Technology. IGI Global, pp. 362-368. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:71064)

Gupta, Cota Navin, Palaniappan, Ramaswamy (2012) Using High-Frequency Electroencephalogram in Visual and Auditory-Based Brain-Computer Interface Designs. EContact!, 14 (2). (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:71047)

Gupta, Cota Navin, Palaniappan, Ramaswamy, Paramesran, Raveendran (2012) Exploiting the P300 paradigm for cognitive biometrics. International Journal of Cognitive Biometrics, 1 (1). pp. 26-38. ISSN 2042-6461. (doi:10.1504/IJCB.2012.046513) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:71048)

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. High-Performance Computing and Networking International Conference and Exhibition. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 870-877. ISBN 978-3-540-62898-9. E-ISBN 978-3-540-69041-2. (doi:10.1007/BFb0031658) (KAR id:18087)

Preview

Preview

Haas, S., Thornley, D.A., Zhu, M., Dobinson, R.W., Heeley, R., Madsen, N.A.H., Martin, B. (1998) Results from the Macrame 1024 node switching network. In: Computer Physics Communications. 110. pp. 206-210. Elsevier (doi: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) (KAR id:17790)

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

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

Preview

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

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

Hanna, Keith (1998) Reasoning about imperfect digital systems. In: Moller, Bernhard Moller and Tucker, John V, eds. Prospects for Hardware Foundations ESPRIT Working Group 8533 NADA. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 333-355. ISBN 978-3-540-65461-2. E-ISBN 978-3-540-49254-2. (doi:10.1007/3-540-49254-2_10) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:17797)

Hanna, Keith, Daeche, Neil (1987) An Algebraic Approach to Computational Logic. In: Dybjer, Peter and Nordstrom, B., eds. Proc Workshop on Programming Logic. . pp. 300-326. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20927)

Hanna, Keith, 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) (KAR id:20916)

Hanna, Keith, 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) (KAR id:22503)

Hanna, Keith, Daeche, Neil (1992) The Veritas Design Logic - a Users View. In: Stavridou, V. and Melham, Thomas F. and Boute, R.T., eds. IFIP Transactions A-Computer Science And Technology. 10. pp. 301-310. Elsevier Science Publ B V 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) (KAR id:22605)

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

Hanna, Keith, Daeche, Neil, Longley, Mark (1990) Specification and Verification using Dependent Types. IEEE Transactions Software Engineering, SE-16 (9). pp. 949-964. (doi: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) (KAR id:20966)

Hanson, Richard J., Hopkins, Tim (2018) Remark on Algorithm 539: A Modern Fortran Reference Implementation for Carefully Computing the Euclidean Norm. ACM Transactions on Mathematical Software, 44 (3). pp. 1-23. ISSN 0098-3500. E-ISSN 1557-7295. (doi:10.1145/3134441) (KAR id:67205)

Preview

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

Preview

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

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

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

He, Pei, Johnson, Colin G., Wang, HouFeng (2011) Modeling grammatical evolution by automaton. Science China Information Sciences, 54 (12). pp. 2544-2553. ISSN 1674-733X. E-ISSN 1869-1919. (doi:10.1007/s11432-011-4411-8) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:71023)

Hedges, Mark, Jordanous, Anna, Dunn, Stuart, Roueché, Charlotte, Kuster, Marc W, Selig, Thomas, Bittorf, Michael, 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. (KAR id:42378)

Preview

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

Preview

Hellyer, Laurence and Beadle, Lawrence (2009) Detecting Plagiarism in Microsoft Excel Assignments. In: White, Hazel, ed. 10th Annual Conference of the Subject Centre for Information and Computer Sciences. The Higher Education Academy, pp. 130-134. ISBN 978-0-9559676-6-5. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:24138)

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

Henderson, Philip J. (1999) Highly-multiplexed grating-sensors for temperature-referenced quasi-static measurements of strain in concrete bridges. In: Kim, Byung-Yong and Hotate, K., eds. 13th International Conference on Optical Fiber Sensors. Proceedings of SPIE . SPIE, pp. 320-323. ISBN 0-8194-3228-8. (doi:10.1117/12.2302033) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:16841)

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

Preview

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

Preview

Hernandez-Castro, Julio C., Boiten, Eerke Albert (2013) First Kent Cyber Security Survey. . Internet only. (KAR id:52890)

Preview

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

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

Preview

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

Hersch, Roger D. and André, Jacques and Brown, Heather, eds. (1998) lectronic Publishing, Artistic Imaging, and Digital Typography: 7th International Conference on Electronic Publishing. Lecture Notes in Computer Science . Springer, Berlin, Germany, 574 pp. ISBN 978-3-540-64298-5. E-ISBN 978-3-540-69718-3. (doi: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) (KAR id:21667)

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

Preview

Hesketh, Richard (1991) Perly - unix with buttons. Software: Practice and Experience, 21 (11). pp. 1165-1187. ISSN 0038-0644. (doi: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) (KAR id:22980)

Hierons, R., 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) (KAR id:16204)

Hobbs, M.H.W. (1995) Analysis of a retail branch network: a problem of catchment areas. In: Fisher, Peter, ed. Innovations in GIS 2: Selected Papers from the Second National Conference on GIS Research UK. Taylor & Francis, pp. 151-160. ISBN 0-7484-0269-1. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21273)

Hobbs, M.H.W. (2000) Email groups for learning and assessment. In: Joyce, Donald, ed. SIGCSE Bulletin. 32 (3). p. 183. ACM ISBN 1-58113-207-7. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:16217)

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 0-7484-0459-7. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21400)

Hocko, Michal and Kalibera, Tomas (2010) Reducing performance non-determinism via cache-aware page allocation strategies. In: WOSP/SIPEW '10 Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering. ICPE ACM/SPEC International Conference on Performance Engineering . ACM, New York, USA, pp. 182-196. ISBN 978-1-60558-563-5. (doi: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) (KAR id:30695)

Hodges, D., Nurse, Jason R. C., Goldsmith, M., Creese, S. (2012) Identity attribution across CyberSpace and the Natural Space. In: The International Crime and Intelligence Analysis Conference. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:67527)

Holden, Nicholas and Freitas, Alex A. (2008) Improving the performance of hierarchical classification with swarm intelligence. In: Marchiori, Elena and Moore, Jason H., eds. Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 6th European Conference. Lecture Notes in Computer Science, 4973 . Springer, Berlin, Germany, pp. 48-60. ISBN 978-3-540-78756-3. E-ISBN 978-3-540-78757-0. (doi:10.1007/978-3-540-78757-0_5) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:15684)

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

Preview

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

Preview

Preview

Hopkins, Jack and Kafalı, Özgür and Stathis, Kostas (2015) Open Game Tournaments in STARLITE: Demonstration. In: Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems. AAMAS International Conference on Autonomous Agents and Multiagent Systems . International Foundation for Autonomous Agents and Multiagent Systems, Richland, South Carolina, USA, pp. 1927-1928. ISBN 978-1-4503-3413-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:65892)

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

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 978-1-4612-7368-4. E-ISBN 978-1-4612-1986-6. (doi:10.1007/978-1-4612-1986-6_14) (KAR id:18112)

Preview

Preview

Hopkins, Tim (1996) Restructuring software: A case study. Software: Practice and Experience, 26 (8). pp. 967-982. ISSN 0038-0644. (doi:10.1002/(SICI)1097-024X(199608)26:8<967::AID-SPE41>3.0.CO;2-G) (KAR id:19244)

Preview

Preview

Hopkins, Tim, Kılıç, Emrah (2018) An analytical approach: Explicit inverses of periodic tridiagonal matrices. Journal of Computational and Applied Mathematics, 335 . pp. 207-226. ISSN 0377-0427. (doi:10.1016/j.cam.2017.11.038) (KAR id:66997)

Preview

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. IFIP Advances in Information and Communication Technology, 2 . Springer, Dordrecht, Netherlands, pp. 284-291. ISBN 978-1-4757-5162-8. E-ISBN 978-1-5041-2869-8. (doi:10.1007/978-1-5041-2869-8_37) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:18111)

Hopkins, Tim, 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) (KAR id:19243)

Houmb, Siv Hilde, Franqueira, Virginia N. L., Engum, Erlend A. (2010) Quantifying security risk level from CVSS estimates of frequency and impact. Journal of Systems and Software, 83 (9). pp. 1622-1634. ISSN 0164-1212. (doi:10.1016/j.jss.2009.08.023) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:77197)

Hoverd, Tim, Sampson, Adam T. (2010) A Transactional Architecture for Simulation. In: ICECCS 2010: Fifteenth IEEE International Conference on Engineering of Complex Computer Systems. . pp. 286-290. IEEE Press (KAR id:24147)

Preview

Howard, Sam, Silla Jr, Carlos N., Johnson, Colin G. (2011) Automatic Lyrics-based Music Genre Classification in a Multilingual Setting. In: Proceedings of the Thirteenth Brazilian Symposium on Computer Music. . (KAR id:33266)

Preview

Howe, Jacob M. (1998) A `Permutation-free' Calculus for Lax Logic. Technical report. (KAR id:21694)

Preview

Preview

Howe, Jacob M. (1998) Proof Search Issues in Some Non-Classical Logics. Doctor of Philosophy (PhD) thesis, University of St Andrews. (KAR id:21574)

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

Preview

Preview

Howe, Jacob M., King, Andy (2000) Abstracting numeric constraints with Boolean functions. Information Processing Letters, 75 (1-2). pp. 17-23. ISSN 0020-0190. (doi:10.1016/S0020-0190(00)00081-8) (KAR id:16241)

Preview

Howe, Jacob M. and Robbins, Ed and King, Andy (2017) Theory Learning with Symmetry Breaking. In: Pientka, Brigitte, ed. International Symposium on Principles and Practice of Declarative Programming. ACM, Namur, Belgium, pp. 85-96. ISBN 978-1-4503-5291-8. (doi:10.1145/3131851.3131861) (KAR id:62377)

Preview

Howells, Gareth, Fairhurst, Michael, 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: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) (KAR id:19608)

Huan, N-J, Palaniappan, Ramaswamy (2004) Brain computer interface design using mental task classification. Multimedia Cyberscape Journal, . (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:71059)

Huan, N.-J., Palaniappan, Ramaswamy (2004) Electroencephalogram signal classification using linear discriminant analysis for brain-computer interface design. In: Proceedings of Multimedia International Symposium on Information and Communication Technologies, 7-8 Oct 2004, Putrajaya, 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) (KAR id:71155)

Huan, N.-J., Palaniappan, Ramaswamy (2004) Neural network classification of autoregressive features from electroencephalogram signals for brain-computer interface design. Journal of Neural Engineering, 1 (3). pp. 142-150. ISSN 1741-2560. (doi:10.1088/1741-2560/1/3/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) (KAR id:70755)

Huang, P., 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) (KAR id:13652)

Huay, Y E, McLoughlin, Ian Vince (2001) Error Detection and Correction for microsatellite software running on {COTS} processors. In: , Proceedings of the IEEE Int. Conference on Information, Communications and Signal Processing. . (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:48800)

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

Preview

Preview

+3 more...

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

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

Preview

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

Preview

Huth, Carly L, Chadwick, David W, Claycomb, William, 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: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) (KAR id:43203)

I

Ibbetson, A.L. and Linington, P.F. and Penny, I.A. and Smith, A.B. and Tripp, G.E.W. (1996) Reducing the cost of remote procedure call. In: Schill, Alexander and Mittasch, Christian and Spaniol, Otto and Popien, Claudia, eds. Distributed Platforms Proceedings of the IFIP/IEEE International Conference on Distributed Platforms: Client/Server and Beyond. IFIP — The International Federation for Information Processing . Springer, Boston, Massachusetts, USA, pp. 430-446. ISBN 978-1-4757-5010-2. E-ISBN 978-0-387-34947-3. (doi: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) (KAR id:19254)

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

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 03029743. (doi:10.1007/978-3-642-00867-2_14) (KAR id:58690)

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'07). IEEE, pp. 141-145. ISBN 978-0-7695-2765-9. (doi:10.1109/ISORC.2007.46) (KAR id:58695)

Preview

Iliasov, Alexei, Romanovsky, Alexander, Arief, Budi, Laibinis, Linas, Troubitsyna, Elena (2007) A framework for open distributed system design. In: International Computer Software and Applications Conference. 2. pp. 658-668. ISBN 978-0-7695-2870-0. (doi:10.1109/COMPSAC.2007.23) (KAR id:58693)

Preview

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

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). . Council for Information Technology, Sri Lanka ISBN (on CD ROM). (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21759)

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

Iqbal, Musaddar and Freitas, Alex A. and Johnson, Colin G. (2008) Protein interaction inference using particle swarm optimization algorithm. In: Marchiori, Elena and Moore, Jason H., eds. Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 6th European Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 61-70. ISBN 978-3-540-78756-3. E-ISBN 978-3-540-78757-0. (doi: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) (KAR id:15710)

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

Preview

Itoh, Makoto, Chua, Leon O. (2008) MEMRISTOR OSCILLATORS. International Journal of Bifurcation and Chaos, 18 (11). pp. 3183-3206. ISSN 0218-1274. (doi: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) (KAR id:40165)

J

Jackson, Nicholas, Johnson, Colin G. (2012) Evolution of unknotting strategies for knots and braids. In: Proceedings of the AISB/IACAP World Congress 2012. . (KAR id:70983)

Preview

Jafarov, E., Lievens, S.J., 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: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) (KAR id:15720)

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

Preview

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

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

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

Preview

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

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

Preview

Jiang, Bing, Song, Yan, Wei, Si, Liu, Jun-Hua, McLoughlin, Ian Vince, Dai, Li-Rong (2014) Deep bottleneck features for spoken language identification. PLoS ONE, 9 (7). Article Number 100795. ISSN 1932-6203. (doi:10.1371/journal.pone.0100795) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:48803)

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

Jiang, Bing and Song, Yan and Wei, Si and Wang, Meng-Ge and McLoughlin, Ian and Dai, Li-Rong (2014) Performance evaluation of deep bottleneck features for spoken language identification. In: The 9th International Symposium on Chinese Spoken Language Processing. IEEE, pp. 143-147. E-ISBN 978-1-4799-4219-0. (doi:10.1109/ISCSLP.2014.6936580) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:48804)

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

Johnson, Colin G. (2013) Artistic and Musical Applications of Internet Search Technologies: Prospects and a Case Study. Digital Creativity, 24 (4). pp. 342-366. ISSN 1462-6268. E-ISSN 1744-3806. (doi:10.1080/14626268.2013.777351) (KAR id:69654)

Preview

Johnson, Colin G. (1998) Between-host evolution of mutation-rate and within-host evolution of virulence. In: Proceedings Third German Workshop on Artificial Life. . Harri Deutsch (KAR id:71010)

Preview

Johnson, Colin G. (2012) Connotation in Computational Creativity. Cognitive Computation, 4 (3). pp. 280-291. ISSN 1866-9956. E-ISSN 1866-9964. (doi:10.1007/s12559-012-9141-8) (KAR id:70809)

Preview

Johnson, Colin G. (2012) The Creative Computer as Romantic Hero? Computational Creativity Systems and Creative Personæ. In: Proceedings of the Third International Conference on Computational Creativity. . pp. 57-61. E-ISBN 978-1-905254-66-8. (KAR id:69664)

Preview

Johnson, Colin G. (2016) Fitness in Evolutionary Art and Music: A Taxonomy and Future Prospects. Fitness in evolutionary art and music: a taxonomy and future prospects, 9 (1). pp. 4-25. ISSN 1754-8853. E-ISSN 1754-8861. (doi:10.1504/IJART.2016.075406) (KAR id:69612)

Preview

Johnson, Colin G. (2012) Fitness in Evolutionary Art and Music: What Has Been Used and What Could Be Used? In: Evolutionary and Biologically Inspired Music, Sound, Art and Design First International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 129-140. ISBN 978-3-642-29141-8. E-ISBN 978-3-642-29142-5. (doi:10.1007/978-3-642-29142-5_12) (KAR id:70977)

Preview

Johnson, Colin G. (2009) Genetic Programming Crossover: Does It Cross Over? In: EuroGP 2009: Genetic Programming. Lecture Notes in Computer Science . pp. 97-108. Springer, Heidelberg ISBN 978-3-642-01180-1. E-ISBN 978-3-642-01181-8. (doi:10.1007/978-3-642-01181-8_9) (KAR id:71019)

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. . (Unpublished) (KAR id:41429)

Preview

Johnson, Colin G. (2007) The Non-Classical Mind: Cognitive Science and Non-Classical Computing. In: Schuster, Alfons, ed. Intelligent Computing Everywhere. Springer, London, UK, pp. 45-59. ISBN 978-1-84628-943-9. E-ISBN 978-1-84628-943-9. (doi:10.1007/978-1-84628-943-9) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:70947)

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

Preview

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

Johnson, Colin G. (2008) Student-Generated Podcasts for Learning and Assessment. In: Koli '08 Proceedings of the 8th International Conference on Computing Education Research. . pp. 84-87. ACM, New York, NY, USA E-ISBN 978-1-60558-385-3. (doi:10.1145/1595356.1595371) (KAR id:71024)

Preview

Johnson, Colin G. (2009) Teaching Natural Computation. IEEE Computational Intelligence Magazine, 4 (1). pp. 24-30. ISSN 1556-603X. (doi:10.1109/MCI.2008.930984) (KAR id:69651)

Preview

Johnson, Colin G., Marsh, Duncan (1998) A CAD Representation of Robot Manipulator Workspace. In: 29th International Symposium on Robotics. . (KAR id:70984)

Preview

Johnson, Colin G. and Marsh, Duncan (1998) A robot programming environment based on free-form CAD modelling. In: Proceedings. 1998 IEEE International Conference on Robotics and Automation. IEEE, pp. 194-199. ISBN 0-7803-4300-X. (doi:10.1109/ROBOT.1998.676372) (KAR id:70982)

Preview

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

Preview

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

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

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

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: Proceedings : Concepts and Applications of Systemics, Cybernetics and Informatics. International Institute of Informatics and Systemics, pp. 457-463. ISBN 978-980-07-5919-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:16874)

Johnson, Leslie, Stergiou, Maria (1997) Integrating BPR and Systems Development using Meta-Models. In: Proceedings - BPR Year 97 Europe. . (KAR id:21487)

Johnson, Leslie, Stergiou, Maria (1997) The Link between BPR, Evolutionary Delivery and Evolutionary Development. In: Callaos, Nagib and Khoong, Chan Meng and Cohen, Eli, eds. SCI'97 Proceedings - World Multiconference on Systemics, Cybernetics and Informatics. 2. pp. 61-67. ISBN 980-07-4174-7. (KAR id:21477)

Preview

Johnson, Leslie, Stergiou, Maria (1997) The Necessary Architecture of Self-Regulating Teams. In: Wright, D. and Rudolph, M. and Hanna, V. and Gillingwater, D. and Burns, N., eds. ME-SELA'97 Proceedings - International Conference on Managing Enterprises - Stakeholders, Engineering, Logistics, and Achievement. . pp. 93-98. Mechanical Engieering Publ ISBN 1-86058-066-1. (KAR id:21469)

Preview

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

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

Jones, Richard E. (2007) Dynamic Memory Management: Challenges for Today and Tomorrow. In: International LISP Conference 2007: (ILC 07). Association of LISP Users, pp. 115-124. ISBN 978-1-59593-618-9. (KAR id:14600)

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