Acanthagrion marinae sp. Nov. (zygoptera: Coenagrionidae): A new species of the apicale group

Acanthagrion marinae sp. nov. (Holotype male: BRASIL, Mato Grosso do Sul, Campo Grande, UFMS, 20°29’56.26’’S-54°36’48.43’’W, 547m, leg. M.E. Rodrigues, 03.ii.2015, collection code: VZYG437, MLP) is described and illustrated on the basis of 15 males. The new species belongs to the apicale species group by having horns on S10 and sclerotized hooks on tip of distal segment of the genital ligula. It can be easily distinguished from other species of the group by a combination of characters of the genital ligulae (presence of setae on segment two; absence of setae at flexure; distal lateral lobes of segment three absent). Notes on habitat and a modification of previous keys for the species of the apicale group are provided.Fil: Lozano, Federico. Universidad Nacional de Avellaneda. Departamento de Ciencias Ambientales; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Rodrigues, Marciel E. Universidade Estadual de Santa Cruz; Brasi

A Cyclic Distributed Garbage Collector for Network Objects

This paper presents an algorithm for distributed garbage collection and outlines its implementation within the Network Objects system. The algorithm is based on a reference listing scheme, which is augmented by partial tracing in order to collect distributed garbage cycles. Processes may be dynamically organised into groups, according to appropriate heuristics, to reclaim distributed garbage cycles. The algorithm places no overhead on local collectors and suspends local mutators only briefly. Partial tracing of the distributed graph involves only objects thought to be part of a garbage cycle: no collaboration with other processes is required. The algorithm offers considerable flexibility, allowing expediency and fault-tolerance to be traded against completeness

Impact of misalignments on the analysis of B decays

This note investigates the effects of a misaligned tracking system on the analysis of B decays. Misalignment effects of both the vertex locator and the inner and outer T-stations have been studied. $z$-scaling effects of the vertex locator are also considered. It is proven that misalignments of the order of the detector single-hit resolutions have little or negligible effects on the quality of the reconstruction and of the analysis of B decays. The studies were performed with a sample of $B^0_{(s)} \to h^+h^{'-}$ decays, but the impact of misalignments on the performance of the pattern recognition algorithms and on the primary vertex resolutions, assessed for the first time, are rather general and not restricted to $B^0_{(s)} \to h^+h^{'-}$ decays

Generalized Teleparallel Theory

We construct a theory in which the gravitational interaction is described only by torsion, but that generalizes the Teleparallel Theory still keeping the invariance of local Lorentz transformations in one particular case. We show that our theory falls, to a certain limit of a real parameter, in the $f(\bar{R})$ Gravity or, to another limit of the same real parameter, in a modified $f(T)$ Gravity, interpolating between these two theories and still can fall on several other theories. We explicitly show the equivalence with $f(\bar{R})$ Gravity for cases of Friedmann-Lemaitre-Robertson-Walker flat metric for diagonal tetrads, and a metric with spherical symmetry for diagonal and non-diagonal tetrads. We do still four applications, one in the reconstruction of the de Sitter universe cosmological model, for obtaining a static spherically symmetric solution type-de Sitter for a perfect fluid, for evolution of the state parameter $\omega_{DE}$ and for the thermodynamics to the apparent horizon.Comment: 15 pages. arXiv admin note: text overlap with arXiv:1503.07427, arXiv:1503.0785

On formal aspects of the epistemic approach to paraconsistency

This paper reviews the central points and presents some recent developments of the epistemic approach to paraconsistency in terms of the preservation of evidence. Two formal systems are surveyed, the basic logic of evidence (BLE) and the logic of evidence and truth (LET J ), designed to deal, respectively, with evidence and with evidence and truth. While BLE is equivalent to Nelson’s logic N4, it has been conceived for a different purpose. Adequate valuation semantics that provide decidability are given for both BLE and LET J . The meanings of the connectives of BLE and LET J , from the point of view of preservation of evidence, is explained with the aid of an inferential semantics. A formalization of the notion of evidence for BLE as proposed by M. Fitting is also reviewed here. As a novel result, the paper shows that LET J is semantically characterized through the so-called Fidel structures. Some opportunities for further research are also discussed