Items where division is "Faculties > Science Technology and Medical Studies > School of Computing"
Number of items at this level: 1017. A
|
Abowd, Gregory D. and Dey, Anind K. and Brown, Peter J. and Davies, Nigel and Smith, Mark E. and Steggles, Pete
(1999)
Towards a better understanding of context and context-awareness.
In: Gellersen, Hans, ed.
1st International Symposium on Handheld and Ubiquitous Computing (HUC 99).
Lecture Notes in Computer Science, 1707.
Springer-Verlag Berlin, Berlin
pp. 304-307.
ISBN 3-540-66550-1.
(doi:10.1007/3-540-48157-5)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Adda, Mo and Martin, Jean-Baptise and Owen, Gareth and Peart, A.
(2006)
Simultion of a Wireless Senor Network for Image Processing.
IADAT-tcn,
.
pp. 35-37.
ISSN 84-933971-4-8.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Adi, R.W. and Tio, C.M.M. and McLoughlin, Ian Vince
(2000)
Hardware architecture for data concealment using sub-band coding,.
IEEE APCCAS 2000. 2000 IEEE Asia-Pacific Conference on Circuits and Systems. Electronic Communication Systems. (Cat. No.00EX394),
.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Ahmadi, Farzaneh and McLoughlin, Ian Vince
(2009)
The use of low frequency ultrasonics in speech processing.
In:
Signal processing.
Itech Book Publishers, Vienna, Austria, pp. 503-528.
ISBN 978-953-7619-91-6.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Ahmadi, Farzaneh and McLoughlin, Ian Vince
(2010)
The use of low-frequency ultrasonics in speech processing.
In: Miron, Sebastian, ed.
Signal Processing.
Intech, pp. 503-528.
ISBN 978-953-7619-91-6.
(doi:10.5772/8538)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Ahmadi, Farzaneh and McLoughlin, Ian Vince and Sharifzadeh, Hamid Reza
(2010)
Autoregressive Modelling for Linear Prediction of Ultrasonic Speech.
In: Eleventh Annual Conference of the International Speech Communication Association, 26-30 September 2010, Makuhari, Chiba, Japan.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Ahmadi, Farzaneh and McLoughlin, Ian Vince and Sharifzadeh, Hamid Reza
(2010)
Linear predictive analysis for ultrasonic speech.
Electronics Letters,
46
(6).
pp. 387-388.
ISSN 0013-5194.
(doi:10.1049/el.2010.3521)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Ahmadi, Farzaneh and McLoughlin, Ian Vince and Sharifzadeh, Hamid Reza
(2010)
Talking Ultrasound.
Electronics letters,
46
(6).
p. 383.
(doi: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, October 2004, Lisbon, Portugal, .
(Full text available)
|
![[img]](/style/images/fileicons/application_pdf.png)  Preview |
|
|
Allen, Jaqui and Sharifzadeh, Hamid Reza and McLoughlin, Ian Vince and Sarrafzadeh, A and Ardekani, Iman T
(2016)
Acoustic analysis and computerised reconstruction of speech in laryngectomised individuals.
In: 137th Annual Meeting of American Laryngological Association (ALA), Combined Otolaryngology Spring Meetings (COSM 2016), 18-19 May 2016, Chicago, USA.
(In press)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Allwright, James and Pritchard, David and Jones, Stephen and Stephens, Nelson and Peel, Andrew and Makinson, Gordon and Steel, John and Liddell, Heather
(1995)
High Performance Computing For All.
In: Proceedings of the 3rd Annual Conference on the Teaching of Computing.
(Full text available)
|
|
|
Andersson, Jesper and Baresi, Luciano and Bencomo, Nelly and de Lemos, Rogerio and Gorla, Alessandra and Inverardi, Paola and Vogel, Thomas
(2013)
Software Engineering Processes for Self-Adaptive Systems.
In:
Software Engineering for Self-Adaptive Systems II.
Springer, pp. 51-75.
(doi:10.1007/978-3-642-35813-5_3)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Andersson, Jesper and de Lemos, Rogerio and Malek, Sam and Weyns, Danny
(2009)
Reflecting on self-adaptive software systems.
In:
2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems.
pp. 38-47.
(doi:10.1109/SEAMS.2009.5069072)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Andersson, Jesper and de Lemos, Rogério and Malek, Sam and Weyns, Danny
(2009)
Modeling Dimensions for Self-Adaptive Systems.
In:
Software Engineering for Self-Adaptive Systems.
Lecture Notes in Computer Science/Programming and Software Engineering
(5525).
Springer, pp. 27-47.
ISBN 978-3-642-02160-2.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Anshelevich, Elliot and Owens, Scott and Lamiraux, Florent and Kavraki, Lydia E.
(2000)
Deformable Volumes in Path Planning Applications.
In: IEEE International Conference on Robotics and Automation (ICRA), 24 - 28 April 2000, San Francisco, CA, USA.
(doi: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)
|
|
|
Augusto, Juan Carlos and Gomez, Rodolfo
(2002)
A Temporal Logic View of Paradigm Specifications.
In: Proceedings of 14th. International Conference on Software Engineering and Knowledge Engineering (SEKE'02), 15-19 July 2002, Ischia, Italy.
(doi:http://doi.acm.org/10.1145/568760.568847)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Ayara, Modupe and Timmis, Jon and de Lemos, Rogerio and Forrest, Simon
(2005)
Immunising Automated Teller Machines.
In:
Artificial Immune Systems.
pp. 404-417.
(doi:10.1007/11536444_31)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Ayara, Modupe and Timmis, Jon and de Lemos, Rogério and de Castro, Leandro N. and Duncan, Ross
(2003)
Tolerating Faults in Embedded Systems Based on Artificial Immune Systems.
In: Fast Abstracts Supplement of the 4th European Dependable Computing Conference (EDCC-4), October 23-25, 2002, Toulouse, France.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
B
|
Bakkers, A.W.P. and Bruis, R. and Roebbers, Herman W. and Schaller, Nan C. and Schwirtz, M.H. and Sunder, J.P.E. and Wijbrans, K.C.J. and Welch, Peter H.
(1993)
Training for Transputer Technologies.
In: Parallel Processing in Education.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Barnes, David J. and Brown, Peter J., eds.
(1986)
Software engineering 86.
IEE Computing Series No 6/Cm006
.
P. Peregrinus on behalf of the Institution of Electrical Engineers, 433 pp.
ISBN 9780863410826.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Barnes, David J. and Bovey, John D.
(1986)
Managing command submission in a multiple-window environment.
Software Engineering Journal,
1
(5).
pp. 177-183.
ISSN 0268-6961.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Barnes, David J. and Bovey, John D. and Brown, Peter J. and Siemon, HP
(1985)
Some UNIX tools to exploit a workstation,".
In:
Integrated Project Support Environments.
Peter Peregrinus Ltd, p. 68.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Barnes, David J. and Chu, Dominique
(2015)
Guide to Simulation and Modeling for Biosciences.
Simulation Foundations, Methods and Applications
.
Springer, 339 pp.
ISBN 978-1-4471-6761-7.
E-ISBN 978-1-4471-6762-4.
(doi:10.1007/978-1-4471-6762-4)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Barnes, David J. and Hopkins, Tim
(2000)
Improving the Quality of Scientific Software.
In: First SIAM Conference on Computational Science and Engineering, September 2000, Washington, DC.
(Unpublished)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Barnes, David J. and Russell, Mark T and Wheadon, Mark C
(1988)
Developing and adapting UNIX tools for workstations.
In: UNSPECIFIED, 1988, Cascais, Portugal.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Barnes, Frederick R.M.
(2003)
occwserv: An occam Web-Server.
In: Communicating Process Architectures 2003, SEP 07-10, 2003 , UNIV Twente, Enschde, Nederlands.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Barnes, Frederick R.M. and Beuran, R. and Dobinson, R.W. and LeVine, M.J. and Martin, B. and Lokier, J. and Meirosu, C.
(2002)
Testing Ethernet Networks for the ATLAS Data Collection System.
IEEE Transactions on Nuclear Science,
49
(2).
pp. 516-520.
ISSN 0018-9499.
(doi:10.1109/TNS.2002.1003791)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Barnes, Frederick R.M. and Jacobsen, Christian L. and Vinter, Brian
(2003)
RMoX: A Raw-Metal occam Experiment.
In: Communicating Process Architectures 2003, SEP 07-10, 2003 , UNIV Twente, Enschde, Nederlands.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Barnes, Frederick R.M. and Welch, Peter H.
(2001)
Mobile Data, Dynamic Allocation and Zero Aliasing: an occam Experiment.
In: Chalmers, Alan and Mirmehdi, Majid and Muller, Henk, eds.
Communicating Process Architectures 2001.
Concurrent Systems Engineering Series, No. 59 (59).
IOS Press, Amsterdam, The Netherlands
pp. 243-264.
ISBN 1 58603 202 X.
(Full text available)
|
|
|
Barnes, Frederick R.M. and Welch, Peter H.
(2002)
Prioritised Dynamic Communicating Processes: Part 1.
In: Communicating Process Architectures 2002:WoTUG-25, 15-18 September 2002, University of Reading, United Kingdom.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
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)
A Strict occam Design Tool.
In: Proceedings of UK Parallel ''96.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Beckett, David J. and Welch, Peter H.
(1996)
Emulating a secure multicasting bus using occam 2.1.
In: Oneill, B.C. and Transputer User, Grp, eds.
Concurrent Systems Engineering Series.
I O S Press
pp. 59-73.
ISBN 90-5199-261-0.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Beukema, Steve and Gonzalez-Lara, Laura E. and Finoia, Paola and Kamau, Evelyn and Allanson, Judith and Chennu, Srivas and Gibson, Raechelle M. and Pickard, John D. and Owen, Adrian M. and Cruse, Damian
(2016)
A hierarchy of event-related potential markers of auditory processing in disorders of consciousness.
NeuroImage: Clinical,
12
.
pp. 359-371.
ISSN 22131582.
(doi:10.1016/j.nicl.2016.08.003)
(Full text available)
|
![[img]](/56893/1.hassmallThumbnailVersion/1-s2.0-S2213158216301395-main.pdf)  Preview |
|
|
Bocchi, Laura and Demangeon, Romain
(2013)
Embedding Session Types in HML.
In: Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES), 23rd March, 2013, Rome, Italy.
(doi:10.4204/EPTCS.137.5)
(Full text available)
|
![[img]](/43739/1.hassmallThumbnailVersion/BD13.pdf)  Preview |
|
|
Bocchi, Laura and Mahmud, Hoger and Rebay-Salisbury, Katharina and Tuosto, Emilio
(2013)
Virtual models for archaeology.
Archeologia e Calcolatori,
24
(1).
pp. 305-324.
ISSN 1120-6861.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Bocchi, Laura and Yoshida, Nobuko and Lange, Julien
(2015)
Meeting Deadlines Together.
In: 26th Conference on Concurrency Theory (CONCUR'15), September 1-4, 2015, Madrid, Spain.
(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)
|
|
|
Bolla, Damiano
(1994)
IPP Routing Architecture.
Technical report.
versity of Kent, Computing Laboratory, University of Kent, Canterbury, UK
(Full text available)
|
|
|
Boudeville, Olivier and Cesarini, Francesco and Chechina, Natalia and Lundin, Kenneth and Papaspyrou, Nikolaos and Sagonas, Konstantinos and Thompson, Simon and Trinder, Phil and Wiger, Ulf
(2013)
RELEASE: A High-level Paradigm for Reliable Large-scale Server Software.
Trends in Functional Programming,
7829
.
pp. 263-278.
ISSN 0302-9743.
(doi:10.1007/978-3-642-40447-4_17)
(Full text available)
|
![[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 and Derrick, John and Linington, Peter F. and Steen, Maarten
(1996)
Cross-viewpoint consistency in open distributed processing.
Software Engineering Journal,
11
(1).
pp. 44-57.
ISSN 0268-6961.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Bretschneider, T and Ramesh, B and Gupta, V and McLoughlin, Ian Vince
(2004)
Low-cost space-borne processing on a reconfigurable parallel architecture.
Proceedings of the International Conference on Engineering of Reconfigurable Systems and Algorithms,
.
pp. 93-99.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Brito, Patrick H. S. and de Lemos, Rogério and Martins, Eliane and Moraes, R. and Rubira, Cecilia M. F.
(2009)
Architectural-Based Validation of Fault-Tolerant Software.
In: Fourth Latin-American Symposium on Dependable Computing (LADC 09)., 1st - 4th September, 2009, Joao Pessoa, PB, Brazil.
(doi:10.1109/LADC.2009.34 )
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Brito, Patrick H. S. and de Lemos, Rogério and Martins, Eliane and Rubira, Cecilia M. F.
(2007)
Architecture-centric Fault Tolerance with Exception Handling.
In: Proceedings of the Third Latin-American Conference on Dependable Computing.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Brito, Patrick H. S. and de Lemos, Rogério and Rubira, Cecilia M. F.
(2008)
Architecting Fault Tolerance using Abstractions.
In: 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2008) - Fast Abstracts, June 2008, Anchorage, AL, USA.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Brito, Patrick H. S. and de Lemos, Rogério and Rubira, Cecilia M. F.
(2009)
Verifying Architectural Variabilities in Software Fault Tolerance Techniques.
In: Joint Working IEEE/IFIP Conference on Software Architecture 2009 (WICSA 2009) & European Conference on Software Architecture 2009 (ECSA 2009), 14th - 17th September 2009, Cambridge, UK.
(doi:10.1109/WICSA.2009.5290809)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Brown, Heather
(1997)
Active Alice: Active Paper for Active Learning.
In: Proceedings of ALT-C 97.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Brown, Heather
(1993)
Desktop Publishing.
In: Ralston, Anthony and Reilly, Edwin D., eds.
Encyclopedia of Computer Science.
Van Nostrand Reinhold, pp. 426-429.
ISBN 0-442-27679-6.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Brown, Heather and Cole, Fred C.
(1992)
Editing Structured Documents: Problems and Solutions.
Electronic Publishing: Origination, Dissemination and Design,
5
(4).
pp. 209-216.
ISSN 0894-3982.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Brown, Heather and Cole, Fred C.
(1993)
ODA extensions for quality and flexibility.
In: Evans, Cliff D. and Walker, Raymond S. and Meek, Brian L., eds.
User Needs in Information Technology Standards.
Computer Weekly Professional Series
.
Butterworth-Heinemann, pp. 148-160.
ISBN 0 7506 1559 1.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Brown, Heather and Cole, Fred C. and Oxborrow, Elizabeth
(1993)
An Object-Oriented Toolkit for ODA and HyperODA.
In: Proceedings of SigDoc'93.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Brown, Heather and Harding, Robert K. and Lay, Steve and Robinson, Peter and Sheppard, Dan and Watts, Richard
(1998)
Active Alice: Using Real Paper to Interact with Electronic Text.
In: Hersch, Roger and Andre, Jacques and Brown, Heather, eds.
Electronic Publishing, Artistic Imaging, and Digital Typography.
Lecture Notes in Computer Science
(1375).
Springer-Verlag, pp. 407-419.
ISBN 3-540-64298-6.
(doi:10.1007/BFb0053257)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Brown, Heather and Harding, Robert K. and Lay, Steve and Robinson, Peter and Sheppard, Dan and Watts, Richard
(1998)
Active Paper for Active Learning.
ALT-J,
6
(1).
pp. 95-101.
ISSN 0968-7769.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Brown, Heather and Robinson, Peter
(1999)
Integrating Paper and Digital Documents.
In: Vince, John A. and Earnshaw, Rae A., eds.
Digital media: the future.
Springer Verlag.
ISBN 1-85233-246-8.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Brown, Heather and Utting, Ian
(1992)
Teaching Electronic Publishing to Computer Scientists.
Electronic Publishing: Origination, Dissemination and Design,
5
(2).
pp. 91-96.
ISSN 0894-3982.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Brown, Heather and Utting, Ian
(1992)
Teaching Electronic Publishing to Computer Scientists.
In: Teaching Electronic Publishing: Proceedings of TEP'92.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Brown, Heather and Wusteman, Judith
(1996)
Acrobat, Mosaic and Guide as Vehicles for Electronic Journals.
In: Earnshaw, Rae A. and Vince, John A., eds.
Digital Media and Electronic Publishing.
Academic Press, pp. 65-89.
ISBN 0-12-227756-2.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Brown, Heather and Wusteman, Judith
(1995)
Electronic journals using Guide.
In: Electronic Library and Visual Information Research: ELVIRA 2.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Brown, Peter J.
(1982)
Pascal from BASIC.
Addison-Wesley
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Brown, Peter J.
(1998)
Some Lessons for Location-aware Applications.
In:
Proceedings of first workshop on HCI for mobile devices.
Glasgow University
pp. 58-63.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Brown, Peter J.
(1984)
Starting with UNIX.
Addison-Wesley
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Brown, Peter J.
(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. and Brown, Heather
(1995)
Embedded or Separate Hypertext Mark-up: is it an Issue?
Electronic Publishing: Origination, Dissemination and Design,
8
(1).
pp. 1-13.
ISSN 0894-3982.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Brown, Peter J. and Welch, Peter H.
(1984)
Compiler Servers for the Cambridge Ring.
The Coordinated Programme of Research in Distributed Computing Systems (1977..1984) -- Final Report (SERC),
.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Buckner, Ian
(1997)
UKC ANSAware Survival Guide.
Technical report.
University of Kent at Canterbury, Computing Laboratory , Computing Laboratory, University of Kent at Canterbury, Canterbury, CT2 7NF
(Full text available)
|
|
|
Buckner, Ian
(1997)
UKC ANSAware Survival Guide (for Modula-3).
Technical report.
University of Kent at Canterbury, Computing Laboratory , Computing Laboratory, University of Kent at Canterbury, Canterbury, CT2 7NF
(Full text available)
|
|
|
Buckner, Ian and Penny, Ian
(1997)
UKC Orbix Survival Guide.
Technical report.
University of Kent at Canterbury, Computing Laboratory, University of Kent at Canterbury, Canterbury, CT2 7NF
(Full text available)
|
|
|
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)
|
|
|
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
|
Cakic, Jovan
(2000)
Intelligent infrastructure that support system's changes.
In: 13th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE 2000), New Orleans, Louisiana.
(doi:10.1007/3-540-45049-1_43)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Camilleri, Juanito and Zammit, Vincent
(1994)
Symbolic Animation as a Proof Tool.
In: Proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and its Applications, Valletta, Malta.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Canales-Johnson, Andrés and Silva, Carolina and Huepe, David and Rivera-Rei, Álvaro and Noreika, Valdas and Garcia, María del Carmen and Silva, Walter and Ciraolo, Carlos and Vaucheret, Esteban and Sedeño, Lucas and Couto, Blas and Kargieman, Lucila and Baglivo, Fabricio and Sigman, Mariano and Chennu, Srivas and Ibáñez, Agustín and Rodríguez, Eugenio and Bekinschtein, Tristan A.
(2015)
Auditory Feedback Differentially Modulates Behavioral and Neural Markers of Objective and Subjective Performance When Tapping to Your Heartbeat.
Cerebral Cortex,
25
(11).
pp. 4490-4503.
ISSN 1047-3211.
E-ISSN 1460-2199.
(doi: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
(1999)
Collaboration or Plagiarism: What happens when students work together.
In: Manaris, B., ed.
Proceedings of the 4th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE'99).
SIGCSE Bulletin : A Quarterly Publication of the Special Interest Group on Computer Science Education, 31.
Assoc Computing Machinery, Krakow, Poland
pp. 52-55.
ISBN 1-58113-087-2.
(doi:10.1145/384267.305848)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Carter, Janet and Jenkins, Tony
(1999)
Gender and programming: What's going on?
In:
ITICSE '99: Proceedings of the 4th Annual SIGCSE/SIGCUE Conference on Innovation and Technology in Computer Science Education.
SIGCSE Bulletin : A Quarterly Publication of the Special Interest Group on Computer Science Education, 31.
Assoc Computing Machinery, Cracow, Poland
pp. 1-4.
ISBN 1-58113-087-2.
(doi: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)
|
|
|
Cedric, Tio M M and Adi, Robertus Wahendro and McLoughlin, Ian Vince
(2000)
Data concealment in audio using a nonlinear frequency distribution.
2000 TENCON Proceedings. Intelligent Systems and Technologies for the New Millennium (Cat. No.00CH37119),
1
.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
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 and Siu, Kristy and Lee, Craig and Fouillat, Yann and Germonville, Damien
(2014)
Adding Federated Identity Management to OpenStack.
Journal of Grid Computing,
12
(1).
pp. 3-27.
ISSN 1570-7873.
E-ISSN 1572-9184.
(doi: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)
|
|
|
Chadwick, David W. and Lievens, Stijn F and den Hartog, Jerry I and Pashalidis, Andreas and Alhadeff, Joseph
(2011)
My Private Cloud Overview: A Trust, Privacy and Security Infrastructure for the Cloud.
In: Cloud Computing (CLOUD), 2011 IEEE International Conference on, 4-9 July 2011, Washington, DC, USA.
(doi:10.1109/CLOUD.2011.113)
(Full text available)
|
![[img]](/43198/2.hassmallThumbnailVersion/IEEEcloudWIPpaper.pdf)  Preview |
|
|
Chadwick, David W. and Lunt, Graeme and Zhao, Gansen
(2004)
Secure Role-based Messaging.
In: Eighth IFIP TC-6 TC-11 Conference on Communications and Multimedia Security (CMS 2004),Windermere, UK, SEP 15-18, 2004, Windermere, England .
(Full text available)
|
 Preview |
|
|
Chambers, John C and Zhang, Weihua and Sehmi, Joban S. and Li, Xinzhong and Wass, Mark N. and Van der Harst, Pim and Holm, Hilma and Sanna, Serena and Kavousi, Maryam and Baumeister, Sebastian E and Coin, Lachlan J and Deng, Guohong and Gieger, Christian and Heard-Costa, Nancy L and Hottenga, Jouke-Jan and Kühnel, Brigitte and Kumar, Vinod and Lagou, Vasiliki and Liang, Liming and Luan, Jian'an and Vidal, Pedro Marques and Mateo Leach, Irene and O'Reilly, Paul F and Peden, John F and Rahmioglu, Nilufer and Soininen, Pasi and Speliotes, Elizabeth K and Yuan, Xin and Thorleifsson, Gudmar and Alizadeh, Behrooz Z and Atwood, Larry D and Borecki, Ingrid B and Brown, Morris J and Charoen, Pimphen and Cucca, Francesco and Das, Debashish and de Geus, Eco J C and Dixon, Anna L and Döring, Angela and Ehret, Georg and Eyjolfsson, Gudmundur I and Farrall, Martin and Forouhi, Nita G and Friedrich, Nele and Goessling, Wolfram and Gudbjartsson, Daniel F and Harris, Tamara B and Hartikainen, Anna-Liisa and Heath, Simon and Hirschfield, Gideon M and Hofman, Albert and Homuth, Georg and Hyppönen, Elina and Janssen, Harry L A and Johnson, Toby and Kangas, Antti J and Kema, Ido P and Kühn, Jens P and Lai, Sandra and Lathrop, Mark and Lerch, Markus M and Li, Yun and Liang, T Jake and Lin, Jing-Ping and Loos, Ruth J F and Martin, Nicholas G and Moffatt, Miriam F and Montgomery, Grant W and Munroe, Patricia B and Musunuru, Kiran and Nakamura, Yusuke and O'Donnell, Christopher J and Olafsson, Isleifur and Penninx, Brenda W and Pouta, Anneli and Prins, Bram P and Prokopenko, Inga and Puls, Ralf and Ruokonen, Aimo and Savolainen, Markku J and Schlessinger, David and Schouten, Jeoffrey N L and Seedorf, Udo and Sen-Chowdhry, Srijita and Siminovitch, Katherine A and Smit, Johannes H and Spector, Timothy D and Tan, Wenting and Teslovich, Tanya M and Tukiainen, Taru and Uitterlinden, Andre G and Van der Klauw, Melanie M and Vasan, Ramachandran S and Wallace, Chris and Wallaschofski, Henri and Wichmann, H-Erich and Willemsen, Gonneke and Würtz, Peter and Xu, Chun and Yerges-Armstrong, Laura M and Abecasis, Goncalo R and Ahmadi, Kourosh R and Boomsma, Dorret I and Caulfield, Mark and Cookson, William O and van Duijn, Cornelia M and Froguel, Philippe and Matsuda, Koichi and McCarthy, Mark I and Meisinger, Christa and Mooser, Vincent and Pietiläinen, Kirsi H and Schumann, Gunter and Snieder, Harold and Sternberg, Michael J.E. and Stolk, Ronald P and Thomas, Howard C and Thorsteinsdottir, Unnur and Uda, Manuela and Waeber, Gérard and Wareham, Nicholas J and Waterworth, Dawn M and Watkins, Hugh and Whitfield, John B and Witteman, Jacqueline C M and Wolffenbuttel, Bruce H R and Fox, Caroline S and Ala-Korpela, Mika and Stefansson, Kari and Vollenweider, Peter and Völzke, Henry and Schadt, Eric E and Scott, James and Järvelin, Marjo-Riitta and Elliott, Paul and Kooner, Jaspal S
(2011)
Genome-wide association study identifies loci influencing concentrations of liver enzymes in plasma.
Nature Genetics,
43
(11).
pp. 1131-1138.
ISSN 1061-4036.
(doi: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)
|
|
|
Chatelle, Camille and Chennu, Srivas and Noirhomme, Quentin and Cruse, Damian and Owen, Adrian M. and Laureys, Steven
(2012)
Brain-computer interfacing in disorders of consciousness.
Brain Injury,
26
(12).
pp. 1510-1522.
ISSN 0269-9052.
E-ISSN 1362-301X.
(doi: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 and McLoughlin, Ian Vince and Chang, Hsung Pin and Chang, Da-Wei and Chiang, Mei-Ling and Chung, Yeh-Ching
(2012)
Message from WEISS-12 Workshop Chairs.
In: UNSPECIFIED.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Chen, S.-H. and Kampouridis, Michael and Tsang, E.
(2010)
Microstructure Dynamics and Agent-Based Financial Markets.
In: Proceedings of the 11th International Workshop on Multi-Agent-Based Simulation (MABS 2010).
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Chen, S.-H. and Kampouridis, Michael and Tsang, E.
(2011)
Microstructure Dynamics and Agent-Based Financial Markets.
In: Multi-Agent-Based Simulation XI, 11th International Workshop, Revised Papers, LNAI.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Cheng, Betty H. C. and de Lemos, Rogério and Giese, Holger and Inverardi, Paola and Magee, Jeff and Andersson, Jesper and Becker, Basil
(2009)
Software Engineering for Self-Adaptive Systems: A Research Roadmap.
In:
Software Engineering for Self-Adaptive Systems.
Lecture Notes in Computer Science, 5525
.
Springer, Berlin, pp. 1-26.
ISBN 9783642021619.
(doi:10.1007/978-3-642-02161-9_1)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Cheng, Russell C.H.
(1995)
Bootstrap methods in computer simulation experiments.
In: 1995 Winter Simulation Conference, Arlington, Va.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Chennu, Srivas and Habel, Kai and Langer, Klaus-Dieter
(2006)
QoS-aware Traffic Protection for Access Rings.
In: 11th European Conference on Networks and Optical Communications, 10-13 July 2006, Berlin, Germany.
(Full text available)
|
|
|
Chennu, Srivas and Finoia, Paola and Kamau, Evelyn and Allanson, Judith and Williams, Guy B. and Monti, Martin M. and Noreika, Valdas and Arnatkeviciute, Aurina and Canales-Johnson, Andrés and Olivares, Francisco and Cabezas-Soto, Daniela and Menon, David K. and Pickard, John D. and Owen, Adrian M. and Bekinschtein, Tristan A.
(2014)
Spectral signatures of reorganised brain networks in disorders of consciousness.
PLoS Computational Biology,
10
(10).
e1003887.
ISSN 1553-734X.
E-ISSN 1553-7358.
(doi:10.1371/journal.pcbi.1003887)
(Full text available)
|
![[img]](/54636/1.hassmallThumbnailVersion/journal.pcbi.1003887.PDF)  Preview |
|
|
Chennu, Srivas and Nagaraj, Vishwas
(2001)
Mobile Ad Hoc Networks.
In: Institute of Engineers technical seminar.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Chua, Leon O. and Sbitnev, Valery and Hyongsuk, Kim
(2012)
Neurons are poised near the edge of chaos.
International Journal of Bifurcation and Chaos,
22
(04).
1250098- 1.
ISSN 0218-1274.
(doi:10.1142/S0218127412500988)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Chua, Leon O. and Sbitnev, Valery and Kim, Hyongsuk
(2012)
HODGKIN–HUXLEY AXON IS MADE OF MEMRISTORS.
International Journal of Bifurcation and Chaos,
22
(03).
pp. 1230011-1.
ISSN 0218-1274.
(doi: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. and Oxborrow, Elizabeth and Brown, Heather
(1992)
An Object-Oriented Toolkit for Structured Documents.
In: EP92: Proceedings of Electronic Publishing 92.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Cooper, Ian
(1994)
Indexing the World.
Technical report.
University of Kent, Computing Laboratory, University of Kent, Canterbury, UK
(Full text available)
|
|
|
Cooper, Ian and Shufflebotham, Royston
(1995)
PDA Web Browsers: Implementation Issues.
Technical report.
University of Kent, Computing Laboratory, University of Kent, Canterbury, UK
(Full text available)
|
|
|
Corneli, Joseph and Jordanous, Anna and Shepperd, Rosie and Llano, Maria Teresa and Misztal, Joanna and Colton, Simon and Guckelsberger, Christian
(2015)
Computational Poetry Workshop: Making Sense of Work in Progress.
In: 6th International Conference on Computational Creativity, June 29 - July 2, 2015, Utah, US.
(Full text available)
|
![[img]](/48038/1.hassmallThumbnailVersion/13.1Corneli.pdf)  Preview |
|
|
Corneli, Joseph and Pease, Alison and Colton, Simon and Jordanous, Anna and Guckelsberger, Christian
(2015)
Modelling serendipity in a computational context.
tbc,
.
(Submitted)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Cámara, Javier and de Lemos, Rogério
(2012)
Towards Run-time Evaluation of Resilience in Self-Adaptive Systems.
In: 17th Conference on Software Engineering and Databases (JISBD'12), September 2012, Almeria, Spain.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
D
|
Daniel, Joshua and El-Moussa, Fadi and Ducatel, Gery and Pawar, Pramod and Sajjad, Ali and Rowlingson, Robert and Dimitrakos, Theo
(2015)
Integrating Security Services in Cloud Service Stores.
In:
Trust Management IX.
IFIP Advances in Information and Communication Technology, 454
.
Springer International Publishing, pp. 226-239.
(Full text available)
|
![[img]](/50846/1.hassmallThumbnailVersion/Integrating%20Security%20Services%20in%20Cloud%20Service%20Stores.pdf)  Preview |
|
|
De Castro Lima, Antonio Cesar and Descardeci, José Ricardo and Giarola, Attilio José
(1992)
Circular Microstrip Antenna on a Spherical Surface.
Microwave and Optical Technology Letters,
5
(5).
pp. 221-224.
ISSN 0895-2477.
(doi: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)
|
|
|
Dent, Alan and Hanna, Keith
(1993)
Reasoning about array structures using a dependently typed logic.
In: Agnew, David and Claesen, Luc J. M. and Camposano, Raul, eds.
IFIP transactions a-computer science and technology.
Elsevier Science Publ B V
pp. 207-224.
ISBN 0-444-81641-0.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Derrick, John and Boiten, Eerke Albert
(1999)
Non-atomic refinement in Z.
In: Wing, Jeannetter M. and Woodchck, Jim and Davies, Jim, eds.
FM’99 — Formal Methods.
Lecture Notes In Computer Science, 1709 .
Springer-Verlag Berlin, Berlin, Germany
pp. 1477-1496.
ISBN 978-3-540-66588-5.
(doi:10.1007/3-540-48118-4_28)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Derrick, John and Boiten, Eerke Albert
(2003)
Recent advances in refinement.
In: 10th International Workshop on Abstract State Machines, MAR 03-07, 2003, TAORMINA, ITALY.
(doi:10.1007/3-540-36498-6_3)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Derrick, John and Boiten, Eerke Albert
(1998)
Testing refinements by refining tests.
In: 11th International Conference of Z Users on the Z Formal Specification Notation (ZUM 98), SEP 24-26, 1998, Berlin, Germany.
(Full text available)
|
|
|
Derrick, John and Walkinshaw, Neil and Arts, Thomas and Benac Earle, Clara and Cesarini, Francesco and Fredlund, Lars-Ake and Gulias, Victor and Hughes, John and Thompson, Simon
(2010)
Property-Based Testing - The ProTest Project.
In:
Formal Methods for Components and Objects.
Lecture Notes in Computer Science, 6286
.
Springer, pp. 250-271.
ISBN 9783642170706.
E-ISBN 9783642170713.
(doi:10.1007/978-3-642-17071-3_13)
(Full text available)
|
![[img]](/42313/1.hassmallThumbnailVersion/FMCO2.pdf)  Preview |
|
|
Dimmich, Damian J. and Jacobsen, Christian L. and Jadud, Matthew C.
(2006)
Concurrency: The Next Generation.
In: Postgraduate Conference 2006, 19 June 2006, Canterbury, United Kingdom.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Douglas, Andrew
(1996)
A Compiled Functional Language with a Martin-Lof Type System.
Doctor of Philosophy (PhD) thesis, Computing Laboratory, University of Kent at Canterbury.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Dowle, James and Kuo, Shyh Hao and Mehrotra, Kishore and McLoughlin, Ian Vince
(2006)
FPGA-based MIMO and Space-Time Processing Platform.
In: UNSPECIFIED.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Dubois, Julie L. N. and Lavignac, Nathalie
(2010)
Synthesis and physicochemical characterisation of novel poly(amidoamine)s.
In: 3rd International Symposium “Cellular delivery of therapeutic Macromolecules 2010”, 26-29/06/2010, Cardiff, UK.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Dunn, Stuart and Hedges, Mark and Jordanous, Anna and Storz, Christoph
(2012)
Comparing the informatics of text and Cultural Heritage: the SAWS project.
In: Computer Applications and Quantitative Methods in Archaeology, 2012, Southampton, UK.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
da Silva, Erick Lopes
(2004)
Qualidade de Serviço em Aplicações de Telemedicina.
In:
XI Scientific Initiation Congress of the Federal University of Pernambuco.
, Recife/PE - Brazil
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
da Silva, Carlos Eduardo and de Lemos, Rogério
(2013)
Dynamic Management of Integration Testing for Self-Adaptive Systems.
In: LADC 2013 Workshop on Dependable in Adaptive and Self-Managing Systems (WDAS), 1-5 April 2013, Rio de Janeiro, RJ, Brazil.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
de Carvalho, Paulo Manuel Martins
(1996)
Interaction of Periodic Bursty Traffic Flows in ATM Networks.
Doctor of Philosophy (PhD) thesis, Computing Laboratory, University of Kent at Canterbury.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
de Lemos, Rogerio
(2007)
Architectural Reconfiguration of Software Systems using Atomic Actions.
In: Supplemental Proceedings of the 36th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2006), June 2006, Philadelphia , PA , USA.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
de Lemos, Rogerio
(2007)
Architectural fault tolerance using exception handling.
In:
Architecting dependable systems IV.
Springer-Verlag, Berlin, Heidelberg, pp. 142-162.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
de Lemos, Rogerio and Giese, Holger and Müller, Hausi A. and Shaw, Mary and Andersson, Jesper and Litoiu, Marin and Schmerl, Bradley and Tamura, Gabriel and Villegas, Norha M. and Vogel, Thomas and Weyns, Danny and Baresi, Luciano and Becker, Basil and Bencomo, Nelly and Brun, Yuriy and Cukic, Bojan and Desmarais, Ron and Dustdar, Schahram and Engels, Gregor and Geihs, Kurt and Göschka, Karl M. and Gorla, Alessandra and Grassi, Vincenzo and Inverardi, Paola and Karsai, Gabor and Kramer, Jeff and Lopes, Antónia and Magee, Jeff and Malek, Sam and Mankovskii, Serge and Mirandola, Raffaela and Mylopoulos, John and Nierstrasz, Oscar and Pezzè, Mauro and Prehofer, Christian and Schäfer, Wilhelm and Schlichting, Rick and Smith, Dennis B. and Sousa, João Pedro and Tahvildari, Ladan and Wong, Kenny and Wuttke, Jochen
(2013)
Software Engineering for Self-Adaptive Systems: A Second Research Roadmap.
In:
Software Engineering for Self-Adaptive Systems II.
Springer, pp. 1-32.
(doi:10.1007/978-3-642-35813-5_1)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
de Lemos, Rogerio and de Castro Guerra, Paulo Asterio
(2005)
Software Architectures for Dependable Systems.
In:
Dependable Computing.
Lecture Notes in Computer Science, 3747.
pp. 263-264.
ISBN 9783540295723.
(doi: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 9783540289685.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
de Lemos, Rogério and Gacek, Cristina and Romanovsky, Alexander, eds.
(2004)
Architecting Dependable Systems II.
Lecture Notes in Computer Science, 3069
.
Springer, 363 pp.
ISBN 978-3540231684.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
de Lemos, Rogério and Gacek, Cristina and Romanovsky, Alexander
(2003)
Architectural Mismatch Tolerance.
In: de Lemos, Rogério and Gacek, Cristina and Romanovsky, Alexander, eds.
Architecting Dependable Systems.
Lecture Notes in Computer Science
.
Springer, pp. 175-196.
ISBN 3-540-40727-8.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
de Lemos, Rogério
(2016)
Foreword.
In: Mistrik, Ivan and Ali, Nour and Kazman, Rick and Grundy, John and Schmerl, Bradley, eds.
Managing Trade-offs in Adaptable Software Architectures.
Morgan Kaufmann, Cambridge, MA, USA, xxix-xxx.
ISBN 9780128028551.
(Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
|
|
|
de Lemos, Rogério and Potena, Pasqualina
(2016)
Identifying and Handling Uncertainties in the Feedback Control Loop.
In: Mistrik, Ivan and Ali, Nour and Kazman, Rick and Grundy, John and Schmerl, Bradley, eds.
Managing Trade-offs in Adaptable Software Architectures.
Morgan Kaufmann, Cambridge, MA, USA, pp. 353-367.
E-ISBN 9780128028551.
(Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
|
|
|
du Boulay, Benedict and Patel, Mukesh J. and Taylor, Chris
(1992)
Programming Environments for Novices.
In: Proc. of NATO Advanced Research Workshop on Cognitive Models and Intelligent Environments.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
E
|
Edwards, Marion and Morse, David R.
(1995)
The burden is description, not identification - Reply.
Trends in Ecology and Evolution,
10
(10).
pp. 416-417.
ISSN 0169-5347.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Edwards, Michael R.
(1997)
Developing a model of expertise for a taxonomic expert system.
In: Bridge, Paul and Jeffries, Peter and Morse, David R. and Scott, Peter R., eds.
Information Technology, Plant Pathology and Biodiversity.
Cabi Publishing.
Cabi Publishing-C a B Int, Wallingford
pp. 183-196.
ISBN 0-85199-217-X.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Evans, Andy and Kent, Stuart
(1999)
Core meta-modelling semantics of UML: The pUML approach.
In: France, Robert and Rumpe, Bernhard, eds.
«UML»’99 — The Unified Modeling Language.
Lecture Notes in Computer Science, 1723.
Springer-Verlag Berlin
pp. 140-155.
ISBN 3-540-66712-1.
(doi: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 9783642207686.
(doi:10.1007/978-3-642-20769-3_24)
(Full text available)
|
![[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. and Hungate, J.
(1995)
Comparison of POSIX Open System Environment (OSE) and Open Distributed Processing (ODP) Reference Models.
Technical report.
Computer Systems Laboratory,U.S.A, Distributed Systems Engineering, Computer Systems Laboratory, Technology Administration, U.S. Department of Commerce, Gaithersburg, MD 20899, U.S.A.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Ferrer, Ana Juan and Hernandez, Francisco and Tordsson, Johan and Elmroth, Erik and Ali-Eldin, Ahmed and Zsing, Csilla and Sivert, Raul and Guitart, Jordi and Badia, Rosa M. and Djemame, Karim and Ziegler, Wolfgang and Dimitrakos, Theo and Nair, Srijith K. and Kousiouris, George and Konstanteli, Kleopatra and Varvarigou, Theodora and Hudzia, Benoit and Kipp, Alexander and Wesner, Stefan and Corrales, Marcelo and Forgo, Nikolaus and Sharif, Tabassum and Sheridan, Craig
(2012)
OPTIMIS: A holistic approach to cloud service provisioning.
Future Generation Computer Systems,
28
(1).
pp. 66-77.
ISSN 0167-739X.
(doi:10.1016/j.future.2011.05.022)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Fincher, Sally
(2013)
The Diarists' Audience.
In: Stanley, Liz, ed.
Documents of Life Revisited: Narrative and Biographical Methodology for a 21st Century Critical Humanism.
Ashgate, pp. 77-92.
ISBN 978-1-4094-4289-9.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Fincher, Sally
(2012)
Using Narrative Methodology.
University of Kent at Canterbury, Canterbury, 52 pp.
ISBN 9781902671789.
(Full text available)
|
![[img]](/32059/1.hassmallThumbnailVersion/FincherUsingNarrativeMethodology.pdf)  Preview |
|
G
|
Gao, Qiang and Blow, Keith J. and Holding, David J. and Marshall, Ian W.
(2003)
Determining Design Parameters for Ad-hoc Wireless Sensor Networks.
In: Proceedings of IEEE ETFA 2003, SEP 16-19, 2003, Lisbon, PORTUGAL.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Gomez, Rodolfo and Augusto, Juan Carlos and Galton, Antony
(2001)
Testing an Event Specification Language.
In: Proceedings of the 13th. International Conference on Software Engineering and Knowledge Engineering (SEKE'01).
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Gonzalez-Gadea, Maria Luz and Chennu, Srivas and Bekinschtein, Tristan A. and Rattazzi, Alexia and Beraudi, Ana and Tripicchio, Paula and Moyano, Beatriz and Soffita, Yamila and Steinberg, Laura and Adolfi, Federico and Sigman, Mariano and Marino, Julian and Manes, Facundo and Ibanez, Agustin
(2015)
Predictive coding in autism spectrum disorder and attention deficit hyperactivity disorder.
Journal of Neurophysiology,
114
(5).
pp. 2625-2636.
ISSN 0022-3077.
E-ISSN 1522-1598.
(doi: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)
|
|
|
Grant, J. and So, J. and de Lemos, Rogério
(2007)
Intrusion Tolerance in Ad Hoc Networks through Swarms of Fragments Replicas.
In: Supplemental Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2007).
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Grzes, Marek and Poupart, Pascal
(2014)
POMDP Planning and Execution in an Augmented Space.
In: International Conference on Autonomous Agents and Multiagent Systems (AAMAS), May 5-9, 2014, Paris, France.
(Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
|
|
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.
(1998)
Results from the Macrame 1024 node switching network.
In: International Conference on Computing in High Energy Physics (CHEP 97), Apr 07-11, 1997 , Berlin, Germany.
(doi:10.1016/S0010-4655(97)00178-1 )
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Haas, S. and Thornley, D.A. and Zhu, M. and Dobinson, R.W. and Martin, B.
(1998)
The Macrame 1024 node switching network.
Microprocessors and Microsystems,
21
(7-8).
pp. 511-518.
ISSN 0141-9331.
(doi: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)
|
|
|
Haas, S. and Thornley, D.A. and Zhu, M. and Dobinson, R.W. and Heeley, R. and Madsen, N.A.H. and Martin, B.
(1997)
The Macrame 1024 node switching network.
In: Hertzberger, Bob and Sloot, Peter M. A., eds.
Lecture Notes in Computer Science.
Lecture Notes in Computer Science, 1225.
Springer-Verlag Berlin
pp. 870-877.
ISBN 3-540-62898-3.
(doi:10.1007/BFb0031573)
(Full text available)
|
|
|
Hanna, Keith
(1998)
Reasoning about imperfect digital systems.
In: Moller, Bernhard Moller and Tucker, John V, eds.
Prospects for Hardware Foundations.
Lecture Notes in Computer Science, 1546
.
Springer-Verlag Berlin, Berlin, pp. 333-355.
ISBN 0302-9743.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Hanna, Keith and Daeche, Neil
(1987)
An Algebraic Approach to Computational Logic.
In: Proc Workshop on Programming Logic.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Hanna, Keith and Daeche, Neil
(1992)
The Veritas Design Logic - a Users View.
IFIP Transactions A-Computer Science And Technology ,
10
.
pp. 301-310.
ISSN 0926-5473 .
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Hanna, Keith and Daeche, Neil
(1992)
The Veritas Design Logic - a Users View.
In: International Conf on Theorem Provers in Circuit Design : Theory, Practice and Experience, June 22-24, 1992, Nijmegen, Netherlands.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Hanna, Keith and Daeche, Neil and Howells, Gareth
(1992)
Implementation of the Veritas Design Logic.
In:
International Conference On Theorem Provers in Circuit Design : Theory, Practice And Experience.
IFIP Transactions A-Computer Science and Technology , 10.
Elsevier Science BV , Nijmegen, Netherlands
pp. 77-94.
ISBN 0-444-89686-4.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Hedges, Mark and Jordanous, Anna and Dunn, Stuart and Roueché, Charlotte and Kuster, Marc W and Selig, Thomas and Bittorf, Michael and Artes, Waldemar
(2012)
New models for collaborative textual scholarship.
In: 6th IEEE International Conference on Digital Ecosystems Technologies (DEST 2012), 2012, Campione d'Italia, Switzerland.
(Full text available)
|
![[img]](/42378/1.hassmallThumbnailVersion/06227933.pdf)  Preview |
|
|
Hellyer, Laurence and Beadle, Lawrence
(2009)
Detecting Plagarism in Microsoft Excel Assignments.
In: 10th Annual Conference of the Subject Centre for Information and Computer Sciences.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Hellyer, Laurence and Ritson, Carl G. and Simpson, Jonathan
(2010)
Proceedings of the 2010 School of Computing Postgraduate Conference.
Technical report.
, University of Kent, Canterbury, Kent CT2 7NF, UK
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Hersch, Roger and Andre, Jacques and Brown, Heather
(1998)
Electronic Publishing, Artistic Imaging, and Digital Typography.
Lecture Notes in Computer Science
.
Springer-Verlag, 574 pp.
ISBN 3-540-64298-6.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Hesketh, Richard
(1991)
Perly - unix with buttons.
Software: Practice and Experience,
21
(11).
pp. 1165-1187.
ISSN 0038-0644.
(doi:10.1002/spe.4380211103)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Hierons, R. and Derrick, John
(2000)
Editorial: Special issue on specification-based testing.
Software Testing Verification & Reliability,
10
(4).
pp. 201-202.
ISSN 0960-0833.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Hobbs, M.H.W.
(2000)
Email groups for learning and assessment.
In: 5th Annual SIGCSE/SIGCUE Conference on Innovation and Technology in Computer Science Education (ITICSE 2000), JUL 11-13, 2000, Helsinki, Finland.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Hobbs, M.H.W.
(1996)
Spatial clustering using a genetic algorithm.
In: Parker, David, ed.
Innovatins in GIS 3.
Taylor & Francis, pp. 85-95.
ISBN 0748404597.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Holden, Nicholas and Freitas, Alex A.
(2008)
Improving the performance of hierarchical classification with swarm intelligence.
In: 6th European Conference on Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, March 26th - 28th 2008, Naples, Italy.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Hopkins, Tim
(1997)
Is the quality of numerical subroutine code improving?
In: Arge, Erlend and Bruaset, Are Magnus and Langtangen, Hans Petter and Math, Norwegian Res and Council, Norway, eds.
Modern Software Tools for Scientific Computing.
Birkhauser Boston
pp. 311-324.
ISBN 0-8176-3974-8.
(Full text available)
|
|
|
Hopkins, Tim and Morse, David R.
(1997)
The implementation and visualisation of a large spatial individual-based model.
In: Denzer, Ralf and Swayne, David A. and Schimak, Gerald, eds.
Environmental Software Systems volume 2.
Chapman & Hall
pp. 284-291.
ISBN 0-412-81740-3.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Hopkins, Tim and Welch, Peter H.
(1996)
Transputer data-flow solution for systems of linear equations.
Concurrency-Practice and Experience,
8
(8).
pp. 569-580.
ISSN 1040-3108.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
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. and Linington, Peter F. and Penny, Ian and Smith, Abraham B. and Tripp, Gerald
(1996)
Reducing the cost of remote procedure call.
In: IFIP/IEEE International Conference on Distributed Platforms, FEB, 1996, Dresden, Germany.
(doi: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)
|
|
|
Induruwa, A.S.
(1999)
Information Technology Development in Sri Lanka - A Review.
Journal of the National Science Foundation of Sri Lanka,
27
(4).
ISSN 1391-4588.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Itoh, Makoto and 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
|
Johnson, Leslie
(1998)
Revisiting Simon on the Design of Complex Systems.
Systems Research and Information Science,
7
(4).
pp. 213-224.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Johnson, Leslie and Stergiou, Maria
(1999)
BPR - Enabled Systems Engineering.
In: Khoong, Chan Meng, ed.
Reengineering in Action: The Quest for World-Class Excellence.
Imperial College Press, World Scientific Co.
ISBN 1-86094-139-7.
(Full text available)
|
|
|
Johnson, Leslie and Stergiou, Maria
(1999)
Emergent design and development of information systems: The theoretical justification.
In: Torres, M. and Sanchez, B. and Wills, E., eds.
World Multiconference on Systemics, Cybernetics and Informatics, Vol 8, Proceedings - Concepts and Applications of Systemics, Cybernetics and Informatics.
Int Inst Informatics & Systemics, Florida, USA
pp. 457-463.
ISBN 980-07-5919-0.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Johnson, Leslie and Stergiou, Maria
(1997)
The Necessary Architecture of Self-Regulating Teams.
In: ME-SELA'97 Proceedings - International Conference on Managing Enterprises - Stakeholders, Engineering, Logistics, and Achievement, Jul 22-24, 1997, Loughborough Univ, Dept Mfg Engn; Loughborough Univ, Dept Transport Studies .
(Full text available)
|
|
|
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
(2009)
Evaluating machine creativity.
In: Seventh ACM conference on Creativity and cognition, 2009, Berkeley, CA.
(Full text available)
|
![[img]](/42373/1.hassmallThumbnailVersion/p331-jordanous.pdf)  Preview |
|
|
Jordanous, Anna
(2013)
Introducing Computational Creativity Research.
.
CreativityPost.com
Internet.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Jordanous, Anna
(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 and Keller, Bill
(2012)
Creativity Ontology.
http://purl.org/creativity/ontology.
(Full text available)
|
|
|
Jordanous, Anna and Lawrence, K. Faith and Tupman, Charlotte
(2013)
Sharing Ancient Wisdoms: Dataset.
RDF.
Located at: http://www.ancientwisdoms.ac.uk/library/data/.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Jordanous, Anna and Roueché, Charlotte and Tupman, Charlotte and Lawrence, K. Faith and Hedges, Mark and Wakelnig, Elvira and Searby, Denis
(2013)
Sharing Ancient Wisdoms (SAWS) ontology.
http://www.ancientwisdoms.ac.uk/.
(Full text available)
|
|
|
Jordanous, Anna and Tupman, Charlotte
(2013)
Sharing Ancient Wisdoms - supporting code.
ancientwisdoms.ac.uk
XSLT stylesheets.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Justo, George R. R. and Welch, Peter H.
(1992)
Serialization as a Paradigm for the Engineering of Parallel Programs.
In: Etiemble, D. and Syre, J.C., eds.
Parle 92 : Parallel Architectures And Languages Europe.
Lecture Notes in Computer Science, 605.
Springer-Verlag Berlin, Berlin, Berlin
pp. 975-976.
ISBN 3-540-55599-4 .
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
K
|
Kaganovsky, Alexander
(2004)
Exact Computing in Positional Weighted Systems.
Doctor of Philosophy (PhD) thesis, Computing Laboratory.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Kahrs, Stefan and Sannella, Don
(1998)
Reflections on the design of a specification language.
In: Astesiano, Egidio, ed.
Lecture Notes in Computer Science.
Springer-Verlag Berlin
pp. 154-170.
ISBN 3-540-64303-6.
(doi:10.1007/BFb0053578)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Kalibera, Tomas and Hagelberg, Jeff and Pizlo, Filip and Plsek, Ales and Titzer, Ben and Vitek, Jan
(2009)
CDx: a family of real-time Java benchmarks.
In: Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES).
(doi:10.1145/1620405.1620412)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Kalibera, Tomas and Parizek, Pavel and Haddad, Ghaith and Leavens, Gary T. and Vitek, Jan
(2010)
Challenge benchmarks for verification of real-time programs.
In: Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification (PLPV).
(doi:10.1145/1707790.1707800)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Kalibera, Tomas and Parizek, Pavel and Malohlava, Michal and Schoeberl, Martin
(2010)
Exhaustive testing of safety critical Java.
In: Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES).
(doi:10.1145/1850771.1850794)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Kalibera, Tomas and Pizlo, Filip and Hosking, Antony L. and Vitek, Jan
(2009)
Scheduling Hard Real-Time Garbage Collection.
In: Proceedings of the 30th IEEE Real-Time Systems Symposium (RTSS).
(doi:10.1109/RTSS.2009.40)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Kalibera, Tomas and Prochazka, Marek and Pizlo, Filip and Decky, Martin and Vitek, Jan and Zulianello, Marco
(2009)
Real-Time Java in Space: Potential Benefits and Open Challenges.
In: Proceedings of the International Space System Engineering Conference, Data Systems in Aerospace (DASIA).
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Kampouridis, Michael and Chen, S.-H. and Tsang, E.
(2011)
The Market Fraction Hypothesis under different GP algorithms.
In:
Information Systems for Global Financial Markets: Emerging Developments and Effects,.
IGI Global, pp. 37-54.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Kampouridis, Michael and Chen, S.-H. and Tsang, E.
(2012)
Market Fraction Hypothesis: A proposed test.
International Review of Financial Analysis,
23
.
pp. 41-54.
ISSN 1057-5219.
(doi:10.1016/j.irfa.2011.06.009)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Kampouridis, Michael and Chen, S.-H. and Tsang, E.
(2010)
Testing the Dinosaur Hypothesis Under Different GP Algorithms.
In: Proceedings of the UK Computational Intelligence Workshop (UKCI), IEEE Xplore.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Kampouridis, Michael and Chen, Shu-Heng and Tsang, Edward
(2010)
Testing the Dinosaur Hypothesis under Empirical Datasets.
In: Parallel Problem Solving from Nature — PPSN XI.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Kampouridis, Michael and Sim, Kwang Mong
(2013)
A GP approach for price-speed optimizing negotiation.
In: IEEE Congress on Evolutionary Computation (CEC).
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Kampouridis, Michael and Tsang, Edward
(2011)
Using Hyperheuristics under a GP framework for Financial Forecasting.
In: Proc. Fifth International Conference on Learning and Intelligent Optimization (LION5).
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Kemp, Zarine P.
(1999)
A framework for integrating GIS and digital images.
In: Agouri, Peggy and Stefanidis, Anthony, eds.
Integrated Spatial Databases - Digital Images and GIS.
Lecture Notes in Computer Science, 1737.
Springer-Verlag Berlin, Berlin Germany
pp. 153-167.
ISBN 3-540-66931-0.
(doi:10.1007/3-540-46621-5_10)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Kemp, Zarine P. and Oxborrow, Elizabeth and Davy, M.J. and Linington, Peter F. and Thearle, R. and Blair, Gordon S. and Dark, P. and Davies, N.A. and Mariani, John A. and Snape, C.
(1992)
Zenith System for Object Management In Distributed Multimedia Design Environments.
Information and Software Technology,
34
(7).
pp. 427-436.
ISSN 0950-5849.
(doi:10.1016/0950-5849(92)90034-M)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Kent, Stuart and Howse, John
(1999)
Mixing visual and textual constraint languages.
In: France, Robert and Rumpe, Bernhard, eds.
«UML»’99 — The Unified Modeling Language.
Lecture Notes In Computer Science, 1723.
Springer-Verlag Berlin, Berlin Germany
pp. 384-398.
ISBN 3-540-66712-1.
(doi:10.1007/3-540-46852-8)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
King, Andy and Soper, Paul
(1992)
Schedule Analysis of Concurrent Logic Programs.
In: Apt, Krzysztof, ed.
Joint International Conference and Symposium for Logic Programming.
Logic Programming
.
MIT Press, USA, pp. 478-492.
ISBN 9780262510646.
(Full text available)
|
 Preview |
|
|
Klebe, Bernhard and Farmer, Chris and Cooley, Roger and de Lusignan, Simon and Middleton, Rachel and O'Donoghue, Donal J. and Newport, John and Stevens, Paul E.
(2007)
Kidney disease management in UK primary care: guidelines, incentives and Information Technology.
Family Practice,
24
(4).
pp. 330-335.
ISSN 0263-2136 .
(doi:10.1093/fampra/cmm026 )
(Full text available)
|
 Preview |
|
|
Klebe, Bernhard and Irving, Jean and Stevens, Paul E. and O'Donoghue, Donal J. and de Lusignan, Simon and Cooley, Roger and Hobbs, Helen and Lamb, Edmund J. and John, Ian and Middleton, Rachel and New, John and Farmer, Chris
(2007)
The cost of implementing UK guidelines for the management of chronic kidney disease.
Nephrology Dialysis Transplantation,
22
(9).
pp. 2504-2512.
ISSN 0931-0509 .
(doi:10.1093/ndt/gfm248 )
(Full text available)
|
 Preview |
|
|
Knowles, Adam and Timmis, Jon and de Lemos, Rogério and Forrest, Simon and McCracken, Heather
(2008)
Artificial Immune Systems for Data Fusion: A Novel Biologically Inspired Approach.
In: 11th International Conference on Information Fusion (Fusion 2008), 30th June - 3rd July, 2008, Cologne, Germany.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
L
|
Lamming, Mik G. and Brown, Peter J.
(1994)
The Design of a Human Memory Prosthesis.
Computer Journal,
37
(3).
pp. 153-163.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Langford, Duncan
(1999)
Business Computer Ethics.
Pearson Education, 190 pp.
ISBN 0 201 34279 0.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Langford, Duncan
(1997)
Regency Minton Porcelain 1800-1815.
Langford & Clark, Canterbury, Kent
ISBN 0-953-04340-1.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Lauder, Anthony and Dumas, Marlon and Frohner, Akos and Oliver, Ian
(2000)
PhDOOS 2000: The 10th Ph.D. workshop on object-oriented systems.
In: Malaenfant, Jacques and Moisan, Sabine and Moreira, Ana, eds.
Object-Oriented Technology: Ecoop 2000 Workshop Reader: Ecoop 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12-16, 2000 Proceedings.
Lecture Notes in Computer Science, 1964
.
Springer Verlag Berlin, pp. 78-92.
ISBN 3-540-41513-0.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Lee, Howard and Kemp, Zarine P.
(1997)
Towards a multiple placement land suitability evaluation framework.
In: 7th International Symposium on Spatial Data Handling (SDH 96), 1996, Delft, Netherlands.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Leech, Helen K. and Kemp, Zarine P.
(1998)
Supporting complex spatiotemporal analysis in GIS.
In: Carver, S., ed.
Investigation in GIS5.
Taylor & Francis Ltd
pp. 151-161.
ISBN 0-7484-0810-X.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Li, Huiqing and Reinke, Claus and Thompson, Simon
(2004)
Progress on HaRe: the Haskell Refactorer.
Other.
kent university
(Unpublished)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Li, Jingjie and McLoughlin, Ian Vince and Liu, Cong and Xue, Shaofei and Wei, Si
(2016)
Multi-task deep neural network acoustic models with model adaptation using discriminative speaker identity for whisper recognition.
In: Acoustics, Speech and Signal Processing (ICASSP), 2015 IEEE International Conference, 19-24 April 2015, Brisbane, Australia.
(doi:10.1109/ICASSP.2015.7178916)
(Full text available)
|
![[img]](/55019/1.hassmallThumbnailVersion/ssr_v8.pdf)  Preview |
|
|
Linington, Peter F.
(1999)
An ODP approach to the development of large middleware systems.
In: Kutvonen, Lea and Konig, H. and Tienari, M., eds.
Distributed Applications and Interoperable Systems II, Helsinki.
Kluwer Academic Publishers, USA
pp. 61-74.
ISBN 0-7923-8527-6.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Linington, Peter F.
(1992)
Introduction to the open distributed-processing basic reference model.
In: Meer, J.de. and Heymer, V. and Roth, R., eds.
Open Distributed Processing.
IFIP Transactions C-Communication Systems, 1.
Elsevier Science BV, Po Box 211, 1000 AE Amsterdam, Netherlands, Amsterdam
pp. 3-13.
ISBN 0-444-89329-6 .
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Linington, Peter F. and Milosevic, Zoran and Raymond, Kerry
(1998)
Policies in communities: Extending the ODP enterprise viewpoint.
In:
Enterprise Distributed Object Computing Workshop, 1998. EDOC '98. Proceedings. Second International.
Ieee
pp. 14-24.
ISBN 0-7803-5158-4.
(doi:10.1109/EDOC.1998.723238)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Lins, Rafael D.
(1992)
A Multiprocessor Shared Memory Architecture for Parallel Cyclic Reference Counting.
In:
18th Symposium On Microprocessing And Microprogramming ( Euromicro-92 ) : Software And Hardware : Specification And Design.
Microprocessing And Microprogramming ( Euromicro-92 ) : Software And Hardware : Specification And Design, 35.
Elsevier Science Bv, Paris, France
pp. 563-568.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Locke, T
(2001)
Towards a Viable Alternative to OO -- Extending the sf occam/CSP Programming Model.
In: Chalmers, Alan and Mirmehdi, Majid and Muller, Henk, eds.
Communicating process architectures 2001.
Concurrent Systems Engineering Series, 59
.
IOS Press, Amsterdam, The Netherlands, pp. 329-349.
ISBN 158603202X.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
M
|
Makinson, Gordon and Wojtulewicz, M.
(1993)
Further Development of a Distributed Transputer Based X Server.
In: Proceedings of the Seventh International Parallel Processing Symposium.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Marconi, Annapaola and Bucchiarone, Antonio and Bratanis, Konstantinos and Brogi, Antonio and Camara, Javier and Dranidis, Dimitris and Giese, Holger and Kazhamiakink, Raman and de Lemos, Rogerio and Marquezan, Clarissa Cassales and Metzger, Andreas
(2012)
Research challenges on multi-layer and mixed-initiative monitoring and adaptation for service-based systems.
In:
2012 First International Workshop on European Software Services and Systems Research - Results and Challenges (S-Cube).
pp. 40-46.
(doi:10.1109/S-Cube.2012.6225509)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Marin, Lungu and Marian, Gheorghe and Musatescu, Carmen and Patrascoiu, Octavian
(1998)
Elaboration and Testing of Hierarchical / Distributed Computing Algorithms.
In: Proceedings of the International Symposium on System Theory (ISST-98).
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Marshall, Ian W.
(2002)
Complex System Modelling for Communication Networks.
In: Complexity Modelling Workshop, November 19-21, 2002, REID Engineering Laboratory Conference Facility, University of Nevada, Reno, Nevada.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Matsuda, Kazutaka and Wang, Meng
(2015)
Applicative Bidirectional Programming with Lenses.
In: ACM SIGPLAN International Conference on Functional Programming, 31 August – 2 September, 2015, Vancouver, British Columbia, Canada.
(Full text available)
|
![[img]](/49084/7.hassmallThumbnailVersion/icfp15.pdf)  Preview |
|
|
McGough, Andrew Stephen and Arief, Budi and Gamble, Carl and Wall, David and Brennan, John and Fitzgerald, John and van Moorsel, Aad and Alwis, Sujeewa and Theodoropoulos, Georgios and Ruck-Keene, Ed
(2015)
Ben-ware: Identifying Anomalous Human Behaviour in Heterogeneous Systems Using Beneficial Intelligent Software.
Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications,
6
(4).
pp. 3-46.
ISSN 2093-5374.
E-ISSN 2093-5382.
(Full text available)
|
![[img]](/54143/1.hassmallThumbnailVersion/jowua-v6n4-1.pdf)  Preview |
|
|
McGough, Andrew Stephen and Wall, David and Brennan, John and Theodoropoulos, Georgios and Ruck-Keene, Ed and Arief, Budi and Gamble, Carl and Fitzgerald, John and van Moorsel, Aad and Alwis, Sujeewa
(2015)
Insider Threats: Identifying Anomalous Human Behaviour in Heterogeneous Systems Using Beneficial Intelligent Software (Ben-ware).
In: Proceedings of the 7th ACM CCS (Computer and Communications Security) International Workshop on Managing Insider Security Threats (MIST’15), 12-16 October 2015, Denver, Colorado, USA.
(doi:10.1145/2808783.2808785)
(Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
|
|
|
McLoughlin, Ian Vince
(2009)
Applied Speech and Audio Processing.
Cambridge University Press
ISBN 9780-52151954-0.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
McLoughlin, Ian Vince
(1997)
CELP and speech enhancement: PhD Thesis.
The University of Birmingham, Birmingham, UK
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
McLoughlin, Ian Vince
(2011)
Computer Architecture: an embedded approach.
McGraw-Hill, 512 pp.
ISBN 9780-071311-182.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
McLoughlin, Ian Vince
(1999)
DSP software development.
Linux Journal,
1999
(61es).
p. 5.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
McLoughlin, Ian Vince
(2008)
Line spectral pairs.
Signal Processing,
88
(3).
pp. 448-467.
(doi:10.1016/j.sigpro.2007.09.003)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
McLoughlin, Ian Vince
(2008)
Review: Line spectral pairs.
Signal processing,
88
(3).
pp. 448-467.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
McLoughlin, Ian Vince
(2014)
Super-Audible Voice Activity Detection.
IEEE/ACM Transactions on Audio, Speech, and Language Processing,
22
(9).
pp. 1424-1433.
(doi:10.1109/TASLP.2014.2335055)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
McLoughlin, Ian Vince
(1999)
Switched- basis LSP quantization.
2nd International Conference on Information, Communication & Signal Processing,
.
p. 389.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
McLoughlin, Ian Vince
(2007)
Tone discrimination in Mandarin Chinese.
In: UNSPECIFIED.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
McLoughlin, Ian Vince
(2010)
Vowel Intelligibility in Chinese.
Ieee Transactions On Audio Speech And Language Processing,
18
(1).
pp. 117-125.
ISSN 1558-7916.
(doi:10.1109/TASL.2009.2024381)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
McLoughlin, Ian Vince and Agarwal, Manuj Prakash and Shantanu, Shukla and Tan, S.H. and Arichandran, K. and Tan, C.M. and Sawant, V.S. and Manchanda, Ravi
(2008)
Use of high-altitude balloon platforms for small satellite testing.
In: International Workshop on Digital Television and Infotainment, May 2008, Malaysia.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
McLoughlin, Ian Vince and Bretschneider, Timo and Ramesh, Bharath R
(2005)
First beowulf cluster in space.
Linux Journal,
137
(137).
pp. 34-38.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
McLoughlin, Ian Vince and Bretschneider, Timo Rolf and Zheming, Chen
(2012)
Virtualized Development and Testing for Embedded Cluster Computing.
International Journal of Networking and Computing,
2
(2).
pp.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
McLoughlin, Ian Vince and Chance, R. J.
(1997)
LSP analysis and processing for speech coders.
Electronics Letters,
33
(99).
pp. 743-744.
ISSN 0013-5194.
E-ISSN 1350-911X.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
McLoughlin, Ian Vince and Li, Jingjie and Song, Yan
(2013)
Reconstruction of Continuous Voiced Speech from Whispers.
Proc. Interspeech 2013,
(August).
pp. 1022-1026.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
McLoughlin, Ian Vince and Maskell, D and Thambipillai, S and Goh, Wooi-Boon
(2007)
Message from the honorary chair.
In: UNSPECIFIED.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
McLoughlin, Ian Vince and Maskell, Doug and Thambipillai, Srikanthan and Goh, Wooi-Boon
(2007)
An embedded systems graduate education for Singapore.
In: UNSPECIFIED.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
McLoughlin, Ian Vince and Narendra, I Komang and Koh, Leong Hai and Nguyen, Quang Huy and Seshadri, Bharath and Zeng, Wei and Yao, Chang
(2012)
Campus Mobility for the Future: The Electric Bicycle.
Journal of Transportation Technologies,
2
(1).
pp. 1-12.
(doi:10.4236/jtts.2012.21001)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
McLoughlin, Ian Vince and Scott, Tom
(2004)
Space-time processing-Linux style.
Linux Journal,
2004
(125).
p. 8.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
McLoughlin, Ian Vince and Shin, F. M.
(2000)
MP3 player on JUMPtec DIMM-PC/486-I.
Embedded Linux Journal,
1
(1).
pp. 64-69.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
McLoughlin, Ian Vince and Thambipillai, Srikanthan
(1999)
LSP parameter interpretation for speech classification.
In: 6th IEEE International Conference on Electronics, Circuits and Systems, 05 Sep 1999-08 Sep 1999, Pafos, Cyprus.
(doi:10.1109/ICECS.1999.812312)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
McLoughlin, Ian Vince and Tsao, Shiao-Li
(2010)
Message from the APESER 2010 Program Chairs.
In: 2010 IEEE/ACM Int'l Conference on & Int'l Conference on Cyber, Physical and Social Computing (CPSCom), 18-20 Dec. 2010, Hangzhou, China.
(doi:10.1109/GreenCom-CPSCom.2010.185)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
McLoughlin, Ian Vince
(2016)
Speech and Audio Processing: a MATLAB-based approach.
Cambridge University Press, Cambridge, UK, 400 pp.
ISBN 9781107085466.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Merad, Salah and de Lemos, Rogério and Anderson, Tom
(2011)
A game theoretic solution for the optimal selection of services.
In:
Performance and Dependability in Service Computing: Concepts, Techniques and Research Directions.
Premier Reference Source
.
IGI Global, pp. 172-188.
ISBN 9781609607944.
(doi:10.4018/978-1-60960-794-4.ch008)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Micallef, Luana
(2014)
Succeeding by Failing.
Think,
11
.
p. 47.
ISSN 2306-0735.
(Full text available)
|
![[img]](/47073/1.hassmallThumbnailVersion/Micallef_ThinkDec2014.pdf)  Preview |
|
|
Mohr, Philipp H. and Ryan, Nick S. and Timmis, Jon
(2005)
A Learning Context Memory.
In: 3rd UkUbiNet Workshop, 9-11 February 2005, , University of Bath.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Mohr, Philipp H. and Timmis, Jon and Ryan, Nick S.
(2005)
Immune Inspired Context Memory.
In: 1st International Workshop on Exploiting Context Histories in Smart Environments, 11 May 2005, Munich, Germany.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Moores, James
(1999)
CCSP - A portable CSP-based run-time system supporting C and occam.
In: Cook, Barry M., ed.
Concurrent Systems Engineering Series.
Concurrent Systems Engineering Series, 57.
I O S Press, Netherland
pp. 147-168.
ISBN 90-5199-480-X.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Morse, David R.
(1996)
Australian multimedia.
Trends in Ecology and Evolution,
11
(12).
ISSN 0169-5347.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Morse, David R.
(1995)
Ecology on the Internet.
BES Bulletin,
XXVIII
(4).
pp. 244-250.
ISSN 0306 8307.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Morse, David R.
(1995)
ModelMaker: A review.
BES Bulletin,
XXVIII
(4).
pp. 284-286.
ISSN 0306 8307.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
N
|
Naccache, Lionel and King, Jean-Rémi and Sitt, Jacobo and Engemann, Denis and El Karoui, Imen and Rohaut, Benjamin and Faugeras, Frédéric and Chennu, Srivas and Strauss, Mélanie and Bekinschtein, Tristan and Dehaene, Stanislas
(2015)
Neural detection of complex sound sequences or of statistical regularities in the absence of consciousness?
Brain,
10.109
.
pp. 1-3.
ISSN 0006-8950.
E-ISSN 1460-2156.
(doi:10.1093/brain/awv190)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Naccache, Lionel and Sitt, Jacobo and King, Jean-Rémi and Rohaut, Benjamin and Faugeras, Frédéric and Chennu, Srivas and Strauss, Mélanie and Valente, Mélanie and Engemann, Denis and Raimondo, Federico and Demertzi, Athena and Bekinschtein, Tristan and Dehaene, Stanislas
(2016)
Reply: Replicability and impact of statistics in the detection of neural responses of consciousness.
Brain,
.
pp. 1-3.
ISSN 0006-8950.
E-ISSN 1460-2156.
(doi:10.1093/brain/aww060)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Narwaria, Manish and Lin, W. and McLoughlin, Ian Vince and Emmanuel, Sabu and Chia, Liang-Tien
(2012)
Fourier Transform Based Scalable Image Quality Measure.
IEEE Transactions on Image Processing,
21
(8).
pp. 3364-3377.
ISSN 1057-7149.
(doi:10.1109/TIP.2012.2197010)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Narwaria, Manish and Lin, Weisi and McLoughlin, Ian Vince and Emmanuel, Sabu and Chia, Liang-Tien
(2012)
Fourier transform-based scalable image quality measure.
IEEE Transactions on Image Processing,
21
(8).
pp. 3364-3377.
ISSN 1057-7149.
(doi:10.1109/TIP.2012.2197010)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Nguyen, Quang Huy and Aung, Myo Tun and Bretschneider, Timo Rolf and McLoughlin, Ian Vince
(2009)
Dynamic scaling scheme for hardware-accelerated edge detection.
In: UNSPECIFIED, 14 Dec - 15 Dec 2009, Nanyang Technological University, Singapore.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
O
|
Oshea, P.J. and Wilson, E.
(1997)
European law databases: an experiment in retrieval.
In: Wagner, R., ed.
: Database and Expert Systems Applications, 1997. Proceedings., Eighth International Workshop on.
I.E.E.E, Computer Soc Press
pp. 227-232.
ISBN 0-8186-8148-9.
(doi:10.1109/DEXA.1997.617275)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Owen, Gareth and Adda, Mo
(2005)
Feasibility of geographically static data storage in ad-hoc networks.
In:
IADAT Ed. 2nd International Conference on Telecommunications and Computer Networks.
pp. 172-176.
ISBN 8493397172.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Owen, Gareth and Adda, Mo and Kasaabeh, M. and Paraskelidis, A. and Peart, A.
(2005)
Communication issues in Large Scale Wireless Ad hoc Networks.
In: Petratos, P. and Michalopoulos, D., eds.
Computer Science and Information System.
Athens Institute for Education and Research, Athens, Greece
pp. 299-313.
ISBN 9608867231.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
P
|
Paes, B.C. and Plastino, A. and Freitas, Alex A.
(2014)
Exploring attribute selection in hierarchical classification.
Journal of Information and Data Management,
5
(1).
pp. 124-133.
ISSN 2178-7107.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Pascoe, Jason and Ryan, Nick S. and Morse, David R.
(1999)
Issues in developing context-aware computing.
In: 1st International Symposium on Handheld and Ubiquitous Computing (HUC 99), Sep 27-29, 1999, Karlsruhe, Germany.
(doi:10.1007/3-540-48157-5_20)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Patel, Mukesh J. and Taylor, Chris and du Boulay, Benedict
(1994)
Textual Tree (Prolog) Tracer: An Experimental Evaluation.
In: Gilmore, D. and Winder, R. and Detienne, F., eds.
User-Centred Requirements for Software Engineering Environments.
NATO ASI Series (Series F: Computer and Systems Sciences), 123
.
Springer-Verlag, Berlin, pp. 127-141.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Patel, Mukesh J. and du Boulay, Benedict and Taylor, Chris
(1991)
Effect of Format on Information and Problem Solving.
In: Proc. of 13th Ann. Conf. of the Cognitive Science Society.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Patel, Mukesh J. and du Boulay, Benedict and Taylor, Chris
(1993)
Evaluation of Contrasting Prolog Trace Output Formats.
Technical report.
University of Sussex
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Patel, Mukesh J. and du Boulay, Benedict and Taylor, Chris
(1991)
Prolog Tracers and Information Access.
In: Proc. of 1st Moscow Internat. HCI Workshop.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Phan, Huy and Maass, Marco and Hertel, Lars and Mazur, Radoslaw and McLoughlin, Ian Vince
(2016)
Learning Compact Structural Representations For Audio Events Using Regressor Banks.
In: 2016 International Conference on Acoustics, Speech and Signal Processing, 20-25 March 2016, Shanghai, China.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Phon-Amnuaisuk, Somnuk and Palaniappan, Ramaswamy
(2015)
Exploring Swarm-Based Visual Effects.
Intelligent and Evolutionary Systems, Series Proceedings in Adaptation, Learning and Optimization,
5
.
pp. 333-341.
ISSN 2363-6084.
(doi:10.1007/978-3-319-27000-5_27)
(Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
|
|
|
Pimentel, M.D.C
(1994)
Evaluation of Alternative Operations for Browsing Hypertext.
In: Cockton, G. and Draper, S.W. and Weir, G.R.S., eds.
People and Computers.
British Computer Society Workshop Series, Proceedings of the HCI '94 Conference
.
Cambridge University Press, Cambridge, pp. 145-162.
ISBN 0-521-48557-6.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Pinto, Paulo F. and Linington, Peter F.
(1994)
A language for the specification of interactive and distributed multimedia applications.
In: DeMeer, J. and Mahr, B. and Storp, S., eds.
Open Distributed Processing II.
IFIP Transactions C-Communication Systems , 20
.
Elsevier Science Ltd, Oxford, pp. 247-264.
ISBN 0-444-81861-8.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Plastino, Alexandre and Fuchshuber, Richard and Martins, Simone de L. and Freitas, Alex A. and Salhi, Said
(2011)
A hybrid data mining metaheuristic for the p-median problem.
Statistical Analysis & Data Mining Journal ,
4
(3).
pp. 313-335.
(doi:10.1002/sam.10116)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Plsek, Ales and Zhao, Lei and Sahin, Veysel H. and Tang, Daniel and Kalibera, Tomas and Vitek, Jan
(2010)
Developing safety critical Java applications with oSCJ/L0.
In: Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES).
(doi:10.1145/1850771.1850786)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Polack, Fiona A.C. and Andrews, Paul S. and Ghetiu, Teodor and Read, Mark and Stepney, Susan and Timmis, Jon and Sampson, Adam T.
(2010)
Reflections on the Simulation of Complex Systems for Science.
In: ICECCS 2010: Fifteenth IEEE International Conference on Engineering of Complex Computer Systems.
(Full text available)
|
 Preview |
|
|
Polack, Fiona A.C. and Whiston, Mark and Mander, Keith C.
(1993)
The SAZ Project: Integrating SSADM and Z.
In: Proceedings FME'93.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Poole, Michael
(1995)
Progress with occam for the PC.
WoTUG Newsletter,
.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Poole, Michael D.
(1998)
Extended Transputer Code - a Target-Independent Representation of Parallel Programs.
In: 21st World-Occam-and-Transputer-User-Group Technical Meeting (WoTUG-21) - Architectures, Languages and Patterns for Parallel and Distributed Applications, Apr 05-08, 1998, Canterbury, England.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Poole, Michael D.
(1996)
Occam for all - Two approaches to retargeting the INMOS compiler.
In: 19th World-Occam-and-Transputer-User-Group Technical Meeting - Parallel Processing Developments (WoTUG-19), Mar 31-Apr 03, 1996, Nottingham, England.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Poole, Michael D.
(1995)
Using records and pointers with occam 2.1.
In: Nixon, Paddy and Transputer User, Grp, eds.
Transputer and Occam Developments.
Transputer & Occam Engineering Series, 44
.
IOS Press, Amsterdam, pp. 151-162.
ISBN 90-5199-222-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)
|
|
|
Price, Thomas W. and Brown, Neil C.C. and Lipovac, Dragan and Barnes, Tiffany and Kölling, Michael
(2016)
Evaluation of a Frame-based Programming Editor.
In: ICER 2016, 8-12 September 2016, Melbourne.
(In press)
(Full text available)
|
![[img]](/56259/1.hassmallThumbnailVersion/icer027-priceA.pdf)  Preview |
|
Q
R
|
Ramesh, B and Mohan, D and McLoughlin, Ian Vince and Madhusudhanan, N
(2004)
On-Board Data Handling System for the X-Sat Mission.
Proceedings of the 1st Asian Space Conference,
.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Reeve, David C
(2003)
A New Blueprint for Network QoS.
Doctor of Philosophy (PhD) thesis, Computing Laboratory.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Roadknight, Chris and Parrott, Laura and Boyd, Nathan and Marshall, Ian W.
(2005)
Real-Time Data Management on a Wireless Sensor Network.
International Journal of Distributed Sensor Networks,
1
(2).
pp. 215-225.
ISSN 1550-1329.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Roberts, Jonathan C.
(1998)
On encouraging multiple views for visualization.
In: Banissi, Ebad and Khosrowshahi, F. and Sarfraz, Muhammad, eds.
IEEE Conference on Information Visualization - Proceedings.
IEEE Conference on Information Visualization - Proceedings.
IEEE Computer Soc, Los Alamitos, CA, USA , Los Alamitos, CA, USA
pp. 8-14.
ISBN 0-8186-8509-3.
(doi:10.1109/IV.1998.694193)
(Full text available)
|
|
|
Roberts, Jonathan C.
(1998)
Waltz - An exploratory visualization tool for volume data, using multiform abstract displays.
In: Erbacher, Robert F. and Pang, Alex, eds.
Visual Data Exploration and Analysis V, Proceedings of SPIE.
Proceedings of the Society of Photo-Optical Instrumentation Engineers (SPIE), 3298.
SPIE -Int Soc Optical Engineering, Bellingham, WA USA , Bellingham, Washington, USA
pp. 112-122.
ISBN 0-8194-2738-1.
(Full text available)
|
 Preview |
|
|
Robinson, David P. and Marshall, Ian W.
(2002)
Location of Simple Nodes in an Ad-hoc Network.
In: Proceedings of LCS.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Rothwell, Kneale J and Shaw, G. and Smith, A.
(1995)
Porting the INMOS occam compiler to the SPARC architecture.
In: 18th Technical Meeting of the World-occam-and-Transputer-User-Group (WoTUG-18), Apr 09-12, 1995, Manchester, England.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Roueché, Charlotte and Searby, Denis and Wakelnig, Elvira and Procházka, Stephan and Hedges, Mark and Lawrence, K. Faith and Jordanous, Anna and Tupman, Charlotte and Lawrence, Keith and Bylund, Måns and Österdahl, Pontus and Dallaji, Ines and Storz, Christoph and Nigst, Lorenz
(2013)
Sharing Ancient Wisdoms: The SAWS Dynamic Library of Wisdom Literatures.
.
Webpage.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Rubira, Cecilia M. F. and de Lemos, Rogério
(2008)
Software components, architectures and reuse.
Journal of Universal Computer Science,
14
(8).
pp. 1179-1181.
ISSN 0948-695X.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Runnalls, Andrew R.
(1994)
A Survey of Sampling Methods for Inference on Directed Graphs.
In: Cheeseman, P. and Oldford, R.W., eds.
Selecting Models from Data.
Springer Verlag.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
S
|
Sacks, Lionel and Britton, M. and Wokoma, I. and Marbini, A. and Adebutu, Toks and Marshall, Ian W. and Roadknight, Chris and Tateson, J. and Robinson, David P. and Velazquez, A.G.
(2003)
The Development of a Robust, Autonomous Sensor Network Platform for Environmental Monitoring.
In: Sensors and their applications, 2003; Sep, Limerick, Ireland.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Sahami, Mehran and Roach, Steve and Cuadros-Vargas, Ernesto and Danyluk, Andrea and Dodge, Ronald and Fisher, Kathleen and Fincher, Sally and France, Robert and Grossman, Dan and Hawthorne, Beth and Katz, Randy and Kumar, Amruth and LeBlanc, Rich and Reed, Dave and Robinson, Brian H. and Seker, Remzi and Thompson, Alfred
(2013)
Computer Science Curricula 2013(CS2013).
Technical report.
ACM Press and IEEE Computer Society Press, New York
10.1145/2534860.
(doi:10.1145/2534860)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Sandoval Orozco, Ana Lucila and Garcia Villalba, Luis Javier and Arenas Gonzalez, David Manuel and Rosales Corripio, Jocelin and Hernandez-Castro, Julio C. and Gibson, Stuart James
(2015)
Smartphone image acquisition forensics using sensor fingerprint.
Institute of Engineering and Technology, Computer Vision,,
9
(5).
pp. 723-731.
ISSN 1751-9632.
E-ISSN 1751-9640.
(doi:10.1049/iet-cvi.2014.0243)
(Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
|
|
|
Scahill, Mark
(1997)
Distributed individual-based environmental simulation.
In: Denzer, Ralf and Swayne, David A. and Schimak, Gerald, eds.
Environmental Software Systems (v. 2).
IFIP International Federation for Information Processing S., 2
.
Chapman & Hall, Dordrecht, pp. 269-276.
ISBN 0-412-81740-3.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Schoeberl, Martin and Korsholm, Stephan and Kalibera, Tomas and Ravn, Anders P.
(2011)
A Hardware Abstraction Layer in Java.
ACM Transactions on Embedded Computing Systems,
10
(4).
pp. 182-196.
(doi:10.1145/2043662.2043666)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Secker, Andrew D. and Davies, Matthew N. and Freitas, Alex A. and Timmis, Jon and Clark, Edward and Flower, Darren R.
(2008)
An artificial immune system for evolving amino acid clusters tailored to protein function prediction.
In: Bentley, Peter J. and Lee, Doheon and Jung, Sungwon, eds.
Artificial Immune Systems.
Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
.
Springer, pp. 242-253.
ISBN 978-3-540-85071-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)
|
|
|
Senivongse, Twittie
(1997)
Evolution Transparency for Distributed Service Types.
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)
|
|
|
Shaghaghi, A. R. and Glover, T. and Kampouridis, Michael and Tsang, E.
(2013)
Guided local search for optimal GPON/FTTP network design.
In: Proceedings of the Fourth International Conference on Networks & Communications.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Sharifzadeh, Hamid R and McLoughlin, Ian Vince and Russell, Martin J
(2010)
Toward a comprehensive vowel space for whispered speech.
In: international symposium on chinese spoken language processing 7 (2010), 29/11/2010-3/12/2010, National Cheng Kung University, Taiwan.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Sharifzadeh, Hamid Reza and McLoughlin, Ian Vince and Ahamdi, Farzaneh
(2009)
Voiced speech from whispers for post-laryngectomised patients.
IAENG International Journal of Computer Science,
36
(4).
p. 367.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Sharifzadeh, Hamid Reza and McLoughlin, Ian Vince and Ahmadi, Farzaneh
(2009)
Regeneration of speech in voice-loss patients.
In: 13th International Conference on Biomedical Engineering, 2008 3–6 December 2008, Singapore.
(doi:10.1007/978-3-540-92841-6_262)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Sharifzadeh, Hamid Reza and McLoughlin, Ian Vince and Ahmadi, Farzaneh
(2010)
Speech Rehabilitation Methods for Laryngectomised Patients.
In:
Electronic Engineering and Computing Technology.
Springer Netherlands, pp. 597-607.
ISBN 978-90-481-8775-1.
E-ISBN 978-90-481-8776-8.
(doi:10.1007/978-90-481-8776-8_51)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Sharifzadeh, Hamid Reza and HajiRassouliha, Amir and McLoughlin, Ian Vince and Ardekani, Imam
(2015)
Phonated Speech Reconstruction Using Twin Mapping Models.
In: The 15th IEEE International Symposium on Signal Processing and Information Technology, 7-10 December 2015, Abu Dhabi.
(In press)
(Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
|
|
|
Shibayama, Katsuyuki and Walczowski, Les T. and Waller, Winston A.J. and Nalbantis, D.
(1996)
A new bipolar op-amp IC synthesis approach.
In: 2nd International Conference on ASIC, Shanghai, Peoples R China.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Silles, Christopher Anthony
(2014)
Provenance-Aware CXXR.
Doctor of Philosophy (PhD) thesis, University of Kent,.
(Full text available)
|
![[img]](/50499/1.hassmallThumbnailVersion/208screenversion-deposited%20rev.2.pdf)  Preview |
|
|
Silva, Carlos and Lopes, Adilson B. and Elias, Gledson and Lemos, Guido and Magalhães, Maurício F.
(2006)
A Component Interconnection Model for Interactive Digital Television Systems.
In:
Advanced Information Networking and Applications, 2006. AINA 2006. 20th International Conference on.
IEEE Computer Society
pp. 263-268.
ISBN 0-7695-2466-4.
(doi:10.1109/AINA.2006.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)
|
|
|
Slater, J.B. and Swinnerton-Dyer, P.
(1998)
Counting points on cubic surfaces, I.
Asterisque,
(251).
pp. 1-12.
ISSN 0303-1179.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Smith, Abraham B. and Welch, Peter H.
(1989)
Real-Time Transputer Models of Low-Level Primate Vision.
In: Occam and the Transputer, Research and Applications, Proceedings of OUG 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)
|
|
|
Smonou, D. and Kampouridis, Michael and Tsang, E.
(2013)
Metaheuristics Application on a Financial Forecasting Problem.
In: IEEE Congress on Evolutionary Computation (IEEE CEC 2013), June 2013.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Song, Yan and McLoughlin, Ian Vince and Dai, Li-Rong
(2015)
Deep Bottleneck Feature for Image Classification.
In: ACM International Conference on Multimedia Information Retrieval (ICMR), June 2015, Shanghai.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Song, Yan and Cui, Ruilian and Hong, Xinhai and McLoughlin, Ian Vince and Shi, Jiong and Dai, Lirong
(2016)
Improved language identification using deep bottleneck network.
In: Acoustics, Speech and Signal Processing (ICASSP), 2015 IEEE International Conference, 19-24 April 2015, Brisbane, Australia.
(doi:10.1109/ICASSP.2015.7178762)
(Full text available)
|
![[img]](/55021/2.hassmallThumbnailVersion/utter_representation2.pdf)  Preview |
|
|
Steen, Maarten and Akehurst, David H. and ter Doest, H.W.L. and Lankhorst, M.M.
(2004)
Supporting Viewpoint-Oriented Enterprise Architecture.
In: Eighth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2004), Sep 20-24, 2004, Monterey, CA, .
(doi:10.1109/EDOC.2004.24)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Stergiou, Maria and Johnson, Leslie
(1999)
Modelling Process-Centered Organisations.
International Journal of Information Systems Research and Information Science,
.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Stibor, Thomas and Mohr, Philipp H. and Timmis, Jon and Eckert, C.
(2005)
Is negative selection appropriate for anomaly detection?
In:
Proceedings of the 2005 conference on Genetic and evolutionary computation.
ACM Press, New York, NY (USA)
pp. 321-328.
ISBN 1595930108.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Strang, W. and Khan, H. and Simpson, V. and Slater, C. and Hill, Steve
(1993)
From hypertext to hypermedia.
Second annual conference on multimedia in education and industry,
.
pp. 35-39.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Sturrock, Shane S. and Salmon, Ian
(1991)
Application of Occam to Biological Sequence Comparison.
In: Occam and the Transputer -- Current Developments, Proceedings of WoTUG 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)
|
|
|
Sutcliffe, A. and Dömges, M.J.R.
(1997)
Defining Visions in Context.
Information Systems,
21
(6).
pp. 515-547.
ISSN 0306-4379 .
(doi:10.1016/0306-4379(96)00026-9 )
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
T
|
Tardivel, Gillian M. and Morse, David R.
(1998)
The role of the user in computer-based species identification.
In: Bridge, Paul and Jeffries, Peter and Morse, David R. and Scott, Peter R., eds.
Information technology, plant pathology and biodiversity.
Cabi Publishing-CAB Int, Oxon, England
pp. 247-259.
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)
|
|
|
Taylor, Chris and Naik, Yogesh
(1992)
A Survey of Formalisms for the Specification of MATS-2.
Technical report.
Dept of Comp Science, London
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Taylor, Chris and Naik, Yogesh
(1993)
Conflict Prediction Prototype (Test Harness and Results).
Technical report.
Dept. of Comp. Science, City University, London
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Taylor, Chris and Naik, Yogesh
(1993)
Conflict Prediction Prototype (User Guide).
Technical report.
Dept. of Comp. Science, City University, London
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Taylor, Chris and Naik, Yogesh
(1993)
Conflict Prediction Specification (Domain Objects).
Technical report.
Dept. of Comp. Science, City University, London
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Taylor, Chris and Naik, Yogesh
(1993)
Conflict Prediction Specification (MATS-2 Separation Rules).
Technical report.
Dept. of Comp. Science, City University, London
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Taylor, Chris and Naik, Yogesh
(1992)
Definition of a Theoretical Form for MATS-2.
Technical report.
Dept of Comp Science, London
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Taylor, Chris and Naik, Yogesh
(1992)
Initial Domain Analysis of MATS-2.
Technical report.
Dept of Comp Science, London
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Taylor, Chris and Naik, Yogesh
(1992)
Interim Progress Report on Analysis of MATS-2.
Technical report.
Internal, London
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Taylor, Chris and Naik, Yogesh
(1993)
Parsing and Translation of MATS-2 Rules in Theoretical Form.
Technical report.
Dept. of Comp. Science, City University, London
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Taylor, Chris and Naik, Yogesh
(1992)
Transformation between Theoretical and Validation Forms.
Technical report.
Dept of Comp Science, London
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Taylor, Chris and du Boulay, Benedict and Patel, Mukesh J.
(1999)
A Revised Textual Tree Trace Notation for Prolog.
In: Brna, Paul and du Boulay, Benedict and Pain, Helen, eds.
Learning to Build and Comprehend Complex Information Structures: Prolog as a Case Study.
Ablex Publishing Corporation, pp. 267-281.
ISBN 1-56750-434-5.
(Full text available)
|
|
|
Taylor, Chris and du Boulay, Benedict and Patel, Mukesh J.
(1994)
Textual Tree Trace Notation for Prolog: An Overview.
In: Proc. of Post-Conf. Workshop on Logic Programming and Education, Internat. Conf. on Logic Programming.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Thompson, Simon
(2014)
How to stand out digitally.
In: Jolly, Adam, ed.
The Growing Business Handbook.
Kogan Page, pp. 129-131.
ISBN 9780749470371.
E-ISBN 9780749470388.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Thompson, Simon and Hill, Steve
(1995)
Functional programming through the curriculum.
In: 1st International Symposium on Functional Programming Languages in Education (FPLE 95), Dec 04-06, 1995, Nijmegen, Netherlands.
(Full text available)
|
|
|
Tseng, Kuo-Jung
(1996)
Chinese Character Generation - A Stroke Oriented Method.
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)
|
|
|
Tupman, Charlotte and Hedges, Mark and Jordanous, Anna and Roueché, Charlotte and Lawrence, K. Faith and Wakelnig, Elvira and Dunn, Stuart
(2012)
Sharing Ancient Wisdoms: developing structures for tracking cultural dynamics by linking moral and philosophical anthologies with their source and recipient texts.
In: Digital Humanities, 2012, Hamburg, Germany.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Tupman, Charlotte and Jordanous, Anna
(2012)
Sharing Ancient Wisdoms across the Semantic Web using TEI and ontologies.
In: Methods and means for digital analysis of ancient and medieval texts and manuscripts, 2012, Leuven, Belgium.
(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)
|
|
|
Tupman, Charlotte and Jordanous, Anna
(2014)
Sharing Ancient Wisdoms across the Semantic Web using TEI and ontologies.
In: Andrews, T.L. and Mace, C., eds.
Analysis of Ancient and Medieval Texts and Manuscripts: Digital Approaches.
Lectio (LECTIO 1)
.
Brepols, Belgium.
ISBN 9782503552682.
(Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
|
|
|
Turner, David A.
(1995)
Elementary strong functional programming.
In: 1st International Symposium on Functional Programming Languages in Education (FPLE 95), Dec 04-06, 1995, Nijmegen, Netherlands.
(doi:10.1007/3-540-60675-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)
|
|
U
|
Utting, Ian
(2013)
The McCracken Study - 12 years on.
In: ITiCSE Conference, 1-3 July 2013, University of Kent, Canterbury.
(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)
|
|
|
Utting, Ian and Bouvier, Dennis and Caspersen, Michael and Elliott Tew, Allison and Frye, Roger and Kolikant, Yifat and McCracken, Mike and Paterson, James and Sorva, Juha and Thomas, Lynda and Wilusz, Tadeusz
(2013)
A Fresh Look at Novice Programmers’ Performance and Their Teachers’ Expectations.
In: ITiCSE -WGR '13. ITiCSE working group, 1-3 July 2013, Canterbury, Kent.
(doi:10.1145/2543882.2543884)
(Full text available)
|
![[img]](/44804/1.hassmallThumbnailVersion/ACMDLfinal-p15-utting.pdf)  Preview |
|
V
|
Vella, Kevin J.
(1996)
CSP/occam on Networks of Workstations.
In: Proceedings of UK Parallel ''96.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Vella, Kevin J. and Welch, Peter H.
(1999)
CSP/occam on Shared Memory Multiprocessor Workstations.
In: 22nd World-Occam-and-Transputer-User-Group Technical Meeting (WoTUG-22), Apr. 11-14, 1999, Keele, England.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Vieira, André D. and Ferraz, Carlos A.G. and Silva, Erick L. and Loureiro, Janine A. and Campos, Marcília A. and Tedesco, Patrícia C.A.R. and Barros, Saulo C.R.
(2002)
Detecção de Auto-Similaridade com Autocorrelação.
In: XXV National Congress of Applied and Computational Mathematics, September 2002, Nova Friburgo/RJ - Brazil.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
W
|
Walczowski, Les T. and Nalbantis, D. and Waller, Winston A.J. and Shi, K.
(1997)
Analogue layout generation by World Wide Web server-based agents.
European Conference on Design Automation
.
I E E E, Computer Soc Press, USA, 634 pp.
ISBN 0-8186-7786-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)
|
|
|
Webb, David J. and Rao, Yun Jiang and Hathaway, Mark and Jackson, David A. and Zhang, Lin and Bennion, Ian
(1998)
Medical temperature profile monitoring using multiplexed fibre Bragg gratings.
In: Dakin, John P. and Kersey, Alan D. and Paul, Dilip K., eds.
Fiber Optic and Laser Sensors and Applications - Including Distributed and Multiplexed Fiber Optic Sensors VII.
Proceedings of the Society of Photo-Optical Instrumentation Engineers (SPIE).
SPIE - International Society for Optical Engineering
pp. 256-262.
ISBN 0-8194-3002-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)
|
|
|
Webb, David J. and Surowiec, J. and Sweeney, M. and Jackson, David A. and Gavrilov, Leonid and Hand, J.W. and Zhang, Lin and Bennion, Ian
(1996)
Miniature fibre optic ultrasonic probe.
In: Conference on Fiber Optic and Laser Sensors XIV, Denver, Co.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Welch, Peter H.
(1986)
A Structured Technique for Concurrent Systems Design in Ada.
In: Ada: Managing the Transition, Proceedings of the Ada-Europe International Conference, Edinburgh.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Welch, Peter H.
(1988)
An occam Approach to Transputer Engineering.
In: Proceedings of the 3rd. Conference on Hypercube Concurrent Computers and Applications.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Welch, Peter H.
(2000)
Communicating Process Architectures 2000.
In: Welch, Peter H. and Bakkers, A.W.P., eds.
Communicating Process Architectures 2000: Wotug-23 : Proceedings of the 23rd World Occam and Transputer User Group Technical Meeting, 10-13 September 2000, Systems Engineering Series.
Concurrent Systems Engineering, 58.
IOS Press (Amsterdam)
ISBN 978-1586030773 .
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Welch, Peter H.
(1975)
Continuous Semantics and Inside-Out Reductions.
Lecture Notes in Computer Science,
37
.
pp. 122-146.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
![[img]](/style/images/fileicons/application_postscript.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/application_rtf.png)
![[img]](/style/images/fileicons/video.png)