Faculty Of Science

  • United Kingdom

Research Output 1971 2020

Filter
Paper
2020

Expressive logics for coinductive predicates

Kupke, C. & Rot, J., 16 Jan 2020. 18 p.

Research output: Contribution to conferencePaper

Open Access
File
Semantics
2019
32 Downloads (Pure)

9 W average power, 150 kHz repetition rate diamond Raman laser at 1519 nm, pumped by a Yb fibre amplifier

Dziechciarczyk, Ł., Huang, Z., Demetriou, G., Cheng, D., Pidishety, S., Feng, Y., Feng, Y., Wang, G., Lin, H., Zhu, S., Lin, D., Hawkins, T. W., Dong, L., Kemp, A., Nilsson, J. & Savitski, V., 23 Jun 2019. 1 p.

Research output: Contribution to conferencePaper

Open Access
File
Raman lasers
radar
repetition
amplifiers
diamonds
7 Downloads (Pure)
Open Access
File
Laser ablation
Etching
Microstructure
Laser beams
Drag reduction
28 Downloads (Pure)

An analysis of inheritance hierarchy evolution

Wood, M., Ivanov, L. & Lamprou, Z., 15 Apr 2019, p. 24-33. 10 p.

Research output: Contribution to conferencePaper

Open Access
File
17 Downloads (Pure)

A novel chaos-based partial image encryption scheme using Lifting Wavelet Transform

Ali Khan, F., Ahmed, J., Ahmad, J., Khan, J. S., Ahmad, F., Stankovic, V. & Larijani, H., 17 Feb 2019. 2 p.

Research output: Contribution to conferencePaper

Open Access
File
Chaos theory
Wavelet transforms
Cryptography
Discrete cosine transforms
Processing
4 Downloads (Pure)

Apparatus for investigating non-linear microwave interactions in magnetised plasma

Bingham, R., Ronald, K., Whyte, C. G., Wilson, K., Phelps, A. D. R., Cairns, R. A., Eliasson, B., Koepke, M. E., Cross, A. W., Speirs, D. C., Robertson, C. W., MacInnes, P. & Bamford, R., 8 Jul 2019. 1 p.

Research output: Contribution to conferencePaper

Open Access
File
microwaves
interactions
laser plasma interactions
plasma dynamics
ion acoustic waves
8 Downloads (Pure)

Characteristic measurements of a wideband gyro-TWA operating in W-band

He, W., Zhang, L., Donaldson, C. R., Ronald, K., Phelps, A. D. R., Cross, A. W. & Cain, P., 1 May 2019. 2 p.

Research output: Contribution to conferencePaper

Open Access
File
traveling wave amplifiers
broadband
sweep frequency
versatility
power amplifiers
15 Downloads (Pure)

Combining neural networks and pattern matching for ontology mining - a meta learning inspired approach

Roussinov, D. & Puchnina, N., 14 Mar 2019, p. 63-70. 8 p.

Research output: Contribution to conferencePaper

Open Access
File
neural network
ontology
learning
movies
language
5 Downloads (Pure)
Open Access
File
Game theory
Probability distributions
10 Downloads (Pure)

Design and simulation of a 0.37 THz gyro-TWA

Zhang, L., Donaldson, C. R., He, W., Ronald, K., Phelps, A. D. R. & Cross, A. W., 20 Aug 2019. 2 p.

Research output: Contribution to conferencePaper

Open Access
File
traveling wave amplifiers
submillimeter waves
superconducting magnets
cusps
simulation

Designing clinical AAC tablet applications with adults who have mild intellectual disabilities

Gibson, R. C., Dunlop, M. & Bouamrane, M-M., 8 Dec 2019, (Accepted/In press). 12 p.

Research output: Contribution to conferencePaper

Communication
1 Citation (Scopus)
3 Downloads (Pure)

Design of a 0.35 THz extended interaction oscillator based on pseudospark-sourced sheet electron beam

Xie, J., Cross, A. W., He, W., Yin, H., Zhang, L. & Phelps, A. D. R., 29 Apr 2019. 2 p.

Research output: Contribution to conferencePaper

Open Access
File
Beam plasma interactions
Electron beams
oscillators
electron beams
Current density
2 Downloads (Pure)

Design of a metamaterial cavity for harmonic terahertz gyrotrons

Zhang, Z-W., Du, C-H., Li, F-H., Zhu, J-F., Liu, P-K., Zhang, L., He, W., Yin, H., Ronald, K., Phelps, A. D. R. & Cross, A. W., 20 Aug 2019. 3 p.

Research output: Contribution to conferencePaper

Open Access
File
cyclotron resonance devices
photonics
harmonics
cavities
crystals
1 Downloads (Pure)

Effects of tolerance fabrication of extended interaction oscillator based on pseudospark-sourced sheet electron beam at 0.35 THz

Xie, J., Yin, H., Zhang, L., Ronald, K., Phelps, A. D. R., He, W., Shu, G., Zhao, J., Chen, X., Alfadhl, Y., Zhang, J. & Cross, A. W., 20 Aug 2019. 3 p.

Research output: Contribution to conferencePaper

Open Access
File
oscillators
electron beams
machining
fabrication
interactions
8 Downloads (Pure)

Ensemble Decision Systems for general video game playing

Anderson, D., Rodgers, P., Levine, J., Guerrero-Romero, C. & Perez-Liebana, D., 23 Aug 2019. 8 p.

Research output: Contribution to conferencePaper

Open Access
File
Decision making
10 Downloads (Pure)
Open Access
File
Mobile devices
Communication
4 Downloads (Pure)

Gridded cusp gun for a terahertz gyro-amplifier

Zhang, L., Donaldson, C. R., He, W., Phelps, A. D. R., Ronald, K. & Cross, A. W., 20 Aug 2019. 2 p.

Research output: Contribution to conferencePaper

Open Access
File
traveling wave amplifiers
cusps
amplifiers
triodes
electron guns
4 Downloads (Pure)

Haemodialysis electronic patient portal: a design requirements analysis and feasibility study with domain experts

Bouamrane, M-M., Meiklem, R., Dunlop, M., Kingsmore, D., Thomson, P., Stevenson, K. & Greenwood, S., 5 Jun 2019, p. 212-216. 5 p.

Research output: Contribution to conferencePaper

Open Access
File
Feasibility Studies
Renal Dialysis
Human computer interaction
Trajectories
Health
6 Downloads (Pure)
Open Access
File
oscillators
vacuum
wave interaction
electronics
wavelengths
63 Downloads (Pure)

Human-agent collaborations: trust in negotiating control

Daronnat, S., Azzopardi, L., Halvey, M. & Dubiel, M., 4 May 2019. 5 p.

Research output: Contribution to conferencePaper

Open Access
File
Parking
Railroad cars
6 Downloads (Pure)

Inquisitive Mind: A conversational news companion

Dubiel, M., Cervone, A. & Riccardi, G., 22 Aug 2019. 3 p.

Research output: Contribution to conferencePaper

Open Access
File
4 Citations (Scopus)
21 Downloads (Pure)

Iterative approximation of analytic eigenvalues of a parahermitian matrix EVD

Weiss, S., Proudler, I. K., Coutts, F. K. & Pestana, J., 16 May 2019, p. 8038-8042. 5 p.

Research output: Contribution to conferencePaper

Open Access
File
Bins
Discrete Fourier transforms
Maximum likelihood
3 Downloads (Pure)

Ontology-driven, adaptive, medical questionnaires for patients with mild learning disabilities

Gibson, R. C., Bouamrane, M-M. & Dunlop, M. D., 19 Dec 2019, p. 107-121. 15 p.

Research output: Contribution to conferencePaper

Open Access
File
Ontology
Health
Communication

Privacy with surgical robotics: challenges in applying contextual privacy theory

Shah, R. & Nagaraja, S., 25 Jun 2019, (Accepted/In press) p. 1-5. 5 p.

Research output: Contribution to conferencePaper

Open Access
File
Privacy
Robotics
Robots
Software
Anchors
7 Downloads (Pure)

Promoting content discovery of open repositories: reviewing the impact of optimization techniques (2016-2019)

Macgregor, G., 22 May 2019, p. 1-10. 10 p.

Research output: Contribution to conferencePaper

Open Access
File
search engine
traffic
Communication
statistical significance
infrastructure
18 Downloads (Pure)

Sample space-time covariance matrix estimation

Delaosa, C., Pestana, J., Goddard, N. J., Somasundaram, S. & Weiss, S., 16 May 2019, p. 8033-8037. 5 p.

Research output: Contribution to conferencePaper

Open Access
File
Spectral density
Covariance matrix
Error analysis
1 Downloads (Pure)

Study of 1-THz 4th-harmonic gyrotron

Du, C-H., Li, F-H., Pan, S., Liu, P-K., Zhang, L., He, W-L., Yin, H-B., Ronald, K. & Cross, A. W., 20 Aug 2019. 3 p.

Research output: Contribution to conferencePaper

Open Access
File
harmonics
cavities
liquid nitrogen
Q factors
retarding
14 Downloads (Pure)

Support estimation of a sample space-time covariance matrix

Delaosa, C., Pestana, J., Goddard, N. J., Somasundaram, S. D. & Weiss, S., 1 Mar 2019, (Accepted/In press). 5 p.

Research output: Contribution to conferencePaper

Open Access
File
Covariance matrix

The automatic categorisation of space mission requirements for the Design Engineering Assistant

Berquand, A., McDonald, I., Riccardi, A. & Moshfeghi, Y., 25 Oct 2019. 11 p.

Research output: Contribution to conferencePaper

Open Access
File
Information retrieval
Spacecraft
Glossaries
Labels
1 Downloads (Pure)

Towards explainable AI planning as a service

Cashmore, M., Collins, A., Krarup, B., Krivic, S., Magazzeni, D. & Smith, D., 12 Jul 2019. 9 p.

Research output: Contribution to conferencePaper

Open Access
File
Planning
2 Downloads (Pure)

VoipLoc: VoIP call provenance using acoustic side-channels

Nagaraja, S. & Shah, R., 31 Jul 2019, (Submitted).

Research output: Contribution to conferencePaper

File
Acoustics
Acoustic waves
Communication
5 Downloads (Pure)
Open Access
File
electrodynamics
absorbers
solar cells
frequency ranges
routes
11 Downloads (Pure)

WiseType: a tablet keyboard with color-coded visualization and various editing options for error correction

Alharbi, O., Arif, A. S., Stuerzlinger, W., Dunlop, M. D. & Komninos, A., 18 Mar 2019, (Accepted/In press). 10 p.

Research output: Contribution to conferencePaper

Open Access
File
Error correction
Visualization
Color
Mobile devices
Feedback
2018
15 Downloads (Pure)
Open Access
File
3D printers
Periodic structures
Millimeter waves
Printing
Microwaves
1 Citation (Scopus)
37 Downloads (Pure)

A model for the formation of mura during the One-Drop-Filling process

Cousins, J. R. L., Wilson, S. K., Mottram, N. J., Wilkes, D., Weegels, L. & Lin, KY., 6 Dec 2018, p. LCT8-4. 3 p.

Research output: Contribution to conferencePaper

Open Access
File
Coalescence
Droplet
Model
Liquid Crystal
Theoretical Model
15 Downloads (Pure)

An authentic self: Big Data and passive digital footprints

Williams, L. & Pennington, D., 29 Aug 2018. 8 p.

Research output: Contribution to conferencePaper

Open Access
File
Computer operating systems
Metadata
Television
Railroad cars
Internet
15 Downloads (Pure)

An institutional and sector-wide approach to implement learning analytics

Hainey, A., Green, B. & Gould, H., 21 Sep 2018.

Research output: Contribution to conferencePaper

Open Access
File
learning
evidence
education
quality assurance
student
51 Downloads (Pure)

A type and scope safe universe of syntaxes with binding: their semantics and proofs

Allais, G., Atkey, R., Chapman, J., McBride, C. & McKinna, J., 23 Sep 2018. 30 p.

Research output: Contribution to conferencePaper

Open Access
File
Computer programming languages
Semantics
Substitution reactions
Binders
Printing
1 Citation (Scopus)
49 Downloads (Pure)

Characterization of a fast piezoelectric varifocal MEMS mirror

Janin, P., Bauer, R., Griffin, P., Riis, E. & Uttamchandani, D., 29 Jul 2018. 2 p.

Research output: Contribution to conferencePaper

Open Access
File
actuation
Interferometers
microelectromechanical systems
MEMS
Mirrors
42 Downloads (Pure)

Classification of extremist text on the web using sentiment analysis approach

Owoeye, K. O. & Weir, G. R. S., 13 Dec 2018. 6 p.

Research output: Contribution to conferencePaper

Open Access
File
Websites
Feature extraction
Web crawler
19 Downloads (Pure)

Classification of radical web text using a composite-based method

Owoeye, K. O. & Weir, G. R. S., 13 Dec 2018. 7 p.

Research output: Contribution to conferencePaper

Open Access
File
radicalism
website
terrorism
semantics
monitoring
34 Downloads (Pure)

Conceptualizing agent-human interactions during the conversational search process

Azzopardi, L., Dubiel, M., Halvey, M. & Dalton, J., 12 Jul 2018. 8 p.

Research output: Contribution to conferencePaper

Open Access
File
25 Downloads (Pure)

Deep UV micro-LED arrays for optical communications

He, X., Xie, E., Islim, M. S., Purwita, A., McKendry, J. J. D., Gu, E., Haas, H. & Dawson, M. D., 24 Apr 2018.

Research output: Contribution to conferencePaper

Open Access
File
Optical communication
Light emitting diodes
optical communication
light emitting diodes
ultraviolet radiation
14 Downloads (Pure)

Defect imaging using sub-sampled array data with least squares migration

Tant, K. M. M., da Costa Filho, C. A. & Curtis, A., 23 Oct 2018. 4 p.

Research output: Contribution to conferencePaper

Open Access
File
Least-Squares Analysis
Ultrasonics
ultrasonics
lobes
defects
12 Downloads (Pure)

Design of a Ka-band microwave undulator

Zhang, L., He, W., Clarke, J., Ronald, K., Phelps, A. D. R. & Cross, A. W., 5 Sep 2018, p. 1-2. 2 p.

Research output: Contribution to conferencePaper

Open Access
File
Wigglers
Microwaves
Waveguides
12 Downloads (Pure)

Developing health information literacy in disadvantaged and dependent circumstances: the everyday role of Family Nurses

Buchanan, S. & Nicol, E., 24 Sep 2018. 11 p.

Research output: Contribution to conferencePaper

Open Access
File
Health
Education

Developing in institutional policy using the RAPID outcome monitoring approach

Hainey, A., Green, B., Gould, H., Ramsay, H. & Milligan, C., 9 Mar 2018.

Research output: Contribution to conferencePaper

15 Downloads (Pure)
Open Access
File
photolithography
curing
microbalances
radiant flux density
CMOS
58 Downloads (Pure)

Eigenface algorithm-based facial expression recognition in conversations - an experimental study

Fei, Z., Yang, E., Li, D., Butler, S., Ijomah, W. & Mackin, N., 7 Jul 2018, p. 1-10. 10 p.

Research output: Contribution to conferencePaper

Open Access
File
Facial Expression
Interfaces (computer)
Experiments
Emotions