All Outputs (174)

Connecting Constructive Notions of Ordinals in Homotopy Type Theory (2021)
Conference Proceeding

In classical set theory, there are many equivalent ways to introduce ordinals. In a constructive setting, however, the different notions split apart, with different advantages and disadvantages for each. We consider three different notions of ordinal... Read More about Connecting Constructive Notions of Ordinals in Homotopy Type Theory.

Soma design to enhance aircraft passenger comfort (2021)
Conference Proceeding

Aircraft passengers can become uncomfortable while seated because of the restricted physical space. This work aims to investigate a new strategy for designing interventions that can be used to encourage aircraft passengers to move more while seated a... Read More about Soma design to enhance aircraft passenger comfort.

Radiation Pattern Reconfigurable Antenna Using Liquid Metal Vias (2021)
Conference Proceeding

This paper presents a moderately high directivity (∼12 dBi) antenna having a reconfigurable radiation pattern. The proposed antenna, illustrated in Fig. 1 , is closely based on existing designs [1]-[2]. The proposed antenna consists of a driven eleme... Read More about Radiation Pattern Reconfigurable Antenna Using Liquid Metal Vias.

Covariance Pattern Search with Eigenvalue-determined Radii (2021)
Conference Proceeding

Effective implementations of Memetic Algorithms often integrate, within their design, problem-based pieces of information. When no information is known, an efficient MA can still be designed after a preliminary analysis of the problem. This approach... Read More about Covariance Pattern Search with Eigenvalue-determined Radii.

Intent-Aware Predictive Haptic Guidance and its Application to Shared Control Teleoperation (2021)
Conference Proceeding

This paper presents a haptic shared control paradigm that modulates the level of robotic guidance, based on predictions of human motion intentions. The proposed method incorporates robot trajectories learned from human demonstrations and dynamically... Read More about Intent-Aware Predictive Haptic Guidance and its Application to Shared Control Teleoperation.

A Data Augmentation based DNN Approach for Outage-Constrained Robust Beamforming (2021)
Conference Proceeding

This paper studies the long-standing problem of outage-constrained robust downlink beamforming in multi-user multi-antenna wireless communications systems. State of the art solutions have very high computational complexity which poses a major challen... Read More about A Data Augmentation based DNN Approach for Outage-Constrained Robust Beamforming.

Deep Neural Networks for visual bridge inspections and defect visualisation in Civil Engineering (2021)
Conference Proceeding

Ageing infrastructure is a global concern, and current structural health monitoring practices are coming under review. With a view to streamline the visual bridge inspection process, we assess the classification performance of two Deep Neural Network... Read More about Deep Neural Networks for visual bridge inspections and defect visualisation in Civil Engineering.

FuzzyDCNN: Incorporating Fuzzy Integral Layers to Deep Convolutional Neural Networks for Image Segmentation (2021)
Conference Proceeding

Convolutional neural networks (CNNs) have achieved the state-of-the-art performance in many application areas, due to the capability of automatically extracting and aggregating spatial and channel-wise features from images. Most recent studies have c... Read More about FuzzyDCNN: Incorporating Fuzzy Integral Layers to Deep Convolutional Neural Networks for Image Segmentation.

Fourier optics modelling of coherence scanning interferometers (2021)
Conference Proceeding

We propose an instrument model for coherence scanning interferometry using familiar Fourier optics methods, the spectrum of plane waves, and the assumption that the light source spectral bandwidth is the dominant factor in determining fringe contrast... Read More about Fourier optics modelling of coherence scanning interferometers.

Do People Prefer to Give Interval-Valued or Point Estimates and Why? (2021)
Conference Proceeding

Capturing interval-valued, as opposed to more conventional point-valued data, offers a potentially efficient method of obtaining richer information in individual responses. In turn, interval-valued data provide a strong foundation for subsequent fuzz... Read More about Do People Prefer to Give Interval-Valued or Point Estimates and Why?.

An Enhanced and Cost Saving Droop Control Method for Improved Load Sharing for the MEA Application (2021)
Conference Proceeding

The more electric aircraft (MEA) concept has been identified as the major trend of future aircraft. The DC distribution network is a promising architecture for more-electric aircraft application, where multiple electrical sources are connected to a c... Read More about An Enhanced and Cost Saving Droop Control Method for Improved Load Sharing for the MEA Application.

Targeting Global Environmental Challenges by the Means of Novel Multimodal Transport: Concept of Operations (2021)
Conference Proceeding

Novel modes of transport form the basis of environmentally friendly and economically efficient transport system of the future. This paper introduces the feasibility study of a Dock to Dock (D2D) use case, combining aspects of route development and in... Read More about Targeting Global Environmental Challenges by the Means of Novel Multimodal Transport: Concept of Operations.

ALTCAI: Enabling the Use of Embodied Conversational Agents to Deliver Informal Health Advice during Wizard of Oz Studies (2021)
Conference Proceeding

We present ALTCAI, a Wizard of Oz Embodied Conversational Agent that has been developed to explore the use of interactive agents as an effective and engaging tool for delivering health and well-being advice to expectant and nursing mothers in Nigeria... Read More about ALTCAI: Enabling the Use of Embodied Conversational Agents to Deliver Informal Health Advice during Wizard of Oz Studies.

Teachers’ Perspectives on the Adoption of an Adaptive Learning System Based on Multimodal Affect Recognition for Students with Learning Disabilities and Autism (2021)
Conference Proceeding

Adoption of e-learning for those with special needs lags that for mainstream learners. Not much is known about barriers and facilitators that drive this disparity. The present study used focus groups and interviews to collect the views of 21 teachers... Read More about Teachers’ Perspectives on the Adoption of an Adaptive Learning System Based on Multimodal Affect Recognition for Students with Learning Disabilities and Autism.

Distributed Predictive Secondary Control for Voltage Restoration and Economic Dispatch of Generation for DC Microgrids (2021)
Conference Proceeding

DC microgrids ease the integration of renewables and can be easily put together with plug-and-play operation. However, most control techniques in DC microgrids focus on voltage regulation without considering its economical operation. Furthermore, the... Read More about Distributed Predictive Secondary Control for Voltage Restoration and Economic Dispatch of Generation for DC Microgrids.

Improving Uncertainty Estimations for Mammogram Classification Using Semi-Supervised Learning (2021)
Conference Proceeding

Computer aided diagnosis for mammogram images have seen positive results through the usage of deep learning architectures. However, limited sample sizes for the target datasets might prevent the usage of a deep learning model under real world scenari... Read More about Improving Uncertainty Estimations for Mammogram Classification Using Semi-Supervised Learning.

Designing the Hierarchical Fuzzy Systems Via FuzzyR Toolbox (2021)
Conference Proceeding

The use of Hierarchical Fuzzy Systems (HFS) has been well acknowledged as a good approach in reducing the complexity and improving the interpretability of fuzzy logic systems (FLS). Over the past years, many fuzzy logic toolkits have been made availa... Read More about Designing the Hierarchical Fuzzy Systems Via FuzzyR Toolbox.

An Extension of the FuzzyR Toolbox for Non-Singleton Fuzzy Logic Systems (2021)
Conference Proceeding

Recent years have seen a surge in interest in non-singleton fuzzy systems. These systems enable the direct modelling of uncertainty affecting systems' inputs using the fuzzification stage. Moreover, recent work has shown how different composition app... Read More about An Extension of the FuzzyR Toolbox for Non-Singleton Fuzzy Logic Systems.

Intrusion Detection System Based on an Updated ANN Model (2021)
Conference Proceeding

An intrusion detection system (IDS) is a software application or hardware appliance that monitors traffic on networks and systems to search for suspicious activity and known threats, sending up alerts when it finds such items. In these recent years,... Read More about Intrusion Detection System Based on an Updated ANN Model.

Internal ∞-Categorical Models of Dependent Type Theory : Towards 2LTT Eating HoTT (2021)
Conference Proceeding

Using dependent type theory to formalise the syntax of dependent type theory is a very active topic of study and goes under the name of "type theory eating itself" or "type theory in type theory." Most approaches are at least loosely based on Dybjer'... Read More about Internal ∞-Categorical Models of Dependent Type Theory : Towards 2LTT Eating HoTT.