A logic of argumentation for specification and verification of abstract argumentation frameworks

In this paper, we propose a logic of argumentation for the specification and verification (LA4SV) of requirements on Dung??s abstract argumentation frameworks. We distinguish three kinds of decision problems for argumentation verification, called extension verification, framework verification, and specification verification respectively. For example, given a political requirement like ??if the argument to increase taxes is accepted, then the argument to increase services must be accepted too,?? we can either verify an extension of acceptable arguments, or all extensions of an argumentation framework, or all extensions of all argumentation frameworks satisfying a framework specification. We introduce the logic of argumentation verification to specify such requirements, and we represent the three verification problems of argumentation as model checking and theorem proving properties of the logic. Moreover, we recast the logic of argumentation verification in a modal framework, in order to express multiple extensions, and properties like transitivity and reflexivity of the attack relation. Finally, we introduce a logic of meta-argumentation where abstract argumentation is used to reason about abstract argumentation itself. We define the logic of meta-argumentation using the fibring methodology in such a way to represent attack relations not only among arguments but also among attacks. We show how to use this logic to verify the requirements of argumentation frameworks where higher-order attacks are allowed [A preliminary version of the logic of argumentation compliance was called the logic of abstract argumentation?(2005).]     

The Landscape of microRNAs in βCell: Between Phenotype Maintenance and Protection

Diabetes mellitus is a group of heterogeneous metabolic disorders characterized by chronic hyperglycaemia mainly due to pancreatic β cell death and/or dysfunction, caused by several types of stress such as glucotoxicity, lipotoxicity and inflammation. Different patho-physiological mechanisms driving β cell response to these stresses are tightly regulated by microRNAs (miRNAs), a class of negative regulators of gene expression, involved in pathogenic mechanisms occurring in diabetes and in its complications. In this review, we aim to shed light on the most important miRNAs regulating the maintenance and the robustness of β cell identity, as well as on those miRNAs involved in the pathogenesis of the two main forms of diabetes mellitus, i.e., type 1 and type 2 diabetes. Additionally, we acknowledge that the understanding of miRNAs-regulated molecular mechanisms is fundamental in order to develop specific and effective strategies based on miRNAs as therapeutic targets, employing innovative molecules.     

Refining Genotypes and Phenotypes in KCNA2-Related Neurological Disorders

Pathogenic variants in KCNA2, encoding for the voltage-gated potassium channel K_v1.2, have been identified as the cause for an evolving spectrum of neurological disorders. Affected individuals show early-onset developmental and epileptic encephalopathy, intellectual disability, and movement disorders resulting from cerebellar dysfunction. In addition, individuals with a milder course of epilepsy, complicated hereditary spastic paraplegia, and episodic ataxia have been reported. By analyzing phenotypic, functional, and genetic data from published reports and novel cases, we refine and further delineate phenotypic as well as functional subgroups of KCNA2-associated disorders. Carriers of variants, leading to complex and mixed channel dysfunction that are associated with a gain- and loss-of-potassium conductance, more often show early developmental abnormalities and an earlier onset of epilepsy compared to individuals with variants resulting in loss- or gain-of-function. We describe seven additional individuals harboring three known and the novel KCNA2 variants p.(Pro407Ala) and p.(Tyr417Cys). The location of variants reported here highlights the importance of the proline(405)–valine(406)–proline(407) (PVP) motif in transmembrane domain S6 as a mutational hotspot. A novel case of self-limited infantile seizures suggests a continuous clinical spectrum of KCNA2-related disorders. Our study provides further insights into the clinical spectrum, genotype–phenotype correlation, variability, and predicted functional impact of KCNA2 variants.     

SUL-151 Decreases Airway Neutrophilia as a Prophylactic and Therapeutic Treatment in Mice after Cigarette Smoke Exposure

Chronic obstructive pulmonary disease (COPD) caused by cigarette smoke (CS) is featured by oxidative stress and chronic inflammation. Due to the poor efficacy of standard glucocorticoid therapy, new treatments are required. Here, we investigated whether the novel compound SUL-151 with mitoprotective properties can be used as a prophylactic and therapeutic treatment in a murine CS-induced inflammation model. SUL-151 (4 mg/kg), budesonide (500 μg/kg), or vehicle were administered via oropharyngeal instillation in this prophylactic and therapeutic treatment setting. The number of immune cells was determined in the bronchoalveolar lavage fluid (BALF). Oxidative stress response, mitochondrial adenosine triphosphate (ATP) production, and mitophagy-related proteins were measured in lung homogenates. SUL-151 significantly decreased more than 70% and 50% of CS-induced neutrophils in BALF after prophylactic and therapeutic administration, while budesonide showed no significant reduction in neutrophils. Moreover, SUL-151 prevented the CS-induced decrease in ATP and mitochondrial mtDNA and an increase in putative protein kinase 1 expression in the lung homogenates. The concentration of SUL-151 was significantly correlated with malondialdehyde level and radical scavenging activity in the lungs. SUL-151 inhibited the increased pulmonary inflammation and mitochondrial dysfunction in this CS-induced inflammation model, which implied that SUL-151 might be a promising candidate for COPD treatment.     

Hepatic damage produced by long-term alcohol consumption in well-nourished rats

A study of the effect of long-term alcohol consumption on the liver of well-nourished rats is described. Rats fed for 16 weeks on a semipurified diet supplemented with high levels of vitamins and lipotropic factors and alcohol corresponding to 35% of the total caloric intake developed marked fatty changes of the liver. Mild fatty changes were observed in pair-fed controls receiving as isoenergetic equivalent of sucrose instead of alcohol. Intracellular hyaline bodies, corresponding ultrastructurally to giant mitochondria were abundantly found in the hepatocytes of alcoholic rats, while in the controls they were not seen. Te findings in this investigation are postulated to provide further evidence that the long-term intake of alcohol exerts a direct causative role in the pathogenesis of liver damage.     

Esterification of acrylic acid with methanol by reactive chromatography: Experiments and simulations

The esterification of acrylic acid with methanol using Amberlyst 15 as a stationary phase has been investigated using a chromatographic reactor. Several experimental runs at various operating conditions have been conducted on a batch column. A classical reactive chromatography model including lumped kinetics, a linear driving force transport model and a heterogeneous kinetic model for the catalytic reaction has been developed. The additional dispersion of concentration fronts due to density gradient effects has been accounted for in the model. The model parameters have been determined in a fast and reliable way by directly fitting the batch column experiments. In general, a good agreement between experimental and calculated results is obtained. The evaluation of the covariance of the fitted model parameters reveals important insights about the system behavior.Based on the detailed batch column model, a complete model of a simulated-moving-bed reactor has been implemented and its optimal point of operation for the synthesis of methyl acrylate from acrylic acid has been determined. Particularly when considering the low-operating temperature, we can regard this process as a possible competition for current technologies.     

Modification of oxidizing activity of Thiobacillus ferroxidans by some particulate solids

Different particulate solids such as glass powder, various types of activated carbon and bentonite suspended in Thiobacillus ferrooxidans cultures produce very different effects on the oxidizing activity of the microorganism. The atmospheric oxygen uptake by Thiobacillus ferrooxidans in Warburg respirometer flasks containing 9K medium with ferrous sulfate as energy source and suspended bentonite is 2.8 times that in the absence of solids. The dissolution rate of pure pyrite in 250 cm³ shake flasks containing 9K medium and bentonite is considerably enhanced over that where the only solid phase is pyrite. Conversely, the oxidizing ability of the microorganism seems to be inhibited by all the activated carbons tested. The effect of ground glass seems to be related to its particle size distribution. Implications for the bioleaching of sulfide ores and coal pyrite are discussed in the light of current knowledge on the adsorption of Thiobacillus ferrooxidans cells on solid surfaces.     

Electrochemical anticorrosion performance evaluation of Al2O3 coatings deposited by MOCVD on an industrial brass substrate

Alumina (Al₂O₃) coatings of different thickness were deposited on OT59 brass substrate (BS) using the metal organic chemical vapour deposition (MOCVD) technique to evaluate the corrosion performance by EIS measurements. The used precursor was dimethyl-aluminium-isopropoxide. Electrochemical characterizations of the deposited films were performed in a standard very aggressive acidic solution (aerated 1N H₂SO₄ at 25 °C up to 168 h of immersion time) by means of direct current method (Tafel curves) and electrochemical impedance spectroscopy (EIS). The Rutherford backscattering spectroscopy (RBS) indicated that the films are very pure with the correct Al₂O₃ stoichiometry, while the IR absorption spectra showed that the films did not contain any OH groups. The surface film morphology was investigated by atomic force microscopy (AFM) and displayed a globular texture. The films were very smooth, with a maximum root mean square roughness, for example, of 14 nm for a 0.96 μm thick coating. The EIS data confirmed, as expected, that a 2.40 μm Al₂O₃ layer ensures the best corrosion protection after 168 h of immersion in the very acidic environment used.     

Inductive Model Generation for Text Classification Using a Bipartite Heterogeneous Network

Algorithms for numeric data classification have been applied for text classification. Usually the vector space model is used to represent text collections. The characteristics of this representation such as sparsity and high dimensionality sometimes impair the quality of general-purpose classifiers. Networks can be used to represent text collections, avoiding the high sparsity and allowing to model relationships among different objects that compose a text collection. Such network- based representations can improve the quality of the classification results. One of the simplest ways to represent textual collections by a network is through a bipartite heterogeneous network, which is composed of objects that represent the documents connected to objects that represent the terms. Heterogeneous bipartite networks do not require computation of similarities or relations among the objects and can be used to model any type of text collection. Due to the advantages of representing text collections through bipartite heterogeneous networks, in this article we present a text classifier which builds a classification model using the structure of a bipartite heterogeneous network. Such an algorithm, referred to as IMBHN （Inductive Model Based on Bipartite Heterogeneous Network）, induces a classification model assigning weights to objects that represent the terms for each class of the text collection. An empirical evaluation using a large amount of text collections from different domains shows that the proposed IMBHN algorithm produces significantly better results than k-NN, C4.5, SVM, and Naive Bayes algorithms.     

A tartrate-based alloy bath for brass-plated steel wire production

The plating of brass on steel from a tartrate based alloy bath has been studied using electrochemical methods and surface analysis techniques. The coating composition obtained using both direct current (d.c.) and pulsed current (p.c.) electrolysis was examined for a variety of temperatures, current densities and bath compositions. The dissolution process of a suitable composition of brass anodes was studied using small amounts of nitrate as depolarizing agent. Tests in a pilot plant showed that when electrolysis is carried outin continuo the coating composition remains constant with time (±1%). Tests were performed at cathode current densities of industrial interest (20–30 A dm^–2). The Auger and XPS analyses combined with Ar⁺ etching indicated a homogeneous composition throughout the coating.