3-(2,4-dimethoxybenzylidene)anabaseine (GTS-21) is a selective partial agonist for rat alpha-7 nicotine receptors with reportedly much lower efficacy for human alpha-7 receptors. Because this drug improves memory-related performance in nonhuman primates, and is presently in a clinical trial for Alzheimer's disease, we investigated the potential effects of its primary human metabolite, 3-(4-hydr...

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 equ...

Gilles de la Tourette's syndrome (GTS) consists of multiple motor tics and one or more phonic tics. Psychopathology occurs in approximately 90% of GTS patients, with attention-deficit/hyperactivity disorder (ADHD) and obsessive-compulsive disorder (OCD) being common. Depression is common, with a lifetime risk of 10% and a prevalence of between 1.8% and 8.9%. Depression and depressive symptoms a...

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 ...

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...