The system description presents the conception and a prototypical implementation of a multi-context system, used for computing and implementing temporal modalities within given data without the use of modal operators. Instead, an external constraint based rule system is used for computing the corresponding temporal relations, making use of the way a multi-context system works for transporting t...

background: finding the safe location of spinal cord for cerebrospinal fluid (csf) during surgical procedures is very important due to its various nature for each patient as well as its potential peripheral nervous system hazards. the aim of this study was to find the relationship between the location of conus medullaris (cm) and gender, age and body mass index (bmi) in order to minimize the po...

We report the use of a twisted nematic liquid-crystal spatial light modulator (TNLC-SLM) for quantitative phase imaging. The experimental setup is a new implementation of the SLIM principle, which is a phase shifting, white light method for quantitative phase imaging. The approach is based on switching between the phase and amplitude modulation modes of the SLM. Our system is able to deliver a ...

Vision and audition have complementary affinities, with vision excelling in spatial resolution and audition excelling in temporal resolution. Here, we investigated the relationships among the visual and auditory modalities and spatial and temporal short-term memory (STM) using change detection tasks. We created short sequences of visual or auditory items, such that each item within a sequence a...

In the paper, we present a new dual attention method called DanHAR, which blends channel and temporal on residual networks to improve feature representation ability for sensor-based HAR task. Specially, plays key role in deciding what focus, i.e., sensor modalities, while can focus target activity from long sequence tell where focus. Extensive experiments are conducted four public datasets, as ...

In this paper we describe a method to non-rigidly co-register a 2D slice sequence from real-time 3D echocardiography with a 2D cardiovascular MR image sequence. This is challenging because the imaging modalities have different spatial and temporal resolution. Non-rigid registration is required for accurate alignment due to imprecision of cardiac gating and natural motion variations between card...

This paper presents a range of quantitative extensions for the temporal logic CTL. We enhance temporal modalities with the ability to constrain the number of states satisfying certain sub-formulas along paths. By selecting the combinations of Boolean and arithmetic operations allowed in constraints, one obtains several distinct logics generalizing CTL. We provide a thorough analysis of their ex...

In the literature, two powerful temporal logic formalisms have been proposed for expressing information-flow security requirements, that in general, go beyond regular properties. One is classic, based on the knowledge modalities of epistemic logic. The other one, the so-called hyper logic, is more recent and subsumes many proposals from the literature. In an attempt to better understand how the...

Policies are used to describe rules that are employed to modify (often distributed) system behaviour at runtime. Typically policies are created by many different people and there are many policies leading naturally to inconsistency between the policies, a problem that has been recognised and termed policy conflict. We present a novel formal semantics for distributed policies expressed in the AP...