Automatic generation of simplified weakest preconditions for integrity constraint verification

Given a constraint $c$ assumed to hold on a database $B$ and an update $u$ to be performed on $B$, we address the following question: will $c$ still hold after $u$ is performed? When $B$ is a relational database, we define a confluent terminating rewriting system which, starting from $c$ and $u$, automatically derives a simplified weakest precondition $wp(c,u)$ such that, whenever $B$ satisfies $wp(c,u)$, then the updated database $u(B)$ will satisfy $c$, and moreover $wp(c,u)$ is simplified in the sense that its computation depends only upon the instances of $c$ that may be modified by the update. We then extend the definition of a simplified $wp(c,u)$ to the case of deductive databases; we prove it using fixpoint induction

Consonance and Cantor set-selectors

It is shown that every metrizable consonant space is a Cantor set-selector. Some applications are derived from this fact, also the relationship is discussed in the framework of hyperspaces and Prohorov spaces.peer-reviewe

The novel Parkinson's disease linked mutation G51D attenuates in vitro aggregation and membrane binding of α-synuclein, and enhances its secretion and nuclear localization in cells

A novel mutation in the α-Synuclein (α-Syn) gene "G51D” was recently identified in two familial cases exhibiting features of Parkinson's disease (PD) and multiple system atrophy (MSA). In this study, we explored the impact of this novel mutation on the aggregation, cellular and biophysical properties of α-Syn, in an attempt to unravel how this mutant contributes to PD/MSA. Our results show that the G51D mutation significantly attenuates α-Syn aggregation in vitro. Moreover, it disrupts local helix formation in the presence of SDS, decreases binding to lipid vesicles C-terminal to the site of mutation and severely inhibits helical folding in the presence of acidic vesicles. When expressed in yeast, α-SynG51D behaves similarly to α-SynA30P, as both exhibit impaired membrane association, form few inclusions and are non-toxic. In contrast, enhanced secreted and nuclear levels of the G51D mutant were observed in mammalian cells, as well as in primary neurons, where α-SynG51D was enriched in the nuclear compartment, was hyper-phosphorylated at S129 and exacerbated α-Syn-induced mitochondrial fragmentation. Finally, post-mortem human brain tissues of α-SynG51D cases were examined, and revealed only partial colocalization with nuclear membrane markers, probably due to post-mortem tissue delay and fixation. These findings suggest that the PD-linked mutations may cause neurodegeneration via different mechanisms, some of which may be independent of α-Syn aggregatio

The novel Parkinson's disease linked mutation G51D attenuates in vitro aggregation and membrane binding of alpha-synuclein, and enhances its secretion and nuclear localization in cells

A novel mutation in the alpha-Synuclein (alpha-Syn) gene "G51D" was recently identified in two familial cases exhibiting features of Parkinson's disease (PD) and multiple system atrophy (MSA). In this study, we explored the impact of this novel mutation on the aggregation, cellular and biophysical properties of alpha-Syn, in an attempt to unravel how this mutant contributes to PD/MSA. Our results show that the G51D mutation significantly attenuates alpha-Syn aggregation in vitro. Moreover, it disrupts local helix formation in the presence of SDS, decreases binding to lipid vesicles C-terminal to the site of mutation and severely inhibits helical folding in the presence of acidic vesicles. When expressed in yeast, alpha-Syn(G51D) behaves similarly to alpha-Syn(A30P), as both exhibit impaired membrane association, form few inclusions and are non-toxic. In contrast, enhanced secreted and nuclear levels of the G51D mutant were observed in mammalian cells, as well as in primary neurons, where alpha-Syn(G51D) was enriched in the nuclear compartment, was hyper-phosphorylated at S129 and exacerbated alpha-Syn-induced mitochondrial fragmentation. Finally, post-mortem human brain tissues of alpha-Syn(G51D) cases were examined, and revealed only partial colocalization with nuclear membrane markers, probably due to post-mortem tissue delay and fixation. These findings suggest that the PD-linked mutations may cause neurodegeneration via different mechanisms, some of which may be independent of alpha-Syn aggregation

Resolving molecule-specific information in dynamic lipid membrane processes with multi-resonant infrared metasurfaces

A multitude of biological processes are enabled by complex interactions between lipid membranes and proteins. To understand such dynamic processes, it is crucial to differentiate the constituent biomolecular species and track their individual time evolution without invasive labels. Here, we present a label-free mid-infrared biosensor capable of distinguishing multiple analytes in heterogeneous biological samples with high sensitivity. Our technology leverages a multi-resonant metasurface to simultaneously enhance the different vibrational fingerprints of multiple biomolecules. By providing up to 1000-fold near-field intensity enhancement over both amide and methylene bands, our sensor resolves the interactions of lipid membranes with different polypeptides in real time. Significantly, we demonstrate that our label-free chemically specific sensor can analyze peptide-induced neurotransmitter cargo release from synaptic vesicle mimics. Our sensor opens up exciting possibilities for gaining new insights into biological processes such as signaling or transport in basic research as well as provides a valuable toolkit for bioanalytical and pharmaceutical applications

The novel Parkinson's disease linked mutation G51D attenuates in vitro aggregation and membrane binding of alpha-synuclein, and enhances its secretion and nuclear localization in cells

A novel mutation in the alpha-Synuclein (alpha-Syn) gene "G51D" was recently identified in two familial cases exhibiting features of Parkinson's disease (PD) and multiple system atrophy (MSA). In this study, we explored the impact of this novel mutation on the aggregation, cellular and biophysical properties of alpha-Syn, in an attempt to unravel how this mutant contributes to PD/MSA. Our results show that the G51D mutation significantly attenuates alpha-Syn aggregation in vitro. Moreover, it disrupts local helix formation in the presence of SDS, decreases binding to lipid vesicles C-terminal to the site of mutation and severely inhibits helical folding in the presence of acidic vesicles. When expressed in yeast, alpha-Syn(G51D) behaves similarly to alpha-Syn(A30P), as both exhibit impaired membrane association, form few inclusions and are non-toxic. In contrast, enhanced secreted and nuclear levels of the G51D mutant were observed in mammalian cells, as well as in primary neurons, where alpha-Syn(G51D) was enriched in the nuclear compartment, was hyper-phosphorylated at S129 and exacerbated alpha-Syn-induced mitochondrial fragmentation. Finally, post-mortem human brain tissues of alpha-Syn(G51D) cases were examined, and revealed only partial colocalization with nuclear membrane markers, probably due to post-mortem tissue delay and fixation. These findings suggest that the PD-linked mutations may cause neurodegeneration via different mechanisms, some of which may be independent of alpha-Syn aggregation