University of Los Andes

About: University of Los Andes is a education organization based out in Bogotá, Colombia. It is known for research contribution in the topics: Population & Large Hadron Collider. The organization has 17616 authors who have published 25555 publications receiving 413463 citations.

Continuous, Evolutionary and Large-Scale: A New Perspective for Automated Mobile App Testing

Abstract: Mobile app development involves a unique set of challenges including device fragmentation and rapidly evolving platforms, making testing a difficult task. The design space for a comprehensive mobile testing strategy includes features, inputs, potential contextual app states, and large combinations of devices and underlying platforms. Therefore, automated testing is an essential activity of the development process. However, current state of the art of automated testing tools for mobile apps posses limitations that has driven a preference for manual testing in practice. As of today, there is no comprehensive automated solution for mobile testing that overcomes fundamental issues such as automated oracles, history awareness in test cases, or automated evolution of test cases.In this perspective paper we survey the current state of the art in terms of the frameworks, tools, and services available to developers to aid in mobile testing, highlighting present shortcomings. Next, we provide commentary on current key challenges that restrict the possibility of a comprehensive, effective, and practical automated testing solution. Finally, we offer our vision of a comprehensive mobile app testing framework, complete with research agenda, that is succinctly summarized along three principles: Continuous, Evolutionary and Large-scale (CEL).

Sex-Linked Hybrid Sterility in a Butterfly

Abstract: Recent studies, primarily in Drosophila, have greatly advanced our understanding of Haldane's rule, the tendency for hybrid sterility or inviability to affect primarily the heterogametic sex (Haldane 1922). Although dominance theory (Turelli and Orr 1995) has been proposed as a general explanation of Haldane's rule, this remains to be tested in female-heterogametic taxa, such as the Lepidoptera. Here we describe a novel example of Haldane's rule in Heliconius melpomene (Lepidoptera; Nymphalidae). Female F1 offspring are sterile when a male from French Guiana is crossed to a female from Panama, but fertile in the reciprocal cross. Male F1s are fertile in both directions. Similar female F1 sterility occurs in crosses between French Guiana and eastern Colombian populations. Backcrosses and linkage analysis show that sterility results from an interaction between gene(s) on the Z chromosome of the Guiana race with autosomal factors in the Panama genome. Large X (or Z) effects are commonly observed in Drosophila, but to our knowledge have not been previously demonstrated for hybrid sterility in Lepidoptera. Differences in the abundance of male versus female or Z-linked versus autosomal sterility factors cannot be ruled out in our crosses as causes of Haldane's rule. Nonetheless, the demonstration that recessive Z-linked loci cause hybrid sterility in a female heterogametic species supports the contention that dominance theory provides a general explanation of Haldane's rule (Turelli and Orr 2000).

Search for the Standard Model Higgs Boson in the Decay Channel H→ZZ→4l in pp Collisions at √s=7 TeV

Abstract: A search for a Higgs boson in the four-lepton decay channel H→ZZ, with each Z boson decaying to an electron or muon pair, is reported. The search covers Higgs boson mass hypotheses in the range of 110 100 GeV (with 13 below 160 GeV), while 67.1±6.0 (9.5±1.3) events are expected from background. The four-lepton mass distribution is consistent with the expectation of standard model background production of ZZ pairs. Upper limits at 95% confidence level exclude the standard model Higgs boson in the ranges of 134–158 GeV, 180–305 GeV, and 340–465 GeV. Small excesses of events are observed around masses of 119, 126, and 320 GeV, making the observed limits weaker than expected in the absence of a signal.

Criteria for effective zero-deforestation commitments

Abstract: Zero-deforestation commitments are a type of voluntary sustainability initiative that companies adopt to signal their intention to reduce or eliminate deforestation associated with commodities that they produce, trade, and/or sell. Because each company defines its own zero-deforestation commitment goals and implementation mechanisms, commitment content varies widely. This creates challenges for the assessment of commitment implementation or effectiveness. Here, we develop criteria to assess the potential effectiveness of zero-deforestation commitments at reducing deforestation within a company supply chain, regionally, and globally. We apply these criteria to evaluate 52 zero-deforestation commitments made by companies identified by Forest 500 as having high deforestation risk. While our assessment indicates that existing commitments converge with several criteria for effectiveness, they fall short in a few key ways. First, they cover just a small share of the global market for deforestation-risk commodities, which means that their global impact is likely to be small. Second, biome-wide implementation is only achieved in the Brazilian Amazon. Outside this region, implementation occurs mainly through certification programs, which are not adopted by all producers and lack third-party near-real time deforestation monitoring. Additionally, around half of all commitments include zero-net deforestation targets and future implementation deadlines, both of which are design elements that may reduce effectiveness. Zero-net targets allow promises of future reforestation to compensate for current forest loss, while future implementation deadlines allow for preemptive clearing. To increase the likelihood that commitments will lead to reduced deforestation across all scales, more companies should adopt zero-gross deforestation targets with immediate implementation deadlines and clear sanction-based implementation mechanisms in biomes with high risk of forest to commodity conversion.