With the development of mobility technology, location information has become collectible by various positioning technologies. Different positioning technologies have their advantages and limitations. In this paper, we propose semi-supervised learning in inferring low-accuracy location data density from high-accuracy location data density. We focus on the enormous amount of low-accuracy Cell Tow...

BACKGROUND Constipation is a common problem in childhood, and various radiologic methods have been advocated for investigation. Colonic transit time (CTT) has been used in adults to investigate colonic motility, but few studies evaluate this method in children. Data on CTT in the normal paediatric population are scarce. METHODS The colonic transit time was measured in 22 healthy children (med...

In this paper, we make a substantial step towards an encoding of Cubical Type Theory (CTT) in the Dedukti logical framework. Type-checking CTT expressions features decision procedure de Morgan algebra that so far could not be expressed by rewrite rules Dedukti. As alternative, 2 Layer Theories are variants Martin-L\"of where all or part definitional equality can represented terms so-called exte...

Course Timetabling (CTT) [11] is a popular combinatorial optimization problem, which deals with generating university timetables by scheduling weekly lectures, subject to conflicts and availability constraints, while minimizing costs related to resources and user discomfort. In CB-CTT, students enrol to curricula i.e., (possibly overlapping) collections of courses. Lectures of courses pertainin...

The paper proposes a new method of linear text segmentation based on lexical cohesion of a text. Namely, first a single chain of disambiguated words in a text is established, then the rips of this single chain are considered as boundaries for the segments of the cohesion text structure (Cohesion TextTiling or CTT). The summaries of arbitrarily length are obtained by extraction using three diffe...

Objective: To replicate and extend findings from a previous controlled trial of Cognitive Trauma Therapy for Battered Women (CTT-BW; Kubany et al., 2004), the current study presents data on the treatment of 8 women with PTSD related to intimate partner violence (IPV). Method: CTT-BW was administered weekly, using the manual provided by Kubany and a multiple baseline across participants design. ...

This paper presents an improvement of requirementoriented compliance checking algorithm to support trust-based decision making in service workflow environments. The proposed algorithm is based on our previous progressive works on (1) Service Workflow Specification language (SWSpec) serving as a formal and uniformed representation of requirements, and (2) the algorithm based on Constrained Truth...

BACKGROUND Wireless pH and pressure motility capsule (wireless motility capsule) technology provides a method to assess regional gastrointestinal transit times. AIMS To analyse data from a multi-centre study of gastroparetic patients and healthy controls and to compare regional transit times measured by wireless motility capsule in healthy controls and gastroparetics (GP). METHODS A total o...

UML has become the standard language for modelling in different areas and domains, but it is widely recognized that it lacks support for User Interface Design (UID). On the other hand, ConcurTaskTree (CTT) is one of the most widely used notations for task and dialogue modelling. An important achievement is the proposed notation and semantics for CTT by extending the UML metamodel, proving that ...

background functional constipation (fc) and constipation-predominant irritable bowl syndrome (cibs)are two main subtypes of constipation that can be distinguished by the rome ii criteria. measuring colonic transit time (ctt) is an easy and cost effective way to evaluate constipation. this study was conducted to compare the ctt in patients with fc and cibs. materials and methods those patients w...