Search

Objetivo: Correlacionar la prueba de antígeno de histoplasma en orina con el recuento de linfocitos T CD4+, en pacientes adultos VIH positivo. Metodología: Estudio transversal, analítico, retrospectivo. Las características clínicas y demográficas se describieron a través de frecuencias y porcentajes. Se calculó la prueba Chi cuadrado con IC 95% para establecer la asociación entre el recuento de linfocitos T CD4+ y positividad de prueba de antígeno de histoplasma en orina. Resultados: La positividad de la prueba fue de 4.3% (21/490), 12 eran de reciente diagnóstico para VIH y 9 se encontraban en abandono de tratamiento antirretroviral; de los 21 pacientes positivos, 71.4% era de sexo masculino, 90.5% tuvo un recuento de Linfocitos T CD4+ menor a 100 cel/µL. El 42.9% presentó además, al menos una enfermedad definitoria de SIDA, siendo la más frecuente la neumonía por Pneumocistis Jiroveci. Conclusión: Es importante realizar la prueba del antígeno de histoplasma en orina a todos los pacientes de reciente diagnóstico de VIH y a pacientes que han retomado su seguimiento de VIH tras abandonar el tratamiento antirretroviral, que tengan un recuento de linfocitos T CD4+ menor a 100 cel/µL; e independientemente del recuento de estas células, en presencia de sospecha clínica.

One of the limitations of implementing animal breeding programs in small-scale or extensive production systems is the lack of production records and genealogical records. In this context, molecular markers could help to gain information for the breeding program. This study addresses the inclusion of molecular data into traditional genetic evaluation models as a random effect by molecular pedigree reconstruction and as a fixed effect by Bayesian clustering. The methods were tested for lactation curve traits in 14 dairy goat herds with incomplete phenotypic data and pedigree information. The results showed an increment of 37.3% of the relationships regarding the originals with MOLCOAN and clustering into five genetic groups. Data leads to estimating additive variance, error variance, and heritability with four different models, including pedigree and molecular information. Deviance Information Criterion (DIC) values demonstrate a greater fitting of the models that include molecular information either as fixed (genetic clusters) or as random (molecular matrix) effects. The molecular information of simple markers can complement genetic improvement strategies in populations with little information.

Background The impact of the COVID-19 vaccination campaign in the US has been hampered by a substantial geographical heterogeneity of the vaccination coverage. Several studies have proposed vaccination hesitancy as a key driver of the vaccination uptake disparities. However, the impact of other important structural determinants such as local disparities in healthcare capacity is virtually unknown. Methods In this cross-sectional study, we conducted causal inference and geospatial analyses to estimate the impact of healthcare capacity on the vaccination coverage disparity in the US. We evaluated the causal relationship between the healthcare system capacity of 2,417 US counties and their COVID-19 vaccination rate. We also conducted geospatial analyses using spatial scan statistics to identify areas with low vaccination rates. Findings We found a positive association between the healthcare capacity of a county and vaccination uptake. We estimated that a 1% increase in the Resource-Constrained Health System Index of a county increases by 0.37% the occurrence of that county in the set of counties classified as low-vaccinated (≤50% vaccination rate). We also found that COVID-19 vaccinations in the US exhibit a distinct spatial structure with defined vaccination coldspots. Interpretation We found that the healthcare capacity of a county is an important determinant of low vaccine uptake. Our study highlights that even in high-income nations, internal disparities in healthcare capacity play an important role in the health outcomes of the nation. Therefore, strengthening the funding and infrastructure of the healthcare system, particularly in rural underserved areas, should be intensified to help vulnerable communities.

Generalization, also called anti-unification, is the dual of unification. A generalizer of two terms t and $t^{\prime }$ is a term $t^{\prime \prime }$ of which t and $t^{\prime }$ are substitution instances. The dual of most general equational unifiers is that of least general equational generalizers, i.e., most specific anti-instances modulo equations. In a previous work, we extended the classical untyped generalization algorithm to: (1) an order-sorted typed setting with sorts, subsorts, and subtype polymorphism; (2) work modulo equational theories, where function symbols can obey any combination of associativity, commutativity, and identity axioms (including the empty set of such axioms); and (3) the combination of both, which results in a modular, order-sorted equational generalization algorithm. However, Cerna and Kutsia showed that our algorithm is generally incomplete for the case of identity axioms and a counterexample was given. Furthermore, they proved that, in theories with two identity elements or more, generalization with identity axioms is generally nullary, yet it is finitary for both the linear and one-unital fragments, i.e., either solutions with repeated variables are disregarded or the considered theories are restricted to having just one function symbol with an identity or unit element. In this work, we show how we can easily extend our original inference system to cope with the non-linear fragment and identify a more general class than one–unit theories where generalization with identity axioms is finitary.

In this paper, we develop an automated optimization framework for rewrite theories that supports sorts, subsort overloading, equations and algebraic axioms with free/non-free constructors, and rewrite rules modeling concurrent system transitions whose state structure is defined by means of the equations. The main idea of the framework is to make the system computations more efficient by partially evaluating the equations to the specific calls that are required by the transition rules. This can be particularly useful for automatically optimizing rewrite theories that contain overly general equational theories which perform unnecessary and costly computations involving pattern matching and/or unification modulo equations and axioms. The transformation is based on a suitable unfolding operator parameter that relies on the symbolic operational engine of Maude's equational theories, called folding variant narrowing, together with a generic abstraction operator. Depending on the properties of the rewrite theory, the unfolding and abstraction operators must be fine-tuned to achieve the biggest optimization possible while ensuring termination and total correctness of the transformation. We formalize two instances of our scheme for the case when the rewrite theory either has an infinite number of most general variants or a finite number of most general variants. Finally, we discuss some experimental results which demonstrate that the proposed optimization technique pays off in practice.

Equational unification and matching are fundamental mechanisms in many automated deduction applications. Supporting them efficiently for as wide as possible a class of equational theories, and in a typed manner supporting type hierarchies, benefits many applications; but this is both challenging and nontrivial. We present Maude 3.2’s efficient support of these features as well as of symbolic reachability analysis of infinite-state concurrent systems based on them.

This paper introduces Presto, a symbolic partial evaluator for Maude's rewriting logic theories that can improve system analysis and verification. In Presto, the automated optimization of a conditional rewrite theory R (whose rules define the concurrent transitions of a system) is achieved by partially evaluating, with respect to the rules of R, an underlying, companion equational logic theory E that specifies the algebraic structure of the system states of R. This can be particularly useful for specializing an overly general equational theory E whose operators may obey complex combinations of associativity, commutativity, and/or identity axioms, when being plugged into a host rewrite theory R as happens, for instance, in protocol analysis, where sophisticated equational theories for cryptography are used. Presto implements different unfolding operators that are based on folding variant narrowing (the symbolic engine of Maude's equational theories). When combined with an appropriate abstraction algorithm, they allow the specialization to be adapted to the theory termination behavior and bring significant improvement while ensuring strong correctness and termination of the specialization. We demonstrate the effectiveness of Presto in several examples of protocol analysis where it achieves a significant speed-up. Actually, the transformation provided by Presto may cut down an infinite folding variant narrowing space to a finite one, and moreover, some of the costly algebraic axioms and rule conditions may be eliminated as well. As far as we know, this is the first partial evaluator for Maude that respects the semantics of functional, logic, concurrent, and object-oriented computations. Under consideration in Theory and Practice of Logic Programming (TPLP)., Under consideration in Theory and Practice of Logic Programming (TPLP)

Objectives: Evidence regarding demand trends for erectile dysfunction (ED) treatments are scarce in South America. This study aims to evaluate trends in ED treatments in Chile over a 10-year period (2010- 2020) and estimate the potential number of candidates for penile prosthesis. Materials and methods: Sales trends of pharmacological treatments and penile prosthesis were obtained from market studies. The potential number of candidates for penile prosthesis implantation was calculated by crossing epidemiological data with previously reported ED prevalence, proportion of sexually active men, percentage of men seeking medical assistance for ED, and the proportion of patients who are non-responders to ED oral drug therapies Results: In the 10-year studied period, the Chilean male population older than 50 years increased 34.7%, with an average annual variation (AAV) of 3.4%. For the same period, the sales of oral drug therapies for ED increased by 71.3% (AAV 6.2%), the sales of intracavernosal vasoactive agents (ICVA) decreased by 0.4% (AAV -0.2%), and penile prosthesis sales increased by 113% (AAV 6.7%). We estimated that only 0.05% of sexually active men older than 50 years old with ED who sought medical assistance finally had a penile prosthesis implanted to manage their condition. Conclusions: Demand for ED oral drug therapies significantly increased in Chile during the last decade, while ICVA remained stable. The annual rate of penile prosthesis implantation increased. However, the gap between the potential penile prosthesis candidates and the actual number of devices implanted is suspected to remain extremely high.

Ruminants are the main source of methane emissions from the agricultural sector. Emission inventories and mitigation strategies require reliable technics of measurement. The respiration chamber methodology is a precise approach for measuring enteric methane emissions in cattle. A set of experiments was carried out to validate two respiration chambers for measuring enteric methane emissions of cattle. The chambers were calibrated considering three main components: the methane analyzer, the air duct and air extraction system, and the chamber itself, by evaluating linearity and response time of the analyzer, plateau variability and high purity methane recoveries in chambers. Recovery test calculations carried out after releasing high purity methane into the chambers gave calibration factors of 0.95 ± 0.05 and 1.03 ± 0.03 for the complete system of respirations chambers one and two, respectively, with corresponding uncertainties of 4.87 and 2.49%. Thus, the respiration chambers for enteric methane measurements of cattle at the University of Yucatan, Mexico function with precision and accuracy. This technique can be used to establish methane inventories and methane mitigation strategies in cattle.

[EN] We present a framework suited to the analysis of cryptographic protocols that make use of time in their execution. We provide a process algebra syntax that makes time information available to processes, and a transition semantics that takes account of fundamental properties of time. Additional properties can be added by the user if desirable. This timed protocol framework can be implemented either as a simulation tool or as a symbolic analysis tool in which time references are represented by logical variables, and in which the properties of time are implemented as constraints on those time logical variables. These constraints are carried along the symbolic execution of the protocol. The satisfiability of these constraints can be evaluated as the analysis proceeds, so attacks that violate the laws of physics can be rejected as impossible. We demonstrate the feasibility of our approach by using the Maude-NPA protocol analyzer together with an SMT solver that is used to evaluate the satisfiability of timing constraints. We provide a sound and complete protocol transformation from our timed process algebra to the Maude-NPA syntax and semantics, and we prove its soundness and completeness. We then use the tool to analyze Mafia fraud and distance hijacking attacks on a suite of distance-bounding protocols., This paper was partially supported by the EU (FEDER) and the Spanish MCIU under grant RTI2018-094403-B-C32, by the Spanish Generalitat Valenciana under grant PROMETEO/2019/098 and APOSTD/2019/127, by the US Air Force Office of Scientific Research under award number FA9550-17-1-0286, and by ONR Code 311.

[EN] Partial evaluation is a powerful and general program optimization technique with many successful applications. Existing PE schemes do not apply to expressive rule-based languages like Maude, CafeOBJ, OBJ, ASF+SDF, and ELAN, which support: 1) rich type structures with sorts, subsorts, and overloading; and 2) equational rewriting modulo various combinations of axioms such as associativity, commutativity, and identity. In this paper, we develop the new foundations needed and illustrate the key concepts by showing how they apply to partial evaluation of expressive programs written in Maude. Our partial evaluation scheme is based on an automatic unfolding algorithm that computes term variants and relies on high-performance order-sorted equational least general generalization and order-sorted equational homeomorphic embedding algorithms for ensuring termination. We show that our partial evaluation technique is sound and complete for convergent rewrite theories that may contain various combinations of associativity, commutativity, and/or identity axioms for different binary operators. We demonstrate the effectiveness of Maude's automatic partial evaluator, Victoria, on several examples where it shows significant speed-ups. (C) 2019 Elsevier Inc. All rights reserved., This work has been partially supported by the EU (FEDER) and the Spanish MCIU under grant RTI2018-094403-B-C32, by Generalitat Valenciana under grant PROMETEO/2019/098, and by NRL under contract number N00173-17-1-G002. Angel Cuenca-Ortega has been supported by the SENESCYT, Ecuador (scholarship program 2013).

This paper introduces GLINTS, a graphical tool for exploring variant narrowing computations in Maude. The most recent version of Maude, version 2.7.1, provides quite sophisticated unification features, including order-sorted equational unification for convergent theories modulo axioms such as associativity, commutativity, and identity (ACU). This novel equational unification relies on built-in generation of the set of 'variants' of a term $t$, i.e., the canonical form of $t \sigma$ for a computed substitution $\sigma$. Variant generation relies on a novel narrowing strategy called 'folding variant narrowing' that opens up new applications in formal reasoning, theorem proving, testing, protocol analysis, and model checking, especially when the theory satisfies the 'finite variant property', i.e., there is a finite number of most general variants for every term in the theory. However, variant narrowing computations can be extremely involved and are simply presented in text format by Maude, often being too heavy to be debugged or even understood. The GLINTS system provides support for (i) determining whether a given theory satisfies the finite variant property, (ii) thoroughly exploring variant narrowing computations, (iii) automatic checking of node 'embedding' and 'closedness' modulo axioms, and (iv) querying and inspecting selected parts of the variant trees. This paper is under consideration for acceptance in TPLP., Comment: Paper presented at the 33nd International Conference on Logic Programming (ICLP 2017), Melbourne, Australia, August 28 to September 1, 2017 15 pages, LaTeX, 7 PDF figures, 2 PNG figures

The prevalence of neuropsychiatric disorders in HIV infected individuals is around 50%. Despite this, these diseases are often underdiagnosed and undertreated. Direct effects of the virus, opportunistic infections, adverse effects of antiretroviral therapy and the sociocultural context of the infected persons, contribute to the development of HIV associated neurocognitive disorder (HAND) and major depressive disorder (MDD), both of which have an impact in quality of life and disease progression.To introduce physicians in the pathophysiology, clinical features and management of psychiatric disease in seropositive patients.Early detection and treatment of neuropsychiatric comorbidity in HIV infected individuals improve clinical outcomes, quality of life and is an important milestone in the control of the pandemic.

Estudio de caso (Maestría en Gestión de la Innovación Tecnológica) 1. Introducción 2. Problemática 3. Objetivo general 4. Objetivos específicos 5. Marco contextual 6. Marco teórico 7. Metodología 8. [Conclusiones].

The identification of cases that allow to identify if the relationship between international cooperation and tourism can be generator of good practices, in order to design a methodological tool to analyse and evaluate sustainable tourism planning processes in international development aid 2/2 programmes. A conceptual approach is made to the role of development, international cooperation and sustainable tourism, selecting different experiences that allow checking their current situation, in order to propose a methodological tool of indicators to evaluate the tourism sustainability within projects developed in communities with low level of development. International development aid programmes can encourage the promotion of tourism, but it must be borne in mind that, if all the interested parties are not involved, their management can have shortcomings, making the results of the project even more difficult, reaching negative impacts on the local community La identificación de casos que permitan conocer sí la relación que existe entre la cooperación internacional y turismo pueden llegar a ser generadores de buenas prácticas para poder diseñar una herramienta metodológica que permita analizar y evaluar los procesos de planificación sostenible del turismo en los programas de ayuda para el desarrollo. Se hace una aproximación conceptual al papel de desarrollo, cooperación internacional y turismo sostenible, seleccionando diferentes experiencias que permitan comprobar su situación actual, para plantear una propuesta metodológica de indicadores de sostenibilidad para evaluar la sostenibilidad turística de los proyectos en comunidades con bajo nivel de desarrollo. Los programas de ayuda al desarrollo pueden fomentar el impulso del turismo, pero se ha de tener en cuenta que, si no se involucra a todas las partes interesadas, su gestión puede llegar a tener falencias, dificultado el éxito de los resultados del proyecto, incluso llegando a producir impactos negativos en la comunidad local

The Homeomorphic Embedding relation has been amply used for defining termination criteria of symbolic methods for program analysis, transformation, and verification. However, homeomorphic embedding has never been investigated in the context of order-sorted rewrite theories that support symbolic execution methods modulo equational axioms. This paper generalizes the symbolic homeomorphic embedding relation to order–sorted rewrite theories that may contain various combinations of associativity and/or commutativity axioms for different binary operators. We systematically measure the performance of increasingly efficient formulations of the homeomorphic embedding relation modulo associativity and commutativity axioms. From our experimental results, we conclude that our most efficient version indeed pays off in practice.

Xenarthrans -anteaters, sloths, and armadillos- have essential functions for ecosystem maintenance, such as insect control and nutrient cycling, playing key roles as ecosystem engineers. Because of habitat loss and fragmentation, hunting pressure, and conflicts with domestic dogs, these species have been threatened locally, regionally, or even across their full distribution ranges. The Neotropics harbor 21 species of armadillos, 10 anteaters, and 6 sloths. Our data set includes the families Chlamyphoridae (13), Dasypodidae (7), Myrmecophagidae (3), Bradypodidae (4), and Megalonychidae (2). We have no occurrence data on Dasypus pilosus (Dasypodidae). Regarding Cyclopedidae, until recently, only one species was recognized, but new genetic studies have revealed that the group is represented by seven species. In this data paper, we compiled a total of 42,528 records of 31 species, represented by occurrence and quantitative data, totaling 24,847 unique georeferenced records. The geographic range is from the southern United States, Mexico, and Caribbean countries at the northern portion of the Neotropics, to the austral distribution in Argentina, Paraguay, Chile, and Uruguay. Regarding anteaters, Myrmecophaga tridactyla has the most records (n = 5,941), and Cyclopes sp. Have the fewest (n = 240). The armadillo species with the most data is Dasypus novemcinctus (n = 11,588), and the fewest data are recorded for Calyptophractus retusus (n = 33). With regard to sloth species, Bradypus variegatus has the most records (n = 962), and Bradypus pygmaeus has the fewest (n = 12). Our main objective with Neotropical Xenarthrans is to make occurrence and quantitative data available to facilitate more ecological research, particularly if we integrate the xenarthran data with other data sets of Neotropical Series that will become. Fil: Marques Santos, Paloma. Universidade Federal de Minas Gerais. Instituto de Ciências Biológicas; Brasil Fil: Bocchiglieri, Adriana. Universidade Federal de Sergipe; Brasil Fil: Garcia Chiarello, Adriano. Universidade de Sao Paulo; Brasil Fil: Pereira Paglia, Adriano. Universidade Federal de Minas Gerais. Instituto de Ciências Biológicas; Brasil Fil: Moreira, Adryelle. Amplo Engenharia e Gestão de Projetos ; Brasil Fil: Abba, Agustin Manuel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - La Plata. Centro de Estudios Parasitológicos y de Vectores. Universidad Nacional de La Plata. Facultad de Ciencias Naturales y Museo. Centro de Estudios Parasitológicos y de Vectores; Argentina Fil: Paviolo, Agustin Javier. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Nordeste. Instituto de Biología Subtropical. Universidad Nacional de Misiones. Instituto de Biología Subtropical; Argentina Fil: Gatica, Ailin. Universidad Nacional de San Luis; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - San Luis. Instituto Multidisciplinario de Investigaciones Biológicas de San Luis. Universidad Nacional de San Luis. Facultad de Ciencias Físico Matemáticas y Naturales. Instituto Multidisciplinario de Investigaciones Biológicas de San Luis; Argentina Fil: Ochoa, Ana Cecilia. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - San Luis. Instituto Multidisciplinario de Investigaciones Biológicas de San Luis. Universidad Nacional de San Luis. Facultad de Ciencias Físico Matemáticas y Naturales. Instituto Multidisciplinario de Investigaciones Biológicas de San Luis; Argentina Fil: de Angelo, Carlos Daniel. Universidad Nacional de Rio Cuarto. Facultad de Cs.exactas Fisicoquimicas y Naturales. Instituto de Ciencias de la Tierra, Biodiversidad y Ambiente. - Consejo Nacional de Investigaciones Cientificas y Tecnicas. Centro Cientifico Tecnologico Conicet - Cordoba. Instituto de Ciencias de la Tierra, Biodiversidad y Ambiente.; Argentina Fil: Tellaeche, Cintia Gisele. Universidad Nacional de Jujuy. Facultad de Ciencias Agrarias. Centro de Estudios Ambientales Territoriales y Sociales; Argentina. Universidad Nacional de Jujuy. Instituto de Ecorregiones Andinas. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Salta. Instituto de Ecorregiones Andinas; Argentina Fil: Varela, Diego Martin. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Nordeste. Instituto de Biología Subtropical. Instituto de Biología Subtropical - Nodo Puerto Iguazú | Universidad Nacional de Misiones. Instituto de Biología Subtropical. Instituto de Biología Subtropical - Nodo Puerto Iguazú; Argentina Fil: Vanderhoeven, Ezequiel Andres. Ministerio de Salud. Instituto Nacional de Medicina Tropical; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina Fil: Caruso, María Flavia. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Administración de Parques Nacionales. Delegación Regional del Noroeste; Argentina Fil: Arrabal, Juan Pablo. Secretaria de Gobierno de Salud. Instituto Nacional de Medicina Tropical - Sede Puerto Iguazú Misiones; Argentina. Centro de Investigaciones del Bosque Atlántico; Argentina Fil: Iezzi, María Eugenia. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Nordeste. Instituto de Biología Subtropical. Instituto de Biología Subtropical - Nodo Puerto Iguazú | Universidad Nacional de Misiones. Instituto de Biología Subtropical. Instituto de Biología Subtropical - Nodo Puerto Iguazú; Argentina Fil: Di Bitetti, Mario Santiago. Centro de Investigaciones del Bosque Atlántico; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Nordeste. Instituto de Biología Subtropical. Instituto de Biología Subtropical - Nodo Puerto Iguazú | Universidad Nacional de Misiones. Instituto de Biología Subtropical. Instituto de Biología Subtropical - Nodo Puerto Iguazú; Argentina Fil: Cruz, Paula Andrea. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Nordeste. Instituto de Biología Subtropical. Instituto de Biología Subtropical - Nodo Puerto Iguazú | Universidad Nacional de Misiones. Instituto de Biología Subtropical. Instituto de Biología Subtropical - Nodo Puerto Iguazú; Argentina. Centro de Investigaciones del Bosque Atlántico; Argentina Fil: Reppucci, Juan Ignacio. Administración de Parques Nacionales. Delegación Regional del Noroeste; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina Fil: Benito Santamaria, Silvia. Centro de Investigaciones del Bosque Atlántico; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Nordeste. Instituto de Biología Subtropical. Instituto de Biología Subtropical - Nodo Puerto Iguazú | Universidad Nacional de Misiones. Instituto de Biología Subtropical. Instituto de Biología Subtropical - Nodo Puerto Iguazú; Argentina Fil: Quiroga, Verónica Andrea. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba. Instituto de Diversidad y Ecología Animal. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas Físicas y Naturales. Instituto de Diversidad y Ecología Animal; Argentina Fil: Di Blanco, Yamil Edgardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Nordeste. Instituto de Biología Subtropical. Instituto de Biología Subtropical - Nodo Puerto Iguazú | Universidad Nacional de Misiones. Instituto de Biología Subtropical. Instituto de Biología Subtropical - Nodo Puerto Iguazú; Argentina Fil: Marás, Gustavo Arnaldo. Administración de Parques Nacionales. Delegación Regional del Noroeste; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina Fil: Camino, Micaela. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Nordeste. Centro de Ecología Aplicada del Litoral. Universidad Nacional del Nordeste. Centro de Ecología Aplicada del Litoral; Argentina Fil: Perovic, Pablo Gastón. Administración de Parques Nacionales. Delegación Regional del Noroeste; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina Fil: Martínez Pardo, Julia. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Nordeste. Instituto de Biología Subtropical. Instituto de Biología Subtropical - Nodo Puerto Iguazú | Universidad Nacional de Misiones. Instituto de Biología Subtropical. Instituto de Biología Subtropical - Nodo Puerto Iguazú; Argentina Fil: Costa, Sebastián Andrés. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Nordeste. Instituto de Biología Subtropical. Instituto de Biología Subtropical - Nodo Puerto Iguazú | Universidad Nacional de Misiones. Instituto de Biología Subtropical. Instituto de Biología Subtropical - Nodo Puerto Iguazú; Argentina Fil: Pinheiro, Fabiana. Universidade Federal do Rio Grande do Sul; Brasil Fil: Volkmer de Castilho, Pedro. Universidade Federal de Santa Catarina; Brasil Fil: Bercê, William. Universidade Estadual Paulista Julio de Mesquita Filho; Brasil Fil: Camara Assis, Julia. Universidade Estadual Paulista Julio de Mesquita Filho. Faculdade de Engenharia.; Brasil Fil: Rodrigues Tonetti, Vinicius. Universidade Estadual Paulista Julio de Mesquita Filho; Brasil Fil: Alves Eigenheer, Milene. Universidade Estadual Paulista Julio de Mesquita Filho; Brasil Fil: Chinem, Simonne. Universidade de Sao Paulo; Brasil Fil: Honda, Laura K.. Universidade Estadual Paulista Julio de Mesquita Filho; Brasil Fil: Bergallo, Helena de Godoy. Universidade do Estado de Rio do Janeiro; Brasil Fil: Alberici, Vinicius. Universidade de Sao Paulo; Brasil Fil: Wallace, Robert. Wildlife Conservation Society; Estados Unidos Fil: Ribeiro, Milton Cezar. Universidade de Sao Paulo; Brasil Fil: Galetti, Mauro. Universidade Estadual Paulista Julio de Mesquita Filho; Brasil