Skip to main content

Research Repository

Advanced Search

All Outputs (147)

A tutorial on metamodelling for grammar researchers (2014)
Journal Article
Paige, R. F., Kolovos, D. S., & Polack, F. A. (2014). A tutorial on metamodelling for grammar researchers. Science of Computer Programming, 96(P4), 396-416. https://doi.org/10.1016/j.scico.2014.05.007

A metamodel has been defined as: a model of a model; a definition of a language; a description of abstract syntax; and a description of a domain. Because of these varied definitions, it is difficult to explain why metamodels are constructed, what can... Read More about A tutorial on metamodelling for grammar researchers.

GPU accelerating technique for rendering implicitly represented vasculatures (2014)
Journal Article
Hong, Q., Wang, B., Li, Q., Li, Y., & Wu, Q. (2014). GPU accelerating technique for rendering implicitly represented vasculatures. Bio-medical materials and engineering, 24(1), 1351-1357. https://doi.org/10.3233/BME-130938

With the flooding datasets of medical Computed Tomography (CT) and Magnetic Resonance Imaging (MRI), implicit modeling techniques are increasingly applied to reconstruct the human organs, especially the vasculature. However, displaying implicitly rep... Read More about GPU accelerating technique for rendering implicitly represented vasculatures.

Maxitive Integral of Real-Valued Functions (2014)
Journal Article
Cattaneo, M. E. G. V. (2014). Maxitive Integral of Real-Valued Functions. Communications in computer and information science, 442 CCIS(PART 1), 226-235. https://doi.org/10.1007/978-3-319-08795-5_24

The paper pursues the definition of a maxitive integral on all real-valued functions (i.e., the integral of the pointwise maximum of two functions must be the maximum of their integrals). This definition is not determined by maxitivity alone: additio... Read More about Maxitive Integral of Real-Valued Functions.

Impact of the uncertainty in α-captures on 22Ne on the weak s-process in massive stars (2014)
Journal Article
Nishimura, N., Hirschi, R., Pignatari, M., Herwig, F., Beard, M., Imbriani, G., …Wiescher, M. (2014). Impact of the uncertainty in α-captures on 22Ne on the weak s-process in massive stars. AIP conference proceedings, 1594(1), 146-151. https://doi.org/10.1063/1.4874059

Massive stars at solar metallicity contribute to the production of heavy elements with atomic masses between A = 60 and A = 90 via the so-called weak s-process (which takes place during core He and shell C burning phases). Furthermore, recent studies... Read More about Impact of the uncertainty in α-captures on 22Ne on the weak s-process in massive stars.

Using simulation to evaluate dynamic systems with weibull or lognormal distributions (2014)
Journal Article
Edifor, E., Gordon, N., Walker, M., & Papadopoulos, Y. (2014). Using simulation to evaluate dynamic systems with weibull or lognormal distributions. Advances in Intelligent Systems and Computing, 286, 117-187. https://doi.org/10.1007/978-3-319-07013-1_17

© Springer International Publishing Switzerland 2014. Most techniques for quantitatively analysing the temporal fault trees of safety-critical systems are used with the assumption that the systems under study have exponentially distributed component... Read More about Using simulation to evaluate dynamic systems with weibull or lognormal distributions.

Long-term flood controls on semi-arid river form: Evidence from the Sabie and Olifants rivers, eastern South Africa (2014)
Journal Article
Heritage, G., Tooth, S., Entwistle, N., & Milan, D. (2014). Long-term flood controls on semi-arid river form: Evidence from the Sabie and Olifants rivers, eastern South Africa. Iahs Publication, 367, 141-146. https://doi.org/10.5194/piahs-367-141-2015

Rivers in the Kruger National Park, eastern South Africa, are characterised by bedrock-influenced ‘macrochannels’ containing variable alluvial thicknesses and riparian vegetation assemblages. Evidence from the Sabie and Olifants rivers suggests that... Read More about Long-term flood controls on semi-arid river form: Evidence from the Sabie and Olifants rivers, eastern South Africa.

Multi-objective architecture optimisation modelling for dependable systems (2013)
Journal Article
Mian, Z., & Bottaci, L. (2013). Multi-objective architecture optimisation modelling for dependable systems. IFAC Proceedings Volumes/ International Federation of Automatic Control, 4(22), 31-36. https://doi.org/10.3182/20130904-3-UK-4041.00033

The design of dependable systems must address both cost and dependability (i.e. safety, reliability, availability and maintainability) concerns. For large systems, the design space of alternatives with respect to both dependability and cost is very l... Read More about Multi-objective architecture optimisation modelling for dependable systems.

Quantification of Simultaneous-AND Gates in Temporal Fault Trees (2013)
Journal Article
Edifor, E., Walker, M., & Gordon, N. (2013). Quantification of Simultaneous-AND Gates in Temporal Fault Trees. Advances in Intelligent Systems and Computing, 224, 141-151. https://doi.org/10.1007/978-3-319-00945-2_13

Fault Tree Analysis has been a cornerstone of safety-critical systems for many years. It has seen various extensions to enable it to analyse dynamic behaviours exhibited by modern systems with redundant components. However, none of these extended FTA... Read More about Quantification of Simultaneous-AND Gates in Temporal Fault Trees.

Developing a novel approach for 3D visualisation of tarland (2013)
Journal Article
Wang, C., Miller, D., Jiang, Y., & Morrice, J. (2013). Developing a novel approach for 3D visualisation of tarland. IEEE Symposium on Information Visualization : proceedings / sponsored by IEEE Computer Society Technical Committee on Computer Graphics, 499-504. https://doi.org/10.1109/IV.2013.66

The objective of this paper is to report on the development of prototype models for use in raising public awareness of changes in rural areas, focusing on green spaces, and testing responses to scenarios of change. Specifically, the focus is on the d... Read More about Developing a novel approach for 3D visualisation of tarland.

Can we detect local helioseismic parameter shifts in coronal holes? (2013)
Journal Article
Howe, R., Haber, D. A., Bogart, R. S., Zharkov, S., Baker, D., Harra, L., & Driel-Gesztelyi, L. V. (2013). Can we detect local helioseismic parameter shifts in coronal holes?. Journal of Physics: Conference Series, 440(1), 012019. https://doi.org/10.1088/1742-6596/440/1/012019

Changes in helioseismic mode parameters in active regions and across the solar disk are well documented, but local magnetic activity and geometric effects may not account for all of the scatter seen in the results. We use results from theHelioseismic... Read More about Can we detect local helioseismic parameter shifts in coronal holes?.

Ultrafast X-ray imaging and modelling of ultrasonic cavitations in liquid metal (2013)
Journal Article
Lee, T. L., Khong, J. C., Fezzaa, K., & Mi, J. (2013). Ultrafast X-ray imaging and modelling of ultrasonic cavitations in liquid metal. Materials Science Forum, 765, 190-194. https://doi.org/10.4028/www.scientific.net/MSF.765.190

The dynamics of ultrasonic bubbles in liquid metal are captured in-situ for the first time using the ultrafast X-ray phase contrast imaging facility housed at the Advanced Photon Source, Argonne National Laboratory, in the USA. The experimental obser... Read More about Ultrafast X-ray imaging and modelling of ultrasonic cavitations in liquid metal.

High speed imaging study of the dynamics of ultrasonic bubbles at a liquid-solid interface (2013)
Journal Article
Tan, D., & Mi, J. (2013). High speed imaging study of the dynamics of ultrasonic bubbles at a liquid-solid interface. Materials Science Forum, 765, 230-234. https://doi.org/10.4028/www.scientific.net/MSF.765.230

High speed imaging, including the ultrafast synchrotron X-ray imaging facility at the beamline 32-ID-B of the Advanced Photon Source (APS), was used to study in-situ (1) the dynamics of ultrasonic bubbles inside a water suspension with an acoustic fi... Read More about High speed imaging study of the dynamics of ultrasonic bubbles at a liquid-solid interface.

Comparison of body surface and intracardiac ECG recordings in patients with atrial fibrillation during electrophysiological studies (2012)
Journal Article
Bojarnejad, M., Blake, J., Bourke, J. P., Murray, A., & Langley, P. (2012). Comparison of body surface and intracardiac ECG recordings in patients with atrial fibrillation during electrophysiological studies. IFMBE proceedings, 39 IFMBE, 612-615. https://doi.org/10.1007/978-3-642-29305-4_160

Atrial fibrillation (AF) dominant frequency (DF) is thought to reflect the degree of organisation of underlying atrial activity (AA). Our aim was to evaluate the relationship between the DFs from the body surface electrocardiogram (ECG) and intracard... Read More about Comparison of body surface and intracardiac ECG recordings in patients with atrial fibrillation during electrophysiological studies.

17O(α,γ)21Ne and17O(α, n)20Ne for the weak s process (2012)
Journal Article
Best, A., Görres, J., Beard, M., Couder, M., deBoer, R., Falahat, S., …Wiescher, M. (2012). 17O(α,γ)21Ne and17O(α, n)20Ne for the weak s process. AIP conference proceedings, 1498, 309-313. https://doi.org/10.1063/1.4768509

The ratio of the reaction rates of the competing channels 17 O(αγ) 21 Ne and 17 O(α,n) 20 Ne determines the efficiency of 16 O as a neutron poison in the s process in low metallicity rotating stars. It has a large impact on the element production, ei... Read More about 17O(α,γ)21Ne and17O(α, n)20Ne for the weak s process.

Quantification of priority-OR gates in temporal fault trees (2012)
Journal Article
Edifor, E., Walker, M., & Gordon, N. (2012). Quantification of priority-OR gates in temporal fault trees. Lecture notes in computer science, 7612 LNCS, 99-110. https://doi.org/10.1007/978-3-642-33678-2_9

Fault Tree Analysis has been used in reliability engineering for many decades and has seen various modifications to enable it to analyse fault trees with dynamic and temporal gates so it can incorporate sequential failure in its analysis. Pandora is... Read More about Quantification of priority-OR gates in temporal fault trees.

Describing and assessing image descriptions for visually impaired web users with IDAT (2012)
Journal Article
Brayshaw, M., Nganji, J. T., Brayshaw, M., & Tompsett, B. (2013). Describing and assessing image descriptions for visually impaired web users with IDAT. Advances in Intelligent Systems and Computing, 179, 27-37. https://doi.org/10.1007/978-3-642-31603-6_3

People with visual impairments, particularly blind people face alot of difficulties browsing the web with assistive technologies such as screen readers, when websites do not conform to accessibility standards and are thus inaccessible. HTML is the ba... Read More about Describing and assessing image descriptions for visually impaired web users with IDAT.

Emotions in robots (2012)
Journal Article
Azeem, M. M., Iqbal, J., Toivanen, P., & Samad, A. (2012). Emotions in robots. Communications in Computer and Information Science, 281, 144-153. https://doi.org/10.1007/978-3-642-28962-0_15

This article gives a general overview of emotions in robotics. It sheds light on the composition of emotions in human beings and how this information can be used as blue print for creation of emotional robots. It discusses different factors involved... Read More about Emotions in robots.

System dependability modelling and analysis using AADL and HiP-HOPS (2012)
Journal Article
Mian, Z., Bottaci, L., Papadopoulos, Y., & Biehl, M. (2012). System dependability modelling and analysis using AADL and HiP-HOPS. IFAC Proceedings Volumes/ International Federation of Automatic Control, 45(6), 1647-1652. https://doi.org/10.3182/20120523-3-RO-2023.00334

The Architecture Analysis and Design Language (AADL) is gaining widespread acceptance in aerospace, automobile and avionics industries for designing dependability-critical systems. The design process of dependable systems must address both cost and d... Read More about System dependability modelling and analysis using AADL and HiP-HOPS.

A directionally tunable but frequency-invariant beamformer on an acoustic velocity-sensor triad to enhance speech perception (2012)
Journal Article
Wu, Y. I., Wong, K. T., Yuan, X., Lau, S. K., & Tang, S. K. (2012). A directionally tunable but frequency-invariant beamformer on an acoustic velocity-sensor triad to enhance speech perception. The Journal of the Acoustical Society of America, 131(5), 3891-3902. https://doi.org/10.1121/1.3701991

Herein investigated are computationally simple microphone-array beamformers that are independent of the frequency-spectra of all signals, all interference, and all noises. These beamformers allow the listener to tune the desired azimuth-elevation "lo... Read More about A directionally tunable but frequency-invariant beamformer on an acoustic velocity-sensor triad to enhance speech perception.

Corrosion resistance study of electrophoretic deposited hydroxyapatite on stainless steel for implant applications (2012)
Journal Article
Chew, K. K., Zein, S. H. S., Ahmad, A. L., McPhail, D. S., & Boccaccini, A. R. (2012). Corrosion resistance study of electrophoretic deposited hydroxyapatite on stainless steel for implant applications. Key engineering materials, 507, 141-146. https://doi.org/10.4028/www.scientific.net/KEM.507.141

Stainless steel (SS) is often used for orthopaedic and dental implants because of its excellent mechanical characteristics. However, from an electrochemical perspective, SS can be susceptible to corrosion-related problems. Inorganic bioactive coating... Read More about Corrosion resistance study of electrophoretic deposited hydroxyapatite on stainless steel for implant applications.