Characterizing rings in terms of the extent of injectivity and projectivity of their modules

Given a ring R, we define its right i-profile (resp. right p-profile) to be the collection of injectivity domains (resp. projectivity domains) of its right R-modules. We study the lattice theoretic properties of these profiles and consider ways in which properties of the profiles may determine the structure of rings and viceversa. We show that the i-profile is isomorphic to an interval of the lattice of linear filters of right ideals of R, and is therefore modular and coatomic. In particular, we give a practical characterization of the i-profile of a right artinian ring. We show through an example that the p-profile is not necessarily a set, and also characterize the right p-profile of a right perfect ring. The study of rings in terms of their (i- or p-)profile was inspired by the study of rings with no (i- or p-) middle class, initiated in recent papers by Er, L\'opez-Permouth and S\"okmez, and by Holston, L\'opez-Permouth and Orhan-Ertas. In this paper, we obtain further results about these rings and we also use our results to provide a characterization of a special class of QF-rings in which the injectivity and projectivity domains of any module coincide.Comment: 19 pages, examples and propositions added. Title change

Covers of acts over monoids II

In 1981 Edgar Enochs conjectured that every module has a flat cover and finally proved this in 2001. Since then a great deal of effort has been spent on studying different types of covers, for example injective and torsion free covers. In 2008, Mahmoudi and Renshaw initiated the study of flat covers of acts over monoids but their definition of cover was slightly different from that of Enochs. Recently, Bailey and Renshaw produced some preliminary results on the `other' type of cover and it is this work that is extended in this paper. We consider free, divisible, torsion free and injective covers and demonstrate that in some cases the results are quite different from the module case

Almost clean rings and arithmetical rings

It is shown that a commutative B\'ezout ring $R$ with compact minimal prime spectrum is an elementary divisor ring if and only if so is $R/L$ for each minimal prime ideal $L$. This result is obtained by using the quotient space $\mathrm{pSpec} R$ of the prime spectrum of the ring $R$ modulo the equivalence generated by the inclusion. When every prime ideal contains only one minimal prime, for instance if $R$ is arithmetical, $\mathrm{pSpec} R$ is Hausdorff and there is a bijection between this quotient space and the minimal prime spectrum $\mathrm{Min} R$, which is a homeomorphism if and only if $\mathrm{Min} R$ is compact. If $x$ is a closed point of $\mathrm{pSpec} R$, there is a pure ideal $A(x)$ such that $x=V(A(x))$. If $R$ is almost clean, i.e. each element is the sum of a regular element with an idempotent, it is shown that $\mathrm{pSpec} R$ is totally disconnected and, $\forall x\in\mathrm{pSpec} R$, $R/A(x)$ is almost clean; the converse holds if every principal ideal is finitely presented. Some questions posed by Facchini and Faith at the second International Fez Conference on Commutative Ring Theory in 1995, are also investigated. If $R$ is a commutative ring for which the ring $Q(R/A)$ of quotients of $R/A$ is an IF-ring for each proper ideal $A$, it is proved that $R_P$ is a strongly discrete valuation ring for each maximal ideal $P$ and $R/A$ is semicoherent for each proper ideal $A$

Dynamic modelling of nitrous oxide emissions from three Swedish sludge liquor treatment systems

The objective of this paper is to model the dynamics and validate the results of nitrous oxide (N2O) emissions from three Swedish nitrifying/denitrifying, nitritation and anammox systems treating real anaerobic digester sludge liquor. The Activated Sludge Model No. 1 is extended to describe N2O production by both heterotrophic and autotrophic denitrification. In addition, mass transfer equations are implemented to characterize the dynamics of N2O in the water and the gas phases. The biochemical model is simulated and validated for two hydraulic patterns: (1) a sequencing batch reactor; and (2) a moving-bed biofilm reactor. Results show that the calibrated model is partly capable of reproducing the behaviour of N2O as well as the nitritation/nitrification/denitrification dynamics. However, the results emphasize that additional work is required before N2O emissions from sludge liquor treatment plants can be generally predicted with high certainty by simulations. Continued efforts should focus on determining the switching conditions for different N2O formation pathways and, if full-scale data are used, more detailed modelling of the measurement devices might improve the conclusions that can be drawn.</jats:p

Implicit transactional memory in chip multiprocessors

Chip Multiprocessors (CMPs) are an efficient way of designing and use the huge amount of transistors on a chip. Different cores on a chip can compose a shared memory system with a very low-latency interconnect at a very low cost. Unfortunately, consistency models and synchronization styles of popular programming models for multiprocessors impose severe performance losses. Known architectural approaches to combat these losses are too complex, too specialized, or not transparent to the software. In this article, we introduce “implicit transactional memory” as a generalized architectural concept to remove such performance losses. We show how the concept of implicit transactions can be implemented at a low complexity by leveraging the multi-checkpoint mechanism of the Kilo-Instruction Processor. By relying on a general speculation substrate, it supports even the strictest consistency model – sequential consistency – potentially as effectively as weaker models and it allows multiple threads to speculatively execute critical sections, beyond barriers and event synchronizations.Postprint (published version

Solving multiprocessor drawbacks with kilo-instruction processors

Nowadays, a good multiprocessor system design has to deal with many drawbacks in order to achieve a good tradeoff between complexity and performance. For example, while solving problems like coherence and consistency is essential for correctness the way to solve processor stalls due to critical sections and synchronization points is desirable for performance. And none of these drawbacks has a straightforward solution. We show in our paper how the multi-checkpointing mechanism of the Kilo-Instruction Processors can be correctly leveraged in order to achieve a good complexity-effective multiprocessor design. Specifically, we describe a Kilo-Instruction Multiprocessor that transparently, i.e. without any software support, uses transaction-based memory updates. Our model simplifies the coherence and consistency hardware and gives the potential for easily applying different desirable speculative mechanisms to enhance performance when facing some synchronization constructs of current parallel applications.Postprint (published version

Implicit transactional memory in kilo-instruction multiprocessors

Although they have been the main server technology for many years, multiprocessors are undergoing a renaissance due to multi-core chips and the attractive scalability properties of combining a number of such multi-core chips into a system. The widespread use of multiprocessor systems will make performance losses due to consistency models and synchronization styles of popular programming models even more evident than they already are. Known architectural approaches to combat these losses are generally too complex, too specialized, or not transparent to software. In this article, we introduce implicit transactional memory as a generalized architectural concept to remove unnecessary performance losses caused by consistency models and synchronization styles. We show how the concept of implicit transactions can be implemented with low complexity by leveraging the multi-checkpoint mechanism of the Kilo-Instruction Processor. By relying on a general speculation substrate, this method supports even the strictest consistency model – sequential consistency – potentially as effectively as weaker models and it allows multiple threads to speculatively execute critical sections, beyond barriers and event synchronizations.Postprint (published version

Direct association between diet and the stability of human atherosclerotic plaque

This work is licensed under a Creative Commons Attribution 4.0 International License. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in the credit line; if the material is not included under the Creative Commons license, users will need to obtain permission from the license holder to reproduce the material. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.Mediterranean diet has been suggested to explain why coronary heart disease mortality is lower in southern than northern Europe. Dietary habits can be revealed by isotope ratio mass spectrometry (IRMS) measurement of carbon (δ(13)C) and nitrogen (δ(15)N) in biological tissues. To study if diet is associated with human plaque stability, atherosclerotic plaques from carotid endarterectomy on 56 patients (21 Portuguese and 35 Swedish) were analysed by IRMS and histology. Plaque components affecting rupture risk were measured. Swedish plaques had more apoptosis, lipids and larger cores, as well as fewer proliferating cells and SMC than the Portuguese, conferring the Swedish a more rupture-prone phenotype. Portuguese plaques contained higher δ(13)C and δ(15)N than the Swedish, indicating that Portuguese plaques were more often derived from marine food. Plaque δ(13)C correlated with SMC and proliferating cells, and inversely with lipids, core size, apoptosis. Plaque δ(15)N correlated with SMC and inversely with lipids, core size and apoptosis. This is the first observational study showing that diet is reflected in plaque components associated with its vulnerability. The Portuguese plaques composition is consistent with an increased marine food intake and those plaques are more stable than those from Swedish patients. Marine-derived food is associated with plaque stability.info:eu-repo/semantics/publishedVersio

Meaning and Dialogue Coherence: A Proof-theoretic Investigation

This paper presents a novel proof-theoretic account of dialogue coherence. It focuses on an abstract class of cooperative information-oriented dialogues and describes how their structure can be accounted for in terms of a multi-agent hybrid inference system that combines natural deduction with information transfer and observation. We show how certain dialogue structures arise out of the interplay between the inferential roles of logical connectives (i.e., sentence semantics), a rule for transferring information between agents, and a rule for information flow between agents and their environment. The order of explanation is opposite in direction to that adopted in game-theoretic semantics, where sentence semantics (or a notion of valid inference) is derived from winning dialogue strategies. That approach and the current one may, however, be reconcilable, since we focus on cooperative dialogue, whereas the game-theoretic tradition concentrates on adversarial dialogue