Isabelle Modelchecking for insider threats

The Isabelle Insider framework formalises the technique of social explanation for modeling and analysing Insider threats in infrastructures including physical and logical aspects. However, the abstract Isabelle models need some refinement to provide sufficient detail to explore attacks constructively and understand how the attacker proceeds. The introduction of mutable states into the model leads us to use the concepts of Modelchecking within Isabelle. Isabelle can simply accommodate classical CTL type Modelchecking. We integrate CTL Modelchecking into the Isabelle Insider framework. A running example of an IoT attack on privacy motivates the method throughout and illustrates how the enhanced framework fully supports realistic modeling and analysis of IoT Insiders

Raising argument strength using negative evidence: A constraint on models of induction

Both intuitively, and according to similarity-based theories of induction, relevant evidence raises argument strength when it is positive and lowers it when it is negative. In three experiments, we tested the hypothesis that argument strength can actually increase when negative evidence is introduced. Two kinds of argument were compared through forced choice or sequential evaluation: single positive arguments (e.g., “Shostakovich’s music causes alpha waves in the brain; therefore, Bach’s music causes alpha waves in the brain”) and double mixed arguments (e.g., “Shostakovich’s music causes alpha waves in the brain, X’s music DOES NOT; therefore, Bach’s music causes alpha waves in the brain”). Negative evidence in the second premise lowered credence when it applied to an item X from the same subcategory (e.g., Haydn) and raised it when it applied to a different subcategory (e.g., AC/DC). The results constitute a new constraint on models of induction

Effect of an Injury Awareness Education Program on Risk-Taking Behaviors and Injuries in Juvenile Justice Offenders: A Retrospective Cohort Study

Background Risk-taking behavior is a leading cause of injury and death amongst young people. Methodology and Principal Findings This was a retrospective cohort study on the effectiveness of a 1-day youth injury awareness education program (Prevent Alcohol and Risk-related Trauma in Youth, P.A.R.T.Y.) program in reducing risk taking behaviors and injuries of juvenille justice offenders in Western Australia. Of the 3659 juvenile justice offenders convicted by the court magistrates between 2006 and 2010, 225 were referred to the P.A.R.T.Y. education program. In a before and after survey of these 225 participants, a significant proportion of them stated that they were more receptive to modifying their risk-taking behavior (21% before vs. 57% after). Using data from the Western Australia Police and Department of Health, the incidence of subsequent offences and injuries of all juvenile justice offenders was assessed. The incidence of subsequent traffic or violence-related offences was significantly lower for those who had attended the program compared to those who did not (3.6% vs. 26.8%; absolute risk reduction [ARR] = 23.2%, 95% confidence interval [CI] 19.9%–25.8%; number needed to benefit = 4.3, 95%CI 3.9–5.1; p = 0.001), as were injuries leading to hospitalization (0% vs. 1.6% including 0.2% fatality; ARR = 1.6%, 95%CI 1.2%–2.1%) and alcohol or drug-related offences (0% vs. 2.4%; ARR 2.4%, 95%CI 1.9%–2.9%). In the multivariate analysis, only P.A.R.T.Y. education program attendance (odds ratio [OR] 0.10, 95%CI 0.05–0.21) and a higher socioeconomic background (OR 0.97 per decile increment in Index of Relative Socioeconomic Advantage and Disadvantage, 95%CI 0.93–0.99) were associated with a lower risk of subsequent traffic or violence-related offences. Significance Participation in an injury education program involving real-life trauma scenarios was associated with a reduced subsequent risk of committing violence- or traffic-related offences, injuries, and death for juvenille justice offenders

The genomes of two key bumblebee species with primitive eusocial organization

Background: The shift from solitary to social behavior is one of the major evolutionary transitions. Primitively eusocial bumblebees are uniquely placed to illuminate the evolution of highly eusocial insect societies. Bumblebees are also invaluable natural and agricultural pollinators, and there is widespread concern over recent population declines in some species. High-quality genomic data will inform key aspects of bumblebee biology, including susceptibility to implicated population viability threats. Results: We report the high quality draft genome sequences of Bombus terrestris and Bombus impatiens, two ecologically dominant bumblebees and widely utilized study species. Comparing these new genomes to those of the highly eusocial honeybee Apis mellifera and other Hymenoptera, we identify deeply conserved similarities, as well as novelties key to the biology of these organisms. Some honeybee genome features thought to underpin advanced eusociality are also present in bumblebees, indicating an earlier evolution in the bee lineage. Xenobiotic detoxification and immune genes are similarly depauperate in bumblebees and honeybees, and multiple categories of genes linked to social organization, including development and behavior, show high conservation. Key differences identified include a bias in bumblebee chemoreception towards gustation from olfaction, and striking differences in microRNAs, potentially responsible for gene regulation underlying social and other traits. Conclusions: These two bumblebee genomes provide a foundation for post-genomic research on these key pollinators and insect societies. Overall, gene repertoires suggest that the route to advanced eusociality in bees was mediated by many small changes in many genes and processes, and not by notable expansion or depauperation

Modeling the Adaptive Role of Negative Signaling in Honey Bee Intraspecific Competition

Collective decision making in the social insects often proceeds via feedback cycles based on positive signaling. Negative signals have, however, been found in a few contexts in which costs exist for paying attention to no longer useful information. Here we incorporate new research on the specificity and context of the negative stop signal into an agent based model of honey bee foraging to explore the adaptive basis of negative signaling in the dance language. Our work suggests that the stop signal, by acting as a counterbalance to the waggle dance, allows colonies to rapidly shut down attacks on other colonies. This could be a key adaptation, as the costs of attacking a colony strong enough to defend itself are significant

Combined pesticide exposure severely affects individual- and colony-level traits in bees

Reported widespread declines of wild and managed insect pollinators have serious consequences for global ecosystem services and agricultural production [1–3]. Bees contribute approximately 80% of insect pollination, so it is important to understand and mitigate the causes of current declines in bee populations [4–6]. Recent studies have implicated the role of pesticides in these declines, as exposure to these chemicals has been associated with changes in bee behaviour [7–11] and reductions in colony queen production [12]. However, the key link between changes in individual behaviour and the consequent impact at the colony level has not been shown. Social bee colonies depend on the collective performance of many individual workers. Thus, although field-level pesticide concentrations can have subtle or sublethal effects at the individual level [8], it is not known whether bee societies can buffer such effects or whether it results in a severe cumulative effect at the colony level. Furthermore, widespread agricultural intensification means that bees are exposed to numerous pesticides when foraging [13–15], yet the possible combinatorial effects of pesticide exposure have rarely been investigated [16,17]. Here we show that chronic exposure of bumblebees to two pesticides (neonicotinoid and pyrethroid) at concentrations that could approximate field-level exposure impairs natural foraging behaviour and increases worker mortality leading to significant reductions in brood development and colony success. We found that worker foraging performance, particularly pollen collecting efficiency, was significantly reduced with observed knock-on effects for forager recruitment, worker losses and overall worker productivity. Moreover, we provide evidence that combinatorial exposure to pesticides increases the propensity of colonies to fail

Taxonomic and functional turnover are decoupled in European peat bogs

In peatland ecosystems, plant communities mediate a globally significant carbon store. The effects of global environmental change on plant assemblages are expected to be a factor in determining how ecosystem functions such as carbon uptake will respond. Using vegetation data from 56 Sphagnum-dominated peat bogs across Europe, we show that in these ecosystems plant species aggregate into two major clusters that are each defined by shared response to environmental conditions. Across environmental gradients, we find significant taxonomic turnover in both clusters. However, functional identity and functional redundancy of the community as a whole remain unchanged. This strongly suggests that in peat bogs, species turnover across environmental gradients is restricted to functionally similar species. Our results demonstrate that plant taxonomic and functional turnover are decoupled, which may allow these peat bogs to maintain ecosystem functioning when subject to future environmental change

Bridging reproductive and microbial ecology: a case study in arbuscular mycorrhizal fungi

Offspring size is a key trait for understanding the reproductive ecology of species, yet studies addressing the ecological meaning of offspring size have so far been limited to macro-organisms. We consider this a missed opportunity in microbial ecology and provide what we believe is the first formal study of offspring-size variation in microbes using reproductive models developed for macro-organisms. We mapped the entire distribution of fungal spore size in the arbuscular mycorrhizal (AM) fungi (subphylum Glomeromycotina) and tested allometric expectations of this trait to offspring (spore) output and body size. Our results reveal a potential paradox in the reproductive ecology of AM fungi: while large spore-size variation is maintained through evolutionary time (independent of body size), increases in spore size trade off with spore output. That is, parental mycelia of large-spored species produce fewer spores and thus may have a fitness disadvantage compared to small-spored species. The persistence of the large-spore strategy, despite this apparent fitness disadvantage, suggests the existence of advantages to large-spored species that could manifest later in fungal life history. Thus, we consider that solving this paradox opens the door to fruitful future research establishing the relationship between offspring size and other AM life history traits

Modulation of social interactions by immune stimulation in honey bee, Apis mellifera, workers

International audienceBACKGROUND:Immune response pathways have been relatively well-conserved across animal species, with similar systems in both mammals and invertebrates. Interestingly, honey bees have substantially reduced numbers of genes associated with immune function compared with solitary insect species. However, social species such as honey bees provide an excellent environment for pathogen or parasite transmission with controlled environmental conditions in the hive, high population densities, and frequent interactions. This suggests that honey bees may have developed complementary mechanisms, such as behavioral modifications, to deal with disease.RESULTS:Here, we demonstrate that activation of the immune system in honey bees (using bacterial lipopolysaccharides as a non-replicative pathogen) alters the social responses of healthy nestmates toward the treated individuals. Furthermore, treated individuals expressed significant differences in overall cuticular hydrocarbon profiles compared with controls. Finally, coating healthy individuals with extracts containing cuticular hydrocarbons of immunostimulated individuals significantly increased the agonistic responses of nestmates.CONCLUSION:Since cuticular hydrocarbons play a critical role in nestmate recognition and other social interactions in a wide variety of insect species, modulation of such chemical profiles by the activation of the immune system could play a crucial role in the social regulation of pathogen dissemination within the colony