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

Thermodynamical, geometrical and Poincar\'e methods for charged black holes in presence of quintessence

Properties pertaining to thermodynamical local stability of Reissner-Nordstr\"om black holes surrounded by quintessence as well as adiabatic invariance, adiabatic charging and a generalized Smarr formula are discussed. Limits for the entropy, temperature and electric potential ensuring stability of canonical ensembles are determined by the classical thermodynamical and Poincar\'e methods. By the latter approach we show that microcanonical ensembles (isolated black holes) are stable. Two geometrical approaches lead to determine the same states corresponding to second order phase transitions.Comment: 25 pages, 11 figures. To appear in JHE

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

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

Applications of GridProbe technology for traffic monitoring on high-capacity backbone networks, data-link layer simulation approach

This paper covers the on-going research on MASTSproject. The project objectives are to set-up and exploit a trafficmonitoring system for the UKLIGHT international high capacityexperimental network. The proposed system will record data flowand topological information at a range of time scales (fromfractions of a second to years). It will make this informationavailable to the community as a web service and managementinterfaces. In this paper the focus is on development of simulationplatforms that enable testing the analysis algorithms and Webservices output