On Redundancy Elimination Tolerant Scheduling Rules

In (Ferrucci, Pacini and Sessa, 1995) an extended form of resolution, called Reduced SLD resolution (RSLD), is introduced. In essence, an RSLD derivation is an SLD derivation such that redundancy elimination from resolvents is performed after each rewriting step. It is intuitive that redundancy elimination may have positive effects on derivation process. However, undesiderable effects are also possible. In particular, as shown in this paper, program termination as well as completeness of loop checking mechanisms via a given selection rule may be lost. The study of such effects has led us to an analysis of selection rule basic concepts, so that we have found convenient to move the attention from rules of atom selection to rules of atom scheduling. A priority mechanism for atom scheduling is built, where a priority is assigned to each atom in a resolvent, and primary importance is given to the event of arrival of new atoms from the body of the applied clause at rewriting time. This new computational model proves able to address the study of redundancy elimination effects, giving at the same time interesting insights into general properties of selection rules. As a matter of fact, a class of scheduling rules, namely the specialisation independent ones, is defined in the paper by using not trivial semantic arguments. As a quite surprising result, specialisation independent scheduling rules turn out to coincide with a class of rules which have an immediate structural characterisation (named stack-queue rules). Then we prove that such scheduling rules are tolerant to redundancy elimination, in the sense that neither program termination nor completeness of equality loop check is lost passing from SLD to RSLD.Comment: 53 pages, to appear on TPL

Infectious agents in atherosclerotic cardiovascular diseases through oxidative stress

Accumulating evidence demonstrates that vascular oxidative stress is a critical feature of atherosclerotic process, potentially triggered by several infectious agents that are considered as risk co-factors for the atherosclerotic cardiovascular diseases (CVDs). C. pneumoniae has been shown to upregulate multiple enzymatic systems capable of producing reactive oxygen species (ROS) such as NADPH oxidase (NOX) and cyclooxygenase in vascular endothelial cells, NOX and cytochrome c oxidase in macrophages as well as nitric oxide synthase and lipoxygenase in platelets contributing to both early and late stages of atherosclerosis. P. gingivalis seems to be markedly involved in the atherosclerotic process as compared to A. actinomycetemcomitans contributing to LDL oxidation and foam cell formation. Particularly interesting is the evidence describing the NLRP3 inflammasome activation as a new molecular mechanism underlying P. gingivalis-induced oxidative stress and inflammation. Amongst viral agents, immunodeficiency virus-1 and hepatitis C virus seem to have a major role in promoting ROS production, contributing, hence, to the early stages of atherosclerosis including endothelial dysfunction and LDL oxidation. In conclusion, oxidative mechanisms activated by several infectious agents during the atherosclerotic process underlying CVDs are very complex and not well-known, remaining, thus, an attractive target for future research

Deep eutectic solvents: a structural point of view on the role of the cation

In this work we have developed an analytical procedure to identify metal ion coordination geometries in liquid media based on the calculation of Combined Distribution Functions (CDFs) starting from Molecular Dynamics (MD) simulations. CDFs provide a fingerprint which can be easily and unambiguously assigned to a reference polyhedron. The CDF analysis has been tested on five systems and has proven to reliably identify the correct geometries of several ion coordination complexes. This tool is simple and general and can be efficiently applied to different MD simulations of liquid systems

Attachment Styles and Communication of Displeasing Truths

This work explores how humans manage the communication of a displeasing and face-threatening truth and how the communicative strategies of the sender and the reaction of the receiver are influenced by their attachment style. Two experimental studies demonstrate that the attachment styles of both senders and receivers can influence the communicative styles of the sender, the emotions that both senders and receivers feel or attribute to their interlocutor, and the reactions of the receivers. In Study 1, couples of participants played a bogus computer game, ostensibly to test their abilities. Subsequently, “the spokesperson” was given the task to communicate to the “the receiver” a bogus low score of the other and a high score of oneself. Finally, all participants completed an adult Attachment Style Questionnaire (ASQ). A content analysis of the verbal messages of the spokespersons showed two main communication styles: frankness and mitigation. The results suggest that the spokespersons’ attachment style influences these communication styles. Using a similar procedure, Study 2 showed that spokespersons with a high avoidant attachment more frequently used frankness when communicating low scores to the receivers. Furthermore, the emotions and impressions reported by anxious and avoidant spokespersons and receivers, respectively, confirm the negative model of the self or the other, typical, respectively, in anxious and avoidant attachment. The detection of communicative strategies stemming from different attachment styles might be of use in user modeling and the planning of personalized systems

AIEgen orthopalladated hybrid polymers for efficient inactivation of the total coliforms in urban wastewater

Monitorable AIE polymers with a bioactive pattern are employed in advanced biomedical applications such as functional coatings, theranostic probes, and implants. After the global COVID-19 pandemic, interest in developing surfaces with superior antimicrobial, antiproliferative, and antiviral activities dramatically increased. Many formulations for biocide surfaces are based on hybrid organic/inorganic materials. Palladium (II) complexes display relevant activity against common bacteria, even higher when compared to their uncoordinated ligands. This article reports the design and synthesis of two series of orthopalladated polymers obtained by grafting a cyclopalladated fragment on two diferent O, N chelating Schif base polymers. Diferent grafting percentages were examined and compared for each organic polymer. The fuorescence emission in the solid state was explored on organic matrixes and grafted polymers. DFT analysis provided a rationale for the role of the coordination core. The antibacterial response of the two series of hybrid polymers was tested against the total coliform group of untreated urban wastewater, revealing excellent inactivation abilit

Assessing water reservoirs management and development in Northern Vietnam

Abstract. In many developing countries water is a key renewable resource to complement carbon-emitting energy production and support food security in the face of demand pressure from fast-growing industrial production and urbanization. To cope with undergoing changes, water resources development and management have to be reconsidered by enlarging their scope across sectors and adopting effective tools to analyze current and projected infrastructure potential and operation strategies. In this paper we use multi-objective deterministic and stochastic optimization to assess the current reservoir operation and planned capacity expansion in the Red River Basin (Northern Vietnam), and to evaluate the potential improvement by the adoption of a more sophisticated information system. To reach this goal we analyze the historical operation of the major controllable infrastructure in the basin, the HoaBinh reservoir on the Da River, explore re-operation options corresponding to different tradeoffs among the three main objectives (hydropower production, flood control and water supply), using multi-objective optimization techniques, namely Multi-Objective Genetic Algorithm. Finally, we assess the structural system potential and the need for capacity expansion by application of Deterministic Dynamic Programming. Results show that the current operation can only be relatively improved by advanced optimization techniques, while investment should be put into enlarging the system storage capacity and exploiting additional information to inform the operation

New insights into Chlamydiae persistence: an energy metabolism strategy?

Chlamydiaceae is a family of obligate intracellular bacteria generally considered energy parasites. Several studies have suggested that Chlamydiae are capable of independently producing energy and, more importantly, several genes involved in the energy metabolism are up-regulated during the persistent state. Thus, it has been suggested that chlamydial persistence could be a complex and flexible metabolic strategy designed to favor a lengthy survival in the host cell by evading the immune response. In conclusion, more detailed studies on the shift in the chlamydial energy metabolism, from the active to the persistent form, may be helpful in future to determine whether chlamydial persistence observed in vitro does occur in vivo and whether chronic sequelae of chlamydial diseases may be related to the persistence

Pharmacogenetics and Forensic Toxicology: A New Step towards a Multidisciplinary Approach

Pharmacogenetics analyzes the individual behavior of DNA genes after the administration of a drug. Pharmacogenetic research has been implemented in recent years thanks to the improvement in genome sequencing techniques and molecular genetics. In addition to medical purposes, pharmacogenetics can constitute an important tool for clarifying the interpretation of toxicological data in post-mortem examinations, sometimes crucial for determining the cause and modality of death. The purpose of this systematic literature review is not only to raise awareness among the forensic community concerning pharmacogenetics, but also to provide a workflow for forensic toxicologists to follow in cases of unknown causes of death related to drug use/abuse. The scientific community is called on to work hard in order to supply evidence in forensic practice, demonstrating that this investigation could become an essential tool both in civil and forensic contexts. The following keywords were used for the search engine: (pharmacogenetics) AND (forensic toxicology); (pharmacogenetics) AND (post-mortem); (pharmacogenetics) AND (forensic science); and (pharmacogenetics) AND (autopsy). A total of 125 articles were collected. Of these, 29 articles were included in this systematic review. A total of 75% of the included studies were original articles (n = 21) and 25% were case reports (n = 7). A total of 78% (n = 22) of the studies involved deceased people for whom a complete autopsy was performed, while 22% (n = 6) involved people in good health who were given a drug with a subsequent pharmacogenetic study. The most studied drugs were opioids (codeine, morphine, and methadone), followed by antidepressants (tricyclic antidepressants and venlafaxine). Furthermore, all studies highlighted the importance of a pharmacogenetics study in drug-related deaths, especially in cases of non-overdose of drugs of abuse. This study highlights the importance of forensic pharmacogenetics, a field of toxicology still not fully understood, which is of great help in cases of sudden death, deaths from overdose, deaths after the administration of a drug, and also in cases of complaint of medical malpractice

Localization of hepatocyte growth factor and Its receptor met in endocrine cells and related tumors of the gut and pancreas: an immunohistochemical study

Hepatocyte growth factor (HGF), a stimulator of angiogenesis and cell migration, regulates the growth of a wide variety of cells by binding to its high-affinity receptor met and is involved in the growth and aggressiveness of several tumors. In this study we investigated the expression of HGF and met in normal endocrine cells and related neoplasms of the gut and pancreas to verify their possible role in tumor pathogenesis, growth, and aggressiveness. Normal tissues and 60 different endocrine tumors were immunostained using specific antibodies directed against HGF, met, and various hormones. HGF immunoreactivity (IR) was found in antroduodenal G cells, rectal enterochromaffin (EC) cells, and pancreatic A and B cells, whereas met IR was detected in antral EC and C cells, and in pancreatic B cells; 46 of 60 tumors examined were positive for HGF, and they were mainly represented by ECL-, EC-, and L-cell neoplasms. met IR was identified in 50/60 tumors of various phenotypes. HGF and met coexpression was found in 42/60 cases, most of which were represented by EC-cell tumors. HGF/met coexpression was significantly more frequent in ileocolonic EC-cell tumors, which in the majority of cases were malignant, than in appendiceal EC-cell tumors, which were all benign. Our results demonstrated, for the first time, that HGF and met are specifically distributed in normal gut and pancreatic endocrine cells and, in addition, suggest that HGF and met may be implicated as autocrine/paracrine factors regulating the growth of gastroenteropancreatic endocrine tumors, mainly of ileocolonic EC-cell carcinoid