Find Research Outputs

92 Downloads (Pure)

Verifying Heap-Manipulating Programs with Unknown Procedure Calls

Qin, S., Luo, C., He, G., Craciun, F. & Chin, W., 17 Nov 2010, Formal Methods and Software Engineering. Springer Verlag, p. 171-187 Chapter 13. (Formal Methods and Software Engineering; vol. 6447).

Research output: Chapter in Book/Report/Conference proceedingChapter

File
Data structures
Positive ions

Verifying pointer safety for programs with unknown calls

Luo, C., Craciun, F., Qin, S., He, G. & Chin, W-N., Nov 2010, In : Journal of Symbolic Computation. 45, 11, p. 1163-1183

Research output: Contribution to journalArticle

Safety
Specification
Specifications
Unknown
Separation Logic
93 Downloads (Pure)

Verifying safety policies with size properties and alias controls

Chin, W-N., Khoo, S-C., Qin, S., Popeea, C. & Nguyen, H. H., 2005, Proceedings - 27th international conference on software engineering. New York: ACM, p. 186-195

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
96 Downloads (Pure)

Verifying SeVeCom using set-based abstraction

Mödersheim, S. & Modesti, P., 12 Aug 2011, IEEE International Wireless Communications and Mobile Computing Conference, IWCMC 2011, Istanbul, Turkey, 4-8 July, 2011. IEEE, p. 1164-1169 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
Cryptography
Communication systems
Railroad cars
Hardware security

Verifying Simulink diagrams via a Hybrid Hoare Logic Prover

Zou, L., Zhany, N., Wang, S., Fränzle, M. & Qin, S., 2013, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT). IEEE

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Hybrid systems
Embedded systems
Semantics
Control systems
Modeling languages
124 Citations (Scopus)

Versatile photocatalytic systems for H2 generation in water based on an efficient DuBois-type nickel catalyst

Gross, M. A., Reynal, A., Durrant, J. R. & Reisner, E., 8 Jan 2014, In : Journal of the American Chemical Society. 136, 1, p. 356-366 11 p.

Research output: Contribution to journalArticle

Nickel
Semiconductors
Electrocatalysts
Electrons
Catalysts

Verse

Burton, R., 8 Jul 2016

Research output: Non-textual formExhibition

Very-Low-Calorie Diet and 6 Months of Weight Stability in Type 2 Diabetes: Pathophysiological Changes in Responders and Nonresponders

Steven, S., Hollingsworth, K., AlMrabeh, A., Avery, L., Aribisala, B., Caslake, M. & Taylor, R., 21 Mar 2016, In : Diabetes Care. 39, 5, p. 808-815 8 p.

Research output: Contribution to journalArticle

Open Access
Caloric Restriction
Type 2 Diabetes Mellitus
Fasting
Diet
Weights and Measures
11 Citations (Scopus)

VGDD: A virtual grid based data dissemination scheme for wireless sensor networks with mobile sink

Khan, A. W., Abdullah, A. H., Razzaque, M. A., Bangash, J. I. & Altameem, A., 1 Jan 2015, In : International Journal of Distributed Sensor Networks. 2015, 890348.

Research output: Contribution to journalArticle

Open Access
Wireless sensor networks
Operating costs
Quality of service
Hardware
Sensors
120 Downloads (Pure)

VGDRA: A Virtual Grid-Based Dynamic Routes Adjustment Scheme for Mobile Sink-Based Wireless Sensor Networks

Khan, A. W., Abdullah, A. H., Razzaque, M. A. & Bangash, J. I., 2015, In : IEEE Sensors Journal.

Research output: Contribution to journalArticle

Open Access
File
sinks
Sensor nodes
Wireless sensor networks
adjusting
grids

Vicarious Living: the art and writing of Miranda July revisited

Pappas-Kelley, J., 20 Sep 2016

Research output: Non-textual formWeb publication/site

Vicarious Living: The art of Miranda July

Pappas-Kelley, J., 2009, In : Pitkin Review.

Research output: Contribution to journalArticle

80 Citations (Scopus)

Victim evaluations of face-to-face restorative justice conferences: A quasi-experimental analysis

Strang, H., Sherman, L., Angel, C. M., Woods, D. J., Bennett, S., Newbury-Birch, D. & Inkpen, N., 1 Jun 2006, In : Journal of Social Issues. 62, 2, p. 281-306 26 p.

Research output: Contribution to journalReview article

justice
evaluation
offense
interview
evidence

Video Stream Forensics

Horsman, G., 1 Jul 2019, INTERPOL.

Research output: Other contribution

Video tracking of Tuohy needle for an enhanced epidural simulator user interface

Vaughan, N., Dubey, V. N., Wee, M. Y. K. & Isaacs, R., 2013, Proceedings of the ASME Design Engineering Technical Conference. American Society of Mechanical Engineers(ASME), Vol. 2 B. V02BT02A039

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Needles
User interfaces
Simulators
Image processing
Color
130 Downloads (Pure)

Violence, emotion and place: The case of five murders involving sex workers

Wattis, L., 19 Jul 2019, In : Crime, Media, Culture. 18 p., 858371.

Research output: Contribution to journalArticle

Open Access
File
homicide
emotion
violence
worker
de-industrialization

Violence, teenage pregnancy and life history ecological factors and their impact on strategy driven behaviour.

Copping, L., Campbell, A. C. & Muncer, S., 2013, In : Human Nature. 24, p. 137-157 20 p.

Research output: Contribution to journalArticle

pregnant adolescents
violence
development strategy
pregnancy
environmental factors

Violence and the nocturnal economy

Hall, S., 2000, In : Criminal Justice Matters. 42, 1, p. 10-11

Research output: Contribution to journalArticle

Violence in the night-time economy; bouncers: The reporting, recording and prosecution of assaults

Lister, S., Hobbs, D., Hall, S. & Winlow, S., 2000, In : Policing and Society. 10, 4, p. 383-402

Research output: Contribution to journalArticle

prosecution
assault
recording
violence
staff
3 Citations (Scopus)
94 Downloads (Pure)

'Violent Operations': Revisiting the transgendered body in Angela Carter's The Passion of New Eve

Carroll, R., 1 Jun 2011, In : Women. 22, 2-3, p. 241-255 15 p.

Research output: Contribution to journalConference article

Open Access
File

Virion 2010

Lent, M. M., 2010

Research output: Other contribution

Virion 2010

Pappas-Kelley, J., 2010.

Research output: Contribution to conferencePaper

Virion 2012

Pappas-Kelley, J., 2012.

Research output: Contribution to conferencePaper

Virion 2012

Lent, M. M., 2012

Research output: Non-textual formExhibition

Virtual Agents in Brain-Computer Interfaces

Cavazza, M., Charles, F., Gilroy, S. W., Porteous, J., Aranyi, G., Cordry, J., Raz, G., Keynan, N. J., Cohen, A., Jackont, G., Jacob, Y., Soreq, E., Klovatch, I. & Hendler, T., 25 Nov 2015, In : The International Journal of Virtual Reality. 15, 1, p. 48-60

Research output: Contribution to journalArticle

Virtual art galleries: A new kind of cultural objects?

Cavazza, M. & Mead, S., 1 Jan 2001, p. 590-593. 4 p.

Research output: Contribution to conferencePaper

Painting
Textures
Engines
Image resolution
25 Citations (Scopus)

Virtual augmented exercise gaming for older adults

Van Schaik, P., Blake, J., Pernet, F., Spears, I. & Fencott, C., 1 Feb 2008, In : Cyberpsychology and Behavior. 11, 1, p. 103-106 4 p.

Research output: Contribution to journalArticle

Exercise
Testing
physical exercise
fitness
human being

Virtual Catwalk Application

Hugill, L., Reay, D., McStea, T. & Allan, S., 2018

Research output: Non-textual formSoftware

Industry
Cultural industries
Innovation
Mobile devices
Manufacturing

Virtual environments in visual perception: applications and challenges

Soranzo, A. & Wilson, C. J., 2014, Virtual Reality: Technologies, Medical Applications and Challenges. Cipresso, P. & Serino, S. (eds.). New York: Nova Publications, p. -

Research output: Chapter in Book/Report/Conference proceedingChapter

Virtual reality
Luminance
Depth perception
Binoculars
Experiments

Virtual Gender: Technology, consumption and identity matters

Adam, A. (ed.) & Green, E. (ed.), 2001, Routledge.

Research output: Book/ReportBook

Virtual generative BIM workspace for maximising AEC conceptual design innovation: A paradigm of future opportunities

Abrishami, S., Goulding, J., Pour Rahimian, F. & Ganah, A., 2015, In : Construction Innovation.

Research output: Contribution to journalArticle

Conceptual design
Innovation
Automation
Architectural design
Construction industry

Virtual hip replacement simulator for 3D printed implants

Vaughan, N. & Dubey, V., 31 Oct 2017, Conference Proceedings Frontiers in Biomedical Devices. American Society of Mechanical Engineers(ASME), 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
Anaphylaxis
Critical Care
Technology
Education

Virtual Reality Applications in Architecture: Bill of Quantities & Virtual Reality

Davidson, J., Fowler, J., Pantazis, C., Sannino, M., Walker, J. & Rahimian, F., 30 Jun 2018, Creative Construction Conference 2018.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
Virtual reality
Costs
Experiments
9 Downloads (Pure)

Virtual reality-based cloud BIM platform for integrated AEC projects

Goulding, J. S., Rahimian, F. P. & Wang, X., 1 Sep 2014, In : Journal of Information Technology in Construction. 19, 1, p. 308-325

Research output: Contribution to journalArticle

Open Access
File
Virtual reality
Interchanges
Cloud computing
Software engineering
Visualization

Virtual reality based enhanced visualization of epidural insertion

Vaughan, N., Dubey, V. N., Wee, M. Y. K. & Isaacs, R., 2012, Proceedings of the ASME Design Engineering Technical Conference. American Society of Mechanical Engineers(ASME), Vol. 2. p. 1413-1418 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Ligaments
Needles
Virtual reality
Visualization
Tissue

Virtual reality simulation based assessment objectives for epidural training

Vaughan, N., Dubey, V. N., Wee, M. Y. K. & Isaacs, R., 28 Apr 2014, In : Journal of Medical Devices, Transactions of the ASME. 8, 2, 020948.

Research output: Contribution to journalArticle

Needles
Virtual reality
Simulators
Epidural Space
Lumber
63 Downloads (Pure)

Virtual unreality: Storytelling in virtual environments

Cavazza, M., 2003, Proceedings of the ACM symposium on virtual reality software and technology. New York: ACM, p. 4-6

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File

Visualisation of industrial facilities for operations and decommissioning

Patacas, J., Dawood, H. & Dawood, N., 1 Jan 2018, CONVR 2018: Proceedings of the 18th International Conference on Construction Applications of Virtual Reality. University of Auckland

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access

Visualisation tools for energy awareness and management in Energy Positive Neighbourhoods

Short, M., Dawood, N., Crosbie, T. & Ala-Juusela, M., 2014.

Research output: Contribution to conferencePaper

18 Downloads (Pure)

Visualising the ‘Big Picture’: Key Performance Indicators and Sustainable Urban Design

Crosbie, T., Crilly, M., Dawood, N., Oliveras, J. & Niwaz, N., 2014.

Research output: Contribution to conferencePaper

File
90 Downloads (Pure)
Open Access
File
energy planning
energy use
remote sensing
carbon emission
visualization
15 Downloads (Pure)
Open Access
File
energy planning
urban design
energy use
remote sensing
energy

Visuality vs. Temporality: Plotting and Depiction in The Fifth Queen and Ladies Whose Bright Eyes

Hawkes, R., 2009, Ford Madox Ford and Visual Culture. Colombino, L. (ed.). Rodopi

Research output: Chapter in Book/Report/Conference proceedingChapter

Visualization of Patient Behavior from Natural Language

Siddle, J., Lindsay, A., Ferreira, J., Porteous, J., Read, J., Charles, F., Cavazza, M. & Georg, G., 2017.

Research output: Contribution to conferencePaper

Animation
Visualization
Surgery
Education
Compliance
22 Downloads (Pure)
Open Access
File
Visualization
User interfaces
Urban planning
Energy management

Visualizing the Translocation and Localization of Bacterial Type III Effector Proteins by Using a Genetically Encoded Reporter System

Gawthorne, J. A., Audry, L., Mcquitty, C., Dean, P., Christie, J. M., Enninga, J. & Roe, A. J., 1 May 2016, In : Applied and Environmental Microbiology. 82, 9, p. 2700-2708

Research output: Contribution to journalArticle

Open Access
Bacterial Translocation
translocation
type III secretion system
Oxygen
oxygen