Comparison of formal specification methods and object-oriented paradigms

Object orientation and formal methods are widely regarded as two fields with significant potential for new software engineering techniques. This paper discusses the relations between these two approaches. We present various specification techniques which incorporate object-oriented paradigms, discuss their place in software development process, and analyse possible benefits from their applications.     

Inflammation and Oxidative Stress in Diabetic Kidney Disease: The Targets for SGLT2 Inhibitors and GLP-1 Receptor Agonists

The incidence of type 2 diabetes (T2D) has been increasing worldwide, and diabetic kidney disease (DKD) remains one of the leading long-term complications of T2D. Several lines of evidence indicate that glucose-lowering agents prevent the onset and progression of DKD in its early stages but are of limited efficacy in later stages of DKD. However, sodium-glucose cotransporter-2 inhibitors (SGLT2i) and glucagon-like peptide-1 receptor (GLP-1R) agonists were shown to exert nephroprotective effects in patients with established DKD, i.e., those who had a reduced glomerular filtration rate. These effects cannot be solely attributed to the improved metabolic control of diabetes. In our review, we attempted to discuss the interactions of both groups of agents with inflammation and oxidative stress—the key pathways contributing to organ damage in the course of diabetes. SGLT2i and GLP-1R agonists attenuate inflammation and oxidative stress in experimental in vitro and in vivo models of DKD in several ways. In addition, we have described experiments showing the same protective mechanisms as found in DKD in non-diabetic kidney injury models as well as in some tissues and organs other than the kidney. The interaction between both drug groups, inflammation and oxidative stress appears to have a universal mechanism of organ protection in diabetes and other diseases.     

Optimum deposition conditions of ultrasmooth silver nanolayers

Reduction of surface plasmon-polariton losses due to their scattering on metal surface roughness still remains a challenge in the fabrication of plasmonic devices for nanooptics. To achieve smooth silver films, we study the dependence of surface roughness on the evaporation temperature in a physical vapor deposition process. At the deposition temperature range 90 to 500 K, the mismatch of thermal expansion coefficients of Ag, Ge wetting layer, and sapphire substrate does not deteriorate the metal surface. To avoid ice crystal formation on substrates, the working temperature of the whole physical vapor deposition process should exceed that of the sublimation at the evaporation pressure range. At optimum room temperature, the root-mean-square (RMS) surface roughness was successfully reduced to 0.2 nm for a 10-nm Ag layer on sapphire substrate with a 1-nm germanium wetting interlayer. Silver layers of 10- and 30-nm thickness were examined using an atomic force microscope (AFM), X-ray reflectometry (XRR), and two-dimensional X-ray diffraction (XRD2).

PACS

63.22.Np Layered systems; 68. Surfaces and interfaces; thin films and nanosystems (structure and nonelectronic properties); 81.07.-b Nanoscale materials and structures: fabrication and characterization     

The Effect of Exogenous Application of Quercetin Derivative Solutions on the Course of Physiological and Biochemical Processes in Wheat Seedlings

Quercetin, classified as a flavonoid, is a strong antioxidant that plays a significant role in the regulation of physiological processes in plants, which is particularly important in the case of biotic and abiotic stresses. The study investigated the effect of the use of potassium quercetin solutions in various concentrations (0.5%, 1.0%, 3.0% and 5.0%) on the physiological and biochemical properties of wheat seedlings. A pot experiment was carried out in order to determine the most beneficial dose of this flavonoid acting as a bio-stimulant for wheat plants. Spraying with quercetin derivative solutions was performed twice, and physiological measurements (chlorophyll content and fluorescence as well as gas exchange) were carried out on the first and seventh days after each application. The total phenolic compounds content and the total antioxidant capacity were also determined. It was shown that the concentrations of potassium quercetin applied have a stimulating effect on the course of physiological processes. In the case of most of the tested physiological parameters (chlorophyll content and fluorescence and gas exchange) and the total antioxidant capacity, no significant differences were observed in their increase as a result of application with concentrations of 3.0 and 5.0%. Therefore, the beneficial effect of quercetin on the analysed parameters is already observed when spraying with a concentration of 3.0%.     

Characterization of Glass Beads Surface Modified with Ionic Surfactants

Knowledge of the wetting characteristic of mineral surfaces is very important in enhancing the efficiency of separation of valuable minerals from gangue using froth flotation or oil agglomeration. In this paper a capillary rise technique was used to characterize the glass beads surface modified with cationic surfactant. The glass microspheres were used as model particles with a spherical shape and smooth surface to eliminate the roughness effect. The value of the contact angle for water was found to be 21.5 for unmodified beads, and 61.8, 89.7, 68.4 for 0.1, 1.0, 10 mg/g_solid of CTAB, and 39.8, 68.6, 87.9 for 0.1, 1.0, 10 mg/g_solid of DDAHCl, respectively. Data revealed that the adsorption of surfactant onto glass beads decreased the value of the electron donor component, γ-, which defines the hydrophobicity of the surface. Also, the property of the surface was investigated by flotation and oil agglomeration experiments. It was observed that particles with low value of contact angle for water and high for 1-bromonaphthalene and low value of γ- were floated with a recovery equal to 91.1 and 83.1% for CTAB and DDAHCl, respectively, and effectively agglomerated. This indicates that the capillary rise method can be successfully used to predict the wetting properties of solid particles in mineral processing.     

On the Dependence of Prion and Amyloid Structure on the Folding Environment

Currently available analyses of amyloid proteins reveal the necessity of the existence of radical structural changes in amyloid transformation processes. The analysis carried out in this paper based on the model called fuzzy oil drop (FOD) and its modified form (FOD-M) allows quantifying the role of the environment, particularly including the aquatic environment. The starting point and basis for the present presentation is the statement about the presence of two fundamentally different methods of organizing polypeptides into ordered conformations—globular proteins and amyloids. The present study shows the source of the differences between these two paths resulting from the specificity of the external force field coming from the environment, including the aquatic and hydrophobic one. The water environment expressed in the fuzzy oil drop model using the 3D Gauss function directs the folding process towards the construction of a micelle-like system with a hydrophobic core in the central part and the exposure of polarity on the surface. The hydrophobicity distribution of membrane proteins has the opposite characteristic: Exposure of hydrophobicity at the surface of the membrane protein with an often polar center (as in the case of ion channels) is expected. The structure of most proteins is influenced by a more or less modified force field generated by water through the appropriate presence of a non-polar (membrane-like) environment. The determination of the proportion of a factor different from polar water enables the assessment of the protein status by indicating factors favoring the structure it represents.     

Curcumin and Its New Derivatives: Correlation between Cytotoxicity against Breast Cancer Cell Lines,Degradation of PTP1B Phosphatase and ROS Generation

Breast cancer is the most common cancer of women—it affects more than 2 million women worldwide. PTP1B phosphatase can be one of the possible targets for new drugs in breast cancer therapy. In this paper, we present new curcumin derivatives featuring a 4-piperidone ring as PTP1B inhibitors and ROS inducers. We performed cytotoxicity analysis for twelve curcumin derivatives against breast cancer MCF-7 and MDA-MB-231 cell lines and the human keratinocyte HaCaT cell line. Furthermore, because curcumin is a known antioxidant, we assessed antioxidant effects in its derivatives. For the most potent cytotoxic compounds, we determined intracellular ROS and PTP1B phosphatase levels. Moreover, for curcumin and its derivatives, we performed real-time microscopy to observe the photosensitizing effect. Finally, computational analysis was performed for the curcumin derivatives with an inhibitory effect against PTP1B phosphatase to assess the potential binding mode of new inhibitors within the allosteric site of the enzyme. We observed that two tested compounds are better anticancer agents than curcumin. Moreover, we suggest that blocking the -OH group in phenolic compounds causes an increase in the cytotoxicity effect, even at a low concentration. Furthermore, due to this modification, a higher level of ROS is induced, which correlates with a lower level of PTP1B.     

Small Noncoding RNAs in Knee Osteoarthritis: The Role of MicroRNAs and tRNA-Derived Fragments

Knee osteoarthritis (OA) is a degenerative knee joint disease that results from the breakdown of joint cartilage and underlying bone, affecting about 3.3% of the world’s population. As OA is a multifactorial disease, the underlying pathological process is closely associated with genetic changes in articular cartilage and bone. Many studies have focused on the role of small noncoding RNAs in OA and identified numbers of microRNAs that play important roles in regulating bone and cartilage homeostasis. The connection between other types of small noncoding RNAs, especially tRNA-derived fragments and knee osteoarthritis is still elusive. The observation that there is limited information about small RNAs different than miRNAs in knee OA was very surprising to us, especially given the fact that tRNA fragments are known to participate in a plethora of human diseases and a portion of them are even more abundant than miRNAs. Inspired by these findings, in this review we have summarized the possible involvement of microRNAs and tRNA-derived fragments in the pathology of knee osteoarthritis.     

The Potential of Asiatic Acid in the Reversion of Cyclophosphamide-Induced Hemorrhagic Cystitis in Rats

The purpose of this study was to determine if asiatic acid may act efficiently in the model of cyclophosphamide (CYP)-induced cystitis in rats. We performed experiments after administration of CYP (single dose 200 mg/kg, intraperitoneally), asiatic acid (30 mg/kg/day for 14 consecutive days, by oral gavage), or CYP plus asiatic acid, during which conscious cystometry, measurements of urothelium thickness and bladder edema, as well as selected biomarkers analyses were conducted. In rats that received asiatic acid together with CYP, a drop in bladder basal pressure, detrusor overactivity index, non-voiding contraction amplitude, non-voiding contraction frequency, and the area under the pressure curve were observed, when compared to the CYP group. Furthermore, a significant increase in threshold pressure, voided volume, intercontraction interval, bladder compliance, and volume threshold to elicit NVC were found in that group accordingly. Administration of the asiatic acid successfully restored concentrations of biomarkers both in bladder urothelium (BDNF, CGRP, OCT-3, IL-1β, IL-6, NGF, nitrotyrosine, malondialdehyde, TNF-α, SV2A, SNAP23, SNAP25, PAC-1, ORM1, occludin, IGFBP-3, HB-EGF, T–H protein, Z01, and HPX) and detrusor muscle (Rho kinase and VAChT) in CYP-treated rats. Finally, asiatic acid significantly decreased urothelium thickness and bladder oedema. Asiatic acid proved to be a potent and effective drug in the rat model of CYP-induced cystitis.