Improved Answer-Set Programming Encodings for Abstract Argumentation

The design of efficient solutions for abstract argumentation problems is a crucial step towards advanced argumentation systems. One of the most prominent approaches in the literature is to use Answer-Set Programming (ASP) for this endeavor. In this paper, we present new encodings for three prominent argumentation semantics using the concept of conditional literals in disjunctions as provided by the ASP-system clingo. Our new encodings are not only more succinct than previous versions, but also outperform them on standard benchmarks.Comment: To appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 201

Construction of two whole genome radiation hybrid panels for dromedary (Camelus dromedarius): 5000RAD and 15000RAD

The availability of genomic resources including linkage information for camelids has been very limited. Here, we describe the construction of a set of two radiation hybrid (RH) panels (5000RAD and 15000RAD) for the dromedary (Camelus dromedarius) as a permanent genetic resource for camel genome researchers worldwide. For the 5000RAD panel, a total of 245 female camel-hamster radiation hybrid clones were collected, of which 186 were screened with 44 custom designed marker loci distributed throughout camel genome. The overall mean retention frequency (RF) of the final set of 93 hybrids was 47.7%. For the 15000RAD panel, 238 male dromedary-hamster radiation hybrid clones were collected, of which 93 were tested using 44 PCR markers. The final set of 90 clones had a mean RF of 39.9%. This 15000RAD panel is an important high-resolution complement to the main 5000RAD panel and an indispensable tool for resolving complex genomic regions. This valuable genetic resource of dromedary RH panels is expected to be instrumental for constructing a high resolution camel genome map. Construction of the set of RH panels is essential step toward chromosome level reference quality genome assembly that is critical for advancing camelid genomics and the development of custom genomic tools

Increased hemolysis rate in plasma tubes after implementation of a fully automated sample delivery and acceptance system

Objectives: Automated sample delivery and laboratory acceptance systems (PTAS) may influence the hemolysis rate of blood samples due to g-forces, abrupt acceleration, and rapid deceleration. However, quantitative data regarding the rate of hemolysis in PTAS is limited. To fill this void, the effect of a pneumatic tube in combination with an acceptance system (PTAS) on the hemolysis rate was investigated in this study. Methods: Lithium heparin plasma tubes were transported from different clinical departments to the hospital’s laboratory (a) by employees or (b) with an automated PTAS and analyzed for the presence of hemolysis based on a hemolysis index (HI) of >25. Hemolysis indices of 68.513 samples were retrieved from the laboratory information system before and after installation of the PTAS and were subjected to statistical analysis. Results: A total of 32.614 samples were transported by employees, of which 3.815 samples (11.70%) were hemolytic, and 9.441 out of 35.899 samples delivered by PTAS (26.30%) were hemolytic. After the implementation of the PTAS, hemolysis rates increased in all departments. Conclusions: Automated PTAS are associated with increased hemolysis rates. This has implications for routine patient management and should be considered for the transportation of samples used for the determination of hemolysis-sensitive laboratory parameters

Foundations of implementations for formal argumentation

We survey the current state of the art of general techniques, as well as specific software systems for solving tasks in abstract argumentation frameworks, structured argumentation frameworks, and approaches for visualizing and analysing argumentation. Furthermore, we discuss challenges and promising techniques such as parallel processing and approximation approaches. Finally, we address the issue of evaluating software systems empirically with links to the International Competition on Computational Models of Argumentation

Does oral sodium bicarbonate therapy improve function and quality of life in older patients with chronic kidney disease and low-grade acidosis (the BiCARB trial)? Study protocol for a randomized controlled trial

Date of acceptance: 01/07/2015 © 2015 Witham et al. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited. The Creative Commons Public Domain Dedication waiver (http://creativecommons.org/publicdomain/zero/1.0/) applies to the data made available in this article, unless otherwise stated. Acknowledgements UK NIHR HTA grant 10/71/01. We acknowledge the financial support of NHS Research Scotland in conducting this trial.Peer reviewedPublisher PD

ABAplus: Attack Reversal in Abstract and Structured Argumentation with Preferences

We present ABAplus, a system that implements reasoning with the argumentation formalism ABA+. ABA+ is a structured argumentation formalism that extends Assumption-Based Argumentation (ABA) with preferences and accounts for preferences via attack reversal. ABA+ also admits as instance Preference-based Argumentation which accounts for preferences by reversing attacks in abstract argumentation (AA). ABAplus readily implements attack reversal in both AA and ABAstyle structured argumentation. ABAplus affords computation, visualisation and comparison of extensions under five argumentation semantics. It is available both as a stand-alone system and as a web application

Variation in the intermittent buzzing songs of male medflies (diptera: tephritidae) associated with geography, mass-rearing, and courtship success

Varios aspectos de los patrones temporales de los sonidos del zumbido intermitente producido durante el cortejo pre-copulatório de los machos de la mosca del Mediterráneo variaron entre moscas silvestres de Costa Rica, Argentina y Hawaii, y entre moscas de sepas de cría masiva de Costa Rica, Argentina, Mexico y Hawaii. No se presentaron diferencias consistentes cuando se compararon las sepas de cría masiva en Costa Rica, Argentina y Hawaii con moscas silvestres de los sitios de origen. Los sonidos producidos durante cortejos que terminaron en cópulas no difieron de los sonidos producidos durante cortejos que llevaron a montas que fracasaron en moscas de Costa Rica y Argentina. Pero en sepas de todos los sitios los zumbidos intermitentes que incluyeron pequeñas pausas tuvieron una mayor probabilidad de no terminar en un intento de monta. Los zumbidos intermitentes de las moscas de las crias masivas tuvieron una tendencia leve a interumpirse mas frecuentemente.Many aspects of the temporal pattern of sounds produced during the intermittent buzzing displays of pre-copulatory courtship by male medflies varied between wild flies from Costa Rica, Argentina, and Hawaii, and between mass-reared flies from Costa Rica, Argentina, Mexico, and Hawaii. There were no consistent differences when mass-reared strains were compared with the wild strains from the area where they originated in Costa Rica, Argentina and Hawaii. Buzzing sounds produced prior to successful mounting attempts did not differ consistently from those preceding unsuccessful mounts in flies from Costa Rica and Argentina. In strains from all sites, however, courtships in which buzzes were interrupted were more likely not to result in mounting of the female. There was a weak tendency for interruptions to be more common in mass-reared strains.Universidad de Costa Rica. Universidad de Buenos Aires. El Colegio de la Frontera Sur, Tapachula, Chiapas, Mexico. USDA-ARS.UCR::Vicerrectoría de Docencia::Ciencias Básicas::Facultad de Ciencias::Escuela de Biologí

Mutation of pescadillo Disrupts Oligodendrocyte Formation in Zebrafish

Background: In vertebrates, the myelin sheath is essential for efficient propagation of action potentials along the axon shaft. Oligodendrocytes are the cells of the central nervous system that create myelin sheaths. During embryogenesis, ventral neural tube precursors give rise to oligodendrocyte progenitor cells, which divide and migrate throughout the central nervous system. This study aimed to investigate mechanisms that regulate oligodendrocyte progenitor cell formation. Methodology/Principal Findings: By conducting a mutagenesis screen in transgenic zebrafish, we identified a mutation, designated vu166, by an apparent reduction in the number of oligodendrocyte progenitor cells in the dorsal spinal cord. We subsequently determined that vu166 is an allele of pescadillo, a gene known to play a role in ribosome biogenesis and cell proliferation. We found that pescadillo function is required for both the proper number of oligodendrocyte progenitors to form, by regulating cell cycle progression, and for normal levels of myelin gene expression. Conclusions/Significance: Our data provide evidence that neural precursors require pes function to progress through th

Sinus lifting before Le Fort I maxillary osteotomy: a suitable method for oral rehabilitation of edentulous patients with skelettal class-III conditions: review of the literature and report of a case

BACKGROUND: Functional rehabilitation of patients afflicted with severe mandibular and maxillary alveolar atrophy might be challenging especially in malformed patients. METHODS: Treatment planning using sinus lifting and implant placement before Le Fort I maxillary osteotomy in a patient with severe mandibular and posterior maxillary alveolar atrophy and skelettal class-III conditions due to cleft palate are described. RESULTS: A full functional and esthetic rehabilitation of the patient was achieved by a stepwise surgical approach performed through sinus lifting as the primary approach followed by implant placement and subsequent Le Fort I maxillary osteotomy to correct the maxillo-mandibular relation. CONCLUSION: Stabilisation of the maxillary complex by a sinus lifting procedure in combination with computer aided implant placement as preorthodontic planning procedure before Le Fort I maxillary osteotomy seems to be suitable in order to allow ideal oral rehabilitation especially in malformed patients