Subdural electrode recording of generalized photoepileptic responses

AbstractWe evaluated the spatiotemporal distribution of photic driving (PDR), photoparoxysmal (PPR), and photoconvulsive (PCR) responses recorded by intracranial electrodes (ic-EEG) in a patient with generalized photosensitivity and right frontal lobe cortical dysplasia. Intermittent light stimulation (ILS) was performed thirteen times in nine days. Cortical responses to ILS recorded by ic-EEG were reviewed and classified as PDRs, PPRs, and PCRs. Photic driving responses were restricted to the occipital lobe at ILS frequencies below 9Hz, spreading to the parietal and central regions at >9Hz. Photoparoxysmal responses commonly presented as focal, medial occipital, and parietal interictal epileptic discharges (IEDs), the latter propagating to the sensorimotor cortices. Generalized IEDs were also generated in the setting of PPRs. Photoconvulsive responses, characterized by repetitive bilateral upper extremity myoclonus sustained until the end of the stimulus, were associated with propagation of the medial parieto-occipital discharge to the primary sensorimotor and supplementary area cortices, while generalized myoclonic seizures were associated with a generalized spike-and-wave discharge with an interhemispheric posterior cingulate onset sparing the sensorimotor cortices. Both types of PCR could occur during the same stimulus. Regardless of the pathway, PCRs only occurred when PDRs involved the parietal cortices. While there may be more than one pathway underlying PCRs, parietal lobe association cortices appear to be critical to their generation

An open extensible tool environment for Event-B

Abstract. We consider modelling indispensable for the development of complex systems. Modelling must be carried out in a formal notation to reason and make meaningful conjectures about a model. But formal modelling of complex systems is a difficult task. Even when theorem provers improve further and get more powerful, modelling will remain difficult. The reason for this that modelling is an exploratory activity that requires ingenuity in order to arrive at a meaningful model. We are aware that automated theorem provers can discharge most of the onerous trivial proof obligations that appear when modelling systems. In this article we present a modelling tool that seamlessly integrates modelling and proving similar to what is offered today in modern integrated development environments for programming. The tool is extensible and configurable so that it can be adapted more easily to different application domains and development methods.

Mutations in MAP3K7 that Alter the Activity of the TAK1 Signaling Complex Cause Frontometaphyseal Dysplasia.

Frontometaphyseal dysplasia (FMD) is a progressive sclerosing skeletal dysplasia affecting the long bones and skull. The cause of FMD in some individuals is gain-of-function mutations in FLNA, although how these mutations result in a hyperostotic phenotype remains unknown. Approximately one half of individuals with FMD have no identified mutation in FLNA and are phenotypically very similar to individuals with FLNA mutations, except for an increased tendency to form keloid scars. Using whole-exome sequencing and targeted Sanger sequencing in 19 FMD-affected individuals with no identifiable FLNA mutation, we identified mutations in two genes-MAP3K7, encoding transforming growth factor β (TGF-β)-activated kinase (TAK1), and TAB2, encoding TAK1-associated binding protein 2 (TAB2). Four mutations were found in MAP3K7, including one highly recurrent (n = 15) de novo mutation (c.1454C>T [ p.Pro485Leu]) proximal to the coiled-coil domain of TAK1 and three missense mutations affecting the kinase domain (c.208G>C [p.Glu70Gln], c.299T>A [p.Val100Glu], and c.502G>C [p.Gly168Arg]). Notably, the subjects with the latter three mutations had a milder FMD phenotype. An additional de novo mutation was found in TAB2 (c.1705G>A, p.Glu569Lys). The recurrent mutation does not destabilize TAK1, or impair its ability to homodimerize or bind TAB2, but it does increase TAK1 autophosphorylation and alter the activity of more than one signaling pathway regulated by the TAK1 kinase complex. These findings show that dysregulation of the TAK1 complex produces a close phenocopy of FMD caused by FLNA mutations. Furthermore, they suggest that the pathogenesis of some of the filaminopathies caused by FLNA mutations might be mediated by misregulation of signaling coordinated through the TAK1 signaling complex

Very Singular Diffusion Equations-Second and Fourth Order Problems

This paper studies singular diffusion equations whose diffusion effect is so strong that the speed of evolution becomes a nonlocal quantity. Typical examples include the total variation flow as well as crystalline flow which are formally of second order. This paper includes fourth order models which are less studied compared with second order models. A typical example of this model is an H−1 gradient flow of total variation. It turns out that such a flow is quite different from the second order total variation flow. For example, we prove that the solution may instantaneously develop jump discontinuity for the fourth order total variation flow by giving an explicit example