-
Chapter and Conference Paper
A Comparison of Some Gradient Threshold Estimators for the Nonlinear Diffusion of Perona-Malik. A Novel Proposal to Improve Edges Detection in Mammography Images
In this work, based on the nonlinear Perona-Malik anisotropic diffusion (AD) model, we develop an efficient smoothing algorithm for mammography images that preserves edges and provides valuable information for...
-
Chapter and Conference Paper
Reasoning over Test Specifications Using Assume-Guarantee Contracts
We establish a framework to reason about test campaigns described formally. First, we introduce the notion of a test structure—an object that carries i) the formal specifications of the system under test, and ...
-
Chapter and Conference Paper
Collaborative Control of Mobile Manipulator Robots Through the Hardware-in-the-Loop Technique
This article aims at designing and implementing the “Hardware-in-the-Loop” (HIL) technique, to evaluate the collaborative control algorithm of two mobile manipulator robots to carry out tasks of movement and m...
-
Chapter and Conference Paper
Clutter Slices Approach for Identification-on-the-Fly of Indoor Spaces
Construction spaces are constantly evolving, dynamic environments in need of continuous surveying, inspection, and assessment. Traditional manual inspection of such spaces proves to be an arduous and time-cons...
-
Chapter and Conference Paper
A Matched Filter Decomposition of fMRI into Resting and Task Components
The human brain exhibits dynamic interactions among brain regions when responding to stimuli and executing tasks, which can be recorded using functional magnetic resonance imaging (fMRI). Functional MRI signa...
-
Chapter and Conference Paper
Exploring the Automatisation of Animal Health Surveillance Through Natural Language Processing
The Animal and Plant Health Agency (APHA) conducts post-mortem examinations (PMEs) of farm animal species as part of routine scanning surveillance for new and re-emerging diseases that may pose a threat to an...
-
Chapter and Conference Paper
A Suite of Computationally Expensive Shape Optimisation Problems Using Computational Fluid Dynamics
In many product design and development applications, Computational Fluid Dynamics (CFD) has become a useful tool for analysis. This is particularly because of the accuracy of CFD simulations in predicting the ...
-
Chapter and Conference Paper
Using the Anisotropic Laplace Equation to Compute Cortical Thickness
Automatic computation of cortical thickness is a critical step when investigating neuroanatomical population differences and changes associated with normal development and aging, as well as in neuro-degenerati...
-
Chapter and Conference Paper
Perceived Frequency of Aperiodic Vibrotactile Stimuli Depends on Temporal Encoding
Mechanical transients and events arising during dexterous manipulation are detected by tactile afferents. Naturally occurring vibrotactile stimuli have a mix of frequencies, which creates complex afferent disc...
-
Chapter and Conference Paper
rfDemons: Resting fMRI-Based Cortical Surface Registration Using the BrainSync Transform
Cross subject functional studies of cerebral cortex require cortical registration that aligns functional brain regions. While cortical folding patterns are approximate indicators of the underlying cytoarchitec...
-
Chapter and Conference Paper
BrainSync: An Orthogonal Transformation for Synchronization of fMRI Data Across Subjects
We describe a method that allows direct comparison of resting fMRI (rfMRI) time series across subjects. For this purpose, we exploit the geometry of the rfMRI signal space to conjecture the existence of an ort...
-
Chapter and Conference Paper
Kernel Methods for Riemannian Analysis of Robust Descriptors of the Cerebral Cortex
Typical cerebral cortical analyses rely on spatial normalization and are sensitive to misregistration arising from partial homologies between subject brains and local optima in nonlinear registration. In contr...
-
Chapter and Conference Paper
Riemannian Statistical Analysis of Cortical Geometry with Robustness to Partial Homology and Misalignment
Typical studies of the geometry of the cerebral cortical structure focus on either cortical folding or thickness. They rely on spatial normalization, but use cortical descriptors that are sensitive to misregis...
-
Chapter and Conference Paper
Temporal Integration of Tactile Inputs from Multiple Sites
We investigated the perceived frequency elicited by two vibrating probes on the skin. Participants (n = 11) compared two probes vibrating in counter-phase (25 Hz), with comparison stimuli of in-phase vibration...
-
Chapter and Conference Paper
Soft Robotic Skin from Intelligent Meta-Materials
Smart product design has traditionally focused on design paradigms that facilitate the design of mechanisms with attached sensing, attached computation and attached actuation. The field of meta-materials, on t...
-
Chapter and Conference Paper
Measuring Asymmetric Interactions in Resting State Brain Networks
Directed graph representations of brain networks are increasingly being used to indicate the direction and level of influence among brain regions. Most of the existing techniques for directed graph representat...
-
Chapter and Conference Paper
Adaptation to Motion Presented with a Tactile Array
We investigated the effects of adaptation to 2 min of tactile apparent motion along the proximo-distal axis of the finger pad, produced with a vibrotactile array (Optacon), and developed a novel method to reve...
-
Chapter and Conference Paper
Industrial Cyber-Physical Systems – iCyPhy
ICyPhy is a pre-competitive industry-academic partnership focused on architectures, abstractions, technologies, methodologies, and supporting tools for the design, modeling, and analysis of large-scale complex...
-
Chapter and Conference Paper
Analysis of the SoftKinetic DepthSense for Range Imaging
We analyse the SoftKinetic DepthSense 325 range imaging camera for precision and accuracy in ranging out to 3 m. Flat planar targets (one a grey board, the other made from retroreflective material) are imaged ...
-
Chapter and Conference Paper
Reconstructing Boolean Models of Signaling
Since the first emergence of protein-protein interaction networks, more than a decade ago, they have been viewed as static scaffolds of the signaling-regulatory events taking place in the cell and their analys...