48 research outputs found
IASCAR: Incremental Answer Set Counting by Anytime Refinement
Answer set programming (ASP) is a popular declarative programming paradigm
with various applications. Programs can easily have many answer sets that
cannot be enumerated in practice, but counting still allows quantifying
solution spaces. If one counts under assumptions on literals, one obtains a
tool to comprehend parts of the solution space, so-called answer set
navigation. However, navigating through parts of the solution space requires
counting many times, which is expensive in theory. Knowledge compilation
compiles instances into representations on which counting works in polynomial
time. However, these techniques exist only for CNF formulas, and compiling ASP
programs into CNF formulas can introduce an exponential overhead. This paper
introduces a technique to iteratively count answer sets under assumptions on
knowledge compilations of CNFs that encode supported models. Our anytime
technique uses the inclusion-exclusion principle to improve bounds by over- and
undercounting systematically. In a preliminary empirical analysis, we
demonstrate promising results. After compiling the input (offline phase), our
approach quickly (re)counts.Comment: Under consideration in Theory and Practice of Logic Programming
(TPLP
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
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í
Evaluation of titanium implants with surface modification by laser beam: biomechanical study in rabbit tibias
Método automático de clasificación de color en dientes humanos usando aprendizaje de máquina
Trabajo de InvestigaciónActualmente el proceso de identificación del color de los dientes para la fabricación de prótesis dentales es realizado manualmente por un experto que, utilizando un método de identificación visual, determina el color de las piezas dentales en la boca del paciente, usando guías de color como la VITA®. A pesar de que el método visual es el más utilizado para la identificación del color de dientes, este se ve afectado por distintas variables tales como: el cansancio del experto, la luminosidad en el ambiente, salud visual del especialista, entre otras que influyen en la identificación del color en los dientes. Los errores en la clasificación del color de los dientes pueden generar pérdidas de tiempo lo que implicaría en consecuencia sobrecostos que afectarían directamente al fabricante y la satisfacción final del cliente.1. Planteamiento del problema
2. Pregunta de investigación
3. Objetivos
4. Estado del arte
5. Marco de referencia
6. Alcances y limitaciones
7. Metodología
8. Diseño metodológico
9. Discusión y resultados
10. Conclusiones
11. Trabajos futuros
12. Bibliografía
13. ANEXOSPregradoIngeniero de Sistema