42 research outputs found
Contrasting predation services of predator and omnivore diversity mediated by invasive ants in a tropical agroecosystem
Invasive natural enemies are known to either strengthen or weaken the suppression of herbivorous arthropods. However, the impact of invasive species on the predation service provided by natural enemy diversity remains largely unexplored. Here, we tease apart the roles of invasive ants as providers of a predation service and a potential disservice, i.e. reducing the diversity of natural enemies. In mango orchards on Reunion Island, we evaluated the predation service in 20 open fields by simultaneously monitoring the predation on bait eggs and arthropod communities in two strata: the ground surface and the mango tree canopy. Our results show that the predation on bait eggs was limited to the ground surface. This stratum is dominated by three invasive omnivorous ants: Pheidole megacephala and Solenopsis geminata strongly increased the predation rate of bait eggs, whereas Brachymyrmex cordemoyi was responsible for only a small decrease in predation rate. Predation rate was positively related to predator species richness, and was negatively related to omnivore species richness. The negative relationship between the predation rate and omnivore species richness is caused by the most dominant invasive ant, P. megacephala, which reduces omnivore richness and seems to strongly prey on eggs. This study demonstrates, for the first time, the distinct influence of the diversity of two trophic groups on the predation service and how these effects can be mediated by invasive ant species. (Résumé d'auteur
Symmetry in temporal logic model checking
Temporal logic model checking involves checking the state-space of a model of a system to determine whether errors can occur in the system. Often this involves checking symmetrically equivalent areas of the state-space. The use of symmetry reduction to increase the efficiency of model checking has inspired a wealth of activity in the area of model checking research. We provide a survey of the associated literature
Replication and Abstraction: Symmetry in Automated Formal Verification.
This article surveys fundamental and applied aspects of symmetry in system models, and of symmetry reduction methods used to counter state explosion in model checking, an automated formal verification technique. While covering the research field broadly, we particularly emphasize recent progress in applying the technique to realistic systems, including tools that promise to elevate the scope of symmetry reduction to large-scale program verification. The article targets researchers and engineers interested in formal verification of concurrent systems
Mireille aux Arènes d’Arles
Transcript of MIREILLE AUX ARÈNES D'ARLES by Gustave Derepas, appearing in LA VIE PROVENÇALE, juillet 1899, pp. 197–198
Controle genetique de la transmission de plastes d'origine paternelle chez Petunia hybrida Hort
SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 78629 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
L’art à l’école primaire
Derepas G. L’art à l’école primaire. In: La revue pédagogique, tome 21, Juillet-Décembre 1892. pp. 1-10
L’art à l’école primaire
Derepas G. L’art à l’école primaire. In: La revue pédagogique, tome 21, Juillet-Décembre 1892. pp. 1-10
Inheritance of the capacity to transfer plastids by the pollen parent in Petunia hybrida hort
International audienc