Behavioral suites mediate group-level foraging dynamics in communities of tropical stingless bees

Competition for floral resources is a key force shaping pollinator communities, particularly among social bees. The ability of social bees to recruit nestmates for group foraging is hypothesized to be a major factor in their ability to dominate rich resources such as mass-flowering trees. We tested the role of group foraging in attaining dominance by stingless bees, eusocial tropical pollinators that exhibit high diversity in foraging strategies. We provide the first experimental evidence that meliponine group foraging strategies, large colony sizes and aggressive behavior form a suite of traits that enable colonies to improve dominance of rich resources. Using a diverse assemblage of Brazilian stingless bee species and an array of artificial ""flowers"" that provided a sucrose reward, we compared species` dominance and visitation under unrestricted foraging conditions and with experimental removal of group-foraging species. Dominance does not vary with individual body size, but rather with foraging group size. Species that recruit larger numbers of nestmates (Scaptotrigona aff. depilis, Trigona hyalinata, Trigona spinipes) dominated both numerically (high local abundance) and behaviorally (controlling feeders). Removal of group-foraging species increased feeding opportunities for solitary foragers (Frieseomelitta varia, Melipona quadrifasciata and Nannotrigona testaceicornis). Trigona hyalinata always dominated under unrestricted conditions. When this species was removed, T. spinipes or S. aff. depilis controlled feeders and limited visitation by solitary-foraging species. Because bee foraging patterns determine plant pollination success, understanding the forces that shape these patterns is crucial to ensuring pollination of both crops and natural areas in the face of current pollinator declines.

Checking Completeness of Tests for Finite State Machines

In testing from a Finite State Machine (FSM), the generation of test suites which guarantee full fault detection, known as complete test suites, has been a long-standing research topic. In this paper, we present conditions that are sufficient for a test suite to be complete. We demonstrate that the existing conditions are special cases of the proposed ones. An algorithm that checks whether a given test suite is complete is given. The experimental results show that the algorithm can be used for relatively large FSMs and test suites.

Fault Coverage-Driven Incremental Test Generation

In this paper, we consider a classical problem of complete test generation for deterministic finite-state machines (FSMs) in a more general setting. The first generalization is that the number of states in implementation FSMs can even be smaller than that of the specification FSM. Previous work deals only with the case when the implementation FSMs are allowed to have the same number of states as the specification FSM. This generalization provides more options to the test designer: when traditional methods trigger a test explosion for large specification machines, tests with a lower, but yet guaranteed, fault coverage can still be generated. The second generalization is that tests can be generated starting with a user-defined test suite, by incrementally extending it until the desired fault coverage is achieved. Solving the generalized test derivation problem, we formulate sufficient conditions for test suite completeness weaker than the existing ones and use them to elaborate an algorithm that can be used both for extending user-defined test suites to achieve the desired fault coverage and for test generation. We present the experimental results that indicate that the proposed algorithm allows obtaining a trade-off between the length and fault coverage of test suites.

A transformational language for mutant description

Mutation testing has been used to assess the quality of test case suites by analyzing the ability in distinguishing the artifact under testing from a set of alternative artifacts, the so-called mutants. The mutants are generated from the artifact under testing by applying a set of mutant operators, which produce artifacts with simple syntactical differences. The mutant operators are usually based on typical errors that occur during the software development and can be related to a fault model. In this paper, we propose a language-named MuDeL (MUtant DEfinition Language)-for the definition of mutant operators, aiming not only at automating the mutant generation, but also at providing precision and formality to the operator definition. The proposed language is based on concepts from transformational and logical programming paradigms, as well as from context-free grammar theory. Denotational semantics formal framework is employed to define the semantics of the MuDeL language. We also describe a system-named mudelgen-developed to support the use of this language. An executable representation of the denotational semantics of the language is used to check the correctness of the implementation of mudelgen. At the very end, a mutant generator module is produced, which can be incorporated into a specific mutant tool/environment. (C) 2008 Elsevier Ltd. All rights reserved.

A review of the tectonic evolution of the Sunsas belt, SW Amazonian Craton

The Sunsas-Aguapei province (1.20-0.95 Ga), SW Amazonian Craton, is a key area to study the heterogeneous effects of collisional events with Laurentia, which shows evidence of the Grenvillian and Sunsas orogens. The Sunsas orogen, characterized by an allochthonous collisional-type belt (1.11-1.00 Ga), is the youngest and southwestern most of the events recorded along the cratonic fringe. Its evolution occurred after a period of long quiescence and erosion of the already cratonized provinces (>1.30 Ga), that led to sedimentation of the Sunsas and Vibosi groups in a passive margin setting. The passive margin stage was roughly contemporary with intraplate tectonics that produced the Nova Brasilandia proto-oceanic basin (<1.21 Ga), the reactivation of the Ji-Parana shear zone network (1.18-1.12 Ga) and a system of aborted rifts that evolved to the Huanchaca-Aguapei basin (1.17-1.15 Ga). The Sunsas belt is comprised by the metamorphosed Sunsas and Vibosi sequences, the Rincon del Tigre mafic-ultramafic sill and granitic intrusive suites. The latter rocks yield epsilon(Nd(t)) signatures (-0.5 to -4.5) and geochemistry (S,1, A-types) suggesting their origin associated with a continental arc setting. The Sunsas belt evolution is marked by ""tectonic fronts"" with sinistral offsets that was active from c. 1.08 to 1.05 Ga, along the southern edge of the Paragua microcontinent where K/Ar ages (1.27-1.34 Ga) and the Huanchaca-Aguapei flat-lying cover attest to the earliest tectonic stability at the time of the orogen. The Sunsas dynamics is coeval with inboard crustal shortening, transpression and magmatism in the Nova Brasilandia belt (1.13-1.00 Ga). Conversely, the Aguapei aulacogen (0.96-0.91 Ga) and nearby shear zones (0.93-0.91 Ga) are the late tectonic offshoots over the cratonic margin. The post-tectonic to anorogenic stages took place after ca. 1.00 Ga, evidenced by the occurrences of intra-plate A-type granites, pegmatites, mafic dikes and sills, as well as of graben basins. Integrated interpretation of the available data related to the Sunsas orogen supports the idea that the main nucleus of Rodinia incorporated the terrains forming the SW corner of Amazonia and most of the Grenvillian margin, as a result of two independent collisional events, as indicated in the Amazon region by the Ji-Parana shear zone event and the Sunsas belt, respectively. (C) 2009 Elsevier Ltd. All rights reserved.

Cordierite-bearing lavas from Jaguarao, southern Brazil: Petrological evidence for crustal melts during early rifting of Gondwana

The Jaguarao stratoid dacites (Rio Grande do Sul, Brazil) are limited in areal extent, are comprised of about 3.2 km(3) of preserved erupted material, and outcrop only in areas of the region underlain by mylonitic and ultramylonitic rocks. They are S-type volcanic rocks containing cordierite, orthopyroxene, plagioclase, and ilmenite as liquidus phases, and partially melted granite, gneiss, and migmatite enclaves that are very similar to the Precambrian basement rocks. The Jaguarao lavas have distinct geochemical signatures and Sr-Nd isotopes with respect to other volcanic rocks of the region. Available geochronological data for Jaguarao dacites range between 157 +/- 5 Ma and 139.6 +/- 7.4 Ma. Considering the errors, the younger ages obtained for Jaguarao lavas overlap the 138-128 Ma age of rocks of the Serra Geral Group, and thus indicate that the dacites were erupted prior to the break-up of Gondwana in this region. Petrographic, mineralogical, and petrochemical data, as well as the tectonic context of the Jaguarao lavas, suggest that magma genesis was linked, at least in part, to friction melts. The dacitic magma was generated by partial melting reactions involving biotite breakdown in a dominantly quartz-feldspathic source terrane, leaving a granulite facies residue in subsurface. These melts were probably generated as a consequence of crustal thinning linked to simple shear extension just prior to Gondwana break-up and rifting of the southern Atlantic Ocean. (C) 2009 International Association for Gondwana Research. Published by Elsevier B.V. All rights reserved.