New generalized fuzzy metrics and fixed point theorem in fuzzy metric space

In this paper, in fuzzy metric spaces (in the sense of Kramosil and Michalek (Kibernetika 11:336-344, 1957)) we introduce the concept of a generalized fuzzy metric which is the extension of a fuzzy metric. First, inspired by the ideas of Grabiec (Fuzzy Sets Syst. 125:385-389, 1989), we define a new G-contraction of Banach type with respect to this generalized fuzzy metric, which is a generalization of the contraction of Banach type (introduced by M Grabiec). Next, inspired by the ideas of Gregori and Sapena (Fuzzy Sets Syst. 125:245-252, 2002), we define a new GV-contraction of Banach type with respect to this generalized fuzzy metric, which is a generalization of the contraction of Banach type (introduced by V Gregori and A Sapena). Moreover, we provide the condition guaranteeing the existence of a fixed point for these single-valued contractions. Next, we show that the generalized pseudodistance J:X×X→[0,∞) (introduced by Włodarczyk and Plebaniak (Appl. Math. Lett. 24:325-328, 2011)) may generate some generalized fuzzy metric NJ on X. The paper includes also the comparison of our results with those existing in the literature

Ultrastructural and functional fate of recycled vesicles in hippocampal synapses

Efficient recycling of synaptic vesicles is thought to be critical for sustained information transfer at central terminals. However, the specific contribution that retrieved vesicles make to future transmission events remains unclear. Here we exploit fluorescence and time-stamped electron microscopy to track the functional and positional fate of vesicles endocytosed after readily releasable pool (RRP) stimulation in rat hippocampal synapses. We show that most vesicles are recovered near the active zone but subsequently take up random positions in the cluster, without preferential bias for future use. These vesicles non-selectively queue, advancing towards the release site with further stimulation in an actin-dependent manner. Nonetheless, the small subset of vesicles retrieved recently in the stimulus train persist nearer the active zone and exhibit more privileged use in the next RRP. Our findings reveal heterogeneity in vesicle fate based on nanoscale position and timing rules, providing new insights into the origins of future pool constitution

Towards the Verification of Hybrid Co-simulation Algorithms

International audienceEngineering modern, hybrid systems is becoming increasingly difficult due to the heterogeneity between different subsystems. Modelling and simulation techniques have traditionally been used to tackle complexity, but with increasing heterogeneity of the subsystems, it becomes impossible to find appropriate modelling languages and tools to specify and analyse the system as a whole. Co-simulation is a technique to combine multiple models and their simulators in order to analyse the behaviour of the whole system over time. Past research, however, has shown that the na¨ıvena¨ıve combination of simulators can easily lead to incorrect simulation results, especially when co-simulating hybrid systems. This paper shows (i) how co-simulation of a family of hybrid systems can fail to reproduce the order of events that should have occurred (event ordering); (ii) how to prove that a co-simulation algorithm is correct (w.r.t. event ordering), and if it is incorrect, how to obtain a counterexample showing how the co-simulation fails; and (iii) how to correct an incorrect co-simulation algorithm. We apply the above method to two well known co-simulation algorithms used with the FMI Standard, and we show that one of them is incorrect for the family of hybrid systems under study, under the restrictions of the standard. The conclusion is that either the standard needs to be revised, or one of the algorithms should be avoided

Ancient horizontal transfers of retrotransposons between birds and ancestors of human pathogenic nematodes

Parasite host switches may trigger disease emergence, but prehistoric host ranges are often unknowable. Lymphatic filariasis and loiasis are major human diseases caused by the insect-borne filarial nematodes Brugia, Wuchereria and Loa. Here we show that the genomes of these nematodes and seven tropical bird lineages exclusively share a novel retrotransposon, AviRTE, resulting from horizontal transfer (HT). AviRTE subfamilies exhibit 83–99% nucleotide identity between genomes, and their phylogenetic distribution, paleobiogeography and invasion times suggest that HTs involved filarial nematodes. The HTs between bird and nematode genomes took place in two pantropical waves, >25–22 million years ago (Myr ago) involving the Brugia/Wuchereria lineage and >20–17 Myr ago involving the Loa lineage. Contrary to the expectation from the mammal-dominated host range of filarial nematodes, we hypothesize that these major human pathogens may have independently evolved from bird endoparasites that formerly infected the global breadth of avian biodiversity

Acute increase of alpha-synuclein inhibits synaptic vesicle recycling evoked during intense stimulation

This work was supported by grants from the NIH/National Institute of Neurological Disorder and Stroke RO1 NS078165 (to J.R.M.), the Morton Cure Paralysis Fund (to J.R.M.), and the Branfman Family Foundation (to J.M.G.) and by a Dorothea Bennett graduate fellowship (to D.J.B.)

Parallel Driving and Modulatory Pathways Link the Prefrontal Cortex and Thalamus

Pathways linking the thalamus and cortex mediate our daily shifts from states of attention to quiet rest, or sleep, yet little is known about their architecture in high-order neural systems associated with cognition, emotion and action. We provide novel evidence for neurochemical and synaptic specificity of two complementary circuits linking one such system, the prefrontal cortex with the ventral anterior thalamic nucleus in primates. One circuit originated from the neurochemical group of parvalbumin-positive thalamic neurons and projected focally through large terminals to the middle cortical layers, resembling ‘drivers’ in sensory pathways. Parvalbumin thalamic neurons, in turn, were innervated by small ‘modulatory’ type cortical terminals, forming asymmetric (presumed excitatory) synapses at thalamic sites enriched with the specialized metabotropic glutamate receptors. A second circuit had a complementary organization: it originated from the neurochemical group of calbindin-positive thalamic neurons and terminated through small ‘modulatory’ terminals over long distances in the superficial prefrontal layers. Calbindin thalamic neurons, in turn, were innervated by prefrontal axons through small and large terminals that formed asymmetric synapses preferentially at sites with ionotropic glutamate receptors, consistent with a driving pathway. The largely parallel thalamo-cortical pathways terminated among distinct and laminar-specific neurochemical classes of inhibitory neurons that differ markedly in inhibitory control. The balance of activation of these parallel circuits that link a high-order association cortex with the thalamus may allow shifts to different states of consciousness, in processes that are disrupted in psychiatric diseases

Protein quality control: the who’s who, the where’s and therapeutic escapes

In cells the quality of newly synthesized proteins is monitored in regard to proper folding and correct assembly in the early secretory pathway, the cytosol and the nucleoplasm. Proteins recognized as non-native in the ER will be removed and degraded by a process termed ERAD. ERAD of aberrant proteins is accompanied by various changes of cellular organelles and results in protein folding diseases. This review focuses on how the immunocytochemical labeling and electron microscopic analyses have helped to disclose the in situ subcellular distribution pattern of some of the key machinery proteins of the cellular protein quality control, the organelle changes due to the presence of misfolded proteins, and the efficiency of synthetic chaperones to rescue disease-causing trafficking defects of aberrant proteins