104 research outputs found

    Validation of Modern JSON Schema: Formalization and Complexity

    Get PDF
    JSON Schema is the de-facto standard schema language for JSON data. The language went through many minor revisions, but the most recent versions of the language, starting from Draft 2019-09, added two novel features, dynamic references and annotation-dependent validation, that change the evaluation model. Modern JSON Schema is the name used to indicate all versions from Draft 2019-09, which are characterized by these new features, while Classical JSON Schema is used to indicate the previous versions. These new "modern"features make the schema language quite difficult to understand and have generated many discussions about the correct interpretation of their official specifications; for this reason, we undertook the task of their formalization. During this process, we also analyzed the complexity of data validation in Modern JSON Schema, with the idea of confirming the polynomial complexity of Classical JSON Schema validation, and we were surprised to discover a completely different truth: data validation, which is expected to be an extremely efficient process, acquires, with Modern JSON Schema features, a PSPACE complexity. In this paper, we give the first formal description of Modern JSON Schema, which we have discussed with the community of JSON Schema tool developers, and which we consider a central contribution of this work. We then prove that its data validation problem is PSPACE-complete. We prove that the origin of the problem lies in the Draft 2020-12 version of dynamic references, and not in annotation-dependent validation. We study the schema and data complexities, showing that the problem is PSPACE-complete with respect to the schema size even with a fixed instance but is in P when the schema is fixed and only the instance size is allowed to vary. Finally, we run experiments that show that there are families of schemas where the difference in asymptotic complexity between dynamic and static references is extremely visible, even with small schemas

    Selective HCN1 block as a strategy to control oxaliplatin-induced neuropathy

    Get PDF
    Chemotherapy-Induced Peripheral Neuropathy (CIPN) is the most frequent adverse effect of pharmacological cancer treatments. The occurrence of neuropathy prevents the administration of fully-effective drug regimen, affects negatively the quality of life of patients, and may lead to therapy discontinuation. CIPN is currently treated with anticonvulsants, antidepressants, opioids and non-opioid analgesics, all of which are flawed by insufficient anti-hyperalgesic efficacy or addictive potential. Understandably, developing new drugs targeting CIPN-specific pathogenic mechanisms would dramatically improve efficacy and tolerability of anti-neuropathic therapies. Neuropathies are associated to aberrant excitability of DRG neurons due to the alteration in the expression or function of a variety of ion channels. In this regard, Hyperpolarization-activated Cyclic Nucleotide-gated (HCN) channels are overexpressed in inflammatory and neuropathic pain states, and HCN blockers have been shown to reduce neuronal excitability and to ameliorate painful states in animal models. However, HCN channels are critical in cardiac action potential, and HCN blockers used so far in pre-clinical models do not discriminate between cardiac and non-cardiac HCN isoforms. In this work, we show an HCN current gain of function in DRG neurons from oxaliplatin-treated rats. Biochemically, we observed a downregulation of HCN2 expression and an upregulation of the HCN regulatory beta-subunit MirP1. Finally, we report the efficacy of the selective HCN1 inhibitor MEL57A in reducing hyperalgesia and allodynia in oxaliplatin-treated rats without cardiac effects. In conclusion, this study strengthens the evidence for a disease-specific role of HCN1 in CIPN, and proposes HCN1-selective inhibitors as new-generation pain medications with the desired efficacy and safety profile

    Angiotensin-II drives human satellite cells toward hypertrophy and myofibroblast trans-differentiation by two independent pathways

    Get PDF
    Skeletal muscle regeneration is ensured by satellite cells (SC), which upon activation undergo self-renewal and myogenesis. The correct sequence of healing events may be offset by inflammatory and/or fibrotic factors able to promote fibrosis and consequent muscle wasting. Angiotensin-II (Ang) is an effector peptide of the renin angiotensin system (RAS), of which the direct role in human SCs (hSCs) is still controversial. Based on the hypertrophic and fibrogenic effects of Ang via transient receptor potential canonical (TRPC) channels in cardiac and renal tissues, we hypothesized a similar axis in hSCs. Toward this aim, we demonstrated that hSCs respond to acute Ang stimulation, dose-dependently enhancing p-mTOR, p-AKT, p-ERK1/2 and p-P38. Additionally, sub-acute Ang conditioning increased cell size and promoted trans-differentiation into myofibroblasts. To provide a mechanistic hypothesis on TRPC channel involvement in the processes, we proved that TRPC channels mediate a basal calcium entry into hSCs that is stimulated by acute Ang and strongly amplified by sub-chronic Ang conditioning. Altogether, these findings demonstrate that Ang induces a fate shift of hSCs into myofibroblasts and provide a basis to support a benefit of RAS and TRPC channel blockade to oppose muscle fibrosis

    HL-1 cells express an inwardly rectifying K+ current activated via muscarinic receptors comparable to that in mouse atrial myocytes

    Get PDF
    An inwardly rectifying K^+ current is present in atrial cardiac myocytes that is activated by acetylcholine (I_{KACh}). Physiologically, activation of the current in the SA node is important in slowing the heart rate with increased parasympathetic tone. It is a paradigm for the direct regulation of signaling effectors by the Gβγ G-protein subunit. Many questions have been addressed in heterologous expression systems with less focus on the behaviour in native myocytes partly because of the technical difficulties in undertaking comparable studies in native cells. In this study, we characterise a potassium current in the atrial-derived cell line HL-1. Using an electrophysiological approach, we compare the characteristics of the potassium current with those in native atrial cells and in a HEK cell line expressing the cloned Kir3.1/3.4 channel. The potassium current recorded in HL-1 is inwardly rectifying and activated by the muscarinic agonist carbachol. Carbachol-activated currents were inhibited by pertussis toxin and tertiapin-Q. The basal current was time-dependently increased when GTP was substituted in the patch-clamp pipette by the non-hydrolysable analogue GTPγS. We compared the kinetics of current modulation in HL-1 with those of freshly isolated atrial mouse cardiomyocytes. The current activation and deactivation kinetics in HL-1 cells are comparable to those measured in atrial cardiomyocytes. Using immunofluorescence, we found GIRK4 at the membrane in HL-1 cells. Real-time RT-PCR confirms the presence of mRNA for the main G-protein subunits, as well as for M2 muscarinic and A1 adenosine receptors. The data suggest HL-1 cells are a good model to study IKAch

    Optical investigation of action potential and calcium handling maturation of hiPSC-cardiomyocytes on biomimetic substrates

    Get PDF
    Cardiomyocytes from human induced pluripotent stem cells (hiPSC-CMs) are the most promising human source with preserved genetic background of healthy individuals or patients. This study aimed to establish a systematic procedure for exploring development of hiPSC-CM functional output to predict genetic cardiomyopathy outcomes and identify molecular targets for therapy. Biomimetic substrates with microtopography and physiological stiffness can overcome the immaturity of hiPSC-CM function. We have developed a custom-made apparatus for simultaneous optical measurements of hiPSC-CM action potential and calcium transients to correlate these parameters at specific time points (day 60, 75 and 90 post differentiation) and under inotropic interventions. In later-stages, single hiPSC-CMs revealed prolonged action potential duration, increased calcium transient amplitude and shorter duration that closely resembled those of human adult cardiomyocytes from fresh ventricular tissue of patients. Thus, the major contribution of sarcoplasmic reticulum and positive inotropic response to \u3b2-adrenergic stimulation are time-dependent events underlying excitation contraction coupling (ECC) maturation of hiPSC-CM; biomimetic substrates can promote calcium-handling regulation towards adult-like kinetics. Simultaneous optical recordings of long-term cultured hiPSC-CMs on biomimetic substrates favor high-throughput electrophysiological analysis aimed at testing (mechanistic hypothesis on) disease progression and pharmacological interventions in patient-derived hiPSC-CMs

    Understanding the heart-brain axis response in COVID-19 patients: A suggestive perspective for therapeutic development

    Get PDF
    In-depth characterization of heart-brain communication in critically ill patients with severe acute respiratory failure is attracting significant interest in the COronaVIrus Disease 19 (COVID-19) pandemic era during intensive care unit (ICU) stay and after ICU or hospital discharge. Emerging research has provided new insights into pathogenic role of the deregulation of the heart-brain axis (HBA), a bidirectional flow of information, in leading to severe multiorgan disease syndrome (MODS) in patients with confirmed infection with severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2). Noteworthy, HBA dysfunction may worsen the outcome of the COVID-19 patients. In this review, we discuss the critical role HBA plays in both promoting and limiting MODS in COVID-19. We also highlight the role of HBA as new target for novel therapeutic strategies in COVID-19 in order to open new translational frontiers of care. This is a translational perspective from the Italian Society of Cardiovascular Researches

    Fast optical investigation of cardiac electrophysiology by parallel detection in multiwell plates

    Get PDF
    Current techniques for fast characterization of cardiac electrophysiology employ optical technologies to control and monitor action potential features of single cells or cellular monolayers placed in multiwell plates. High-speed investigation capacities are commonly achieved by serially analyzing well after well employing fully automated fluorescence microscopes. Here, we describe an alternative cost-effective optical approach (MULTIPLE) that exploits high-power LED arrays to globally illuminate a culture plate and an sCMOS sensor for parallel detection of the fluorescence coming from multiple wells. MULTIPLE combines optical detection of action potentials using a red-shifted voltage-sensitive fluorescent dye (di-4-ANBDQPQ) with optical stimulation, employing optogenetic actuators, to ensure excitation of cardiomyocytes at constant rates. MULTIPLE was first characterized in terms of interwell uniformity of the illumination intensity and optical detection performance. Then, it was applied for probing action potential features in HL-1 cells (i.e., mouse atrial myocyte-like cells) stably expressing the blue light-activatable cation channel CheRiff. Under proper stimulation conditions, we were able to accurately measure action potential dynamics across a 24-well plate with variability across the whole plate of the order of 10%. The capability of MULTIPLE to detect action potential changes across a 24-well plate was demonstrated employing the selective K(v)11.1 channel blocker (E-4031), in a dose titration experiment. Finally, action potential recordings were performed in spontaneous beating human induced pluripotent stem cell derived cardiomyocytes following pharmacological manipulation of their beating frequency. We believe that the simplicity of the presented optical scheme represents a valid complement to sophisticated and expensive state-of-the-art optical systems for high-throughput cardiac electrophysiological investigations.Cardiolog

    Spatiotemporally Controlled Cardiac Conduction Block Using High-Frequency Electrical Stimulation

    Get PDF
    Background: Methods for the electrical inhibition of cardiac excitation have long been sought to control excitability and conduction, but to date remain largely impractical. High-amplitude alternating current (AC) stimulation has been known to extend cardiac action potentials (APs), and has been recently exploited to terminate reentrant arrhythmias by producing reversible conduction blocks. Yet, low-amplitude currents at similar frequencies have been shown to entrain cardiac tissues by generation of repetitive APs, leading in some cases to ventricular fibrillation and hemodynamic collapse in vivo. Therefore, an inhibition method that does not lead to entrainment – irrespective of the stimulation amplitude (bound to fluctuate in an in vivo setting) – is highly desirable. Methodology/Principal Findings: We investigated the effects of broader amplitude and frequency ranges on the inhibitory effects of extracellular AC stimulation on HL-1 cardiomyocytes cultured on microelectrode arrays, using both sinusoidal and square waveforms. Our results indicate that, at sufficiently high frequencies, cardiac tissue exhibits a binary response to stimulus amplitude with either prolonged APs or no effect, thereby effectively avoiding the risks of entrainment by repetitive firing observed at lower frequencies. We further demonstrate the ability to precisely define reversible local conduction blocks in beating cultures without influencing the propagation activity in non-blocked areas. The conduction blocks were spatiotemporally controlled by electrode geometry and stimuli duration, respectively, and sustainable for long durations (300 s). Conclusion/Significance: Inhibition of cardiac excitation induced by high-frequency AC stimulation exhibits a binary response to amplitude above a threshold frequency, enabling the generation of reversible conduction blocks without the risks of entrainment. This inhibition method could yield novel approaches for arrhythmia modeling in vitro, as well as safer and more efficacious tools for in vivo cardiac mapping and radio-frequency ablation guidance applications
    • …
    corecore