Learn More
Model Driven Software Development has offered a faster way to design and implement embedded real-time software by moving the design to a model level, and by transforming models to code. However, the testing of embedded systems has remained at the code level. This paper presents a Graphical Model Debugger Framework, providing an auxiliary avenue of analysis(More)
Chemokine C-X3-C motif ligand 1 (CX3CL1, alias fractalkine), is highly expressed in the central nervous system and participates in inflammatory responses. Recent studies indicated that inflammatory processes within the brain constitute a common and crucial mechanism in the pathophysiological characteristics of epilepsy. This study investigated the(More)
BACKGROUND New-generation antiepileptic drugs (AEDs) tend to replace traditional AEDs as the first-line choice for epilepsy. However, whether this change results in better outcome, especially in China, remains unknown. METHODOLOGY/PRINCIPAL FINDINGS Two broad spectrum AEDs, the traditional drug of sustained-release formulation of valproate (SRVPA) and the(More)
OBJECTIVE Antiepileptic drugs (AEDs) have been widely used in patients with epilepsy but the adverse effects in adult Chinese patients have not been investigated. This study evaluated the adverse effects of four commonly prescribed AED monotherapies with carbamazepine (CBZ), phenytoin (PHT), valproate (VPA), and lamotrigine (LTG) in adult Chinese patients(More)
Aim: Intractable epilepsy is characterized of seizure resistance to the anti-epileptic drugs. The underlying mechanisms are still elusive. Alterations of synaptic vesicle traffic may be one of the candidate mechanisms. Methods: Phenytoin-resistant and phenytoin-non resistant epileptic rats were selected in the amygdala kindled adult male Wistar rats.(More)
The Collapsin Response Mediator Protein-1 (CRMP-1) is a brain specific protein identified as a signaling molecule of Semaphorin-3A and act as axon repellent guidance factor in nervous system. Recent studies indicated that axon guidance molecules may play a role in synaptic reorganization in the adult brain and thereby promote epileptogenesis. This study(More)
Objectives EEG effects of the sustained-release form of sodium valproate (SR-VPA) are unknown, although it is widely used in Chinese patients with generalized tonicclonic seizures (GTCS). Methods Fourteen newly diagnosed, untreated GTCS patients were recruited and treated with SR-VPA. Waking EEG was recorded and analyzed by way of quantitative(More)
We introduce the Stochastic Quality Calculus in order to model and reason about distributed processes that rely on each other in order to achieve their overall behaviour. The calculus supports broadcast communication in a truly concurrent setting. Generally distributed delays are associated with the outputs and at the same time the inputs impose constraints(More)