Items where division is "Faculties > Sciences > School of Computing"
Number of items at this level: 1623. ?
A
|
Abdullah, Sophiana Chua and Cooley, Roger
(2000)
The use of constraint logic programming in the development of adaptive tests.
In: Gauthier, Gilles and Frasson, Claude and VanLehn, Kurt, eds.
Intelligent Tutoring Systems 5th International Conference.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, p. 650.
ISBN 978-3-540-67655-3.
E-ISBN 978-3-540-45108-2.
(doi:10.1007/3-540-45108-0_73)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
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)
|
|
|
Abreu, João,
Bocchi, Laura,
Fiadeiro, José Luiz,
Lopes, Antónia
(2007)
Specifying and Composing Interaction Protocols for Service-Oriented System Modelling.
In:
Formal Techniques for Networked and Distributed Systems – FORTE 2007.
27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings.
Lecture Notes in Computer Science
, 4574.
pp. 358-373.
Springer
ISBN 978-3-540-73195-5.
E-ISBN 978-3-540-73196-2.
(doi:10.1007/978-3-540-73196-2_23)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Ackerman, Margareta,
Goel, Ashok,
Johnson, Colin G.,
Jordanous, Anna,
Leon, Carlos,
Perez y Perez, Rafael,
Toivonen, Hannu,
Ventura, Dan
(2017)
Teaching Computational Creativity.
In: Goel, Ashok and Jordanous, Anna and Pease, Alison, eds.
Proceedings of the Eighth International Conference on Computational Creativity.
.
pp. 9-16.
Georgia Institute of Technology, Atlanta, Georgia, US
ISBN 978-0-692-89564-1.
|
![[img]](/61660/1.hassmallThumbnailVersion/ICCC-17_paper_8.pdf)  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)
|
|
|
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,
McLoughlin, Ian Vince,
Sharifzadeh, Hamid Reza
(2008)
Analysis-by-synthesis method for whisper-speech reconstruction.
In:
IEEE Asia Pacific Conference on Circuits and Systems, 2008. APCCAS 2008.
.
pp. 1280-1283.
IEEE
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)
|
|
|
Ahmadi, Farzaneh,
McLoughlin, Ian Vince,
Sharifzadeh, Hamid Reza
(2010)
Autoregressive Modelling for Linear Prediction of Ultrasonic Speech.
In:
Eleventh Annual Conference of the International Speech Communication Association.
.
ISCA
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,
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)
|
|
|
Akehurst, David H.
(2004)
Relations in OCL.
In:
Workshop OCL and Model Driven Engineering.
.
, Lisbon, Portugal
|
![[img]](/14072/1.hassmallThumbnailVersion/Relations_in_OCL.pdf)  Preview |
|
|
Allen, Jaqui,
Sharifzadeh, Hamid Reza,
McLoughlin, Ian Vince,
Sarrafzadeh, A,
Ardekani, Iman T
(2016)
Acoustic analysis and computerised reconstruction of speech in laryngectomised individuals.
In: 137th Annual Meeting of American Laryngological Association (ALA), Combined Otolaryngology Spring Meetings (COSM 2016), 18-19 May 2016, Chicago, USA.
(Unpublished)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Allwright, James,
Pritchard, David,
Jones, Stephen,
Stephens, Nelson,
Peel, Andrew,
Makinson, Gordon,
Steel, John,
Liddell, Heather
(1995)
High Performance Computing For All.
In: Alexander, Sylvia and Magee, Patricia, eds.
Proceedings of the 3rd Annual Conference on the Teaching of Computing.
.
CTI, Dublin City University
|
|
|
Alrayes, Bedour,
Kafali, Ozgur,
Stathis, Kostas
(2014)
CONAN: A heuristic strategy for Concurrent Negotiating Agents: Extended Abstract.
In:
AAMAS '14 Proceedings of the 2014 international conference on Autonomous agents and multi-agent systems.
.
pp. 1585-1586.
ACM
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)
|
|
|
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)
|
|
|
Anderson, Tom,
Arief, Budi,
Basit, Tehmina,
Borup, Rosie,
Rutherford, Louise
(2015)
How To Succeed in Cyberspace.
In:
ICERI2015: 8TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION.
ICERI Proceedings
.
pp. 6074-6083.
ISBN 978-84-608-2657-6.
(doi:WOS:000377304006024)
|
![[img]](/58706/1.hassmallThumbnailVersion/ICERI2015.pdf)  Preview |
|
|
Andersson, Jesper and Baresi, Luciano and Bencomo, Nelly and de Lemos, Rogerio and Gorla, Alessandra and Inverardi, Paola and Vogel, Thomas
(2013)
Software Engineering Processes for Self-Adaptive Systems.
In:
Software Engineering for Self-Adaptive Systems II International Seminar.
Lecture Notes in Computer Science
.
Springer, pp. 51-75.
ISBN 978-3-642-35812-8.
E-ISBN 978-3-642-35813-5.
(doi:10.1007/978-3-642-35813-5_3)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
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)
|
|
|
Andreotti, Fernando,
Phan, Huy,
Cooray, Navin,
Lo, Christine,
Hu, Michele T.M.,
De Vos, Maarten
(2018)
Multichannel Sleep Stage Classification and Transfer Learning using Convolutional Neural Networks.
In:
40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society: Learning from the Past, Looking to the Future.
.
pp. 171-174.
IEEE, Honolulu, Hawaii
ISBN 978-1-5386-3646-6.
(doi:10.1109/EMBC.2018.8512214)
|
![[img]](/72663/1.hassmallThumbnailVersion/Andreotti_2018a.pdf)  Preview |
|
|
Anshelevich, Elliot,
Owens, Scott,
Lamiraux, Florent,
Kavraki, Lydia E.
(2000)
Deformable Volumes in Path Planning Applications.
In:
Proceedings - IEEE International Conference on Robotics and Automation.
3.
pp. 2290-2295.
IEEE Press
(doi:10.1109/ROBOT.2000.846368)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Arapinis, Myrto,
Cheval, Vincent,
Delaune, Stéphanie
(2015)
Composing security protocols: from confidentiality to privacy.
In: Focardi, Ricardo and Myers, Andrew, eds.
Principles of Security and Trust.
Lecture Notes in Computer Science
.
pp. 324-343.
Springer Berlin Heidelberg, London, UK
ISBN 978-3-662-46666-7.
(Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
|
|
|
Arief, Budi,
Blythe, Phil,
Fairchild, Richard,
Selvarajah, Kirusnapillai,
Tully, Alan
(2008)
Integrating Smartdust into Intelligent Transportation System.
In: 10th International Conference on Application of Advanced Technologies in Transportation (AATT 2008), 27-31 May 2008, Athens, Greece.
|
![[img]](/58716/1.hassmallThumbnailVersion/753_Arief.pdf)  Preview |
|
|
Arief, Budi,
Greathead, David,
Coventry, Lynne,
van Moorsel, Aad
(2011)
Towards the Implementation of an Internet-based Neighbourhood Watch Scheme.
In: 3rd International Conference on Computational Aspects of Social Networks (CASoN), 19-22 October 2011, Salamanca, Spain.
|
![[img]](/58713/1.hassmallThumbnailVersion/CASoN11.pdf)  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]](/58694/1.hassmallThumbnailVersion/SELMAS-LNCS.pdf)  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)
|
|
|
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)
|
|
|
Augusto, Juan Carlos,
Gomez, Rodolfo
(2002)
A Temporal Logic View of Paradigm Specifications.
In:
Proceedings of 14th. International Conference on Software Engineering and Knowledge Engineering (SEKE'02).
.
pp. 497-503.
ACM, New York
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)
|
|
|
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)
|
|
|
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)
|
|
|
Ayara, Modupe,
Timmis, Jon,
de Lemos, Rogério,
de Castro, Leandro N.,
Duncan, Ross
(2003)
Tolerating Faults in Embedded Systems Based on Artificial Immune Systems.
In:
Fast Abstracts Supplement of the 4th European Dependable Computing Conference (EDCC-4).
Lecture Notes in Computer Science
.
pp. 27-28.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Azmat, Freeha,
Bocchi, Laura,
Fiadeiro, José Luiz
(2011)
Early Model-Analysis of Logistics Systems.
In:
Service-Oriented Computing.
ICSOC 2010 International Workshops, PAASC, WESOA, SEE, and SOC-LOG.
Lecture Notes in Computer Science
, 6568.
pp. 225-236.
Springer
ISBN 978-3-642-19393-4.
E-ISBN 978-3-642-19394-1.
(doi:10.1007/978-3-642-19394-1_25)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
B
|
Baghaei, N,
McLoughlin, Ian Vince
(2004)
Channel estimation complexity reduction using caching.
In:
, Emerging Technologies: Frontiers of Mobile and Wireless Communication, 2004. Proceedings of the IEEE 6th Circuits and Systems Symposium on.
1.
pp. 209-212.
IEEE
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,
Kuo, S,
McLoughlin, Ian Vince
(2004)
FPGA implementation of space-time block coding systems.
In:
, Emerging Technologies: Frontiers of Mobile and Wireless Communication, 2004. Proceedings of the IEEE 6th Circuits and Systems Symposium on.
2.
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)
|
|
|
Baghaie, M A,
McLoughlin, Ian Vince,
Martin, P A,
Mehrotra, K,
Taylor, D P
(2006)
Transmit Antenna Selection for UHF MIMO Linking.
In:
, Spring IEEE Vehicular Technology Conference.
6.
pp. 2640-2644.
IEEE
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)
|
|
|
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,
Montrieux, Lionel,
de Lemos, Rogerio,
Yu, Yijun,
Wermelinger, Michel
(2014)
Run-time Generation, Transformation, and Verification of Access Control Models for Self-protection.
In: Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems.
|
![[img]](/42968/1.hassmallThumbnailVersion/84_seams14_camera_ready.pdf)  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)
|
|
|
Bakkers, A.W.P.,
Bruis, R.,
Roebbers, Herman W.,
Schaller, Nan C.,
Schwirtz, M.H.,
Sunder, J.P.E.,
Wijbrans, K.C.J.,
Welch, Peter H.
(1993)
Training for Transputer Technologies.
In:
Parallel Processing in Education.
.
Hungarian Academic of Sciences
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
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)
|
|
|
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]](/62389/1.hassmallThumbnailVersion/mjKj3y3aJjs7eEaKz.pdf)  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]](/68448/1.hassmallThumbnailVersion/fneur-09-00676.pdf)  Preview |
|
|
Barnes, David J. and Brown, Peter J., eds.
(1986)
Software engineering 86.
IEE Computing Series No 6/Cm006
.
P. Peregrinus on behalf of the Institution of Electrical Engineers, 433 pp.
ISBN 978-0-86341-082-6.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
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, David J. and Bovey, John D. and Brown, Peter J. and Siemon, HP
(1985)
Some UNIX tools to exploit a workstation,".
In:
Integrated Project Support Environments.
Peter Peregrinus Ltd, p. 68.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Barnes, David J.,
Chu, Dominique
(2015)
Guide to Simulation and Modeling for Biosciences.
Simulation Foundations, Methods and Applications
.
Springer, 339 pp.
ISBN 978-1-4471-6761-7.
E-ISBN 978-1-4471-6762-4.
(doi:10.1007/978-1-4471-6762-4)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Barnes, David J.,
Hopkins, Tim
(2000)
Improving the Quality of Scientific Software.
In: First SIAM Conference on Computational Science and Engineering, September 2000, Washington, DC.
(Unpublished)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Barnes, David J.,
Russell, Mark T,
Wheadon, Mark C
(1988)
Developing and adapting UNIX tools for workstations.
In:
EUUG Conference Proceedings.
.
pp. 321-333.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
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.
|
|
|
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.
|
|
|
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. 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.
|
|
|
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.
|
|
|
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)
|
|
|
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)
|
|
|
Beckett, David J.
(1997)
30% Accessible - A Survey of the UK Wide Web.
In: Genesereth, Michael.R. and Patterson, Anna, eds.
Proceedings of the Sixth World Wide Web Conference.
Proceedings of the Sixth World Wide Web Conference.
29.
pp. 1367-1375.
Elsevier, Amsterdam, Netherlands
(doi:10.1016/S0169-7552(97)00059-7)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Beckett, David J.
(1995)
IAFA Templates in use as Internet Metadata.
World Wide Web Journal -- Proceedings of the Fourth International World-Wide Web Conference,
1
(1).
pp. 135-143.
ISSN 1085-2301.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Beckett, David J.
(1998)
Polishing Your Searches.
Ariadne,
1
(16).
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Beckett, David J. and 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)
|
|
|
Beckett, David J.,
Welch, Peter H.
(1996)
A Strict occam Design Tool.
In: Jesshope, C.R. and Shafarenko, A., eds.
Proceedings of UK Parallel ''96.
.
pp. 53-69.
Springer-Verlag, London, Guildford, UK
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Benigni, F.,
Brogi, A.,
Buchholz, J-L.,
Jacquet, J-M.,
Lange, J.,
Popescu, R.
(2008)
Secure P2P Programming on Top of Tuple Spaces.
In:
2008 IEEE 17th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises.
.
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)
|
|
|
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.
(hide)
(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]](/56893/1.hassmallThumbnailVersion/1-s2.0-S2213158216301395-main.pdf)  Preview |
|
|
Blommestijn, R.,
Lange, Julien,
Taylor, C.,
Winton, A.
(2009)
Proximity-1: Simulating the CCSDS Proximity-1 Protocol for ExoMars.
In: Ouwehand, L., ed.
DAta Systems In Aerospace (DASIA).
Proceedings of DASIA 2009 Data Systems in Aerospace.
ESA Special Publication
.
ISBN 978-92-9221-233-9.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Bocchi, L.,
Lange, Julien,
Yoshida, N.
(2015)
Meeting deadlines together.
In: Aceto, Luca and de Frutos Escrig, David, eds.
Leibniz International Proceedings in Informatics, LIPIcs.
26th International Conference on Concurrency Theory (CONCUR 2015).
42.
pp. 283-296.
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
ISBN 978-3-939897-91-0.
(doi:10.4230/LIPIcs.CONCUR.2015.283)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Bocchi, Laura and 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]](/43737/1.hassmallThumbnailVersion/BCDHY13.pdf)  Preview |
|
|
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,
Gorton, Stephen,
Reiff-Marganiec, Stephan
(2008)
Engineering Service Oriented Applications: From StPowla Processes to SRML Models.
In:
Fundamental Approaches to Software Engineering.
11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings.
Lecture Notes in Computer Science
, 4961.
pp. 163-178.
Springer
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,
Hong, Yi,
Lopes, Antónia,
Fiadeiro, José Luiz
(2008)
From BPEL to SRML: A Formal Transformational Approach.
In:
Web Services and Formal Methods.
4th International Workshop, WS-FM 2007 Proceedings.
Lecture Notes in Computer Science
, 4937.
pp. 92-107.
Springer
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,
Lange, Julien,
Tuosto, E.
(2011)
Amending Contracts for Choreographies.
In:
Electronic Proceedings in Theoretical Computer Science.
Proceedings Fourth Interaction and Concurrency Experience.
59.
pp. 111-129.
(doi:10.4204/EPTCS.59.10)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Bocchi, Laura,
Lucchi, Roberto
(2006)
Atomic Commit and Negotiation in Service Oriented Computing.
In:
Coordination Models and Languages.
8th International Conference, COORDINATION 2006, Proceedings.
Lecture Notes in Computer Science
, 4038.
pp. 16-27.
Springer
ISBN 978-3-540-34694-4.
E-ISBN 978-3-540-34695-1.
(doi:10.1007/11767954_2)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
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
(2010)
A Java Inspired Semantics for Transactions in SOC.
In:
5th International Symposium on Trustworthy Global Computing (TGC).
Lecture Notes in Computer Science
, 6084.
pp. 120-134.
Springer
ISBN 978-3-642-15639-7.
E-ISBN 978-3-642-15640-3.
(doi:10.1007/978-3-642-15640-3_9)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Bocchi, Laura,
Tuosto, Emilio
(2010)
Testing Attribute-Based Transactions in SOC.
In:
International Conference on Formal Techniques for Distributed Systems (FORTE).
Lecture Notes in Computer Science
, 6117.
pp. 87-94.
Springer
(doi:10.1007/978-3-642-13464-7_8)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
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]](/43729/1.hassmallThumbnailVersion/BYY14.pdf)  Preview |
|
|
Bocchi, Laura,
Yoshida, Nobuko,
Lange, Julien
(2015)
Meeting Deadlines Together.
In: Aceto, Luca and de Frutos-Escrig, David, eds.
International Conference on Concurrency Theory (CONCUR).
LIPIcs
, 42.
pp. 283-296.
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
ISBN 978-3-939897-91-0.
(doi:10.4230/LIPIcs.CONCUR.2015.283)
|
![[img]](/50257/1.hassmallThumbnailVersion/bly15.pdf)  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]](/40790/1.hassmallThumbnailVersion/envlop.pdf)  Preview |
|
|
Bolla, Damiano
(1994)
IPP Routing Architecture.
Technical report.
versity of Kent, Computing Laboratory, University of Kent, Canterbury, UK
|
|
|
Bonetta, Daniele,
Salucci, Luca,
Marr, Stefan,
Binder, Walter
(2016)
GEMs: Shared-memory Parallel Programming for Node.js.
In:
ACM SIGPLAN Notices.
OOPSLA 2016 Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications.
.
pp. 531-547.
ACM
ISBN 978-1-4503-4444-9.
(doi:10.1145/2983990.2984039)
|
![[img]](/63817/1.hassmallThumbnailVersion/oopsla16-bonetta-et-al-gems-shared-memory-parallel-programming-for-nodejs.pdf)  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]](/42314/1.hassmallThumbnailVersion/release-tfp12.pdf)  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,
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]](/38771/1.hassmallThumbnailVersion/Bowman_Countering%20countermeasures_2014.pdf)  Preview |
|
|
Bretschneider, T,
Ramesh, B,
Gupta, V,
McLoughlin, Ian Vince
(2004)
Low-cost space-borne processing on a reconfigurable parallel architecture.
Proceedings of the International Conference on Engineering of Reconfigurable Systems and Algorithms,
.
pp. 93-99.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Brito, Patrick H. S.,
de Lemos, Rogério,
Martins, Eliane,
Moraes, R.,
Rubira, Cecilia M. F.
(2009)
Architectural-Based Validation of Fault-Tolerant Software.
In:
Proceedings of the Symposium on Dependable Computing, 2009.
.
pp. 103-110.
ISBN 978-1-4244-4678-0.
(doi:10.1109/LADC.2009.34)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Brito, Patrick H. S.,
de Lemos, Rogério,
Martins, Eliane,
Rubira, Cecilia M. F.
(2007)
Architecture-centric Fault Tolerance with Exception Handling.
In: Proceedings of the Third Latin-American Conference on Dependable Computing.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Brito, Patrick H. S.,
de Lemos, Rogério,
Rubira, Cecilia M. F.
(2008)
Architecting Fault Tolerance using Abstractions.
In:
Supplemental Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2008) - Fast Abstracts.
.
G28-G29.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Brostoff, Sacha,
Sassea, M.Angela,
Chadwick, David W.,
Cunningham, James,
Mbanaso, Uche,
Otenko, Sassa
(2004)
RBAC What? Development of a Role-Based Access Control Policy Writing Tool for E-Scientists.
In:
Workshop on Grid Security Practice and Experience, Oxford, UK.
35.
pp. 835-856.
(doi:10.1002/spe.691)
|
|
|
Brown, Heather
(1997)
Active Alice: Active Paper for Active Learning.
In:
Proceedings of ALT-C 97.
.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Brown, Heather
(1993)
Desktop Publishing.
In: Ralston, Anthony and Reilly, Edwin D., eds.
Encyclopedia of Computer Science.
Van Nostrand Reinhold, pp. 426-429.
ISBN 0-442-27679-6.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Brown, Heather,
Cole, Fred C.
(1992)
Editing Structured Documents: Problems and Solutions.
Electronic Publishing: Origination, Dissemination and Design,
5
(4).
pp. 209-216.
ISSN 0894-3982.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Brown, Heather and Cole, Fred C.
(1993)
ODA extensions for quality and flexibility.
In: Evans, Cliff D. and Walker, Raymond S. and Meek, Brian L., eds.
User Needs in Information Technology Standards.
Computer Weekly Professional Series
.
Butterworth-Heinemann, pp. 148-160.
ISBN 0-7506-1559-1.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Brown, Heather,
Cole, Fred C.,
Oxborrow, Elizabeth
(1993)
An Object-Oriented Toolkit for ODA and HyperODA.
In:
Proceedings of SigDoc'93.
.
pp. 29-41.
ISBN 0-89791-630-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 Harding, Robert K. and Lay, Steve and Robinson, Peter and Sheppard, Dan and Watts, Richard
(1998)
Active Alice: Using Real Paper to Interact with Electronic Text.
In: Hersch, Roger and Andre, Jacques and Brown, Heather, eds.
Electronic Publishing, Artistic Imaging, and Digital Typography.
Lecture Notes in Computer Science
(1375).
Springer-Verlag, pp. 407-419.
ISBN 3-540-64298-6.
(doi:10.1007/BFb0053257)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Brown, Heather,
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 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,
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,
Utting, Ian
(1992)
Teaching Electronic Publishing to Computer Scientists.
In: Andre, Jacques, ed.
Teaching Electronic Publishing.
.
pp. 97-105.
Bigre
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Brown, Heather and Wusteman, Judith
(1996)
Acrobat, Mosaic and Guide as Vehicles for Electronic Journals.
In: Earnshaw, Rae A. and Vince, John A., eds.
Digital Media and Electronic Publishing.
Academic Press, pp. 65-89.
ISBN 0-12-227756-2.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Brown, Heather,
Wusteman, Judith
(1995)
Electronic journals using Guide.
In: Collier, Mel and Arnold, Kathryn, eds.
Electronic Library and Visual Information Research: ELVIRA 2.
.
pp. 92-106.
ISBN 0-85142-354-X.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Brown, Peter J.
(1982)
Pascal from BASIC.
Addison-Wesley
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Brown, Peter J.
(1998)
Some Lessons for Location-aware Applications.
In: First Workshop on Human Computer Interaction with Mobile Devices, 21-23rd May 1998, Department of Computing Science, University of Glasgow, Scotland.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Brown, Peter J.
(1984)
Starting with UNIX.
Addison-Wesley
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Brown, Peter J.
(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)
|
|
|
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)
|
|
|
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)
|
|
|
Buckner, Ian
(1997)
UKC ANSAware Survival Guide.
Technical report.
University of Kent at Canterbury, Computing Laboratory, Computing Laboratory, University of Kent at Canterbury, Canterbury, CT2 7NF
|
|
|
Buckner, Ian and Penny, Ian
(1997)
UKC Orbix Survival Guide.
Technical report.
University of Kent at Canterbury, Computing Laboratory, University of Kent at Canterbury, Canterbury, CT2 7NF
|
|
|
Bujorianu, Manuela L. and Bujorianu, Marius C.
(2004)
Extending UML: A Foundational Approach to Heterogeneity.
CSD-UMl'04 3rd International Workshop on Critical Systems Development with UML.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Burcham, Morgan,
Al-Zyoud, Mahran,
Carver, Jeffrey C.,
Alsaleh, Mohammed,
Du, Hongying,
Gilani, Fida,
Jiang, Jun,
Rahman, Akond,
Kafali, Ozgur,
Al-Shaer, Ehab,
and others.
Williams, Laurie
(hide)
(2017)
Characterizing scientific reporting in security literature: An analysis of ACM CCS and IEEE S&P papers.
In:
Proceedings of the Hot Topics in Science of Security: Symposium and Bootcamp.
.
pp. 13-23.
ACM
ISBN 978-1-4503-5274-1.
(doi:10.1145/3055305.3055307)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
UNSPECIFIED
(2003)
Radio communication systems.
.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
C
|
C.M.M., Tio,
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)
|
|
|
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)
|
|
|
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]](/51044/1.hassmallThumbnailVersion/ABSA-DCAS.pdf)  Preview |
|
|
Camara, Javier,
Correia, Pedro,
de Lemos, Rogério,
Garlan, David,
Gomes, Pedro,
Schmerl, Bradley,
Ventura, Rafael
(2013)
Evolving an adaptive industrial software system to use architecture-based self-adaptation.
In: UNSPECIFIED.
(doi:10.1109/SEAMS.2013.6595488)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Camara, Javier,
Lemos, Rogerio de,
Laranjeiro, Nuno,
Ventura, Rafael,
Vieira, Marco
(2013)
Robustness Evaluation of Controllers in Self-Adaptive Software Systems.
In: Sixth Latin-American Symposium on Dependable Computing (LADC 2013), 1-5 April 2013, Rio de Janeiro, RJ, Brazil.
(doi:10.1109/LADC.2013.17)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Camilleri, Juanito,
Zammit, Vincent
(1994)
Symbolic Animation as a Proof Tool.
In: Melham, Thomas F. and Camilleri, Juanito, eds.
Proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and its Applications, Valletta, Malta.
Lecture Notes in Computer Science
, 859.
pp. 113-127.
Springer-Verlag
ISBN 3-540-58450-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)
|
|
|
Campos, Marcília A.,
da Silva, Erick Lopes,
de Carvalho Pedrosa, Diogo,
de Castro e Silva, Jorge Luiz,
Loureiro, Janine A.,
Ferraz, Carlos A.G.
(2004)
NetBook: uma ferramenta para avaliação de desempenho de sistemas de comunicação.
In:
Proceedings of the 22nd Brazilian Symposium on Computer Networks - III Tools Special Session.
.
pp. 967-974.
, Gramado/RS
|
![[img]](/14165/1.hassmallThumbnailVersion/NetBook_uma_ferramenta_para_avalia_de_desempenho.pdf)  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.
Couto, Blas,
Kargieman, Lucila,
Baglivo, Fabricio,
Sigman, Mariano,
Chennu, Srivas,
Ibáñez, Agustín,
Rodríguez, Eugenio,
and
Bekinschtein, Tristan A.
(hide)
(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)
|
|
|
Carter, Janet,
Jenkins, Tony
(1999)
Gender and programming: What's going on?
In: 4th Annual SIGCSE/SIGCUE Conference on Innovation and Technology in Computer Science Education (ITICSE 99), Jun 27-Jul 01, 1999, Krakow, Poland.
(doi:10.1145/384267.305824)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Carvalho, Rodrigo,
Goldsmith, Michael,
Nurse, Jason R. C.
(2015)
Online banking malware ontology.
In: International Crime and Intelligence Analysis Conference (ICIA).
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
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)
|
|
|
Chadwick, David
(2013)
A Trust Model for ABFAB Trust Routers.
.
Internet.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Chadwick, David W.,
Dimitrakos, Theo,
Dam, Kerstin Kleese-Van,
Randal, Damian Mac,
Matthews, Brian,
Otenko, Alexander
(2004)
Multilayer Privilege Management for Dynamic Collaborative Scientific Communities.
In:
Workshop on Grid Security Practice and Experience, Oxford, UK.
.
II 7-14.
|
![[img]](/14118/1.hassmallThumbnailVersion/Multilayer_Privilege_Management_for_Dynamic_Collaborative.pdf)  Preview |
|
|
Chadwick, David W.,
Lievens, Stijn F,
den Hartog, Jerry I,
Pashalidis, Andreas,
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.
.
pp. 752-753.
IEEE
ISBN 978-1-4577-0836-7.
E-ISBN 978-0-7695-4460-1.
(doi:10.1109/CLOUD.2011.113)
|
![[img]](/43198/2.hassmallThumbnailVersion/IEEEcloudWIPpaper.pdf)  Preview |
|
|
Chadwick, David W. and Lunt, Graeme and Zhao, Gansen
(2004)
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]](/14030/1.hassmallThumbnailVersion/SECURE_ROLE_BASED_MESSAGING.pdf)  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.
Coin, Lachlan J,
Deng, Guohong,
Gieger, Christian,
Heard-Costa, Nancy L,
Hottenga, Jouke-Jan,
Kühnel, Brigitte,
Kumar, Vinod,
Lagou, Vasiliki,
Liang, Liming,
Luan, Jian'an,
Vidal, Pedro Marques,
Mateo Leach, Irene,
O'Reilly, Paul F,
Peden, John F,
Rahmioglu, Nilufer,
Soininen, Pasi,
Speliotes, Elizabeth K,
Yuan, Xin,
Thorleifsson, Gudmar,
Alizadeh, Behrooz Z,
Atwood, Larry D,
Borecki, Ingrid B,
Brown, Morris J,
Charoen, Pimphen,
Cucca, Francesco,
Das, Debashish,
de Geus, Eco J C,
Dixon, Anna L,
Döring, Angela,
Ehret, Georg,
Eyjolfsson, Gudmundur I,
Farrall, Martin,
Forouhi, Nita G,
Friedrich, Nele,
Goessling, Wolfram,
Gudbjartsson, Daniel F,
Harris, Tamara B,
Hartikainen, Anna-Liisa,
Heath, Simon,
Hirschfield, Gideon M,
Hofman, Albert,
Homuth, Georg,
Hyppönen, Elina,
Janssen, Harry L A,
Johnson, Toby,
Kangas, Antti J,
Kema, Ido P,
Kühn, Jens P,
Lai, Sandra,
Lathrop, Mark,
Lerch, Markus M,
Li, Yun,
Liang, T Jake,
Lin, Jing-Ping,
Loos, Ruth J F,
Martin, Nicholas G,
Moffatt, Miriam F,
Montgomery, Grant W,
Munroe, Patricia B,
Musunuru, Kiran,
Nakamura, Yusuke,
O'Donnell, Christopher J,
Olafsson, Isleifur,
Penninx, Brenda W,
Pouta, Anneli,
Prins, Bram P,
Prokopenko, Inga,
Puls, Ralf,
Ruokonen, Aimo,
Savolainen, Markku J,
Schlessinger, David,
Schouten, Jeoffrey N L,
Seedorf, Udo,
Sen-Chowdhry, Srijita,
Siminovitch, Katherine A,
Smit, Johannes H,
Spector, Timothy D,
Tan, Wenting,
Teslovich, Tanya M,
Tukiainen, Taru,
Uitterlinden, Andre G,
Van der Klauw, Melanie M,
Vasan, Ramachandran S,
Wallace, Chris,
Wallaschofski, Henri,
Wichmann, H-Erich,
Willemsen, Gonneke,
Würtz, Peter,
Xu, Chun,
Yerges-Armstrong, Laura M,
Abecasis, Goncalo R,
Ahmadi, Kourosh R,
Boomsma, Dorret I,
Caulfield, Mark,
Cookson, William O,
van Duijn, Cornelia M,
Froguel, Philippe,
Matsuda, Koichi,
McCarthy, Mark I,
Meisinger, Christa,
Mooser, Vincent,
Pietiläinen, Kirsi H,
Schumann, Gunter,
Snieder, Harold,
Sternberg, Michael J.E.,
Stolk, Ronald P,
Thomas, Howard C,
Thorsteinsdottir, Unnur,
Uda, Manuela,
Waeber, Gérard,
Wareham, Nicholas J,
Waterworth, Dawn M,
Watkins, Hugh,
Whitfield, John B,
Witteman, Jacqueline C M,
Wolffenbuttel, Bruce H R,
Fox, Caroline S,
Ala-Korpela, Mika,
Stefansson, Kari,
Vollenweider, Peter,
Völzke, Henry,
Schadt, Eric E,
Scott, James,
Järvelin, Marjo-Riitta,
Elliott, Paul,
and
Kooner, Jaspal S
(hide)
(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]](/73642/1.hassmallThumbnailVersion/journal.pone.0211234.pdf)  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, Jing,
McLoughlin, Ian Vince,
Chang, Hsung Pin,
Chang, Da-Wei,
Chiang, Mei-Ling,
Chung, Yeh-Ching
(2012)
Message from WEISS-12 Workshop Chairs.
In: UNSPECIFIED.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Chen, S.-H.,
Kampouridis, Michael,
Tsang, E.
(2010)
Microstructure Dynamics and Agent-Based Financial Markets.
In: Proceedings of the 11th International Workshop on Multi-Agent-Based Simulation (MABS 2010).
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Chen, S.-H.,
Kampouridis, Michael,
Tsang, E.
(2011)
Microstructure Dynamics and Agent-Based Financial Markets.
In: Multi-Agent-Based Simulation XI, 11th International Workshop, Revised Papers, LNAI.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Chen, Tzu-Chun,
Bocchi, Laura,
Deniélou, Pierre-Malo,
Honda, Kohei,
Yoshida, Nobuko
(2012)
Asynchronous Distributed Monitoring for Multiparty Session Enforcement.
In:
6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers.
Lecture Notes in Computer Science
, 7173.
pp. 25-45.
Springer
ISBN 978-3-642-30064-6.
E-ISBN 978-3-642-30065-3.
(doi:10.1007/978-3-642-30065-3_2)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Chen, Wanlong,
Yang, Xiao,
Wang, Frank Z.
(2013)
Delayed Switching Applied to Memristor Content Addressable Memory Cell.
In:
Proceedings of the World Congress on Engineering 2013.
I.
pp. 354-357.
International Association of Engineers
ISBN 978-988-19251-0-7.
(Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
|
|
|
Cheng, Betty H. C. and de Lemos, Rogério and Giese, Holger and Inverardi, Paola and Magee, Jeff and Andersson, Jesper and Becker, Basil
(2009)
Software Engineering for Self-Adaptive Systems: A Research Roadmap.
In:
Software Engineering for Self-Adaptive Systems.
Lecture Notes in Computer Science, 5525
.
Springer, Berlin, pp. 1-26.
ISBN 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.
1995 Winter Simulation Conference Proceedings.
.
pp. 171-177.
I E E E
ISBN 0-7803-3018-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)
|
|
|
Cheng, Russell C.H.,
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 Measurement VII.
.
pp. 553-560.
Computational Mechanics Publications Ltd
ISBN 1-85312-313-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)
|
|
|
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]](/56807/1.hassmallThumbnailVersion/8305.full.pdf)  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.
Cabezas-Soto, Daniela,
Menon, David K.,
Pickard, John D.,
Owen, Adrian M.,
and
Bekinschtein, Tristan A.
(hide)
(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]](/54636/1.hassmallThumbnailVersion/journal.pcbi.1003887.PDF)  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]](/54639/1.hassmallThumbnailVersion/Chennu-2013.pdf)  Preview |
|
|
Chennu, Srivas,
Nagaraj, Vishwas
(2001)
Mobile Ad Hoc Networks.
In: Institute of Engineers technical seminar.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
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]](/54638/1.hassmallThumbnailVersion/Chennu2013a.pdf)  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]](/54628/1.hassmallThumbnailVersion/Chennu-2016.pdf)  Preview |
|
|
Chong, F,
Pawlikowski, K,
McLoughlin, Ian Vince
(2003)
Evaluation of ITU-T G. 728 as a voice over IP codec for Chinese speech.
In:
, Proceedings of the Australian Telecommunications Networks and Applications Conference 2003 (ATNAC 03â??).
.
pp. 8-10.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
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)
|
|
|
Cole, Fred C.,
Oxborrow, Elizabeth,
Brown, Heather
(1992)
An Object-Oriented Toolkit for Structured Documents.
In: Vanoirbeek, C. and Coray, G., eds.
EP92: Proceedings of Electronic Publishing 92.
Cambridge Series on Electronic Publishing
.
pp. 95-111.
Cambridge University Press
ISBN 0-521-43277-4.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Contrastin, Mistral,
Orchard, Dominic A.,
Rice, Andrew C.
(2018)
Automatic reordering for dataflow safety of Datalog.
In:
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming.
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming.
.
ACM
ISBN 978-1-4503-6441-6.
(doi:10.1145/3236950.3236954)
|
|
|
Cooper, Ian
(1994)
Indexing the World.
Technical report.
University of Kent, Computing Laboratory, University of Kent, Canterbury, UK
|
|
|
Corneli, Joseph,
Jordanous, Anna,
Shepperd, Rosie,
Llano, Maria Teresa,
Misztal, Joanna,
Colton, Simon,
Guckelsberger, Christian
(2015)
Computational Poetry Workshop: Making Sense of Work in Progress.
In: 6th International Conference on Computational Creativity, June 29 - July 2, 2015, Utah, US.
|
![[img]](/48038/1.hassmallThumbnailVersion/13.1Corneli.pdf)  Preview |
|
|
Creese, Sadie,
Gibson-Robinson, Thomas,
Goldsmith, Michael,
Hodges, Duncan,
Kim, Dee,
Love, Oriana,
Nurse, Jason R. C.,
Pike, Bill,
Schultz, Jean
(2014)
Tools for Understanding Identity.
In:
2013 IEEE International Conference on Technologies for Homeland Security (HST).
.
IEEE
E-ISBN 978-1-4799-1535-4.
(doi:10.1109/THS.2013.6699064)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
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]](/54635/2.hassmallThumbnailVersion/Cruse-2014.pdf)  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]](/54645/1.hassmallThumbnailVersion/Cruse-2012.pdf)  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]](/54644/1.hassmallThumbnailVersion/znl816.pdf)  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]](/54643/1.hassmallThumbnailVersion/Cruse2012b.pdf)  Preview |
|
|
Cvetkovic, Bozidara,
Janko, Vito,
Romero, Alfonso E,
Kafali, Ozgur,
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)
|
|
|
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]](/42982/1.hassmallThumbnailVersion/CDLLVV-JBCS13.pdf)  Preview |
|
|
Cámara, Javier,
de Lemos, Rogério
(2012)
Towards Run-time Evaluation of Resilience in Self-Adaptive Systems.
In:
Proceedings of the 17th Conference on Software Engineering and Databases (JISBD'12).
.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
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]](/40556/1.hassmallThumbnailVersion/10.1007_s00607-013-0311-7.pdf)  Preview |
|
D
|
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]](/69156/1.hassmallThumbnailVersion/oopsla18-daloze-et-al-parallelization-of-dynamic-languages-synchronizing-built-in-collections.pdf)  Preview |
|
|
Damsgaard Jensen, Christian and Marsh, Stephen and Dimitrakos, Theo and Murayama, Yuko, eds.
(2015)
Trust Management IX: 9th IFIP WG 11.11 International Conference, IFIPTM 2015, Hamburg, Germany, May 26-28, 2015, Proceedings.
IFIP Advances in Information and Communication Technology, 454
.
Springer
ISBN 978-3-319-18490-6.
E-ISBN 978-3-319-18491-3.
(doi:10.1007/978-3-319-18491-3)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Daniel, Joshua,
Dimitrakos, Theo,
El-Moussa, Fadi,
Ducatel, Gery,
Pawar, Pramod,
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 (CloudCom).
.
pp. 1021-1026.
ISBN 978-1-4799-4092-9.
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)
|
|
|
Daniel, Joshua,
El-Moussa, Fadi,
Ducatel, Géry,
Pawar, Pramod,
Sajjad, Ali,
Rowlingson, Robert,
Dimitrakos, Theo
(2015)
Integrating Security Services in Cloud Service Stores.
In:
Trust Management IX. IFIP Advances in Information and Communication Technology.
Trust Management IX.
IFIP Advances in Information and Communication Technology
, 454.
pp. 226-239.
Springer
ISBN 978-3-319-18490-6.
E-ISBN 978-3-319-18491-3.
(doi:10.1007/978-3-319-18491-3_19)
(Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
|
|
|
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 Lemos, Rogério and Gacek, Cristina and Romanovsky, Alexander, eds.
(2003)
Architecting Dependable Systems.
Springer-Verlag, Berlin, Heidelberg
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
De Wael, Mattias,
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]](/63827/1.hassmallThumbnailVersion/acm-csur-de-wael-et-al-partitioned-global-address-space-languages.pdf)  Preview |
|
|
Demiralp, S.V.
(1996)
Configuring Distributed occam Programs using Doc.
In: Arabnia, Hamid R., ed.
Proceedings of the PDPTA''96.
.
pp. 1152-1162.
CSREA, Athens, Georgia, Sunnyvale, California, USA
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
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)
|
|
|
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]](/42313/1.hassmallThumbnailVersion/FMCO2.pdf)  Preview |
|
|
Devlin, Matthieu,
Nurse, Jason R. C.,
Hodges, Duncan,
Goldsmith, Michael,
Creese, Sadie
(2015)
Predicting Graphical Passwords.
In:
HAS 2015: Human Aspects of Information Security, Privacy, and Trust.
9190
.
pp. 23-35.
Springer
ISBN 978-3-319-20375-1.
E-ISBN 978-3-319-20376-8.
(doi:10.1007/978-3-319-20376-8_3)
|
![[img]](/67509/1.hassmallThumbnailVersion/has2015-dnhgc-author-final.pdf)  Preview |
|
|
Dimitrakos, Theo
(2015)
Foreword: Towards Trusted Cloud Ecosystems.
In:
IFIP Advances in Information and Communication Technology.
9th IFIP WG 11.11 International Conference, IFIPTM 2015, Hamburg, Germany, May 26-28, 2015, Proceedings.
IFIP Advances in Information and Communication Technology (IFIPAICT)
, 454.
pp. 215-216.
Springer
ISBN 978-3-319-18490-6.
E-ISBN 978-3-319-18491-3.
(doi:10.1007/978-3-319-18491-3_17)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Dimmich, Damian J.,
Jacobsen, Christian L.,
Jadud, Matthew C.
(2006)
Concurrency: The Next Generation.
In:
Proceedings of Postgraduate Conference 2006: Computing Laboratory Technical Report.
.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Douglas, Andrew
(1996)
A Compiled Functional Language with a Martin-Lof Type System.
Doctor of Philosophy (PhD) thesis, Computing Laboratory, University of Kent at Canterbury.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Dowle, James,
Kuo, Shyh Hao,
Mehrotra, Kishore,
McLoughlin, Ian Vince
(2006)
FPGA-based MIMO and Space-Time Processing Platform.
In:
, EURASIP Journal of Applied Signal Processing special issue on MIMO implementation.
(34653).
pp. 1-14.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Dubois, Julie L. N.,
Lavignac, Nathalie
(2010)
Synthesis and physicochemical characterisation of novel poly(amidoamine)s.
In: 3rd International Symposium “Cellular delivery of therapeutic Macromolecules 2010”, 26-29/06/2010, Cardiff, UK.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Dunn, Stuart,
Hedges, Mark,
Jordanous, Anna,
Storz, Christoph
(2012)
Comparing the informatics of text and Cultural Heritage: the SAWS project.
In: Computer Applications and Quantitative Methods in Archaeology, 2012, Southampton, UK.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Dziallas, Sebastian,
Fincher, Sally,
Johnson, Colin G.,
Utting, Ian
(2017)
The Year in Computing Initiative.
In:
5th Annual Symposium of the United Kingdom & Ireland Engineering Education Research Network.
.
Aston University, Birmingham, UK
ISBN 978-1-85449-443-6.
|
![[img]](/64121/1.hassmallThumbnailVersion/eer-abstract-year-in-computing-upload.pdf)  Preview |
|
|
da Silva, Carlos Eduardo,
de Lemos, Rogério
(2013)
Dynamic Management of Integration Testing for Self-Adaptive Systems.
In:
Workshop on Dependable in Adaptive and Self-Managing Systems (WDAS 2013).
.
ISBN 978-85-7669-274-4.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
de Carvalho, Paulo Manuel Martins
(1996)
Interaction of Periodic Bursty Traffic Flows in ATM Networks.
Doctor of Philosophy (PhD) thesis, Computing Laboratory, University of Kent at Canterbury.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
de Lemos, Rogerio
(2007)
Architectural Reconfiguration of Software Systems using Atomic Actions.
In:
Supplemental Proceedings of the 36th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2006).
Fast Abstracts
.
pp. 174-175.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
de Lemos, Rogerio
(2007)
Architectural fault tolerance using exception handling.
In:
Architecting dependable systems IV.
Springer-Verlag, Berlin, Heidelberg, pp. 142-162.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
de Lemos, Rogerio
Foreword.
In: Mistrík, Ivan and Galster, Matthias and Maxim, Bruce and Bahsoon, Rami, eds.
Software Engineering for Variability Intensive Systems: Foundations and Applications.
CRC Press.
(In press)
(Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
|
|
|
de Lemos, Rogerio and Garlan, David and Ghezzi, Carlo and Giese, Holger and Andersson, Jesper and Litoiu, Marin and Schmerl, Bradley and Weyns, Danny and Baresi, Luciano and Bencomo, Nelly and Brun, Yuriy and Camara, Javier and Calinescu, Radu and Cohen, Myra B. and Gorla, Alessandra and Grassi, Vincenzo and Grunske, Lars and Inverardi, Paola and Jezequel, Jean-Marc and Malek, Sam and Mirandola, Raffaela and Mori, Marco and Müller, Hausi A. and Rouvoy, Romain and Rubira, Cecília M. F. and Rutten, Eric and Shaw, Mary and Tamburrelli, Giordano and Tamura, Gabriel and Villegas, Norha M. and Vogel, Thomas and Zambonelli, Franco
(2018)
Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances.
In: de Lemos, Rogerio and Garlan, D. and Giese, H., eds.
Software Engineering for Self-Adaptive Systems III. Assurances.
Lecture Notes on Computer Science
.
Springer.
ISBN 978-3-319-74182-6.
(doi:10.1007/978-3-319-74183-3_1)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
de Lemos, Rogerio and Giese, Holger and Müller, Hausi A. and Shaw, Mary and Andersson, Jesper and Litoiu, Marin and Schmerl, Bradley and Tamura, Gabriel and Villegas, Norha M. and Vogel, Thomas and Weyns, Danny and Baresi, Luciano and Becker, Basil and Bencomo, Nelly and Brun, Yuriy and Cukic, Bojan and Desmarais, Ron and Dustdar, Schahram and Engels, Gregor and Geihs, Kurt and Göschka, Karl M. and Gorla, Alessandra and Grassi, Vincenzo and Inverardi, Paola and Karsai, Gabor and Kramer, Jeff and Lopes, Antónia and Magee, Jeff and Malek, Sam and Mankovskii, Serge and Mirandola, Raffaela and Mylopoulos, John and Nierstrasz, Oscar and Pezzè, Mauro and Prehofer, Christian and Schäfer, Wilhelm and Schlichting, Rick and Smith, Dennis B. and Sousa, João Pedro and Tahvildari, Ladan and Wong, Kenny and Wuttke, Jochen
(2013)
Software Engineering for Self-Adaptive Systems: A Second Research Roadmap.
In:
Software Engineering for Self-Adaptive Systems II International Seminar.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 1-32.
ISBN 978-3-642-35812-8.
E-ISBN 978-3-642-35813-5.
(doi:10.1007/978-3-642-35813-5_1)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
de Lemos, Rogerio,
Grzes, Marek
(2019)
Self-adaptive Artificial Intelligence.
In:
2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).
.
(In press)
|
![[img]](/73259/1.hassmallThumbnailVersion/SEAMS2019%20%288%29.pdf)  Preview |
|
|
de Lemos, Rogerio,
de Castro Guerra, Paulo Asterio
(2005)
Software Architectures for Dependable Systems.
In:
Dependable Computing.
Lecture Notes in Computer Science
, 3747.
pp. 263-264.
ISBN 978-3-540-29572-3.
(doi:10.1007/11572329_22)
(Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
|
|
|
de Lemos, Rogério and Gacek, Cristina and Romanovsky, Alexander, eds.
(2005)
Architecting Dependable Systems III.
Lecture Notes in Computer Science
.
Springer, Berlin, 357 pp.
ISBN 978-3-540-28968-5.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
de Lemos, Rogério
(2016)
Foreword.
In: Mistrik, Ivan and Ali, Nour and Kazman, Rick and Grundy, John and Schmerl, Bradley, eds.
Managing Trade-offs in Adaptable Software Architectures.
Morgan Kaufmann, Cambridge, MA, USA, xxix-xxx.
ISBN 978-0-12-802855-1.
(Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
|
|
|
de Lemos, Rogério and Gacek, Cristina and Romanovsky, Alexander, eds.
(2004)
Architecting Dependable Systems II.
Lecture Notes in Computer Science, 3069
.
Springer, 363 pp.
ISBN 978-3-540-23168-4.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
de Lemos, Rogério and Gacek, Cristina and Romanovsky, Alexander
(2003)
Architectural Mismatch Tolerance.
In: de Lemos, Rogério and Gacek, Cristina and Romanovsky, Alexander, eds.
Architecting Dependable Systems.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 175-196.
ISBN 978-3-540-40727-0.
E-ISBN 978-3-540-45177-8.
(doi:10.1007/3-540-45177-3_8)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
de Lemos, Rogério and Potena, Pasqualina
(2016)
Identifying and Handling Uncertainties in the Feedback Control Loop.
In: Mistrik, Ivan and Ali, Nour and Kazman, Rick and Grundy, John and Schmerl, Bradley, eds.
Managing Trade-offs in Adaptable Software Architectures.
Morgan Kaufmann, Cambridge, MA, USA, pp. 353-367.
E-ISBN 978-0-12-802855-1.
(Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
|
|
|
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)
|
|
|
de Leusse, Pierre,
Periorellis, Panos,
Dimitrakos, Theo,
Nair, Srijith K.
(2009)
Self Managed Security Cell, a Security Model for the Internet of Things and Services.
In:
1st International Conference on Advances in Future Internet, AFIN.
Advances in Future Internet, AFIN.
.
pp. 47-52.
IEEE Xplore
ISBN 978-0-7695-3664-4.
(doi:10.1109/AFIN.2009.15)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
de Sá, Alex G. C. and Freitas, Alex A. and Pappa, Gisele L.
(2018)
Automated Selection and Configuration of Multi-Label Classification Algorithms with Grammar-Based Genetic Programming.
In: Auger, Anne and Fonseca, Carlos M. and Lourenço, Nuno and Machado, Penousal and Paquete, Luís and Whitley, Darrell, eds.
Parallel Problem Solving from Nature – PPSN XV.
Lecture Notes in Computer Science
.
Springer, pp. 308-320.
ISBN 978-3-319-99258-7.
(doi:10.1007/978-3-319-99259-4_25)
(Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
|
|
|
du Boulay, Benedict,
Patel, Mukesh J.,
Taylor, Chris
(1992)
Programming Environments for Novices.
In:
Proc. of NATO Advanced Research Workshop on Cognitive Models and Intelligent Environments.
.
pp. 105-107.
, Genoa, Italy
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
E
|
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, Michael R.
(1997)
Developing a model of expertise for a taxonomic expert system.
In: Bridge, Paul and Jeffries, Peter and Morse, David R. and Scott, Peter R., eds.
Information Technology, Plant Pathology and Biodiversity.
Cabi Publishing
.
pp. 183-196.
Cabi Publishing-C a B Int, Wallingford
ISBN 0-85199-217-X.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Emms, Martin,
Arief, Budi,
Freitas, Leo,
Hannon, Joseph,
van Moorsel, Aad
(2014)
Harvesting High Value Foreign Currency Transactions from EMV Contactless Credit Cards Without the PIN.
In:
CCS '14 Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security.
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security (CCS '14).
CCS '14
.
pp. 716-726.
ACM, New York, NY, USA
ISBN 978-1-4503-2957-6.
(doi:10.1145/2660267.2660312)
|
![[img]](/54148/1.hassmallThumbnailVersion/ccs2014-contactless-foreign-currency.pdf)  Preview |
|
|
Emms, Martin,
Arief, Budi,
Little, Nicholas,
van Moorsel, Aad
(2013)
Risks of Offline Verify PIN on Contactless Cards.
In: Sadeghi, Ahmad-Reza, ed.
Lecture Notes in Computer Science.
Lecture Notes in Computer Science LNCS
, 7859.
pp. 313-321.
Springer Berlin Heidelberg, Berlin
ISBN 978-3-642-39883-4.
E-ISBN 978-3-642-39884-1.
(doi:10.1007/978-3-642-39884-1_26)
|
![[img]](/54151/7.hassmallThumbnailVersion/FC2013-PostPrint.pdf)  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)
|
|
F
|
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]](/31982/1.hassmallThumbnailVersion/KanizLNCS.pdf)  Preview |
|
|
Fernandes, G.P.A.
(1998)
Distributed Platform Support for Service Management.
Doctor of Philosophy (PhD) thesis, University of Kent at Canterbury.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Fernandes, G.P.A.
(1993)
T'ecnicas de Compilacc~ao para Sistemas Distribu'idos}.
Other masters thesis, Escola de Engenharia, Universidade do Minho.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Fernandes, G.P.A.,
Derrick, John
(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.
5th IFIP/IEEE International Symposium on Integrated Network Management
.
pp. 473-484.
Chapman & Hall, 2-6 Boundary Row, London, England Se1 8hn, San Diego, California, USA
ISBN 0-412-80960-5.
|
|
|
Fernandes, G.P.A.,
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.
.
pp. 96-103.
Verlag der Augustinus Buchhandlung, Aachen, Germany
ISBN 3-86073-473-3.
|
|
|
Fernandes, G.P.A. and Hungate, J.
(1995)
Comparison of POSIX Open System Environment (OSE) and Open Distributed Processing (ODP) Reference Models.
Technical report.
Computer Systems Laboratory,U.S.A, Distributed Systems Engineering, Computer Systems Laboratory, Technology Administration, U.S. Department of Commerce, Gaithersburg, MD 20899, U.S.A.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Ferrer, Ana Juan,
Hernandez, Francisco,
Tordsson, Johan,
Elmroth, Erik,
Ali-Eldin, Ahmed,
Zsing, Csilla,
Sivert, Raul,
Guitart, Jordi,
Badia, Rosa M.,
Djemame, Karim,
and others.
Ziegler, Wolfgang,
Dimitrakos, Theo,
Nair, Srijith K.,
Kousiouris, George,
Konstanteli, Kleopatra,
Varvarigou, Theodora,
Hudzia, Benoit,
Kipp, Alexander,
Wesner, Stefan,
Corrales, Marcelo,
Forgo, Nikolaus,
Sharif, Tabassum,
and
Sheridan, Craig
(hide)
(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
(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)
|
|
|
Flur, Shaked,
Sarkar, Susmit,
Pulte, Christopher,
Nienhuis, Kyndylan,
Maranget, Luc,
Gray, Kathryn E.,
Sezgin, Ali,
Batty, Mark,
Sewell, Peter
(2017)
Mixed-Size Concurrency: ARM, POWER, C/C++11, and SC.
In:
ACM SIGPLAN Notices - POPL '17.
POPL 2017 Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages.
52 (1).
ACM
ISBN 978-1-4503-4660-3.
(doi:10.1145/3009837.3009839)
|
![[img]](/64723/1.hassmallThumbnailVersion/mixed-size.pdf)  Preview |
|
G
|
Gacek, Cristina,
Lawrie, Tony,
Arief, Budi
(2002)
Interdisciplinary Insights on Open Source.
In: Proceedings of the Open Source Software Development Workshop, 25th - 26th February, 2002, Newcastle upon Tyne, U.K..
|
![[img]](/58770/1.hassmallThumbnailVersion/OSSDW02.pdf)  Preview |
|
|
Gao, Qiang,
Blow, Keith J.,
Holding, David J.,
Marshall, Ian W.
(2003)
Determining Design Parameters for Ad-hoc Wireless Sensor Networks.
In:
ETFA 2003: IEEE Cpnference on Emerging Technologies and Factory Automation, VOL 1, Proceedings.
1.
pp. 545-550.
IEEE, Lisbon
ISBN 0-7803-7937-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)
|
|
|
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)
|
|
|
Ghosh, Siddhartha,
Ryan, Nick S.
(2005)
Ubiquitous Data Capture for Cultural Heritage Research.
In: Ryan, Nick S. and Cinotti, Tullio Salmon and Raffa, Guiseppe, eds.
Smart Environments and their Applications to Cultural Heritage.
EPOCH Publication
.
pp. 19-22.
Archaeolingua, Budapest, Hungary, Tokyo, Japan
|
![[img]](/14263/1.hassmallThumbnailVersion/ubiquitoussid.pdf)  Preview |
|
|
Gibson, R. M.,
Chennu, S.,
Fernandez-Espejo, D.,
Naci, L.,
Owen, A. M.,
Cruse, D.
(2016)
Somatosensory attention identifies both overt and covert awareness in disorders of consciousness.
Annals of Neurology,
80
(3).
pp. 412-423.
ISSN 0364-5134.
E-ISSN 1531-8249.
(doi:10.1002/ana.24726)
|
![[img]](/58786/1.hassmallThumbnailVersion/annals_R2_submitted.pdf)  Preview |
|
|
Giubilo, Fabio,
Sajjad, Ali,
Shackleton, Mark,
Chadwick, David W.,
Fan, Wenjun,
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]](/65817/1.hassmallThumbnailVersion/An%20Architecture%20for%20Privacy-preserving%20Sharing%20of%20CTI%20with%203rd%20party%20Ana....pdf)  Preview |
|
|
Goel, Ashok,
Jordanous, Anna,
Pease, Alison
(2017)
Preface: Proceedings of the Eighth International Conference on Computational Creativity, ICCC 2017, Atlanta — 19 - 23 June.
In: Goel, Ashok and Jordanous, Anna and Pease, Alison, eds.
8th International Conference on Computational Creativity.
.
ACC
ISBN 978-0-692-89564-1.
|
![[img]](/64893/1.hassmallThumbnailVersion/iccc17_proceedings.pdf)  Preview |
|
|
Gomez, Rodolfo,
Augusto, Juan Carlos,
Galton, Antony
(2001)
Testing an Event Specification Language.
In:
Proceedings of the 13th. International Conference on Software Engineering and Knowledge Engineering (SEKE'01).
.
pp. 341-345.
, Buenos Aires, Argentina
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
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.
Sigman, Mariano,
Marino, Julian,
Manes, Facundo,
and
Ibanez, Agustin
(hide)
(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)
|
|
|
Gouvas, Panagiotis,
Kalaboukas, Konstantinos,
Ledakis, Giannis,
Dimitrakos, Theo,
Daniel, Joshua,
Ducatel, Gery,
Rodriguez Dominguez, Nuria
(2015)
A Cloud Orchestrator for Deploying Public Services on the Cloud – The Case of STRATEGIC Project.
In:
IFIP Advances in Information and Communication Technology.
Trust Management IX: 9th IFIP WG 11.11 International Conference, IFIPTM 2015.
IFIP Advances in Information and Communication Technology (IFIPAICT)
, 454 (454).
pp. 217-225.
Springer
ISBN 978-3-319-18490-6.
E-ISBN 978-3-319-18491-3.
(doi:10.1007/978-3-319-18491-3_18)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Grant, J.,
So, J.,
de Lemos, Rogério
(2007)
Intrusion Tolerance in Ad Hoc Networks through Swarms of Fragments Replicas.
In:
Supplemental Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2007).
.
pp. 386-387.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Greathead, David,
Coventry, Lynne,
Arief, Budi,
van Moorsel, Aad
(2012)
Deriving Requirements for an Online Community Interaction Scheme: Indications from Older Adults.
In:
ACM SIGCHI Conference on Human Factors in Computing Systems (CHI 2012) Extended Abstracts on Human Factors in Computing Systems.
.
pp. 1541-1546.
, Austin, Texas, USA
ISBN 978-1-4503-1016-1.
(doi:10.1145/2212776.2223669)
|
![[img]](/54152/1.hassmallThumbnailVersion/CHI2012.pdf)  Preview |
|
|
Greenhow, Keith,
Johnson, Colin G.
(2014)
Region Based Image Preprocessor for Feed-Forward Perceptron Based Systems.
In: Zeng, Zhigang and Li, Yangmin and King, Irwin, eds.
Advances in Neural Networks – ISNN 2014.
Advances in Neural Networks – ISNN 2014, 11th International Symposium on Neural Networks.
Lecture Notes in Computer Science
.
pp. 414-422.
Springer
ISBN 978-3-319-12435-3.
E-ISBN 978-3-319-12436-0.
(Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
|
|
|
Grimmer, Matthias,
Marr, Stefan,
Kahlhofer, Mario,
Wimmer, Christian,
Würthinger, Thomas,
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.
ManLang'17
.
pp. 12-22.
ACM
ISBN 978-1-4503-5340-3.
(doi:10.1145/3132190.3132202)
|
![[img]](/63809/1.hassmallThumbnailVersion/manlang17-grimmer-et-al-applying-optimizations-for-dynamically-typed-languages-to-java.pdf)  Preview |
|
|
Grosso, Sergio,
Tully, Alan,
Arief, Budi,
Marques, Antonio,
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.
2006 (11613).
pp. 57-65.
, Newcastle
ISBN 978-0-86341-734-4.
(doi:10.1049/ic:20060135)
|
![[img]](/58697/1.hassmallThumbnailVersion/EMMA-TRACKSS.pdf)  Preview |
|
|
Grzes, Marek,
Poupart, Pascal
(2014)
POMDP Planning and Execution in an Augmented Space.
In:
Alessio Lomuscio, Paul Scerri, Ana Bazzan, and Michael Huhns (eds.), Proceedings of the 13th International Con- ference on Autonomous Agents and Multiagent Systems (AAMAS 2014).
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems (AAMAS).
.
pp. 757-764.
(Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
|
|
|
Grzes, Marek,
Poupart, Pascal,
Hoey, Jesse
(2013)
Controller Compilation and Compression for Resource Constrained Applications.
In: Perny, Patrice and Pirlot, Marc and Tsoukias, Alexis, eds.
Third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013, Proceedings.
Proceedings of International Conference on Algorithmic Decision Theory (ADT).
Lecture Notes in Computer Science
.
pp. 193-207.
Springer
ISBN 978-3-642-41574-6.
E-ISBN 978-3-642-41575-3.
(doi:10.1007/978-3-642-41575-3_15)
(Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
|
|
|
Guo, Hui,
Kafali, Ozgur,
Jeukeng, Anne-Liz,
Williams, Laurie,
Singh, Munindar P.
(2018)
Poster: Extraction of Security Requirements from Textual Artifacts.
In: Proceedings of the Symposium and Bootcamp on the Science of Security (HotSoS).
(Unpublished)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Gupta, C.N.,
Palaniappan, Ramaswamy,
Rajan, S.,
Swaminathan, S.,
Krishnan, S.M.
(2005)
Segmentation and classification of heart sounds.
In:
Proceedings of the Canadian Conference on Electrical and Computer Engineering 2005.
2005.
pp. 1678-1681.
IEEE
ISBN 0-7803-8885-2.
(doi:10.1109/CCECE.2005.1557305)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
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)
|
|
H
|
Haas, S. and Thornley, D.A. and Zhu, M. and Dobinson, R.W. and Heeley, R. and Madsen, N.A.H. and Martin, B.
(1997)
The Macrame 1024 node switching network.
In: Hertzberger, Bob and Sloot, Peter M. A., eds.
High-Performance Computing and Networking International Conference and Exhibition.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 870-877.
ISBN 978-3-540-62898-9.
E-ISBN 978-3-540-69041-2.
(doi:10.1007/BFb0031658)
|
|
|
Haas, S.,
Thornley, D.A.,
Zhu, M.,
Dobinson, R.W.,
Heeley, R.,
Madsen, N.A.H.,
Martin, B.
(1998)
Results from the Macrame 1024 node switching network.
In:
Computer Physics Communications.
110.
pp. 206-210.
Elsevier
(doi:10.1016/S0010-4655(97)00178-1)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
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)
|
|
|
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,
Daeche, Neil
(1987)
An Algebraic Approach to Computational Logic.
In: Dybjer, Peter and Nordstrom, B., eds.
Proc Workshop on Programming Logic.
.
pp. 300-326.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
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
(1992)
The Veritas Design Logic - a Users View.
In: Stavridou, V. and Melham, Thomas F. and Boute, R.T., eds.
IFIP Transactions A-Computer Science And Technology.
10.
pp. 301-310.
Elsevier Science Publ B V
ISBN 0-444-89686-4.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
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)
|
|
|
Happa, Jassim,
Fairclough, Graham,
Nurse, Jason R. C.,
Agrafiotis, Ioannis,
Goldsmith, Michael,
Creese, Sadie
(2016)
A Pragmatic System-failure Assessment and Response Model.
In:
2nd International Conference on Information Systems Security and Privacy.
.
|
![[img]](/67494/1.hassmallThumbnailVersion/ICISSP2016-hfnagc.pdf)  Preview |
|
|
Harrison, Joseph
(2018)
Automatic detection of core Erlang message passing errors.
In:
Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang - Erlang 2018.
Erlang 2018 Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang.
.
pp. 37-48.
ACM Press
ISBN 978-1-4503-5824-8.
(doi:10.1145/3239332.3242765)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
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)
|
|
|
Hedges, Mark,
Jordanous, Anna,
Dunn, Stuart,
Roueché, Charlotte,
Kuster, Marc W,
Selig, Thomas,
Bittorf, Michael,
Artes, Waldemar
(2012)
New models for collaborative textual scholarship.
In: 6th IEEE International Conference on Digital Ecosystems Technologies (DEST 2012), 2012, Campione d'Italia, Switzerland.
|
![[img]](/42378/1.hassmallThumbnailVersion/06227933.pdf)  Preview |
|
|
Hellyer, Laurence,
Beadle, Lawrence
(2009)
Detecting Plagarism in Microsoft Excel Assignments.
In: White, Hazel, ed.
10th Annual Conference of the Subject Centre for Information and Computer Sciences.
.
pp. 130-134.
HE Academy
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)
|
|
|
Hellyer, Laurence and Ritson, Carl G. and Simpson, Jonathan
(2010)
Proceedings of the 2010 School of Computing Postgraduate Conference.
Technical report.
, University of Kent, Canterbury, Kent CT2 7NF, UK
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Hersch, Roger,
Andre, Jacques,
Brown, Heather
(1998)
Electronic Publishing, Artistic Imaging, and Digital Typography.
Lecture Notes in Computer Science
.
Springer-Verlag, 574 pp.
ISBN 3-540-64298-6.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Hesketh, Richard
(1991)
Perly - unix with buttons.
Software: Practice and Experience,
21
(11).
pp. 1165-1187.
ISSN 0038-0644.
(doi: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)
|
|
|
Hobbs, M.H.W.
(2000)
Email groups for learning and assessment.
In: Joyce, Donald, ed.
SIGCSE Bulletin.
32 (3).
p. 183.
ACM
ISBN 1-58113-207-7.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Hobbs, M.H.W.
(1996)
Spatial clustering using a genetic algorithm.
In: Parker, David, ed.
Innovatins in GIS 3.
Taylor & Francis, pp. 85-95.
ISBN 0-7484-0459-7.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Hodges, D.,
Nurse, Jason R. C.,
Goldsmith, M.,
Creese, S.
(2012)
Identity attribution across CyberSpace and the Natural Space.
In: The International Crime and Intelligence Analysis Conference.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
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)
|
|
|
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)
(Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
|
|
|
Hopkins, Jack,
Kafali, Ozgur,
Stathis, Kostas
(2015)
Open Game Tournaments in STARLITE: Demonstration.
In:
AAMAS '15 Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems.
.
pp. 1927-1928.
ACM
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,
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)
|
|
|
Hosu, Vlad,
Hahn, Franz,
Jenadeleh, Mohsen,
Lin, Hanhe,
Men, Hui,
Szirányi, Tamás,
Li, Shujun,
Saupe, Dietmar
(2017)
The Konstanz Natural Video Database (KoNViD-1k).
In:
2017 Ninth International Conference on Quality of Multimedia Experience (QoMEX).
Proceedings of the 2017 9th International Conference on Quality of Multimedia Experience.
.
IEEE, Germany
ISBN 978-1-5386-4025-8.
E-ISBN 978-1-5386-4024-1.
(doi:10.1109/QoMEX.2017.7965673)
|
![[img]](/69606/1.hassmallThumbnailVersion/konstanz-natural-video.pdf)  Preview |
|
|
Hungate, J. and Fernandes, G.P.A.
(1995)
Distributed Systems: Survey of Open Management Approaches.
Technical report.
, Distributing Systems Engineering, Computer Systems Laboratory, Technology Administration, U.S. Department of Commerce, Gaithersburg, MD 20899, U.S.A.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
I
|
Ibbetson, Alan L.,
Linington, Peter F.,
Penny, Ian,
Smith, Abraham B.,
Tripp, Gerald
(1996)
Reducing the cost of remote procedure call.
In: Schill, Alexander and Mittasch, Christian and Spaniol, Otto and Popien, Claudia, eds.
Distributed Platforms.
.
pp. 430-446.
Chapman & Hall
ISBN 0-412-73280-7.
(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]](/58690/1.hassmallThumbnailVersion/CS5-MeMoT.pdf)  Preview |
|
|
Iliasov, Alexei,
Romanovsky, Alexander,
Arief, Budi,
Laibinis, Linas,
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,.
.
pp. 141-145.
ISBN 978-0-7695-2765-9.
(doi:10.1109/ISORC.2007.46)
|
![[img]](/58695/1.hassmallThumbnailVersion/ISORC07.pdf)  Preview |
|
|
Imperatori, Laura Sophie,
Betta, Monica,
Cecchetti, Luca,
Canales-Johnson, Andrés,
Ricciardi, Emiliano,
Pietrini, Pietro,
Siclari, Francesca,
Chennu, Srivas,
Bernardi, Giulio
(2019)
EEG functional connectivity metrics wPLI and wSMI account for distinct types of brain functional interactions.
Scientific Reports,
9
.
p. 8894.
E-ISSN 2045-2322.
(doi:10.1038/s41598-019-45289-7)
|
|
|
Induruwa, A.S.
(1999)
Growth of Internet Based Services with special reference to Sri Lanka.
In:
Proceedings of the International Information Technology Conference '99 (IITC '99).
.
Council for Information Technology, Sri Lanka
ISBN (on CD ROM).
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Induruwa, A.S.
(1999)
Information Technology Development in Sri Lanka - A Review.
Journal of the National Science Foundation of Sri Lanka,
27
(4).
ISSN 1391-4588.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Iqbal, Musaddar and Freitas, Alex A. and Johnson, Colin G.
(2008)
Protein interaction inference using particle swarm optimization algorithm.
In: 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)
|
|
|
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)
|
|
J
|
Jameel, Shoaib,
Bouraoui, Zied,
Schockaert, Steven
(2018)
Unsupervised Learning of Distributional Relation Vectors.
In:
Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics, ACL 2018.
.
Association for Computational Linguistics
ISBN 978-1-948087-32-2.
|
![[img]](/66991/1.hassmallThumbnailVersion/ACL_2018_Shoaib.pdf)  Preview |
|
|
Jarchi, Delaram,
Lo, Benny,
Wong, Charence,
Ieong, Edmund,
Nathwani, Dinesh,
Yang, Guang-Zhong
(2016)
Gait Analysis From a Single Ear-Worn Sensor: Reliability and Clinical Evaluation for Orthopaedic Patients.
IEEE Transactions on Neural Systems and Rehabilitation Engineering,
24
(8).
pp. 882-892.
ISSN 1534-4320.
(doi:10.1109/TNSRE.2015.2477720)
(Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
|
|
|
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)
|
|
|
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)
|
|
|
Jiang, Bing,
Song, Yan,
Wei, Si,
Wang, Meng-Ge,
McLoughlin, Ian Vince,
Dai, Li-Rong
(2014)
Performance evaluation of deep bottleneck features for spoken language identification.
In:
Chinese Spoken Language Processing (ISCSLP), 2014 9th International Symposium on.
Chinese Spoken Language Processing (ISCSLP), 2014 9th International Symposium on.
.
pp. 143-147.
IEEE
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, Leslie
(1998)
Revisiting Simon on the Design of Complex Systems.
Systems Research and Information Science,
7
(4).
pp. 213-224.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Johnson, Leslie and Stergiou, Maria
(1999)
BPR - Enabled Systems Engineering.
In: Khoong, Chan Meng, ed.
Reengineering in Action: The Quest for World-Class Excellence.
Imperial College Press, World Scientific Co.
ISBN 1-86094-139-7.
|
|
|
Johnson, Leslie,
Stergiou, Maria
(1999)
Emergent design and development of information systems: The theoretical justification.
In: Torres, M. and Sanchez, B. and Wills, E., eds.
Systemics, cybernetics and informatics; World multiconference on systemics, cybernetics and informatics.
.
pp. 457-463.
Int Inst Informatics & Systemics, Florida, USA
ISBN 980-07-5919-0.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Johnson, Leslie,
Stergiou, Maria
(1997)
The Necessary Architecture of Self-Regulating Teams.
In: Wright, D. and Rudolph, M. and Hanna, V. and Gillingwater, D. and Burns, N., eds.
ME-SELA'97 Proceedings - International Conference on Managing Enterprises - Stakeholders, Engineering, Logistics, and Achievement.
.
pp. 93-98.
Mechanical Engieering Publ
ISBN 1-86058-066-1.
|
|
|
Jones, Richard E.
(2003)
DO garbage collection.
Technical report.
Kent University, Kent, UK
2-03.
(doi:2-03)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Jordanous, Anna
(2013)
Introducing Computational Creativity Research.
.
CreativityPost.com
Internet.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Jordanous, Anna
(2016)
Language and Music.
In: Jones, Rodney, ed.
Routledge Handbook of Language and Creativity.
Routledge.
ISBN 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)
|
|
|
Jordanous, Anna
(2017)
Review.
Review of: Computation and the humanities : towards an oral history of digital humanities
by Nyhan, J. and Flinn A., A..
ACM Computing Reviews,
(Sep'17).
Review #: CR145551.
E-ISSN 1530-6585.
|
|
|
Jordanous, Anna
(2013)
Review: Emotional sentence identification in a story
Zhang Z., Ge S., Tee K. WASA 2012 (Proceedings of the Workshop at SIGGRAPH Asia, Singapore, Nov 26-27, 2012) 125-130. 2012. Type: Proceedings.
Review of: Emotional sentence identification in a story
Zhang Z., Ge S., Tee K. WASA 2012 (Proceedings of the Workshop at SIGGRAPH Asia, Singapore, Nov 26-27, 2012) 125-130. 2012.
by UNSPECIFIED.
ACM Computing Reviews,
.
CR141093.
ISSN 1308-0745.
E-ISSN 1308-0745.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Jordanous, Anna
(2015)
Review: What makes you clever : the puzzle of intelligence.
Review of: What makes you clever : the puzzle of intelligence (Partridge, 2014, World Scientific Publishing Co, Inc.)
by UNSPECIFIED.
ACM Computing Reviews,
.
CR143090.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Jordanous, Anna
(2014)
What is Computational Creativity?
.
CreativityPost.com
Online web platform.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Jordanous, Anna,
Lawrence, K Faith,
Hedges, Mark,
Tupman, Charlotte
(2012)
Exploring manuscripts: sharing ancient wisdoms across the semantic web.
In:
Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics.
Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics (WIMS-12).
.
ACM, New York, New York, USA
ISBN 978-1-4503-0915-8.
(doi:10.1145/2254129.2254184)
|
![[img]](/42377/1.hassmallThumbnailVersion/a44-jordanous.pdf)  Preview |
|
|
Jordanous, Anna,
Lawrence, K. Faith,
Tupman, Charlotte
(2013)
Sharing Ancient Wisdoms: Dataset.
RDF.
Located at: http://www.ancientwisdoms.ac.uk/library/data/.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Jordanous, Anna and Roueché, Charlotte and Tupman, Charlotte and Lawrence, K. Faith and Hedges, Mark and Wakelnig, Elvira and Searby, Denis
(2013)
Sharing Ancient Wisdoms (SAWS) ontology.
http://www.ancientwisdoms.ac.uk/.
|
|
|
![[img]](/style/images/fileicons/application_pdf.png)
![[img]](/style/images/fileicons/text_html.png)
![[img]](/style/images/fileicons/application_msword.png)
![[img]](/style/images/fileicons/other.png)
![[img]](/style/images/fileicons/application_vnd.ms-powerpoint.png)
![[img]](/style/images/fileicons/text_plain.png)
![[img]](/style/images/fileicons/application_rtf.png)