The growing use of highly specialized tools has led to a better knowledge the mechanical properties structures, reducing destructive tests. paper is aimed identify an investigation method capable directing staff in planning non-destructive test. experimental campaigns must be planned order optimize number and type tests limit invasiveness impact. proposed been organized logical scheme that perm...

Approximately 30 to 50% of people suffering from Gilles de la Tourette Syndrome (GTS) also fulfill diagnostic criteria for obsessive-compulsive disorder (OCD). Despite this high degree of comorbidity, very few studies have addressed the question of obsessive-compulsive symptoms (OCS) in GTS patients using specific brain event-related potentials (ERP) responses. The aim of the current study was ...

Graph transformation systems (GTS) and constraint handling rules (CHR) are nondeterministic rule-based state transition systems. CHR is well known for its powerful confluence and program equivalence analyses, for which we provide the basis in this work to apply them to GTS. We give a sound and complete embedding of GTS in CHR, investigate confluence of an embedded GTS and provide a program equi...

The IEEE 802.15.4 standard features some optional services, including the Guaranteed Time Slot (GTS) mechanism. It provides network devices with collision-free access to the medium to assure Quality of Service. GTS suffers from a severe security vulnerability: an adversary can easily perform a Denial of Service attack by selectively jamming collision-free communications. We present Secure GTS, ...

The main objective of this paper is to minimize the battery energy consumption in 802.15.4 for Wireless Sensor Networks (WSNs). This paper presents the simulation results of three scenarios: with Guaranteed Time Slot (GTS), Mixed and Without GTS for Fully Functional Devices (FFDs) and Reduced Functional Devices (RFDs). It is revealed that battery energy consumption is reduced to minimum in case...

The notion of confluence is prevalent in graph transformation systems (GTS) as well as constraint handling rules (CHR). This work presents a generalized embedding of GTS in CHR that allows to consider strong derivations in confluence analyses. Confluence of a terminating CHR program is decidable, but confluence of a terminating GTS is undecidable. We show that observable confluence in CHR is a ...

We introduce hyperbolic and asymptotic compactiications of metric spaces and apply them to locally symmetric spaces ?nX. We show that the reductive Borel{Serre compactiication ?nX RBS is hyperbolic and, as a corollary, get a result of Borel, and Kobayashi{Ochiai that the Baily{Borel compactiication ?nX BB is hyperbolic. We prove that the hyperbolic reduction of the toroidal compactiications ?nX...

AIM Des-γ-carboxyprothrombin (DCP) has been used as a tumor marker for hepatocellular carcinoma (HCC). Recently the DCP/NX-DCP ratio, calculated by dividing DCP by NX-DCP, has been reported useful in detecting HCC. The purpose of this study is to clarify the significance of DCP and NX-DCP expression in HCC tissues. METHODS HCC and non-HCC tissue samples were obtained from 157 patients and wer...

Graph transformation systems (GTS) provide an important theory for numerous applications. With the growing number of GTSbased applications the comparison of operational equivalence of two GTS becomes an important area of research. This work introduces a notion of operational equivalence for graph transformation systems. The embedding of GTS in constraint handling rules (CHR) provides the basis ...

BACKGROUND Gilles de la Tourette syndrome (GTS) is a chronic neurodevelopmental disorder characterised by multiple motor and phonic tics and behavioural problems. Patients with GTS of all ages often report a poor health-related quality of life (HR-QOL). The diagnosis of GTS is usually established in childhood but little is known about factors that predict the long-term well-being of patients, e...