Skip to main content

Research Repository

Advanced Search

Outputs (3504)

Semantic integrity for persistent objects (1992)
Journal Article
Barclay, P. J., & Kennedy, J. (1992). Semantic integrity for persistent objects. Information and Software Technology, 34(8), 533-541. https://doi.org/10.1016/0950-5849%2892%2990147-H

Modelling constructs for specifying semantic integrity are reviewed, and their implicit execution semantics discussed. An integrity maintenance model based on these constructs is presented. An implementation of this model in a persistent programming... Read More about Semantic integrity for persistent objects.

Regaining the conceptual level in object oriented modelling (1991)
Presentation / Conference Contribution
Barclay, P. J., & Kennedy, J. (1991, July). Regaining the conceptual level in object oriented modelling. Presented at 9th British National Conference on Database - BNCOD9, 1991

This paper attempts to develop a conceptual model for the object oriented description of data. We abstract from various logical model features essential for thinking about data in an object oriented framework. These features are presented through exa... Read More about Regaining the conceptual level in object oriented modelling.

Simulation of three-dimensional finite-difference time-domain method on limited memory systems. (1991)
Presentation / Conference Contribution
Buchanan, W. J., & Gupta, N. K. (1991, November). Simulation of three-dimensional finite-difference time-domain method on limited memory systems. Presented at International Conference on Computation in Electromagnetics

The authors discuss techniques in the modelling of electromagnetic fields using finite difference time domain (FDTD) methods applied to 80×86-based PCs or limited memory computers. Electrical modelling of structures is currently carried out mainly in... Read More about Simulation of three-dimensional finite-difference time-domain method on limited memory systems..

The use of design activity for research into Computer Supported Co-operative Work (CSCW) (1991)
Presentation / Conference Contribution
Garner, S. W., Scrivener, S. A. R., Clarke, A. A., Clark, S., Connolly, J. H., Palmen, H., Schappo, A., & Smyth, M. G. (1991, September). The use of design activity for research into Computer Supported Co-operative Work (CSCW). Presented at 4th Design and technology educational research and curriculum development (National conference)

This paper describes current research at Loughborough University in the field of Computer Supported Co-operative Working (CSCW). The project, which is funded by the Information Engineering Directorate (IED) within the Science and Engineering Research... Read More about The use of design activity for research into Computer Supported Co-operative Work (CSCW).

The Design of the IDIOMS Parallel Database Machine (1991)
Presentation / Conference Contribution
Kerridge, J. M. (1991, December). The Design of the IDIOMS Parallel Database Machine. Presented at 9th British National Conference on Databases (BNCOD), Wolverhampton Polytechnic, UK

Simulating microprocessor systems using occam and a network of transputers (1989)
Journal Article
Gorton, I., Kerridge, J., & Jervis, B. (1989). Simulating microprocessor systems using occam and a network of transputers. IEE proceedings. Part E, Computers and digital techniques, 136(1), 22-28. https://doi.org/10.1049/ip-e.1989.0004

The simulation at component level of microprocessor systems provides a precise technique for evaluating the design of a system with regards to its requirements specification. The paper describes the use of occam to simulate individual microprocessor... Read More about Simulating microprocessor systems using occam and a network of transputers.

Design, abstract data types and occam (1989)
Presentation / Conference Contribution
Kerridge, J., Wright, S., & Oates, R. (1989, April). Design, abstract data types and occam. Presented at 10th Occam User Group Technical Meeting, Enschede, The Netherlands

A design methodology is presented whereby abstract data types are mapped onto occam processes. For each function a command and reply protocol is specified. Attention is paid to the formal specification. The method may be useful in obtaining a paralle... Read More about Design, abstract data types and occam.

Luteinizing hormone response to an oestradiol challenge in 5 intersex pigs possessing ovotestes (1989)
Journal Article
Chalmers, C., Cook, B., Foxcroft, G. R., & Hunter, R. H. F. (1989). Luteinizing hormone response to an oestradiol challenge in 5 intersex pigs possessing ovotestes. Reproduction, 87(2), 455-461. https://doi.org/10.1530/jrf.0.0870455

After challenge with oestradiol benzoate, the mean maximum LH concentration in 5 XX intersex pigs possessing ovarian and testicular tissue, or only testicular tissue, was 2\m=.\10(\m=+-\0\m=.\41)ng/ml compared with 8\m=.\9ng/ml in mature domestic gil... Read More about Luteinizing hormone response to an oestradiol challenge in 5 intersex pigs possessing ovotestes.

Microwaves in the laboratory. (1988)
Presentation / Conference Contribution
Buchanan, W. J. (1988, March). Microwaves in the laboratory. Presented at IEE Colloquium on 'Teaching Antennas and Propagation to Undergraduates'

The place for increasing interest and enhancing learning in the area of Microwave/ EM Wave propagation is in the laboratory.

Modelling and Forecasting Human Populations using Sigmoid Models (1987)
Thesis
Raeside, R. Modelling and Forecasting Human Populations using Sigmoid Models. (Thesis). Edinburgh Napier University. http://researchrepository.napier.ac.uk/Output/1053286

Early this century "S-shaped" curves, sigmoids, gained
populari ty among demographers. However, by 1940, the approach
had "fallen out of favour", being criticised for giving po,or
results and having no theoretical validity. It was also
considered... Read More about Modelling and Forecasting Human Populations using Sigmoid Models.

Communicating parallel processes (1986)
Journal Article
Kerridge, J., & Simpson, D. (1986). Communicating parallel processes. Software: Practice and Experience, 16(1), 63-86. https://doi.org/10.1002/spe.4380160106

By considering the problem of an event timer it is shown that the commonly available synchronizing facilities (monitors, CSP, distributed processes) are not able to always satisfactorily model the requirements of several processes which must run in p... Read More about Communicating parallel processes.

An architecture and syntax for distributed databases (1984)
Journal Article
Alexander, H., Beetstra, T., Bell, D., Cannan, S., Dee, E., Doyle, P., Fitzgerald, G., French, C., Jefferys, J., Kerridge, J., Pilgrim, W., Rabone, D., Ras, F., Reilly, M., Robinson, H., Stacey, G., & Weatherhead, A. (1984). An architecture and syntax for distributed databases. Computers and Standards, 3(1), 33-56. https://doi.org/10.1016/0167-8051%2884%2990025-1

Recently, there has been a lot of work undertaken in the area of distributed databases. The architecture and syntax presented in this paper is a response to the very real need for the development of a unified approach to distributed databases. The de... Read More about An architecture and syntax for distributed databases.

Three solutions for a robot arm controller using Pascal-Plus, occam and edison (1984)
Journal Article
Kerridge, J. M., & Simpson, D. (1984). Three solutions for a robot arm controller using Pascal-Plus, occam and edison. Software: Practice and Experience, 14(1), 3-15. https://doi.org/10.1002/spe.4380140103

Three currently available concurrent language systems, Pascal‐Plus, occam and Edison, are used to implement a controller for a robot arm. The robot arm allows real parallelism of operation within the movements of the arm. The feasibility and restrict... Read More about Three solutions for a robot arm controller using Pascal-Plus, occam and edison.

The activities of the BCS/CODASYL DDLC DBAWG (1982)
Journal Article
Kerridge, J. (1982). The activities of the BCS/CODASYL DDLC DBAWG. Computers and Standards, 1(2-3), 161-165. https://doi.org/10.1016/0167-8051%2882%2990025-0

The DBAWG is a research group, based in the United Kingdom, which is working on facilities for data administration. In particular the DBAWG has developed language specifications for a Data Storage Description Language (DSDL) for a CODASYL type databa... Read More about The activities of the BCS/CODASYL DDLC DBAWG.

A FORTRAN implementation of Concurrent Pascal (1982)
Journal Article
Kerridge, J. M. (1982). A FORTRAN implementation of Concurrent Pascal. Software: Practice and Experience, 12(1), 45-55. https://doi.org/10.1002/spe.4380120105

This paper describes the transportation of sequential and concurrent Pascal from the SOLO distribution tape to a non‐PDP‐11 like mainframe (IBM 370/145). An interpreter for the idealized virtual machine was written in FORTRAN. Subsequently the PDP‐11... Read More about A FORTRAN implementation of Concurrent Pascal.

A simulator for teaching computer architecture (1980)
Journal Article
Kerridge, J. M., & Willis, N. (1980). A simulator for teaching computer architecture. Sigcse Bulletin, 12(2), 65-71. https://doi.org/10.1145/989253.989264

This paper describes the specification, implementation and use of a computer system simulator. The simulator project was begun as a result of teaching a second year undergraduate course in computer systems.It became apparent that students only fully... Read More about A simulator for teaching computer architecture.

PATCOSY--A Database System for the National Health Service (1976)
Journal Article
Kerridge, J. M. (1976). PATCOSY--A Database System for the National Health Service. Computer Journal, 19(2), 98-103. https://doi.org/10.1093/comjnl/19.2.98

PATCOSY (PATient COmputer SYstem) is a data base system which has been designed specifically for the National Health Service environment. The structure of PATCOSY therefore reflects the structure and inter-relationships which exist between the inform... Read More about PATCOSY--A Database System for the National Health Service.

IoT for a shock warning system
Preprint / Working Paper
Brogan, J., Thuemmler, C., Mival, O., & Fricker, S. IoT for a shock warning system

This technical paper details the interdependencies between Internet of Things (IoT) and latest Future Internet (FI) technology, demonstrated by using the example of a smart connected health (SCH) use case, for the monitoring and prevention of shock i... Read More about IoT for a shock warning system.