Skip to main content

Research Repository

Advanced Search

All Outputs (707)

A mosaic of eyes (2011)
Journal Article
Jiang, P., Feng, Z., Cheng, Y., Ji, Y., Zhu, J., Baruch, J., Wang, X., Tian, F., & Hu, F. (2011). A mosaic of eyes. IEEE Robotics and Automation Magazine, 18(3), 104-113. https://doi.org/10.1109/MRA.2011.942119

Autonomous navigation is a traditional research topic in intelligent robotics and vehicles, which requires a robot to perceive its environment through onboard sensors such as cameras or laser scanners, to enable it to drive to its goal. Most research... Read More about A mosaic of eyes.

Integrated safety and architecture modeling for automotive embedded systems (2011)
Journal Article
Chen, D., Johansson, R., Lönn, H., Blom, H., Walker, M., Papadopoulos, Y., Torchiaro, S., Tagliabo, F., & Sandberg, A. (2011). Integrated safety and architecture modeling for automotive embedded systems. Elektrotechnik und Informationstechnik : E & I, 128(6), 196-202. https://doi.org/10.1007/s00502-011-0007-7

EAST-ADL is an architecture description language (ADL) for model-based development of automotive embedded systems. The formalization of domain-specific engineering information and methodology brings a potential for a wide range of benefits for inform... Read More about Integrated safety and architecture modeling for automotive embedded systems.

Partial shape-preserving splines (2011)
Journal Article
Li, Q., & Tian, J. (2011). Partial shape-preserving splines. Computer aided design, 43(4), 394-409. https://doi.org/10.1016/j.cad.2011.01.007

A complex geometric shape is often a composition of a set of simple ones, which may differ from each other in terms of their mathematical representations and the ways in which they are constructed. One of the necessary requirements in combining these... Read More about Partial shape-preserving splines.

Aspects of the Segre variety S1,1,1(2) (2011)
Journal Article
Shaw, R., Gordon, N., & Havlicek, H. (2012). Aspects of the Segre variety S1,1,1(2). Designs, codes, and cryptography, 62(2), 225-239. https://doi.org/10.1007/s10623-011-9508-y

We consider various aspects of the Segre variety S := S_{1,1,1}(2) in PG(7,2), whose stabilizer group G_S < GL(8, 2) has the structure N {\rtimes} Sym(3), where N := GL(2,2)\times GL(2,2)\times GL(2,2). In particular we prove that S determines a dist... Read More about Aspects of the Segre variety S1,1,1(2).

Shape preserving data reduction for 3D surface points (2011)
Journal Article
Ma, X., & Cripps, R. J. (2011). Shape preserving data reduction for 3D surface points. Computer aided design, 43(8), 902-909. https://doi.org/10.1016/j.cad.2011.03.006

In reverse engineering, vast amounts of point data captured by certain types of scanners significantly increase the complexity and reduce the efficiency in downstream activities, such as surface modelling and manufacturing. Data reduction has therefo... Read More about Shape preserving data reduction for 3D surface points.

Visual Attention in Objective Image Quality Assessment: Based on Eye-Tracking Data (2011)
Journal Article
Liu, H., & Heynderickx, I. (2011). Visual Attention in Objective Image Quality Assessment: Based on Eye-Tracking Data. IEEE Transactions on Circuits and Systems for Video Technology, 21(7), 971-982. https://doi.org/10.1109/tcsvt.2011.2133770

Since the human visual system (HVS) is the ultimate assessor of image quality, current research on the design of objective image quality metrics tends to include an important feature of the HVS, namely, visual attention. Different metrics for image q... Read More about Visual Attention in Objective Image Quality Assessment: Based on Eye-Tracking Data.

An integrated pipeline to create and experience compelling scenarios in virtual reality (2011)
Presentation / Conference Contribution
Springer, J. P., Neumann, C., Reiners, D., & Cruz-Neira, C. An integrated pipeline to create and experience compelling scenarios in virtual reality. Presented at Three-Dimensional Imaging, Interaction, and Measurement

One of the main barriers to create and use compelling scenarios in virtual reality is the complexity and time-consuming efforts for modeling, element integration, and the software development to properly display and interact with the content in the a... Read More about An integrated pipeline to create and experience compelling scenarios in virtual reality.

XML Documents Normalization Using GN-DTD (2011)
Journal Article
Zainol, Z., & Wang, B. (2011). XML Documents Normalization Using GN-DTD. International Journal of Information Retrieval Research, 1(1), 53-76. https://doi.org/10.4018/ijirr.2011010105

Designing a well-structured XML document is important for the sake of readability, maintainability and more importantly to avoid both data redundancies and update anomalies. This paper proposes to improve and simplify XML structural design using a no... Read More about XML Documents Normalization Using GN-DTD.

An approach to optimization of fault tolerant architectures using HiP-HOPS (2011)
Journal Article
Adachi, M., Papadopoulos, Y., Sharvia, S., Parker, D., & Tohdo, T. (2011). An approach to optimization of fault tolerant architectures using HiP-HOPS. Software: Practice and Experience, 41(11), 1303-1327. https://doi.org/10.1002/spe.1044

New processes for the design of dependable systems must address both cost and dependability concerns. They should also maximize the potential for automation to address the problem of increasing technological complexity and the potentially immense des... Read More about An approach to optimization of fault tolerant architectures using HiP-HOPS.

Ontology-based e-learning personalisation for disabled students in higher education (2011)
Journal Article
Nganji, J. T., Brayshaw, M., & Tompsett, B. (2011). Ontology-based e-learning personalisation for disabled students in higher education. Innovation in teaching and learning in information and computer sciences, 10(1), 1-11. https://doi.org/10.11120/ital.2011.10010001

The number of students with disabilities in UK higher education institutions increases every year. Delivering education online is becoming increasingly challenging as institutions encounter some disabilities requiring adjustments of learning environm... Read More about Ontology-based e-learning personalisation for disabled students in higher education.

A hierarchical method for the reduction of temporal expressions in Pandora (2010)
Presentation / Conference Contribution
Papadopoulos, Y., & Walker, M. A hierarchical method for the reduction of temporal expressions in Pandora. Presented at Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems - DYADEM-FTS '10

Fault Tree Analysis (FTA) is a popular safety analysis technique used to determine the logical combination of events needed to cause a particular system failure. However, FTA is purely combinatorial and cannot analyse the effects of sequences of even... Read More about A hierarchical method for the reduction of temporal expressions in Pandora.

Automatic allocation of safety integrity levels (2010)
Presentation / Conference Contribution
Papadopoulos, Y., Walker, M., Reiser, M.-O., Weber, M., Chen, D., Törngren, M., Servat, D., Abele, A., Stappert, F., Lonn, H., Berntsson, L., Johansson, R., Tagliabo, F., Torchiaro, S., & Sandberg, A. (2010, April). Automatic allocation of safety integrity levels. Presented at Proceedings of the 1st Workshop on Critical Automotive applications Robustness & Safety - CARS '10

In this paper, we describe a concept for the automatic allocationof general Safety Integrity Levels (SILs) to subsystems andcomponents of complex hierarchical networked architectures thatdeliver sets of safety critical functions. The concept is gener... Read More about Automatic allocation of safety integrity levels.

Dynamic effect of perfect preventive maintenance on system reliability and cost using HiP-HOPS (2010)
Presentation / Conference Contribution
Nggada, S. H., Parker, D. J., & Papadopoulos, Y. I. Dynamic effect of perfect preventive maintenance on system reliability and cost using HiP-HOPS

The occurrence of failure in a safety critical engineering system can be reduced through the use of preventive maintenance (PM). Each time a component of the system is maintained its effective age is reduced; the extent of this age reduction depends... Read More about Dynamic effect of perfect preventive maintenance on system reliability and cost using HiP-HOPS.

Dysphonia measures in parkinson's disease and their use in prediction of its progression (2010)
Presentation / Conference Contribution
Kambhampati, C., Sarangdhar, M., & Poolsawad, N. (2010, October). Dysphonia measures in parkinson's disease and their use in prediction of its progression. Presented at International Conference on Knowledge Engineering and Ontology Development, Valencia, Spain

Parkinson's Disease (PD) is a neurodegenerative disorder that impairs the motor skills, speech and general muscle coordination. The progression of PD is assessed using a clinically defined rating scale known as Unified Parkinson's Disease Rating Scal... Read More about Dysphonia measures in parkinson's disease and their use in prediction of its progression.

Stimulus reconstruction from a Hodgkin-Huxley neural response: A numerical solution (2010)
Presentation / Conference Contribution
Sarangdhar, M., & Kambhampati, C. (2010, June). Stimulus reconstruction from a Hodgkin-Huxley neural response: A numerical solution. Presented at World Congress on Engineering 2010

Neural responses are the fundamental expressions of any neural activity. Information carried by a neural response is determined by the nature of a neural activity. In majority of cases the underlying stimulus that triggers it remains largely... Read More about Stimulus reconstruction from a Hodgkin-Huxley neural response: A numerical solution.

Local hybrid level-set method for MRA image segmentation (2010)
Presentation / Conference Contribution
Hong, Q., Li, Q., & Tian, J. (2010, June). Local hybrid level-set method for MRA image segmentation. Presented at 10th IEEE International Conference on Computer and Information Technology, CIT-2010, 7th IEEE International Conference on Embedded Software and Systems, ICESS-2010, ScalCom-2010

In this paper, a local hybrid level-set method for medical image segmentation is presented. In proposed method, a locally fitted binary energy function is introduced into the hybrid level-set framework proposed by Zhang et al.. Compared with the glob... Read More about Local hybrid level-set method for MRA image segmentation.

Capture and reuse of composable failure patterns (2010)
Journal Article
Wolforth, I., Walker, M., Papadopoulos, Y., & Grunske, L. (2010). Capture and reuse of composable failure patterns. International Journal of Critical Computer-Based Systems, 1(1/2/3), 128-147. https://doi.org/10.1504/IJCCBS.2010.031710

Emerging safety analysis techniques use composition of failure models or fault simulation in formal models of a system to determine relationships between the causes and effects of failure. Most recent work has focused on developing system modelling a... Read More about Capture and reuse of composable failure patterns.