Relational Concurrent Refinement II: Internal Operations and Outputs

Two styles of description arise naturally in formal specification: state-based and behavioural. In state-based notations, a system is characterised by a collection of variables, and their values determine which actions may occur throughout a system history. Behavioural specifications describe the chronologies of actions -- interactions between a system and its environment. The exact nature of such interactions is captured in a variety of semantic models with corresponding notions of refinement; refinement in state based systems is based on the semantics of sequential programs and is modelled relationally. Acknowledging that these viewpoints are complementary, substantial research has gone into combining the paradigms. The purpose of this paper is to do three things. First, we survey recent results linking the relational model of refinement to the process algebraic models. Specifically, we detail how variations in the relational framework lead to relational data refinement being in correspondence with traces-divergences, singleton failures and failures-divergences refinement in a process semantics. Second, we generalise these results by providing a general flexible scheme for incorporating the two main ''erroneous'' concurrent behaviours: deadlock and divergence, into relational refinement. This is shown to subsume previous characterisations. In doing this we derive relational refinement rules for specifications containing both internal operations and outputs that corresponds to failures-divergences refinement. Third, the theory has been formally specified and verified using the interactive theorem prover KIV

Enhanced antiviral function of magnesium chloride-modified Heparin on a broad spectrum of viruses

Previous studies reported on the broad-spectrum antiviral function of heparin. Here we investigated the antiviral function of magnesium-modified heparin and found that modified heparin displayed a significantly enhanced antiviral function against human adenovirus (HAdV) in immortalized and primary cells. Nuclear magnetic resonance analyses revealed a conformational change of heparin when complexed with magnesium. To broadly explore this discovery, we tested the antiviral function of modified heparin against herpes simplex virus type 1 (HSV-1) and found that the replication of HSV-1 was even further decreased compared to aciclovir. Moreover, we investigated the antiviral effect against the new severe acute respiratory syndrome coronavirus type 2 (SARS-CoV-2) and measured a 55-fold decreased viral load in the supernatant of infected cells associated with a 38-fold decrease in virus growth. The advantage of our modified heparin is an increased antiviral effect compared to regular heparin

Enhanced Antiviral Function of Magnesium Chloride-Modified Heparin on a Broad Spectrum of Viruses

Previous studies reported on the broad-spectrum antiviral function of heparin. Here we investigated the antiviral function of magnesium-modified heparin and found that modified heparin displayed a significantly enhanced antiviral function against human adenovirus (HAdV) in immortalized and primary cells. Nuclear magnetic resonance analyses revealed a conformational change of heparin when complexed with magnesium. To broadly explore this discovery, we tested the antiviral function of modified heparin against herpes simplex virus type 1 (HSV-1) and found that the replication of HSV-1 was even further decreased compared to aciclovir. Moreover, we investigated the antiviral effect against the new severe acute respiratory syndrome coronavirus type 2 (SARS-CoV-2) and measured a 55-fold decreased viral load in the supernatant of infected cells associated with a 38-fold decrease in virus growth. The advantage of our modified heparin is an increased antiviral effect compared to regular heparin

Factors influencing citrus fruit scarring caused by Pezothrips kellyanus

[EN] Kelly s citrus thrips (KCT) Pezothrips kellyanus (Bagnall) (Thysanoptera: Thripidae) is a recently recorded cosmopolitan citrus pest, causing fruit scarring that results in downgrading of fruit. Due to the detrimental effects caused on fruits by KCT, we wanted to study some of the factors influencing fruit scarring. Specifically, the objectives were: (1) to determine the fruit development stage when citrus fruits are damaged by KCT and the population structure of KCT during this period, (2) to study the influence of temperature on intensity of damage, and finally, (3) to identify alternative host plants. KCT populations on flowers and fruitlets and alternate plant hosts were sampled in four citrus orchards from 2008 to 2010. The percentage of damaged fruits was also recorded. The exotic vine Araujia sericifera (Apocynaceae) was recorded as a new host for KCT. Thrips scarring started to increase at 350 650 degree-days (DD) above 10.2 C, coinciding with a peak abundance of the second instar larval stages over all 3 years of the study. The maximum percentage of larval stages of KCT was observed in the 3 years at about 500 DD, a period which corresponds to the end of May or early June. Variation in the severity of fruit scarring appeared to be related to air temperature. Temperature likely affects the synchronisation between the peak in abundance of KCT larvae, and the period when fruitlets are susceptible to thrips damage. Temperature can also influence the survival and development of KCT populations in citrus and other host plants in the citrus agro-ecosystem.The authors thank Alejandro Tena for his valuable suggestions and two anonymous referees for their careful review and helpful comments. We also extend our thanks to the owners of the commercial orchards for giving us permission to use their citrus orchards. The first author was awarded an FPI fellowship from the Polytechnic University of Valencia to obtain her PhD degree.Navarro Campos, C.; Pekas, A.; Aguilar Martí, MA.; Garcia Marí, F. (2013). Factors influencing citrus fruit scarring caused by Pezothrips kellyanus. Journal of Pest Science. (86):459-467. doi:10.1007/s10340-013-0489-7S45946786Baker GJ (2006) Kelly citrus thrips management. Fact sheet. Government of South Australia, primary industries and resources SA. http://www.sardi.sa.gov.au/__data/assets/pdf_file/0010/44875/kctfact_sheet.pdf . Accessed 16 July 2012Baker GJ, Jackman DJ, Keller M, MacGregor A, Purvis S (2002) Development of an integrated pest management system for thrips in Citrus. HAL Final Report CT97007. http://www.sardi.sa.gov.au/pestsdiseases/horticulture/horticultural_pests/kelly_citrus_thrips/research_report_1997-2000 . Accessed 16 July 2012Bedford ECG (1998) Thrips, wind and other blemishes. Citrus pests in the Republic of South Africa. In: Bedford ECG, van den Berg MA, de Villiers EA (eds) ARC-Institute for tropical and subtropical crops, Nelspruit, South Africa, pp 170–183Blank RH, Gill GSC (1997) Thrips (Thysanoptera: Terebrantia) on flowers and fruit of citrus in New Zealand. N Z J Crop Hortic Sci 25:319–332Chellemi D, Funderburk F, Hall D (1994) Seasonal abundance of flower-inhabiting Frankliniella species (Thysanoptera: Thripidae) on wild plant species. Environ Entomol 23:337–342Conti F, Tuminelli R, Amico C, Fisicaro R, Frittitta C, Perrotta G, Marullo R (2001) Monitoring Pezothrips kellyanus on citrus in eastern Sicily, Thrips and tospoviruses. In: Proceedings of the 7th international symposium on Thysanoptera, Reggio Calabria, 1–8 July 2001, Italy, pp 207–210Costa L, Mateus C, zurStrassen R, Franco JC (2006) Thrips (Thysanoptera) associated to lemon orchards in the Oeste region of Portugal. IOBC/WPRS Bull 29:285–291European Plant Protection Organisation Reporting Service [EPPO] (2006) Pezothrips kellyanus. http://www.eppo.org/QUARANTINE/Pest_Risk_Analysis/PRAdocs_insects/06-12760%20DS%20PEZTKE.doc. Accessed 18 June 2012European Plant ProtectionOrganisation Reporting Service [EPPO] (2005) Scirtothrips aurantii, Scirtothrips citri, Scirtothrips dorsalis. EPPO Bull 35:353–356Franco JC, Garcia-Marí F, Ramos AP, Besri M (2006) Survey on the situation of citrus pest management in Mediterranean countries. IOBC/WPRS Bull 29:335–346Froud KJ, Stevens PS, Steven D (2001) Survey of alternative host plants for Kelly’s citrus thrips (Pezothrips kellyanus) in citrus growing regions. N Z Plant Prot 54:15–20Gomez-Clemente F (1952) Un tisanóptero causante de daños en las naranjas de algunas zonas de Levante. Boletín de Patología Vegetal y Entomología Agrícola 19:135–146Grout TG, Morse JG, O’Connell NV, Flaherty DL, Goodell PB, Freeman MW, Coviello RL (1986) Citrus thrips (Thysanoptera: Thripidae) phenology and sampling in the San Joaquin Valley. J Econ Entomol 79:1516–1523Horton J (1918) The citrus thrips. US Dep Agric Bull 616:1–42Kirk WDJ (1987) A key to the larvae of some common Australian flower thrips (Insecta: Thysanoptera), with a host-plant survey. Aust J Zool 35:173–185Lacasa A, Llorens JM, Sánchez JA (1996) Un Scirtothrips (Thysanoptera: Thripidae) causa daños en los cítricos en España. Bol San Veg Plagas 22:79–95Lewis HC (1935) Factors influencing citrus thrips damage. J Econ Entomol 28:1011–1015Lewis T (1997) Distribution, abundance and population dynamics. In: Lewis T (ed) Thrips as crop pests. CAB International, Wallingford, pp 217–258Lovatt C, Streeter S, Minter T, O’connell N, Flaherty D, Freeman M, Goodell P (1984) Phenology of flowering in Citrus sinensis (L.) Osbeck, cv. Washington navel orange. Proc Int Soc Citric 1:186–190Marullo R (1998) Pezothrips kellyanus, un nuovo tripide parassita delle colture meridionali. Informatore Fitopatologico 48:72–75Milne JR, Milne M, Walter GH (1997) A key to larval thrips (Thysanoptera) from Granite Belt stonefruit trees and a first description of Pseudanaphothrips achaetus (Bagnall) larvae. Aust J Entomol 36:319–326Mound LA, Jackman DJ (1998) Thrips in the economy and ecology of Australia, In: Zalucki MP, RAI Drew RAI, White GG (eds) Pest Management: future challenges, Proceedings of the sixth Australian applied entomological research conference, University of Queensland, St. Lucia, pp 472–478Mound LA, Marullo R (1996) The thrips of Central and South America (Insecta: Thysanoptera): an introduction. Mem Entomol Int 6:1–487Mound LA, Walker AK (1982) Terebrantia (Insecta: Thysanoptera). Fauna N Z 1:1–113Navarro-Campos C, Marzal C, Aguilar A, GarciaMarí F (2010) Presencia del microlepidóptero Anatrachyntisbadia en cítricos: descripción, comportamiento y daños al fruto. Levante Agrícola 402:270–276Navarro-Campos C, Aguilar A, Garcia-Marí F (2011) Population trend and fruit damage of Pezothrips kellyanus in citrus orchards in Valencia (Spain). IOBC/WPRS Bull 62: 285–292Navarro-Campos C, Aguilar A, Garcia-Marí F (2012) Aggregation pattern, sampling plan and intervention threshold for Pezothrips kellyanus in citrus groves. Entomol Exp Appl 142:130–139Northfield TD, Paini DR, Funderburk JE, Reitz SR (2008) Annual cycles of Frankliniella spp. (Thysanoptera: Thripidae) thrips abundance on North Florida uncultivated reproductive hosts: predicting possible sources of pest outbreaks. Ann Entomol Soc Am 101:769–778Orphanides G (1997) Thrips on citrus. Annual Review for 1997. Agricultural Research Institute, Nicosia, CyprusPerrotta G, Conti F (2008) A threshold hypothesis for an integrated control of thrips infestation on citrus in South-Eastern Sicily. IOBC/WPRS Bull 38:204–209Reitz S, Yu-lin G, Zhong-ren L (2011) Thrips: pests of concern to China and the United States. Agric Sci China 10:867–892Rhodes AA, Morse JG (1989) Scirtothrips citri sampling and damage prediction on California navel oranges. Agric Ecosyst Environ 26:117–129Schellhorn NA, Glatz RV, Wood GM (2010) The risk of exotic and native plants as hosts for four pest thrips (Thysanoptera: Thripinae). Bull Entomol Res 100:501–510Schweizer H, Morse JG (1997) Estimating the level of fruit scarring by citrus thrips from temperature conditions prior to the end of bloom. Crop Prot 16:743–752Smith D, Beattie GAC, Broadley R (eds) (1997) Citrus pests and their natural enemies: integrated pest management in Australia. Information series Q197030. Queensland Department of Primary Industries, BrisbaneStatgraphics (1994) Version 5.1 Plus. Statistical Graphics System by Statistical Graphics Corporation. Manugistics, RockvilleTanigoshi LK, Nishio JY, Moreno DS, Fargerlund J (1980) Effect of temperature on development and survival of Scirtothrips citri on citrus foliage. Ann Entomol Soc Am 73: 378–338Teksam I, Tunç I (2009) An analysis of Thysanoptera associated with citrus flowers in Antalya, Turkey: composition, distribution, abundance and pest status of species. Appl Entomol Zool 44:455–464Varikou K, Tsitsipis JA, Alexandrakis V, Mound LA (2002) Pezothrips kellyanus (Bagnall) (Thysanoptera: Thripidae), a new pest of citrus trees in Crete, In: Proceedings of the VII European congress of entomology, Thessaloniki, Greece, 7–13 Oct 2002, p 33Varikou K, Tsitsipis I, Alexandrakis V, Hoddle M (2009) Effect of temperature on the development and longevity of Pezothrips kellyanus (Thysanoptera: Thripidae). Ann Entomol Soc Am 102:835–841Varikou K, Birouraki A, Tsitsipis I, Sergentani CHR (2012) Effect of temperature on the fecundity of Pezothrips kellyanus (Thysanoptera: Thripidae). Ann Entomol Soc Am 105:60–65Vassiliou VA (2007) Chemical control of Pezothrips kellyanus (Thysanoptera: Thripidae) in citrus plantations in Cyprus. Crop Prot 26:1579–1584Vassiliou VA (2010) Ecology and behavior of Pezothrips kellyanus (Thysanoptera: Thripidae) on Citrus. J Econ Entomol 103:47–53Vierbergen G, Kucharczyk H, Kirk WDJ (2010) A key to the second instar larvae of the Thripidae of the Western Palearctic region. Tijdschr Entomol 153:99–160Webster KW, Cooper P, Mound LA (2006) Studies on Kelly’s citrus thrips, Pezothrips kellyanus (Bagnall) (Thysanoptera: Thripidae): sex attractants, host associations and country of origin. Aust J Entomol 45:67–74Wiesenborn W, Morse JG (1986) Feeding rate of Scirtothripscitri (Moulton) (Thysanoptera: Thripidae) as influenced by life stage and temperature. Environ Entomol 15:763–76

Crop pests and predators exhibit inconsistent responses to surrounding landscape composition

The idea that noncrop habitat enhances pest control and represents a win–win opportunity to conserve biodiversity and bolster yields has emerged as an agroecological paradigm. However, while noncrop habitat in landscapes surrounding farms sometimes benefits pest predators, natural enemy responses remain heterogeneous across studies and effects on pests are inconclusive. The observed heterogeneity in species responses to noncrop habitat may be biological in origin or could result from variation in how habitat and biocontrol are measured. Here, we use a pest-control database encompassing 132 studies and 6,759 sites worldwide to model natural enemy and pest abundances, predation rates, and crop damage as a function of landscape composition. Our results showed that although landscape composition explained significant variation within studies, pest and enemy abundances, predation rates, crop damage, and yields each exhibited different responses across studies, sometimes increasing and sometimes decreasing in landscapes with more noncrop habitat but overall showing no consistent trend. Thus, models that used landscape-composition variables to predict pest-control dynamics demonstrated little potential to explain variation across studies, though prediction did improve when comparing studies with similar crop and landscape features. Overall, our work shows that surrounding noncrop habitat does not consistently improve pest management, meaning habitat conservation may bolster production in some systems and depress yields in others. Future efforts to develop tools that inform farmers when habitat conservation truly represents a win–win would benefit from increased understanding of how landscape effects are modulated by local farm management and the biology of pests and their enemies

Crop pests and predators exhibit inconsistent responses to surrounding landscape composition

The idea that noncrop habitat enhances pest control and represents a win–win opportunity to conserve biodiversity and bolster yields has emerged as an agroecological paradigm. However, while noncrop habitat in landscapes surrounding farms sometimes benefits pest predators, natural enemy responses remain heterogeneous across studies and effects on pests are inconclusive. The observed heterogeneity in species responses to noncrop habitat may be biological in origin or could result from variation in how habitat and biocontrol are measured. Here, we use a pest-control database encompassing 132 studies and 6,759 sites worldwide to model natural enemy and pest abundances, predation rates, and crop damage as a function of landscape composition. Our results showed that although landscape composition explained significant variation within studies, pest and enemy abundances, predation rates, crop damage, and yields each exhibited different responses across studies, sometimes increasing and sometimes decreasing in landscapes with more noncrop habitat but overall showing no consistent trend. Thus, models that used landscape-composition variables to predict pest-control dynamics demonstrated little potential to explain variation across studies, though prediction did improve when comparing studies with similar crop and landscape features. Overall, our work shows that surrounding noncrop habitat does not consistently improve pest management, meaning habitat conservation may bolster production in some systems and depress yields in others. Future efforts to develop tools that inform farmers when habitat conservation truly represents a win–win would benefit from increased understanding of how landscape effects are modulated by local farm management and the biology of pests and their enemies

Agricultural landscape simplification reduces natural pest control: A quantitative synthesis

Numerous studies show that landscape simplification reduces abundance and diversity of natural enemies in agroecosystems, but its effect on natural pest control remains poorly quantified. Further, natural enemy impacts on pest populations have usually been estimated for a limited number of taxa and have not considered interactions among predator species. In a quantitative synthesis with data collected from several cropping systems in Europe and North America, we analyzed how the level and within-field spatial stability of natural pest control services was related to the simplification of the surrounding landscape. All studies used aphids as a model species and exclusion cages to measure aphid pest control. Landscape simplification was quantified by the proportion of cultivated land within a 1 km radius around each plot. We found a consistent negative effect of landscape simplification on the level of natural pest control, despite interactions among enemies. Average level of pest control was 46% lower in homogeneous landscapes dominated by cultivated land, as compared with more complex landscapes. Landscape simplification did not affect the amount of positive or negative interactions among ground-dwelling and vegetation-dwelling predators, or the within-field stability of pest control. Our synthesis demonstrates that agricultural intensification through landscape simplification has negative effects on the level of natural pest control with important implications for management to maintain and enhance ecosystem services in agricultural landscapes. Specifically, preserving and restoring semi-natural habitats emerges as a fundamental first step to maintain and enhance pest control services provided by predatory arthropods to agriculture