Revisiting timed logics with automata modalities

© 2019 ACM. It is well known that (timed) ω-regular properties such as 'p holds at every even position' and 'p occurs at least three times within the next 10 time units' cannot be expressed in Metric Interval Temporal Logic (MITL) and Event Clock Logic (ECL). A standard remedy to this deficiency is to extend these with modalities defined in terms of automata. In this paper, we show that the logics EMITL0, ∞ (adding non-deterministic finite automata modalities into the fragment of MITL with only lower- and upper-bound constraints) and EECL (adding automata modalities into ECL) are already as expressive as EMITL (full MITL with automata modalities). In particular, the satisfiability and model-checking problems for EMITL0, ∞ and EECL are PSPACE-complete, whereas the same problems for EMITL are EXPSPACE-complete. We also provide a simple translation from EMITL0, ∞ to diagonal-free timed automata, which enables practical satisfiability and model checking based on off-the-shelf tools

Assessment of Cellular Estrogenic Activity Based on Estrogen Receptor-Mediated Reduction of Soluble-Form Catechol-O-Methyltransferase (COMT) Expression in an ELISA-Based System

published_or_final_versio

LRRK2 R1441G mice are more liable to dopamine depletion and locomotor inactivity

postprin

The effect of ex-vivo rotenone intoxication on dopamine re-uptake of LRRK2-R1441G mutant mouse

Poster presentationpublished_or_final_versio

Dignity amidst liminality: Healing within suffering among Chinese terminal cancer patients

postprin

PMCA4 (ATP2B4) mutation in familial spastic paraplegia causes delay in intracellular calcium extrusion

Background: Familial spastic paraplegia (FSP) is a heterogeneous group of disorders characterized primarily by progressive lower limb spasticity and weakness. More than 50 disease loci have been described with different modes of inheritance. Recently, we described a novel missense mutation (c.803G>A, p.R268Q) in the plasma membrane calcium ATPase (PMCA4, or ATP2B4) gene in a Chinese family with autosomal dominant FSP. Further to this finding, here we describe the functional effect of this mutation. Methods: As PMCA4 removes cytosolic calcium, we measured transient changes and the time-dependent decay of cytosolic calcium level as visualized by using fura-2 fluorescent dye with confocal microscopy in human SH-SY5Y neuroblastoma cells overexpressing either wild-type or R268Q mutant PMCA4. Results: Overexpressing both wild-type and R268Q PMCA4 significantly reduced maximum calcium surge after KCl-induced depolarization as compared with vector control cells. However, cells overexpressing mutant PMCA4 protein demonstrated significantly higher level of calcium surge when compared with wild-type. Furthermore, the steady-state cytosolic calcium concentration in these mutant cells remained markedly higher than the wild-type after SERCA inhibition by thapsigargin. Conclusion: Our result showed that p.R268Q mutation in PMCA4 resulted in functional changes in calcium homeostasis in human neuronal cells. This suggests that calcium dysregulation may be associated with the pathogenesis of FSP. © 2015 The Authors. Brain and Behavior published by Wiley Periodicals, Inc.published_or_final_versio

Positron-electron autocorrelation function study of E-center in silicon

A study was conducted on the positron-electron autocorrelation function of defect center in silicon. The positron annihilation lifetime spectroscopy (PALS) spectra taken on the as-grown and defected samples of silicon were studied. It was found that the positron binding energy to the defect could be estimated from the ratio of the positron-electron autocorrelates for bulk crystal and defect trapped positron states.published_or_final_versio

Retaining Expression on De-identified Faces

© Springer International Publishing AG 2017The extensive use of video surveillance along with advances in face recognition has ignited concerns about the privacy of the people identifiable in the recorded documents. A face de-identification algorithm, named k-Same, has been proposed by prior research and guarantees to thwart face recognition software. However, like many previous attempts in face de-identification, kSame fails to preserve the utility such as gender and expression of the original data. To overcome this, a new algorithm is proposed here to preserve data utility as well as protect privacy. In terms of utility preservation, this new algorithm is capable of preserving not only the category of the facial expression (e.g., happy or sad) but also the intensity of the expression. This new algorithm for face de-identification possesses a great potential especially with real-world images and videos as each facial expression in real life is a continuous motion consisting of images of the same expression with various degrees of intensity.Peer reviewe

Identification of lead anti-human cytomegalovirus compounds targeting MAP4K4 via machine learning analysis of kinase inhibitor screening data

Chemogenomic approaches involving highly annotated compound sets and cell based high throughput screening are emerging as a means to identify novel drug targets. We have previously screened a collection of highly characterized kinase inhibitors (Khan et al., Journal of General Virology, 2016) to identify compounds that increase or decrease expression of a human cytomegalovirus (HCMV) protein in infected cells. To identify potential novel anti-HCMV drug targets we used a machine learning approach to relate our phenotypic data from the aforementioned screen to kinase inhibition profiling of compounds used in this screen. Several of the potential targets had no previously reported role in HCMV replication. We focused on one potential anti-HCMV target, MAPK4K, and identified lead compounds inhibiting MAP4K4 that have anti-HCMV activity with little cellular cytotoxicity. We found that treatment of HCMV infected cells with inhibitors of MAP4K4, or an siRNA that inhibited MAP4K4 production, reduced HCMV replication and impaired detection of IE2-60, a viral protein necessary for efficient HCMV replication. Our findings demonstrate the potential of this machine learning approach to identify novel anti-viral drug targets, which can inform the discovery of novel anti-viral lead compounds

The prognosis of allocentric and egocentric neglect : evidence from clinical scans

We contrasted the neuroanatomical substrates of sub-acute and chronic visuospatial deficits associated with different aspects of unilateral neglect using computed tomography scans acquired as part of routine clinical diagnosis. Voxel-wise statistical analyses were conducted on a group of 160 stroke patients scanned at a sub-acute stage. Lesion-deficit relationships were assessed across the whole brain, separately for grey and white matter. We assessed lesions that were associated with behavioural performance (i) at a sub-acute stage (within 3 months of the stroke) and (ii) at a chronic stage (after 9 months post stroke). Allocentric and egocentric neglect symptoms at the sub-acute stage were associated with lesions to dissociated regions within the frontal lobe, amongst other regions. However the frontal lesions were not associated with neglect at the chronic stage. On the other hand, lesions in the angular gyrus were associated with persistent allocentric neglect. In contrast, lesions within the superior temporal gyrus extending into the supramarginal gyrus, as well as lesions within the basal ganglia and insula, were associated with persistent egocentric neglect. Damage within the temporo-parietal junction was associated with both types of neglect at the sub-acute stage and 9 months later. Furthermore, white matter disconnections resulting from damage along the superior longitudinal fasciculus were associated with both types of neglect and critically related to both sub-acute and chronic deficits. Finally, there was a significant difference in the lesion volume between patients who recovered from neglect and patients with chronic deficits. The findings presented provide evidence that (i) the lesion location and lesion size can be used to successfully predict the outcome of neglect based on clinical CT scans, (ii) lesion location alone can serve as a critical predictor for persistent neglect symptoms, (iii) wide spread lesions are associated with neglect symptoms at the sub-acute stage but only some of these are critical for predicting whether neglect will become a chronic disorder and (iv) the severity of behavioural symptoms can be a useful predictor of recovery in the absence of neuroimaging findings on clinical scans. We discuss the implications for understanding the symptoms of the neglect syndrome, the recovery of function and the use of clinical scans to predict outcome