Skip to main content

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

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

Article

?agalj, Mario, Perkovi?, Toni, Bugari?, Marin, Li, Shujun (2015) Fortune cookies and smartphones: Weakly unrelayable channels to counter relay attacks. Pervasive and Mobile Computing, 20 . pp. 64-81. ISSN 1574-1192. (doi:10.1016/j.pmcj.2014.09.002)
[img]
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)

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)

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)

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) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

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)

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)

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)

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)
[img]
Preview
[img]

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

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

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)

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)
[img]
Preview

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)

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)

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, . pp. 1-13. ISSN 1448-837X. E-ISSN 2205-362X. (doi:10.1080/1448837X.2015.1093677)
[img]

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). p. 69. ISSN 1758-2946. (doi:10.1186/s13321-016-0182-y)
[img]
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)
[img]
Preview

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

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). p. 3372. ISSN 1424-8220. (doi:10.3390/s18103372)
[img]
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)

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. (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)
[img]

Aviles, Alberto, Bowman, Howard, Wyble, Brad (2020) On the limits of evidence accumulation of the preconscious percept. Cognition, 195 . p. 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)
[img]

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). pp. 1-37. 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)

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)
[img]
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)

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)
[img]
Preview

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

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)

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)

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)

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)

Bastian, Théophile, Kell, Stephen, Zappa Nardelli, Francesco (2019) Reliable and Fast DWARF-Based Stack Unwinding. Proceedings of the ACM on Programming Languages, 3 (OOPSLA). (In press)
[img]
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)

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)
[img]
Preview
[img]

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

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

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)
[img]
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)
[img]
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)
[img]
Preview

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)

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)

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)

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)

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)

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)
[img]
Preview

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)
[img]
Preview
[img]
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)
[img]
Preview
[img]
Preview

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

Bowman, Howard, 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)

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)

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). e90595. ISSN 1932-6203. (doi:10.1371/journal.pone.0090595)
[img]
Preview

Bowman, Maggie (1997) Development of a Technical Reports Service at the Higher Education National Software Archive in the UK. Program: Electronic Library and Information Systems, 31 (2). pp. 147-159. ISSN 0033-0337. (doi: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)

Brabazon, Anthony, Kampouridis, Michael, O’Neill, Michael (2019) Applications of Genetic Programming to Finance and Economics: Past, Present, Future. Genetic Programming and Evolvable Machines, . ISSN 1389-2576. (doi:10.1007/s10710-019-09359-z) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

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)

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)

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)

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)

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)

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)

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

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)

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)

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)

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)

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)

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)
[img]
Preview

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

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)

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)

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)
[img]

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)
[img]
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)

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

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)
[img]
Preview

Chadwick, David W, Siu, Kristy, 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)

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)

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). e0211234. ISSN 1932-6203. (doi:10.1371/journal.pone.0211234)
[img]
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)
[img]
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)

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.
[img]
Preview

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)

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)
[img]
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)
[img]
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). e1003887. ISSN 1553-734X. E-ISSN 1553-7358. (doi:10.1371/journal.pcbi.1003887)
[img]
Preview

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

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

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

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

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)
[img]
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)
[img]
Preview

Chu, Dominique, Thompson, James, von der Haar, Tobias (2014) Charting the dynamics of translation. Bio Systems, 119 (1). pp. 1-9. ISSN 1872-8324. (doi:10.1016/j.biosystems.2014.02.005)
[img]
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)

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)

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)
[img]
Preview
[img]
Preview

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

Cota, Navin Gupta, Palaniappan, Ramaswamy (2008) Enhanced target detection using P300 and gamma band analysis. Neuroscience Research, 61 . ISSN 0168-0102.
[img]

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) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img] [img]

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)

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)
[img]
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)
[img]
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)

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)

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)
[img]
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)
[img]
Preview

Cvetkovic, Bozidara, Janko, Vito, Romero, Alfonso E, Kafalı, Özgur, Stathis, Kostas, Lustrek, Mitja (2016) Activity recognition for diabetic patients using a smartphone. Journal of medical systems, 40 (12). p. 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)

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)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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

Daloze, Benoit, 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)
[img]
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)

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)

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)
[img]
Preview

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

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)
[img]
Preview

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

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)
[img]
Preview
[img]
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)
[img]
Preview
[img]
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)

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

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)

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)

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)

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)

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)

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.
[img]
Preview

Fabris, Fabio (2018) Meta-Learning for Hierarchical Classification and Applications in Bioinformatics. International Journal of Computer and Information Engineering, 12 (7). ISSN 2010-3921.
[img]
Preview
[img]
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)
[img]
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)
[img]
Preview
[img]
Preview

Fabris, Fabio, Palmer, Daniel, de Magalhaes, João Pedro, Freitas, Alex A. (2019) Comparing enrichment analysis and machine learning for identifying gene properties that discriminate between gene classes. Briefings in Bioinformatics, . 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)

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)
[img]
Preview

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

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)

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)

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)
[img] [img]

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)
[img] [img]

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)

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)
[img]
Preview

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)
[img]

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)
[img]
Preview

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)

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)
[img]
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)

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)
[img]
Preview

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

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)
[img]
Preview

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

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)

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)

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)

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)

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)

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

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

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

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

Hanna, Keith, 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)

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)
[img]
Preview

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)

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)

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)
[img]
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)

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)

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)
[img]
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)
[img]
Preview
[img]
Preview

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)

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)
[img]
Preview
[img]
Preview

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

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)

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)
[img]

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)
[img]
Preview
[img]

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)

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)

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)

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)
[img]
Preview
[img]

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)

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 . p. 8894. E-ISSN 2045-2322. (doi:10.1038/s41598-019-45289-7)
[img]
Preview
[img]

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)

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)

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)

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)
[img]

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)
[img]

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)
[img]
Preview

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

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)
[img]
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). e100795-e100795. (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)

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)

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)
[img]
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)
[img]
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)
[img]
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)
[img]
Preview

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

King, Andy, Mycroft, Alan, Simon, Axel, Reps, Tom (2012) Analysis of Executables: Benefits and Challenges. Dagstuhl Reports, 2 (1). pp. 100-116. ISSN 2192-5283. (doi:10.4230/DagRep.2.1.100)
[img]
Preview

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

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

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

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

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

Kuttikat, Anoop, Noreika, Valdas, Chennu, Srivas, Shenker, Nicholas, Bekinschtein, Tristan, Brown, Christopher A. (2017) Altered Neurocognitive Processing of Tactile Stimuli in Patients with Complex Regional Pain Syndrome (CRPS). The Journal of Pain, 19 (4). pp. 395-409. ISSN 1526-5900. (doi:10.1016/j.jpain.2017.11.008)
[img]
Preview

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

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

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

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

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

Lange, Julien, Scalas, Alceste (2013) Choreography Synthesis as Contract Agreement. Electronic Proceedings in Theoretical Computer Science, 131 . pp. 52-67. ISSN 2075-2180. (doi:10.4204/EPTCS.131.6) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

Legg, Philip A., Moffat, Nick, Nurse, Jason R. C., Happa, Jassim, Agrafiotis, Ioannis, Goldsmith, Michael, Creese, Sadie (2013) Towards a Conceptual Model and Reasoning Structure for Insider Threat Detection. Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications, 4 (4). pp. 20-37. ISSN 2093-5374. E-ISSN 2093-5382. (doi:10.22667/JOWUA.2013.12.31.020)
[img]
Preview

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

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

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

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

Lins, Rafael D. (1991) A Shared Memory Architecture for Parallel Cyclic Reference Counting. Microprocessing and Microprogramming, 35 (1-5). pp. 563-568. ISSN 0165-6074. (doi:10.1016/0165-6074(91)90322-K) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Lins, Rafael D., Neto, Mario Guimaraes, Neto, Leopoldo Franca, Rosa, Luciano Galdino (1994) An environment for processing images of historical documents. Microprocessing and Microprogramming, 40 (10-12). pp. 939-942. ISSN 0165-6074. (doi:10.1016/0165-6074(94)90074-4) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

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

Luštrek, Mitja, Cvetkovic, Bozidara, Mirchevska, Violeta, Kafalı, Özgür, Romero, Alfonso, Stathis, Kostas (2015) Recognising lifestyle activities of diabetic patients with a smartphone. EAI Endorsed Transactions on Pervasive Health and Technology, 15 (4). ISSN 2411-7145. (doi:10.4108/icst.pervasivehealth.2015.259118) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

Mansfield, Elizabeth L., Clarkson, Peter (1997) Symmetries and exact solutions for a 2+1-dimensional shallow water wave equation. Mathematics and Computers in Simulation, 43 (1). pp. 39-55. ISSN 0378-4754. (doi:10.1016/S0378-4754(96)00054-7) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Marek, Lukáš, Ansaloni, Danilo, Sarimbekov, Aibek, Sewe, Andreas, Zheng, Yudi, Kell, Stephen, Bulej, Lubomír, Binder, Walter, Tůma, Petr (2013) ShadowVM: Robust and Comprehensive Dynamic Program Analysis for the Java Platform. ACM SIGPLAN Notices, 49 (3). pp. 105-114. ISSN 0362-1340. E-ISSN 1558-1160. (doi:10.1145/2517208.2517219) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

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

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

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

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

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

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

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

McLoughlin, Ian Vince (1999) DSP software development. Linux Journal, 1999 (61es). p. 5. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

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

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

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

McLoughlin, Ian Vince (1999) Switched- basis LSP quantization. 2nd International Conference on Information, Communication & Signal Processing, . p. 389. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

McLoughlin, Ian Vince, Chance, R. J. (1997) LSP analysis and processing for speech coders. Electronics Letters, 33 (99). pp. 743-744. ISSN 0013-5194. E-ISSN 1350-911X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince, Ding, Zhongqiang Q, Tan, Eng Chong (2002) Intelligibility evaluation of GSM coder for Mandarin speech using CDRT. Speech Communication, 38 (1). pp. 161-165. (doi:10.1016/S0167-6393(01)00050-4) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince, Gupta, V., Sandhu, G.S., Lim, S., Bretschneider, T.R. (2003) Fault tolerance through redundant COTS components for satellite processing applications. Fourth International Conference on Information, Communications and Signal Processing, 2003 and the Fourth Pacific Rim Conference on Multimedia. Proceedings of the 2003 Joint, 1 . pp. 269-299. (doi:10.1109/ICICS.2003.1292463) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

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

McLoughlin, Ian Vince, Scott, Tom (2004) Space-time processing-Linux style. Linux Journal, 2004 (125). p. 8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

McLoughlin, Ian Vince, Shin, F. M. (2000) MP3 player on JUMPtec DIMM-PC/486-I. Embedded Linux Journal, 1 (1). pp. 64-69. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

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

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

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

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

Morse, David R. (1996) Australian multimedia. Trends in Ecology and Evolution, 11 (12). 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)

Morse, David R. (1995) Ecology on the Internet. BES Bulletin, XXVIII (4). pp. 244-250. ISSN 0306 8307. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Morse, David R. (1995) ModelMaker: A review. BES Bulletin, XXVIII (4). pp. 284-286. ISSN 0306 8307. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

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

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

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

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

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

Netshisaulu, T.T., Ngoepe, Phuti E., Chadwick, Alan V. (1999) Computer modelling and EXAFS study of the disorder in Cd1-xPbxF2 mixed systems. Molecular Simulation, 22 (1). pp. 1-21. ISSN 0892-7022. (doi:10.1080/08927029908022082) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

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

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

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

Nurse, Jason R. C., Sinclair, Jane E. (2010) An Evaluation of BOF4WSS and the Security Negotiations Model and Tool used to Support it. International Journal On Advances in Security, 3 (3&amp;).
[img]
Preview

Nurse, Jason R. C., Sinclair, Jane E. (2009) Securing e-Businesses that use Web Services - a Guided Tour Through BOF4WSS. International Journal on Advances in Internet Technology, 2 (4).
[img]
Preview

Nurse, Jason R. C., Sinclair, Jane E. (2010) A Thorough Evaluation of the Compatibility of an E-Business Security Negotiations Support Tool. International Journal of Computer Science, 37 (4).
[img]
Preview

O'Kelly, Julian, James, L, Palaniappan, Ramaswamy, Fachner, J, Taborin, J, Magee, Wendy L (2013) Neurophysiological and behavioral responses to music therapy in vegetative and minimally conscious states. Frontiers in Human Neuroscience, 7 (884). ISSN 1662-5161. (doi:10.3389/fnhum.2013.00884)
[img]
Preview

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

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

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

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

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

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

Owen, Gareth, Adda, Mo (2006) Self organizing quorum systems for ad hoc networks. Communication, Network, and Information Security, . pp. 93-98. ISSN ISBN: 0-88986-636-8.
[img]
Preview

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

Palaniappan, Ramaswamy (2007) Discrimination of alcoholic subjects using second order autoregressive modelling of brain signals evoked during visual stimulus perception. International Journal of Medical and Health Sciences, 1 (12). pp. 642-647. (doi:10.5281/zenodo.1080360)
[img]
Preview

Palaniappan, Ramaswamy (2006) Improved automated classification of alcoholics and non-alcoholics. International Journal of Information Technology, 2 . pp. 182-186. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Palaniappan, Ramaswamy (2004) Method of identifying individuals using VEP signals and neural network. IEE Proceedings: Science, Measurement and Technology, 151 (1). pp. 16-20. ISSN 1350-2344. (doi:10.1049/ip-smt:20040003) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Palaniappan, Ramaswamy (2005) Multiple mental thought parametric classification: A new approach for individual identification. International Journal of Signal Processing, 2 (1). pp. 222-225. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Palaniappan, Ramaswamy (2007) Screening for chronic alcoholic subjects using multiple gamma band EEG: a pilot study. Journal of Computer Science and Technology, 7 (2). pp. 182-185. ISSN 1666-6038. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Palaniappan, Ramaswamy (2007) Single trial visual event related potential extraction by negentropy maximisation of independent components. WSEAS Transactions on 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)

Palaniappan, Ramaswamy (2006) Towards optimal model order selection for autoregressive spectral analysis of mental tasks using genetic algorithm. International Journal of Computer Science and Network Security, 6 (1A). pp. 153-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)

Palaniappan, Ramaswamy (2006) Utilizing gamma band to improve mental task based brain-computer interface design. IEEE Transactions on Neural Systems and Rehabilitation Engineering, 14 (3). pp. 299-303. ISSN 1534-4320. (doi:10.1109/TNSRE.2006.881539) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Palaniappan, Ramaswamy, Gupta, C.N., Krishnan, S.M. (2005) Neural Network Classification of Premature Heartbeats. Multimedia Cyberscape Journal, 3 (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)

Palaniappan, Ramaswamy, Huan, N. J. (2007) Effects of hidden unit sizes and autoregressive features in mental task classification. International Journal of Psychological and Behavioral Sciences, 1 (12). pp. 636-641. (doi:10.5281/zenodo.1076016)
[img]
Preview

Palaniappan, Ramaswamy, Mandic, D.P. (2007) Biometrics from brain electrical activity: A machine learning approach. IEEE Transactions on Pattern Analysis and Machine Intelligence, 29 (4). pp. 738-742. ISSN 0162-8828. (doi:10.1109/TPAMI.2007.1013) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Palaniappan, Ramaswamy, Mandic, Danilo P. (2007) EEG based biometric framework for automatic identity verification. Journal of Vlsi Signal Processing Systems for Signal Image and Video Technology, 49 (2). pp. 243-250. ISSN 0922-5773. (doi:10.1007/s11265-007-0078-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)

Palaniappan, Ramaswamy, Paramesran, R. (2002) Using genetic algorithm to identify the discriminatory subset of multi-channel spectral bands for visual response. Applied Soft Computing, 2 (1). pp. 48-60. ISSN 1568-4946. (doi:10.1016/S1568-4946(02)00028-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)

Palaniappan, Ramaswamy, Paramesran, R., Nishida, S., Saiwaki, N. (2002) A new brain-computer interface design using fuzzy ARTMAP. IEEE Transactions on Neural Systems and Rehabilitation Engineering, 10 (3). pp. 140-148. ISSN 1534-4320. (doi:10.1109/TNSRE.2002.802854) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Palaniappan, Ramaswamy, Raveendran, P. (2001) Cognitive task prediction using parametric spectral analysis of EEG signals. Malaysian Journal of Computer Science, 14 (1). pp. 58-67. ISSN 0127-9084. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Palaniappan, Ramaswamy, Raveendran, P. (2002) Individual identification technique using visual evoked potential signals. Electronics Letters, 38 (25). pp. 1634-1635. ISSN 0013-5194. (doi:10.1049/el:20021104) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Palaniappan, Ramaswamy, Raveendran, P. (2001) Recursive digital filter for fast visual evoked potential estimation and classification. Electronics Letters, 37 (15). pp. 990-992. ISSN 0013-5194. (doi:10.1049/el:20010640) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Palaniappan, Ramaswamy, Raveendran, P., Nishida, S. (2003) Multi-Channel Noise Reduced Visual Evoked Potential Analysis. IEEJ Transactions on Electronics, Information and Systems, 123 (10). pp. 1721-1727. ISSN 0385-4221. (doi:10.1541/ieejeiss.123.1721) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Palaniappan, Ramaswamy, Raveendran, P., Omatu, S. (1999) Neural network classification of symmetrical and nonsymmetrical images using new moments with high noise tolerance. International Journal of Pattern Recognition and Artificial Intelligence, 13 (8). pp. 1233-1250. ISSN 0218-0014. (doi:10.1142/S0218001499000707) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Palaniappan, Ramaswamy, Raveendran, P., Omatu, S. (2000) New invariant moments for non-uniformly scaled images. Pattern Analysis and Applications, 3 (2). pp. 78-87. ISSN 1433-7541. (doi:10.1007/s100440070014) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Palaniappan, Ramaswamy, Raveendran, P., Omatu, S. (2002) VEP optimal channel selection using genetic algorithm for neural network classification of alcoholics. IEEE Transactions on Neural Networks, 13 (2). pp. 486-491. ISSN 1045-9227. (doi:10.1109/72.991435) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Palaniappan, Ramaswamy, Ravi, K.V.R. (2006) Improving visual evoked potential feature classification for person recognition using PCA and normalization. Pattern Recognition Letters, 27 (7). pp. 726-733. ISSN 0167-8655. (doi:10.1016/j.patrec.2005.10.020) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

Paolizzo, Fabio, Johnson, Colin G. (2020) Creative Autonomy in a Simple Interactive Music System. Journal of New Music Research, . ISSN 0929-8215. (In press) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img] [img]

Paramesan, R., Palaniappan, Ramaswamy, Omatu, Sigeru (1998) Regular moments for symmetric images. Electronics Letters, 34 (15). pp. 1481-1482. ISSN 0013-5194. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Patel, Mukesh J., du Boulay, Benedict, Taylor, Chris (1997) Comparison of Contrasting Prolog Trace Output Formats. International Journal of Human-Computer Studies, 47 (2). pp. 289-322. ISSN 1071-5819. (doi:10.1006/ijhc.1997.0119)
[img]
Preview

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

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

Pei, He, Lishan, Kang, Johnson, Colin G., Shi, Ying (2011) Hoare Logic-based Genetic Programming. Science China Information Sciences, 54 (3). pp. 623-637. ISSN 1674-733X. E-ISSN 1869-1919. (doi:10.1007/s11432-011-4200-4)
[img]
Preview

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

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

Pham, Thinh H, Fahmy, Suhaib A, McLoughlin, Ian Vince (2016) Spectrally efficient emission mask shaping for OFDM cognitive radios. Digital Signal Processing, 50 . pp. 150-161. ISSN 1051-2004. E-ISSN 1095-4333. (doi:10.1016/j.dsp.2015.12.008)
[img]
Preview
[img]

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

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

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

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

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

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

Phan, Huy, Tan, Su-Lim, McLoughlin, Ian Vince, Vu, Duc-Lung Vu (2013) A Unified Framework for GPS Code and Carrier-Phase Multipath Mitigation Using Support Vector Regression. Advances in Artificial Neural Systems, 2013 . p. 240564. ISSN 1687-7594. (doi:10.1155/2013/240564)
[img]
Preview

Poole, Michael (1995) Progress with occam for the PC. WoTUG Newsletter, . (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Poole, Michael (1993) An implementation of Occam 2 targetted to 80386, etc. WoTUG Newsletter, 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)

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

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

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

Prutton, M., Wilkinson, D.K., Kenny, Peter G., Mountain, David (1999) Data processing for spectrum-images: extracting information from the data mountain. Applied Surface Science, 144-14 . pp. 1-10. (doi:10.1016/S0169-4332(98)00754-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)

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

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

Rahman, Ahmad Fuad Rezaur, Fairhurst, Michael, Lee, Peter (1998) Design considerations in the real-time implementation of multiple expert image classifiers within a modular and flexible multiple-platform design environment. Real-Time Imaging, 4 (5). pp. 361-376. ISSN 1077-2014. (doi:10.1016/S1077-2014(98)90005-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)

Ramesh, B, Mohan, D, McLoughlin, Ian Vince, Madhusudhanan, N (2004) On-Board Data Handling System for the X-Sat Mission. Proceedings of the 1st Asian Space 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)

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

Raveendran, P., Palaniappan, Ramaswamy, Omatu, S. (2000) Fuzzy ARTMAP classification of invariant features derived using angle of rotation from a neural network. Information Sciences, 130 (1-4). pp. 67-84. ISSN 0020-0255. (doi:10.1016/S0020-0255(00)00087-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)

Ravi, K.V.R., Palaniappan, Ramaswamy (2006) Neural network classification of late gamma band electroencephalogram features. Soft Computing, 10 (2). pp. 163-169. ISSN 1432-7643. (doi:10.1007/s00500-004-0439-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)

Ravi, K.V.R., Palaniappan, Ramaswamy, Heng, S.-H. (2006) Simplified fuzzy ARTMAP classification of individuals using optimal VEP channels. International Journal of Knowledge-Based and Intelligent Engineering Systems, 10 (6). pp. 445-452. ISSN 1327-2314. (doi:10.3233/KES-2006-10604) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Ravi, KVR, Gupta, Cota Navin, Palaniappan, Ramaswamy (2005) Classifying brain prints using grow and learn neural network. 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)

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

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

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

Roadknight, Chris, Parrott, Laura, Boyd, Nathan, Marshall, Ian W. (2005) Real-Time Data Management on a Wireless Sensor Network. International Journal of Distributed Sensor Networks, 1 (2). pp. 215-225. ISSN 1550-1329. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

Rosli, M.H., Edwards, Rachel S., Dutton, Ben, Johnson, Colin G., Cattani, Phil T. (2010) Identifying Surface Angled Cracks on Aluminium Bar using EMATs and Automated Computer System. AIP Conference Proceedings, 1211 . pp. 1593-1600. ISSN 0094-243X. E-ISSN 1551-7616. (doi:10.1063/1.3362258)
[img]
Preview

Rossebø, J. E. Y., Houmb, S. H., Georg, G., Franqueira, V. N. L., Serpanos, D. (2014) Introduction to Special Issue on Risk and Trust in Embedded Critical Systems. ACM Transactions on Embedded Computing Systems, 13 (5S). ISSN 1539-9087. (doi:10.1145/2659008) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

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

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

Runnalls, Andrew R. (2007) Kullback-Leibler approach to Gaussian mixture reduction. IEEE Transactions on Aerospace and Electronic Systems, 43 (3). pp. 989-999. ISSN 0018-9251. (doi:10.1109/TAES.2007.4383588)
[img]
Preview

Russell, M., Hopkins, Tim (1998) CFTP: a caching FTP server. Computer Networks and ISDN Systems, 30 (22-23). pp. 2211-2222. ISSN 0169-7552. (doi:10.1016/S0169-7552(98)00240-2)
[img]
Preview
[img]
Preview

Ryan, Nick S., Smith, Dan, Ma, Ling (2006) Acoustic environment as an indicator of social and physical context. Personal and Ubiquitous Computing, 10 (4). pp. 241-254. ISSN 1617-4909. (doi:10.1007/s00779-005-0045-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)

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

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

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

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

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

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

Shackell, John, Salvy, Bruno (1995) Asymptotic forms and algebraic differential equations. Journal of Symbolic Computation, 20 (2). pp. 169-177. ISSN 0747-7171. (doi:10.1006/jsco.1995.1044) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

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

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

Sharmilakanna, P., Palaniappan, Ramaswamy (2003) Neural Network Classification of Alcohol Abusers Using Power in Gamma Band Frequency of VEP Signals. 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)

Sharp, John A., Price, D.H.R. (1996) Systematic case study selection based on sample surveys: The case segmentation method. Systems Research and Information Science, 7 (2). pp. 71-81. ISSN 0882-3014. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

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

Slater, J.B., Swinnerton-Dyer, P. (1998) Counting points on cubic surfaces, I. Asterisque, (251). pp. 1-12. ISSN 0303-1179. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Smart, Nigel P. (1996) Solving discriminant form equations via unit equations. Journal of Symbolic Computation, 21 (3). pp. 367-374. ISSN 0747-7171. (doi:10.1006/jsco.1996.0018) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

Stergiou, Maria, Johnson, Leslie (1999) Modelling Process-Centered Organisations. International Journal of Information Systems Research and Information Science, . (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Strang, W., Khan, H., Simpson, V., Slater, C., Hill, Steve (1993) From hypertext to hypermedia. Second annual conference on multimedia in education and industry, . pp. 35-39. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

Sutcliffe, A., Dömges, M.J.R. (1997) Defining Visions in Context. Information Systems, 21 (6). pp. 515-547. ISSN 0306-4379. (doi:10.1016/0306-4379(96)00026-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)

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

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

Tan, Su-Wei, Lee, Sze-Wei, Vaillaint, Benoit (2002) Non-greedy minimum interference routing algorithm for bandwidth-guaranteed flows. Computer Communications Journal, 25 (17). pp. 1640-1652. ISSN 0140-3664. (doi:10.1016/S0140-3664(02)00055-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)

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

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

Thompson, Simon, King, Peter, Cameron, Helen (2005) Modelling Reactive Multimedia: Design and Authoring. Multimedia Tools and Applications, 27 (1). pp. 23-52. ISSN 1380-7501. (doi:10.1007/s11042-005-2713-9)
[img]
Preview

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

Thompson, Simon, Lins, Rafael D. (1992) The categorical multi-combinator machine - cmcm. Computer Journal, 35 (2). pp. 170-176. ISSN 0010-4620. (doi:10.1093/comjnl/35.2.170)
[img]
Preview
[img]
Preview

Tighe, D., Lewis-Morris, T., Freitas, Alex A. (2019) Machine learning methods applied to audit of surgical outcomes after treatment for cancer of the head and neck. British Journal of Oral and Maxillofacial Surgery, 57 (8). pp. 771-777. ISSN 0266-4356. (doi:10.1016/j.bjoms.2019.05.026) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Valkenburg, Peter, Beckett, David J., Hamilton, Martin, Wilkinson, Simon (1998) Standards in the CHIC-Pilot Distributed Indexing Architecture. Computer Networks and ISDN Systems, 30 (16-18). pp. 1571-1578. ISSN 0169-7552. (doi:10.1016/S0169-7552(98)00218-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)

Vandercammen, Maarten, Marr, Stefan, De Roover, Coen (2017) A Flexible Framework for Studying Trace-Based Just-In-Time Compilation. Computer Languages, Systems & Structures, 51 . pp. 22-47. ISSN 1477-8424. (doi:10.1016/j.cl.2017.07.005)
[img]
Preview

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

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

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

Watson, Phil (2000) Review of Gasarch W. et al, `Classification using information'. Mathematical Reviews, (2000a:). ISSN 0025-5629. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Welch, Peter H. (1975) Continuous Semantics and Inside-Out Reductions. Lecture Notes in Computer Science, 37 . pp. 122-146. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Welch, Peter H. (1989) Emulating Digital Logic using Transputer Networks (Very High Parallelism = Simplicity = Performance). Parallel Computing, 9 (2). pp. 257-272. ISSN 0167-8191.
[img]
Preview

Welch, Peter H. (1985) Five Essays on Occam. Occam User Group Newsletter, 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)

Welch, Peter H. (1988) GOTO (Considered Harmful)<sup></sup>n, n is Odd}. Occam User Group Newsletter, 8 . pp. 22-26. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Welch, Peter H. (1997) Ignore the monitor methods! Computer, 30 (7). 7-&. ISSN 0018-9162. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Welch, Peter H. (1983) Parallel Assignment Revisited. Software Practice and Experience, . (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Welch, Peter H. (1992) The Role and Future of occam. Transputer Applications -- Progress and Reports, Proceedings of the Final Transputer Initiative Symposium, . (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Welch, Peter H. (1989) Safety First. Occam User Group Newsletter, 12 . pp. 22-27. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Welch, Peter H. (1991) Securely Managed Pointers. WoTUG Newsletter, 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)

Welch, Peter H. (1992) Shared-Memory Multi-Processors and occam. WoTUG Newsletter, 17 . pp. 42-45. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Welch, Peter H. (1985) Structured Tasking in Ada? Ada Letters, 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)

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

Welch, Peter H., Wood, David C. (1993) Image tracking in real-time: a transputer emulation of some early mammalian vision processes. Image and Vision Computing, 11 (4). pp. 221-228. ISSN 0262-8856. (doi:10.1016/0262-8856(93)90039-J) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Welch, Peter H., Wood, David C. (1992) KITTEN -- A Foveal Image Tracker. Image Processing and Transputers, . pp. 97-112. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Williams, Meredydd, Nurse, Jason R. C., Creese, Sadie (2017) Privacy salience: Taxonomies and research opportunities. Privacy and Identity Management – Facing Up To Next Steps, IFIP Advances in Information and Communication Technology, . (doi:10.1007/978-3-319-55783-0_18)
[img]
Preview

Wilson, E. (1992) Guiding lawyers - mapping law into hypertext. Artificial Intelligence Review, 6 (2). pp. 161-189. ISSN 0269-2821. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

Wright, John F., Morse, David R., Tardivel, Gillian M. (1995) An investigation into the use of hypertext as a user interface to taxonomic keys. Computer Applications in the Biosciences, 11 (1). pp. 19-27. ISSN 1367-4803. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

Wusteman, Judith (1992) Explanation-based learning - a survey. Artificial Intelligence Review, 6 (3). pp. 243-262. ISSN 0269-2821. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

Xie, Zhi-Peng, McLoughlin, Ian Vince, Zhang, Hao-min, Song, Yan, Xiao, Wei (2016) A new variance-based approach for discriminative feature extraction in machine hearing classification using spectrogram features. Digital Signal Processing, . ISSN 1051-2004. (doi:10.1016/j.dsp.2016.04.005)
[img]
Preview
[img]

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

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

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

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

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

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

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

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

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

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

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

Zheng, Yi, Hague, Jim (1991) Dmt - a Demonstration Tool. Software: Practice and Experience, 21 (9). pp. 949-961. ISSN 0038-0644. (doi:10.1002/spe.4380210905) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Zheng, Yudi, Kell, Stephen, Bulej, Lubomir, Sun, Haiyang, Binder, Walter (2016) Comprehensive Multiplatform Dynamic Program Analysis for Java and Android. IEEE Software, 33 (4). pp. 55-63. ISSN 0740-7459. (doi:10.1109/MS.2015.151)
[img]
Preview

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

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

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)

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)

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)
[img]

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)
[img]
Preview

Öztürkeri, Can, Johnson, Colin G. (2011) Evolution of Self-Assembling Patterns in Cellular Automata using Development. Journal of Cellular Automata, 6 (4). pp. 257-300. ISSN 1557-5969. E-ISSN 1557-5977.
[img]
Preview

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

Book section

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)

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)

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)

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)

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)
[img]
Preview
[img]

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)

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)

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

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

Ahmadi, Farzaneh and McLoughlin, Ian Vince and Sharifzadeh, Hamid Reza (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)

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)
[img]
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)

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)

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)
[img]
Preview

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)

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)

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

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

Anggadjaja, Erwin and McLoughlin, Ian (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)

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)

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)

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)

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)
[img]
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.
[img]
Preview

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

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)

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)

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)

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)

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)

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)

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)

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.
[img]
Preview

Ball, Rudi and Grant, James and So, Jonathan and Spurrett, Victoria and de Lemos, Rogerio (2007) Dependable and Secure Distributed Storage System for Ad Hoc Networks. In: Ad-Hoc, Mobile, and Wireless Networks 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)

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)

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

Barnes, 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.
[img]
Preview
[img]
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)

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.
[img]
Preview
[img]
Preview

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)

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.
[img]
Preview
[img]
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)

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.
[img]
Preview
[img]
Preview

Beckett, David J. and Welch, Peter H. (1996) Emulating a secure multicasting bus using occam 2.1. In: Oneill, B.C. and Transputer User, Grp, eds. 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)

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)

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)
[img]
Preview

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)

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)

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)
[img]
Preview

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

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

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

Boudeville, Olivier and Cesarini, Francesco and Chechina, Natalia and Lundin, Kenneth and Papaspyrou, Nikolaos and Sagonas, Konstantinos and Thompson, Simon and Trinder, Phil and Wiger, Ulf (2013) RELEASE: A High-level Paradigm for Reliable Large-scale Server Software. 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)
[img]
Preview

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)

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)

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)

Brown, Heather (1993) Desktop Publishing. In: Ralston, Anthony and Reilly, Edwin D., eds. Encyclopedia of Computer Science. Van Nostrand Reinhold, pp. 426-429. ISBN 0-442-27679-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Brown, Heather and Cole, Fred C. (1993) ODA extensions for quality and flexibility. In: Evans, Cliff D. and Walker, Raymond S. and Meek, Brian L., eds. User Needs in Information Technology Standards. Computer Weekly Professional Series . Butterworth-Heinemann, pp. 148-160. ISBN 0-7506-1559-1. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Brown, Heather and Cole, Fred C. and Oxborrow, Elizabeth (1993) An Object-Oriented Toolkit for ODA and HyperODA. In: Proceedings of 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)

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)

Brown, Heather and Robinson, Peter (1999) Integrating Paper and Digital Documents. In: Vince, John A. and Earnshaw, Rae A., eds. Digital media: the future. Springer Verlag. ISBN 1-85233-246-8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Brown, Heather and Wusteman, Judith (1996) Acrobat, Mosaic and Guide as Vehicles for Electronic Journals. In: Earnshaw, Rae A. and Vince, John A., eds. Digital Media and Electronic Publishing. Academic Press, pp. 65-89. ISBN 0-12-227756-2. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

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

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

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)
[img]

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)

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)

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)

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)
[img]
Preview

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

Chadwick, David W and Hibbert, Mark (2013) Towards Automated Trust Establishment in Federated Identity Management. In: Trust Management VII. Springer Berlin Heidelberg, pp. 33-48.
[img]
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)
[img]
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)
[img]
Preview

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

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

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)

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)

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)

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.
[img]
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.
[img]

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)

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)

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)
[img]
Preview

Cramer, Sam and Kampouridis, Michael and Freitas, Alex A. and Alexandridis, Antonis (2016) Predicting Rainfall in the Context of Rainfall Derivatives Using Genetic Programming. In: 2015 IEEE Symposium Series on Computational Intelligence. IEEE, pp. 711-718. ISBN 978-1-4799-7560-0. (doi:10.1109/SSCI.2015.108)
[img]
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)

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. SPLASH Systems, Programming, and Applications, 51 . ACM, New York, USA, pp. 642-659. ISBN 978-1-4503-4444-9. (doi:10.1145/2983990.2984001)
[img]
Preview

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)

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)
[img]
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)

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)

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)

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)
[img]
Preview
[img]
Preview

Derrick, John and Walkinshaw, Neil and Arts, Thomas and Benac Earle, Clara and Cesarini, Francesco and Fredlund, Lars-Ake and Gulias, Victor and Hughes, John and Thompson, Simon (2010) Property-Based Testing - The ProTest Project. In: Formal Methods for Components and Objects. Lecture Notes in Computer Science . 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)
[img]
Preview

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

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

Evans, Andy and Kent, Stuart (1999) Core meta-modelling semantics of UML: The pUML approach. In: France, Robert and Rumpe, Bernhard, eds. «UML»’99 — The Unified Modeling Language 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)

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)
[img]
Preview

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)
[img]
Preview
[img]
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.
[img]
Preview
[img]
Preview

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

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)
[img]

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)

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)

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)
[img]
Preview

Greathead, David and Coventry, Lynne and Arief, Budi and van Moorsel, Aad (2012) Deriving Requirements for an Online Community Interaction Scheme: Indications from Older Adults. In: 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)
[img]
Preview

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

Grosso, Sergio and Tully, Alan and Arief, Budi and Marques, Antonio and Matoses, Manuel Serrano (2006) Collaborations among in-vehicle and infrastructure-based sensing technology for automotive applications: The EMMA and TRACKSS EU Projects. In: IET Seminar on RFID and Electronic Vehicle Identification in Road Transport. IEEE, pp. 57-65. ISBN 978-0-86341-734-4. (doi:10.1049/ic:20060135)
[img]
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)

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)

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)
[img]
Preview
[img]
Preview

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)

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)

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)

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)

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)

Hobbs, M.H.W. (1996) Spatial clustering using a genetic algorithm. In: Parker, David, ed. Innovatins in GIS 3. Taylor &amp; 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)

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)

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)

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)

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)
[img]
Preview
[img]
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)

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)
[img]
Preview

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)

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)
[img]
Preview

Iliasov, Alexei and Romanovsky, Alexander and Arief, Budi and Laibinis, Linas and Troubitsyna, Elena (2007) On rigorous design and implementation of fault tolerant ambient systems. In: 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07). IEEE, pp. 141-145. ISBN 978-0-7695-2765-9. (doi:10.1109/ISORC.2007.46)
[img]
Preview

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)

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)

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)
[img]

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)
[img]
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)
[img]

Johnson, Colin G. (2019) Stepwise Evolutionary Learning using Deep Learned Guidance Functions. In: Bramer, Max and Petridis, Miltos, eds. Artificial Intelligence XXXVI. Lecture Notes in Computer Science . Springer. ISBN 978-3-030-34884-7. (In press) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

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)
[img]
Preview

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.
[img]

Johnson, Leslie and Stergiou, Maria (1999) Emergent design and development of information systems: The theoretical justification. In: Torres, M. and Sanchez, B. and Wills, E., eds. World Multiconference on Systemics, Cybernetics and Informatics: 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)

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.
[img]
Preview

Jones, Richard E. (1995) Introducing More Systematic Quality Assurance Arrangements for Course Approval and Review. In: Middlehurst, Robin, ed. Managing for Quality: Stories and Strategies. Higher Education Quality Council, pp. 15-17. ISBN 1-85824-234-7. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jordan, Tobias and De Wilde, Philippe and Buarque de Lima Neto, Fernando (2017) Modeling Contagion of Behavior in Friendship Networks as Coordination Games. In: Advances in Social Simulation 2015. Advances in Intelligent Systems and Computing . Springer, Cham, Switzerland, pp. 181-194. ISBN 978-3-319-47252-2. E-ISBN 978-3-319-47253-9. (doi:10.1007/978-3-319-47253-9_15)
[img]
Preview

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

Justo, George R. R. and Welch, Peter H. (1992) Serialization as a Paradigm for the Engineering of Parallel Programs. In: Etiemble, D. and Syre, J.C., eds. PARLE '92 Parallel Architectures and Languages Europe 4th International PARLE Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 975-976. ISBN 978-3-540-55599-5. E-ISBN 978-3-540-47250-6. (doi:10.1007/3-540-55599-4_149) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

Kafalı, Özgur and Schaechtle, Ulrich and Stathis, Kostas (2015) HYDRA: A HYbrid Diagnosis and monitoRing Architecture for diabetes. In: 2014 IEEE 16th International Conference on e-Health Networking, Applications and Services (Healthcom). IEEE, pp. 531-536. E-ISBN 978-1-4799-6644-8. (doi:10.1109/HealthCom.2014.7001898) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kafalı, Özgur and Toni, Francesca and Torroni, Paolo (2011) Collaborative diagnosis of exceptions to contracts: Extended Abstract. In: The 10th International Conference on Autonomous Agents and Multiagent Systems. International Foundation for Autonomous Agents and Multiagent Systems, Richland, South Carolina, USA, pp. 1167-1168. ISBN 978-0-9826571-7-1. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

Kafalı, Özgur and Torroni, Paolo (2011) Diagnosing commitments: Delegation revisited: Extended Abstract. In: The 10th International Conference on Autonomous Agents and Multiagent Systems. International Foundation for Autonomous Agents and Multiagent Systems, Richland, South Carolina, USA, pp. 1175-1176. ISBN 978-0-9826571-7-1. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

Kafalı, Özgur and Yolum, Pinar (2009) Adapting reinforcement learning for trust: Effective modeling in dynamic environments: Short Paper. In: 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology. IEEE, pp. 383-386. ISBN 978-0-7695-3801-3. (doi:10.1109/WI-IAT.2009.67) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

Kalibera, Tomas (2009) Replicating real-time garbage collector for Java. In: JTRES '09 Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems. JTRES Java Technologies for Real-Time and Embedded Systems . ACM, New York, USA, pp. 182-196. ISBN 978-1-60558-732-5. (doi:10.1145/1620405.1620420) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

Kalibera, Tomas and Parizek, Pavel and Haddad, Ghaith and Leavens, Gary T. and Vitek, Jan (2010) Challenge benchmarks for verification of real-time programs. In: PLPV '10 Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification. POPL Principles of Programming Languages . ACM, New York, USA, pp. 182-196. ISBN 978-1-60558-890-2. (doi:10.1145/1707790.1707800) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

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

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

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

Kell, Stephen (2019) Unix, Plan 9 and the Lurking Smalltalk. In: Reflections on Programming Systems. Philosophical Studies Series . Springer. ISBN 978-3-319-97225-1. E-ISBN 978-3-319-97226-8. (In press) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

Kemp, Zarine P. (1999) A framework for integrating GIS and digital images. In: Agouri, Peggy and Stefanidis, Anthony, eds. Integrated Spatial Databases Digital Images and GIS International Workshop. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 153-167. ISBN 978-3-540-66931-9. E-ISBN 978-3-540-46621-5. (doi:10.1007/3-540-46621-5_10) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kent, Stuart and Howse, John (1999) Mixing visual and textual constraint languages. In: France, Robert and Rumpe, Bernhard, eds. «UML»’99 — The Unified Modeling Language Beyond the Standard Second International Conference. Lecture Notes In Computer Science . Springer, Berlin, Germany, pp. 384-398. ISBN 978-3-540-66712-4. E-ISBN 978-3-540-46852-3. (doi:10.1007/3-540-46852-8) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kerridge, J. and Welch, P. and Wood, D. (1999) Synchronisation Primitives for Highly Parallel Discrete Event Simulations. In: Sprague, R. H., ed. Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. IEEE. ISBN 0-7695-0001-3. (doi:10.1109/HICSS.1999.773084) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

Knowles, Adam and Timmis, Jon and de Lemos, Rogério and Forrest, Simon and McCracken, Heather (2008) Artificial Immune Systems for Data Fusion: A Novel Biologically Inspired Approach. In: 2008 11th International Conference on Information Fusion. IEEE. ISBN 978-3-8007-3092-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)

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

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

Lange, Julien and Tuosto, Emilio (2012) Synthesising choreographies from local session types. In: Koutny, M. and Ulidowski, I., eds. CONCUR 2012 – Concurrency Theory 23rd International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 225-239. ISBN 978-3-642-32939-5. E-ISBN 978-3-642-32940-1. (doi:10.1007/978-3-642-32940-1_17) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

Lauder, Anthony and Dumas, Marlon and Frohner, Akos and Oliver, Ian (2000) PhDOOS 2000: The 10th Ph.D. workshop on object-oriented systems. In: Malaenfant, Jacques and Moisan, Sabine and Moreira, Ana, eds. Object-Oriented Technology: Ecoop 2000 Workshop Reader: Ecoop 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12-16, 2000 Proceedings. Lecture Notes in Computer Science, 1964 . Springer Verlag Berlin, pp. 78-92. ISBN 3-540-41513-0. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Le, Thanh Hai and McLoughlin, Ian Vince (2011) SLC SAR speckle filtering using homoskedastic features of logarithmic transformation. In: 31st Asian Conference on Remote Sensing 2010 (ACRS 2010). Asian Association on Remote Sensing, p. 6. ISBN 978-1-61782-397-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)

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

Li, Jingjie and McLoughlin, Ian Vince and Song, Yan (2014) Reconstruction of pitch for whisper-to-speech conversion of Chinese. In: The 9th International Symposium on Chinese Spoken Language Processing. IEEE, pp. 206-210. E-ISBN 978-1-4799-4219-0. (doi:10.1109/ISCSLP.2014.6936709) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Linington, Peter F. (1991) Introduction to the open distributed-processing basic reference model. In: Meer, J.de. and Heymer, V. and Roth, R., eds. Open Distributed Processing. IFIP Transactions C-Communication Systems, 1 . North-Holland Publishing Co., Amsterdam, pp. 3-13. ISBN 0-444-89329-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Linington, Peter F. (1999) An ODP Approach to the Development of Large Middleware Systems. In: Kutvonen, Lea and Konig, H. and Tienari, M., eds. Distributed Applications and Interoperable Systems II IFIP TC6 WG6.1 Second International Working Conference on Distributed Applications and Interoperable Systems. IFIP - The International Federation for Information Processing, 15 . Springer, Boston, Massachusetts, USA, pp. 61-74. ISBN 978-1-4757-5008-9. E-ISBN 978-0-387-35565-8. (doi:10.1007/978-0-387-35565-8_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)

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

Locke, T (2001) Towards a Viable Alternative to OO -- Extending the sf occam/CSP Programming Model. In: Chalmers, Alan and Mirmehdi, Majid and Muller, Henk, eds. Communicating process architectures 2001. Concurrent Systems Engineering Series, 59 . IOS Press, Amsterdam, The Netherlands, pp. 329-349. ISBN 1-58603-202-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)

Lopes, Adilson and Silva, Carlos and Elias, Gledson and Magalhães, Maurício F. (2006) A meta-component model for dynamic adaptation support in a middleware system for interactive TV. In: Proceedings of the 12th Brazilian Symposium on Multimedia and the Web. ACM International Conference Proceeding Series . ACM, New York, USA, pp. 193-202. ISBN 85-7669-100-0. (doi:10.1145/1186595.1186619) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Luo, Yong and Chitil, Olaf (2007) Proving the correctness of algorithmic debugging for functional programs. In: Nilsson, Henrik, ed. Trends in Functional Programming. Trends in Functional Programming . Intellect Books, Bristol, UK, pp. 19-34. ISBN 978-1-84150-188-8.
[img]
Preview

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

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

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

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

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

Marr, Stefan and Torres Lopez, Carmen and Aumayr, Dominik and Gonzalez Boix, Elisa and Mössenböck, Hanspeter (2017) A Concurrency-Agnostic Protocol for Multi-Paradigm Concurrent Debugging Tools. In: Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming. SPLASH Systems, Programming, and Applications . ACM, New York, USA. ISBN 978-1-4503-5526-1. (doi:10.1145/3133841.3133842)
[img]
Preview

Marr, Stefan and Verhaegen, Stijn and De Fraine, Bruno and D'Hondt, Theo and De Meuter, Wolfgang (2010) Insertion Tree Phasers: Efficient and Scalable Barrier Synchronization for Fine-grained Parallelism. In: 2010 IEEE 12th International Conference on High Performance Computing and Communications (HPCC). IEEE, pp. 130-137. ISBN 978-1-4244-8335-8. (doi:10.1109/HPCC.2010.30)
[img]
Preview

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

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

McGough, Andrew Stephen and Wall, David and Brennan, John and Theodoropoulos, Georgios and Ruck-Keene, Ed and Arief, Budi and Gamble, Carl and Fitzgerald, John and van Moorsel, Aad and Alwis, Sujeewa (2015) Insider Threats: Identifying Anomalous Human Behaviour in Heterogeneous Systems Using Beneficial Intelligent Software (Ben-ware). In: Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats. CCS Computer and Communications Security . ACM, New York, USA, pp. 1-12. ISBN 978-1-4503-3824-0. (doi:10.1145/2808783.2808785)
[img]
Preview

McLoughlin, Ian V. and Xie, Zhi-Peng (2014) Speech playback geometry for smart homes. In: The 18th IEEE International Symposium on Consumer Electronics (ISCE 2014). IEEE, pp. 1-2. E-ISBN 978-1-4799-4592-4. (doi:10.1109/ISCE.2014.6884428) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince (2011) Virtualized Development and Testing of Embedded Computing Clusters. In: 2011 Second International Conference on Networking and Computing. IEEE, pp. 17-26. ISBN 978-1-4577-1796-3. (doi:10.1109/ICNC.2011.13) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

McLoughlin, Ian Vince and Bretschneider, Timo Rolf (2006) Achieving low-cost high-reliability computation through redundant parallel processing. In: 2006 International Conference on Computing & Informatics. IEEE, pp. 1-6. ISBN 978-1-4244-0219-9. (doi:10.1109/ICOCI.2006.5276450) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince and Chance, R. J. (1997) LSP-based speech modification for intelligibility enhancement. In: Proceedings of 13th International Conference on Digital Signal Processing. International Conference on Digital Signal Processing . IEEE, pp. 591-594. ISBN 0-7803-4137-6. (doi:10.1109/ICDSP.1997.628419) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince and Ding, Zhong-Qiang (2000) Mandarin Speech Coding using a modified RPE_LTP technique. In: 2000 IEEE Asia-Pacific Conference on Circuits and Systems. Electronic Communication Systems. IEEE, pp. 748-751. ISBN 0-7803-6253-5. (doi:10.1109/APCCAS.2000.913628) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince and Hui, Fang (2000) Novel Dynamic Bit Allocation Method for LSP Quantization. In: 2000 TENCON Proceedings. Intelligent Systems and Technologies for the New Millennium. IEEE, pp. 476-481. ISBN 0-7803-6355-8. (doi:10.1109/TENCON.2000.893714) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince and Nakano, Koji (2010) A Perspective on the Experiential Learning of Computer Architecture. In: 2010 IEEE/ACM Int'l Conference on Green Computing and Communications & Int'l Conference on Cyber, Physical and Social Computing. IEEE, pp. 868-872. ISBN 978-1-4244-9779-9. (doi:10.1109/GreenCom-CPSCom.2010.71) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince and Naransamy, Mohanavel (2009) Keypress biometrics for user validation in mobile consumer devices. In: 2009 IEEE 13th International Symposium on Consumer Electronics. IEEE, pp. 280-284. ISBN 978-1-4244-2975-2. (doi:10.1109/ISCE.2009.5156933) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

McLoughlin, Ian Vince and Thambipillai, Srikanthan (1999) LSP parameter interpretation for speech classification. In: Proceedings of ICECS '99. 6th IEEE International Conference on Electronics, Circuits and Systems. International Conference on Electronics, Circuits and Systems, 1 . IEEE, pp. 419-422. ISBN 0-7803-5682-9. (doi:10.1109/ICECS.1999.812312) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

McLoughlin, Ian Vince and Xu, Yan and Song, Yan (2014) Tone confusion in spoken and whispered Mandarin Chinese. In: The 9th International Symposium on Chinese Spoken Language Processing. IEEE, pp. 313-316. E-ISBN 978-1-4799-4219-0. (doi:10.1109/ISCSLP.2014.6936708) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian Vince and Zhong-Qiang, Ding (2000) Mandarin speech coding using a modified RPE-LTP technique. In: 2000 IEEE Asia-Pacific Conference on Circuits and Systems. Electronic Communication Systems. IEEE, pp. 748-751. ISBN 0-7803-6253-5. (doi:10.1109/APCCAS.2000.913628) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

McLoughlin, Ian and Aendenroomer, Anton (2007) Linux as a teaching aid for embedded systems. In: 2007 International Conference on Parallel and Distributed Systems. IEEE. ISBN 978-1-4244-1889-3. (doi:10.1109/ICPADS.2007.4447797) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

Ming, Jengis Lo and McLoughlin, Ian (2006) Performance Investigation and Implementation of a Real-Time Adaptive MIMO-DFE System. In: 2006 10th IEEE Singapore International Conference on Communication Systems. IEEE, pp. 1-5. ISBN 1-4244-0410-X. (doi:10.1109/ICCS.2006.301367) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Ming, Jengis Lo and McLoughlin, Ian (2006) Performance investigation and implementation of a real-time adaptive {MIMO-DFE} system. In: 2006 10th IEEE Singapore International Conference on Communication Systems. IEEE, pp. 1-5. ISBN 1-4244-0410-X. (doi:10.1109/ICCS.2006.301367) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

Moores, James (1999) CCSP - A portable CSP-based run-time system supporting C and occam. In: Cook, Barry M., ed. Proceedings of WoTUG-22: Architectures, Languages and Techniques for Concurrent Systems. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 147-168. ISBN 90-5199-480-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)

Moores, James (2000) Native JCSP: the CSP-for-Java Library with a Low-Overhead CPS Kernel. In: Welch, Peter H. and Bakkers, A.W.P., eds. Communicating Process Architectures 2000. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 263-273. ISBN 978-1-58603-077-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)

Mouli, S. and Palaniappan, Ramaswamy and Sillitoe, I.P. (2015) A configurable, inexpensive, portable, multi-channel, multi-frequency, multi-chromatic RGB LED system for SSVEP stimulation. In: Hassanien, A. and Azar, A., eds. Brain-Computer Interfaces. Intelligent Systems Reference Library . Springer, pp. 241-269. ISBN 978-3-319-10977-0. (doi:10.1007/978-3-319-10978-7_9) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

Nguyen, Quang Huy and Lee, Ken Yoong and Aung, Myo Tun and Bretschneider, Timo and McLoughlin, Ian Vince (2009) Hardware-accelerated edge detection for polarimetric synthetic aperture radar data. In: 2009 IEEE International Geoscience and Remote Sensing Symposium. IEEE. ISBN 978-1-4244-3394-0. E-ISBN 978-1-4244-3395-7. (doi:10.1109/IGARSS.2009.5417338) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

Nurse, Jason R. C. and Sinclair, Jane E. (2011) A Case Study Analysis of an E-Business Security Negotiations Support Tool. In: Electrical Engineering and Applied Computing. Lecture Notes in Electrical Engineering, 90 . Springer. (doi:10.1007/978-94-007-1192-1_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)

Nurse, Jason R. C. and Sinclair, Jane E. (2009) Supporting the Comparison of Business-Level Security Requirements within Cross-Enterprise Service Development. In: Business Information Systems. Lecture Notes in Business Information Processing, 21 . Springer-Verlag. (doi:10.1007/978-3-642-01190-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)

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

Orchard, Dominic A. and Yoshida, Nobuko (2017) Session Types with Linearity in Haskell. In: Gay, S. and Ravara, A., eds. Behavioural Types: from Theory to Tools. River Publishers Series in Automation, Control and Robotics . River Publishers, pp. 219-241. ISBN 978-87-93519-82-4. E-ISBN 978-87-93519-81-7. (doi:10.13052/rp-9788793519817)
[img]
Preview
[img]
Preview

Oshea, P.J. and Wilson, E. (1997) European law databases: an experiment in retrieval. In: Wagner, R., ed. Proceedings of the 8th International Conference on Database and Expert Systems Applications, DEXA '97. IEEE, pp. 227-232. ISBN 0-8186-8147-0. (doi:10.1109/DEXA.1997.617275) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Owen, Gareth and Adda, Mo (2007) A Fault and Mobility Tolerant Location Server for Large-scale Ad-hoc networks. In: 2007 16th IST Mobile and Wireless Communications Summit. IEEE, pp. 1-5. ISBN 1-4244-1662-0. E-ISBN 963-8111-66-6. (doi:10.1109/ISTMWC.2007.4299152)
[img]
Preview

Owen, Gareth and Adda, Mo (2006) Geographically static quorums in ad-hoc networks and their performance as location servers. In: Proceedings of 3rd IADAT International Conference on Telecommunications and Computer Networks 2006. IADAT, pp. 30-35. ISBN 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)

Owen, Gareth and Adda, Mo (2006) Modulo and grid based channel selection in ad hoc networks. In: Proceedings of 3rd IADAT International Conference on Telecommunications and Computer Networks 2006. IADAT, pp. 130-135. ISBN 84-933971-4-8.
[img]
Preview

Owen, Gareth and Adda, Mo (2006) Quorum based geographically static data storage in ad-hoc networks. In: Proceedings of the 6th International Network Conference. University of Plymouth. ISBN 1-84102-157-1.
[img]
Preview

Palaniappan, Ramaswamy and Gosalia, J. and Revett, K. and Samraj, A. (2011) PIN generation using single channel EEG biometric. In: Advances in Computing and Communications. ACC 2011. Communications in Computer and Information Science . Springer, pp. 378-385. ISBN 978-3-642-22725-7. (doi:10.1007/978-3-642-22726-4_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)

Palaniappan, Ramaswamy and Mandic, D.P. (2005) Energy of brain potentials evoked during visual stimulus: A new biometric? In: Artificial Neural Networks: Formal Models and Their Applications – ICANN 2005 15th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 735-740. ISBN 978-3-540-28755-1. E-ISBN 978-3-540-28756-8. (doi:10.1007/11550907_117) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Palaniappan, Ramaswamy and Patnaik, L.M. (2007) Identity verification using resting state brain signals. In: Encyclopedia of Information Ethics and Security. IGI Global, pp. 335-341. ISBN 978-1-59140-987-8. (doi:10.4018/978-1-59140-987-8.ch050) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Palaniappan, Ramaswamy and Raveendran, P. and Omatu, Sigeru (2000) Improved moment invariants for invariant image representation. In: Invariants for pattern recognition and classification. World Scientific, pp. 167-187. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Palaniappan, Ramaswamy and Sihra, Tarsem (2015) Brain prints for biometrics: An introduction and review of current trends. In: Khosrow-Pour, Mehdi, ed. Encyclopedia of Information Science and Technology. IGI Global. ISBN 978-1-4666-5888-2. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Palaniappan, Ramaswamy and Syan, Chanan S and Paramesran, Raveendran (2009) Current practices in electroencephalogram-based brain-computer interfaces. In: Encyclopedia of Information Science and Technology. IGI Global, pp. 888-901. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Pappa, Gisele L. and Freitas, Alex A. (2007) Discovering new rule induction algorithms with grammar-based genetic programming. In: Maimon, Oded and Rokach, Lior, eds. Soft Computing for Knowledge Discovery and Data Mining. Springer, New York, pp. 133-152. ISBN 978-0-387-69934-9. (doi:10.1007/978-0-387-69935-6_6) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Parizek, Pavel and Kalibera, Tomas (2010) Efficient Detection of Errors in Java Components Using Random Environment and Restarts. In: Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 182-196. ISBN 978-3-642-12001-5. E-ISBN 978-3-642-12002-2. (doi:10.1007/978-3-642-12002-2_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)

Parizek, Pavel and Kalibera, Tomas (2009) Platform-specific restrictions on concurrency in model checking of Java programs. In: Formal Methods for Industrial Critical Systems 14th International Workshop. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 182-196. ISBN 978-3-642-04569-1. E-ISBN 978-3-642-04570-7. (doi:10.1007/978-3-642-04570-7_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)

Pascoe, Jason (1998) Adding generic contextual capabilities to wearable computers. In: Digest of Papers. Second International Symposium on Wearable Computers. IEEE, pp. 92-99. ISBN 0-8186-9074-7. (doi:10.1109/ISWC.1998.729534)
[img] [img]
Preview

Pascoe, Jason and Ryan, Nick S. and Morse, David R. (1999) Issues in developing context-aware computing. In: Gellersen, Hans, ed. Handheld and Ubiquitous Computing First International Symposium. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 208-221. ISBN 978-3-540-66550-2. E-ISBN 978-3-540-48157-7. (doi:10.1007/3-540-48157-5_20) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Patel, Mukesh J. and Taylor, Chris and du Boulay, Benedict (1994) Textual Tree (Prolog) Tracer: An Experimental Evaluation. In: Gilmore, D. and Winder, R. and Detienne, F., eds. User-Centred Requirements for Software Engineering Environments. NATO ASI Series (Series F: Computer and Systems Sciences), 123 . Springer-Verlag, Berlin, pp. 127-141. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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

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

Pimentel, M.D.C (1994) Evaluation of Alternative Operations for Browsing Hypertext. In: Cockton, G. and Draper, S.W. and Weir, G.R.S., eds. People and Computers. British Computer Society Workshop Series, Procee . Cambridge University Press, Cambridge, pp. 145-162. ISBN 0-521-48557-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)

Pimás, Javier and Burroni, Javier and Arnaud, Jean Baptiste and Marr, Stefan (2017) Garbage Collection and Efficiency in Dynamic Metacircular Runtimes. In: Proceedings of the 13th ACM SIGPLAN International Symposium on on Dynamic Languages. SPLASH Systems, Programming, and Applications . ACM, New York, USA, pp. 39-50. ISBN 978-1-4503-5526-1. (doi:10.1145/3133841.3133845)
[img]
Preview

Pinto, Paulo F. and Linington, Peter F. (1994) A language for the specification of interactive and distributed multimedia applications. In: DeMeer, J. and Mahr, B. and Storp, S., eds. Open Distributed Processing II. IFIP Transactions C-Communication Systems, 20 . Elsevier Science Ltd, Oxford, pp. 247-264. ISBN 0-444-81861-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)

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

Poll, Erik and Thompson, Simon (2000) Integrating Computer Algebra and Reasoning through the Type System of Aldor. In: Kirchner, Hélène and Ringeissen, Christophe, eds. Frontiers of Combining Systems Third International Workshop. Lecture Notes in Computer Science, 1794 . Springer, Berlin, Germany, pp. 136-150. ISBN 978-3-540-67281-4. E-ISBN 978-3-540-46421-1. (doi:10.1007/10720084_10)
[img]
Preview

Poll, Erik and Zwanenburg, Jan (1999) A logic for abstract data types as existential types. In: Girard, J.Y., ed. Typed Lambda Calculi and Applications 4th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 310-324. ISBN 978-3-540-65763-7. E-ISBN 978-3-540-48959-7. (doi:10.1007/3-540-48959-2_22)
[img]
Preview
[img]
Preview

Poole, Michael