A unified relational semantics for intuitionistic logic, basic propositional logic and orthologic with strict implication

In this paper, by slightly generalizing the notion of 'proposition' in 'Propositional Logic and Modal Logic - A Connection via Relational Semantics' by Shengyang Zhong, we propose a relational semantics of propositional language with bottom, conjunction and imlication, which unifies the relational semantics of intuitionistic logic, Visser's basic propositional logic and orthologic with strict implication. We study the semantic and syntactic consequence relations and prove the soundness and completeness theorems for eight propositional logics

The State of the Art in Creating Visualization Corpora for Automated Chart Analysis

We present a state-of-the-art report on visualization corpora in automated chart analysis research. We survey 56 papers that created or used a visualization corpus as the input of their research techniques or systems. Based on a multi-level task taxonomy that identifies the goal, method, and outputs of automated chart analysis, we examine the property space of existing chart corpora along five dimensions: format, scope, collection method, annotations, and diversity. Through the survey, we summarize common patterns and practices of creating chart corpora, identify research gaps and opportunities, and discuss the desired properties of future benchmark corpora and the required tools to create them.Comment: To appear at EuroVis 202

Interactions of AMPAR-Adenosine Receptor-Equilibrative Nucleoside Transporter in the Hippocampus: Implication for Stroke

The activation of presynaptic adenosine A1 receptors (A1Rs) is known to cause profound synaptic depression during hypoxia/cerebral ischemic insults, but postsynaptic function of A1Rs are still unclear. The goal of the current study is to provide a more comprehensive view of adenosinergic signaling. Firstly, I established that A1Rs and GluA2-containing AMPARs formed stable protein complexes from hippocampal brain homogenates and cultured hippocampal neurons. In contrast, adenosine 2A receptors (A2ARs) did not co-precipitate or colocalize with GluA2-containing AMPARs. Secondly, by using different approaches I have confirmed that prolonged stimulations of A1Rs with the agonist CPA was found to cause adenosine-induced persistent synaptic depression (APSD) in hippocampal brain slices, and APSD levels were blunted by inhibiting clathrin-mediated endocytosis of GluA2 with the Tat-GluA2-3Y peptide. This was initially demonstrated by biotinylation assays and membrane fractionation, in which prolonged CPA incubation showed a significant depletion of both GluA2 and GluA1 surface expression from hippocampal brain slices and cultured hippocampal neurons. In contrast, Tat-GluA2-3Y peptide or dynamin inhibitor Dynasore prevented CPA-induced GluA2 and GluA1 internalization. Additionally, confocal imaging analysis confirmed that functional A1Rs, but not A2ARs, are required for clathrin-mediated endocytosis of AMPARs in hippocampal neurons. Pharmacological inhibitors and shRNA knockdown of p38 MAPK and JNK were found to prevent A1R-mediated internalization of GluA2 but not GluA1 subunits. However, Tat-GluA2-3Y peptide or A1R antagonist DPCPX can prevent the hypoxia-mediated internalization of both GluA2 and GluA1. Finally, in the pial vessel disruption (PVD) cortical stroke model, reduced hippocampal GluA2, GluA1, and A1R surface expression and synaptic depression have been shown in hippocampal slices from a unilateral cortical lesioned brain compared to sham brain, which is consistent with our previous results of AMPAR downregulation and decreased probability of transmitter release. The PVD-lesioned brains also displayed increased hippocampal neurodegeneration compared to sham brains. Taken together, these results indicate a previously unknown mechanism that A1R-induced persistent synaptic depression involves clathrin-mediated GluA2 and GluA1 internalization in hypoxia/cerebral ischemia. Both equilibrative nucleoside transporters (ENTs) and A1Rs are widely expressed in the hippocampus, and regulate extracellular adenosine level and induce synaptic depression, respectively, during cerebral ischemia. However, the cellular mechanisms that control the cell surface expression of ENTs and A1Rs in the brain remain poorly resolved. Since ENTs contain consensus sites for Casein Kinase 2 (CK2) phosphorylation, I tested the hypothesis that ENT and A1R interactions and CK2 inhibition are involved in A1R-dependent downregulation of ENT surface expression during hypoxia. Coimmunoprecipitation from rat hippocampal brain homogenates and confocal imaging microscopy of primary cultured hippocampal neurons revealed physical associations of ENTs with A1Rs, but not with A2ARs. Using whole lysates and membrane fractions from hippocampal brain slices and a phospho-specific antibody to immunoprecipitate the phosphoSerine254-ENT1 (pSer254-ENT1, a known CK2 target), I then determined that ENT1 was constitutively phosphorylated. Several CK2 inhibitors (TBB, DMAT, and DRB), but not the ENT1-selective inhibitor (NBTI) reduced pSer254-ENT1 level in whole hippocampal lysates. DRB also decreased, while CK2 activator spermine increased, the surface expression of pSer254-ENT1 in biotinylation assays of hippocampal brain slices. Moreover, biotinylation of cultured hippocampal neurons revealed that ENT1 and ENT2 surface expression was downregulated by CK2 or ENT inhibitors and by A1R agonist CPA, but not in the presence of A1R antagonist DPCPX. Pretreatments of hippocampal slices with CK2 or ENT blockers also enhanced hypoxia-mediated downregulation of ENT and A1R surface expression. These results indicate that CK2-induced and A1R-linked ENT trafficking represents an important regulatory mechanism of hypoxic/ischemic hippocampal brain damage. The high prevalence of neurodegenerative disorders that accompany memory deficits occurs in the elderly, including stroke and Alzheimer’s disease, and it is also known that extracellular levels of adenosine are enhanced in aged brains. To determine whether the mechanisms we previously identified for A1R-mediated AMPAR internalization also contribute to dysfunction in synaptic plasticity in aged brains, I compared surface levels of AMPARs from hippocampal slices of young (1 month) and old (7-12 months) animals. I found that surface expression of AMPARs decreased in aged hippocampus. To study changes in synaptic plasticity, I then performed electrophysiological studies to compare chemically-induced long term potentiation (cLTP) in the hippocampus of young and old rats. Consistent with the biochemical results, I demonstrated that aged hippocampal slices displayed impaired cLTP, which suggests that aging impaired synaptic plasticity by promoting decreased surface expression of AMPARs. Next, I evaluated the surface levels of AMPARs before and after cLTP in young and old hippocampus to determine whether basal clathrin-mediated endocytosis of AMPARs contributes to impairments in cLTP. Following the cLTP induction, brain slices were analyzed biochemically. Under basal conditions, I showed that young brains contained higher levels of surface-expressed AMPARs compared to older brains. To test the hypothesis that this difference in baseline AMPAR surface expression contributes to cLTP deficits and was likely due to increased rate of endocytosis associated with enhanced adenosine tone in aged brains, I demonstrated with the use of two blockers of endocytosis pathways (Tat-GluA2-3Y peptide and Dynasore) that cLTP could be similarly enhanced in the young and older brains. Therefore, these results indicate that increased adenosinergic signaling in aged brains leads to increased endocytosis of AMPARs and impaired synaptic plasticity. Together, these data suggest that interactions of AMPAR-A1R-equilibrative nucleoside transporter in the hippocampus regulate glutamatergic synaptic transmission, and enhanced A1R signaling increases both neurodegeneration in ischemic conditions and synaptic impairments in ischemic and aged brains

Thermal analysis of dual-phase-lag model in a two-dimensional plate subjected to a heat source moving along elliptical trajectories

In this paper, we focus on the study of heat transfer behavior for the dual-phase-lag heat conduction model, which describes the evolution of temperature in a two-dimensional rectangular plate caused by the activity of a point heat source moving along elliptical trajectories. At first, Green's function approach is applied to derive the analytical solution of temperature for the given model. Based on the series representation of this analytical solution, the thermal responses for the underlying heat transfer problem, including the relations between the moving heat source and the concomitant temperature peak, the influences of the pair of phase lags and the angular velocity of heat source on temperature, are then investigated, analyzed and discussed in detail for three different movement trajectories. Compared with the results revealed for the common situation that the heat source moves in a straight line with a constant speed, the present results show quite distinctive thermal behaviors for all cases, which subsequently can help us to better understand the internal mechanism of the dual-phase-lag heat transfer subjected to a moving heat source with curved trajectory.Comment: 15 pages, 41 figure

Revisiting property transfer theory: English law and Chinese law compared

The relationship between a conveyance’s validity and its underlying contract has been a classic but unsettled topic for comparative private lawyers over the past three decades. This paper attempts to add positivist and normative observations drawn from property transfer theories and practices in English and Chinese law. A jurisdiction adopting an ‘intent plus’ model does not necessarily recognise a separate intent to convey distinct from the intent in the underlying contract, as exemplified by Chinese law, while a jurisdiction adopting the ‘intent alone’ model does not necessarily deny the separate intent to convey, as exemplified by English law. One advantage for a jurisdiction that takes the separatist approach is its flexibility, so that it can still choose between pure causality, pure abstraction, or context-based abstraction at a later stage. Recent developments show that English and Chinese law are moving towards this approach. As to whether flaws in the underlying contract infect the validity of the conveyance, the English position depends on vitiating factors, whereas the mainstream Chinese judgments tend to be pro-causal. Justifications favouring causality provided in the English and Chinese academia are different, though neither can stand up to scrutiny. The detecting opportunity argument submitted in this paper helps to justify abstraction