The Complexity of Hybrid Logics over Equivalence Relations

This paper examines and classifies the computational complexity of model checking and satisfiability for hybrid logics over frames with equivalence relations. The considered languages contain all possible combinations of the downarrow binder, the existential binder, the satisfaction operator, and the global modality, ranging from the minimal hybrid language to very expressive languages. For model checking, we separate polynomial-time solvable from PSPACE-complete cases, and for satisfiability, we exhibit cases complete for NP, PSpace, NExpTime, and even N2ExpTime. Our analysis includes the versions of all these languages without atomic propositions, and also complete frames.     

Superconductivity,structural disorder,and phase transitions in ion-irradiated Nb3Al films

Thin films of single-phase A15 Nb₃Al were irradiated with protons and nitrogen ions. X-ray intensity analysis revealed a decrease of the Bragg-Williams long-range order parameterS and an increase of the average displacement amplitude of the atomsU in the fluence region where a decrease of the superconducting transition temperatureT _c was observed. The functional dependence ofT _c onS andU was found to depend on the ion species used for irradiation. After irradiation with 10¹⁶ N²⁺ / cm² the A15 phase transformed into an A2 phase. Furnace annealing caused a retransformation into the A15 phase with improved superconducting properties.     

Theoretical Correlations and Measured Correlations: Relating Recognition and Recall in Four Distributed Memory Models.

This article addresses the relation between item recognition and associative (cued) recall. Going beyond measures of performance on each task, the analysis focuses on the degree to which the contingency between successful recognition and successful recall of a studied item reflects the commonality of memory processes underlying the recognition and recall tasks. Specifically, 4 classes of distributed memory models are assessed for their ability to account for the relatively invariant correlation (≈ .5) between successive recognition and recall. Basic versions of each model either under- or overpredict the intertask correlation. Introducing variability in goodness-of-encoding and response criteria, as well as output encoding, enabled all 4 models to reproduce the moderate intertask correlation and the increase in correlation observed in 2 mixed-list experiments. This model-based analysis provides a general theoretical framework for interpreting contingencies between successive memory tests. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Functionalised Anodised Aluminium Oxide as a Biocidal Agent

In this article, we describe the antimicrobial properties of a new composite based on anodic aluminium oxide (AAO) membranes containing propyl-copper-phosphonate units arranged at a predetermined density inside the AAO channels. The samples were prepared with four concentrations of copper ions and tested as antimicrobial drug on four different strains of Escherichia coli (K12, R2, R3 and R4). For comparison, the same strains were tested with three types of antibiotics using the minimal inhibitory concentration (MIC) and minimum bactericidal concentration (MBC) tests. Moreover, DNA was isolated from the analysed bacteria which was additionally digested with formamidopyrimidine-DNA glycosylase (Fpg) protein from the group of repair glycosases. These enzymes are markers of modified oxidised bases in nucleic acids produced during oxidative stress in cells. Preliminary cellular studies, MIC and MBC tests and digestion with Fpg protein after modification of bacterial DNA suggest that these compounds may have greater potential as antibacterial agents than antibiotics such as ciprofloxacin, bleomycin and cloxacillin. The described composites are highly specific for the analysed model Escherichia coli strains and may be used in the future as new substitutes for commonly used antibiotics in clinical and nosocomial infections in the progressing pandemic era. The results show much stronger antibacterial properties of the functionalised membranes on the action of bacterial membranes in comparison to the antibiotics in the Fpg digestion experiment. This is most likely due to the strong induction of oxidative stress in the cell through the breakdown of the analysed bacterial DNA. We have also observed that the intermolecular distances between the functional units play an important role for the antimicrobial properties of the used material. Hence, we utilised the idea of the 2D solvent to tailor them.     

Effects of Non-Opioid Analgesics on the Cell Membrane of Skin and Gastrointestinal Cancers

Skin and gastrointestinal cancer cells are the target of research by many scientists due to the increasing morbidity and mortality rates around the world. New indications for drugs used in various conditions are being discovered. Non-opioid analgesics are worth noting as very popular, widely available, relatively cheap medications. They also have the ability to modulate the membrane components of tumor cells. The aim of this review is to analyze the impact of diclofenac, ibuprofen, naproxen, acetylsalicylic acid and paracetamol on skin and gastrointestinal cancers cell membrane. These drugs may affect the membrane through topical application, at the in vitro and in vivo level after oral or parenteral administration. They can lead to up- or downregulated expression of receptors, transporters and other molecules associated with plasma membrane. Medications may also alter the lipid bilayer composition of membrane, resulting in changes in its integrity and fluidity. Described modulations can cause the visualization of cancer cells, enhanced response of the immune system and the initiation of cell death. The outcome of this is inhibition of progression or reduction of tumor mass and supports chemotherapy. In conclusion, non-opioid analgesics may be used in the future as adjunctive therapy for the treatment of these cancers.     

I2-Imidazoline Ligand CR4056 Improves Memory,Increases ApoE Expression and Reduces BBB Leakage in 5xFAD Mice

Recent evidence suggests that I2-imidazoline ligands have neuroprotective properties in animal models of neurodegeneration, such as Alzheimer’s disease (AD). We recently demonstrated that the I2-ligand BU224 reversed memory impairments in AD transgenic mice and this effect was not because of reductions in amyloid-β (Aβ) deposition. In this study, our aim was to determine the therapeutic potential of the powerful analgesic I2-imidazoline ligand CR4056 in the 5xFAD model of AD, since this ligand has been proven to be safely tolerated in humans. Sub-chronic oral administration of CR4056 (30 mg/kg for 10 days) led to an improvement in recognition memory in 6-month-old 5xFAD mice, but not in wild-type littermates, without affecting Aβ levels or deposition. Our results also revealed a change in the profile of microglia by CR4056, resulting in a suppression of pro-inflammatory activated microglia, but increased the density of astrocytes and the expression of ApoE, which is mainly produced by these glial cells. In addition, CR4056 restored fibrinogen extravasation, affecting the distribution of markers of astrocytic end feet in blood vessels. Therefore, these results suggest that CR4056 protects against Aβ-mediated neuroinflammation and vascular damage, and offers therapeutic potential at any stage of AD.     

Melatonin and the Brain–Heart Crosstalk in Neurocritically Ill Patients—From Molecular Action to Clinical Practice

Brain injury, especially traumatic brain injury (TBI), may induce severe dysfunction of extracerebral organs. Cardiac dysfunction associated with TBI is common and well known as the brain–heart crosstalk, which broadly refers to different cardiac disorders such as cardiac arrhythmias, ischemia, hemodynamic insufficiency, and sudden cardiac death, which corresponds to acute disorders of brain function. TBI-related cardiac dysfunction can both worsen the brain damage and increase the risk of death. TBI-related cardiac disorders have been mainly treated symptomatically. However, the analysis of pathomechanisms of TBI-related cardiac dysfunction has highlighted an important role of melatonin in the prevention and treatment of such disorders. Melatonin is a neurohormone released by the pineal gland. It plays a crucial role in the coordination of the circadian rhythm. Additionally, melatonin possesses strong anti-inflammatory, antioxidative, and antiapoptotic properties and can modulate sympathetic and parasympathetic activities. Melatonin has a protective effect not only on the brain, by attenuating its injury, but on extracranial organs, including the heart. The aim of this study was to analyze the molecular activity of melatonin in terms of TBI-related cardiac disorders. Our article describes the benefits resulting from using melatonin as an adjuvant in protection and treatment of brain injury-induced cardiac dysfunction.     

Synthesis,In Vitro,and Computational Studies of PTP1B Phosphatase Inhibitors Based on Oxovanadium(IV) and Dioxovanadium(V) Complexes

One of the main goals of recent bioinorganic chemistry studies has been to design and synthesize novel substances to treat human diseases. The promising compounds are metal-based and metal ion binding components such as vanadium-based compounds. The potential anticancer action of vanadium-based compounds is one of area of investigation in this field. In this study, we present five oxovanadium(IV) and dioxovanadium(V) complexes as potential PTP1B inhibitors with anticancer activity against the MCF-7 breast cancer cell line, the triple negative MDA-MB-231 breast cancer cell line, and the human keratinocyte HaCaT cell line. We observed that all tested compounds were effective inhibitors of PTP1B, which correlates with anticancer activity. [VO(dipic)(dmbipy)]·2 H₂O (Compound 4) and [VOO(dipic)](2-phepyH)·H₂O (Compound 5) possessed the greatest inhibitory effect, with IC₅₀ 185.4 ± 9.8 and 167.2 ± 8.0 nM, respectively. To obtain a better understanding of the relationship between the structure of the examined compounds and their activity, we performed a computer simulation of their binding inside the active site of PTP1B. We observed a stronger binding of complexes containing dipicolinic acid with PTP1B. Based on our simulations, we suggested that the studied complexes exert their activity by stabilizing the WPD-loop in an open position and limiting access to the P-loop.