Search

Highlights: [•] Reintroduction of Variola major as an agent of bioterrorism remains a concern. [•] A compressed schedule of MVA was evaluated for use in a post event scenario. [•] MVA is well tolerated when given as two standard doses at Days 0 and 28 or 0 and 7. [•] A 2nd dose of MVA at Day 28 compared to Day 7 provided greater antibody responses. [•] INF-γ expression was greatest within 2 weeks after last vaccination. [ABSTRACT FROM AUTHOR]

Security protocols have been analysed focusing on a variety of properties to withstand the Dolev-Yao attacker. The Multi-Attacker treat model allows each protocol participant to behave maliciously intercepting and forging messages. Each principal may then behave as a Dolev-Yao attacker while neither colluding nor sharing knowledge with anyone else. This feature rules out the applicability of existing equivalence results in the Dolev-Yao model. The analysis of security protocols under the Multi-Attacker threat model brings forward yet more insights, such as retaliation attacks and anticipation attacks, which formalise currently realistic scenarios of principals competing each other for personal profit. They are variously demonstrated on a classical protocol, Needham-Schroeder's, and on a modern deployed protocol, Google's SAML-based single sign-on protocol. The general threat model for security protocols based on set-rewriting that was adopted in AVISPA (Armando et al. ) is extended to formalise the Multi-Attacker. The state-of-the-art model checker SATMC (Armando and Compagna, Int J Inf Secur 6(1):3-32, ) is then used to automatically validate the protocols under the new threats, so that retaliation and anticipation attacks can automatically be found. The tool support scales up to the Multi-Attacker threat model at a reasonable price both in terms of human interaction effort and of computational time. [ABSTRACT FROM AUTHOR]

Interpolation by radial basis functions and interpolation by polynomials are both popular methods for function reconstruction from discrete data given on spheres. Recently, there has been an increasing interest in employing these function families together in hybrid schemes for scattered data modeling and the solution of partial differential equations on spheres. For the theoretical analysis of numerical methods for the associated discretized systems, a so-called inf-sup condition is crucial. In this paper, we derive such an inf-sup condition, and show that the constant in the inf-sup condition is independent of the polynomial degree and of the chosen point set, provided the mesh norm of the point set is sufficiently small. We then use the inf-sup condition to derive a new error analysis for the hybrid interpolation scheme of Sloan and Sommariva. [ABSTRACT FROM AUTHOR]

Mono-, bis- and tris(chlorophosphaalkenyl)stibanes have been obtained from Mes∗PᆖC(SiMe3)Li (Mes∗ = 2,4,6-tri-tert-butylphenyl) or from the phosphaalkene carbenoid Mes∗PᆖC(X)Li (X = Cl) and SbF3, Mes∗Sb(OMes∗)F or Mes∗SbF2. Bis[chloroalkenyl]stibanes [R2CᆖC(Cl)]2SbCl (R2C = fluorenylidene and 2,7-di-tert-butylfluorenylidene) have also been obtained from R2CᆖC(Cl)Li and SbCl3. [Copyright &y& Elsevier]

This letter highlights a fundamental inconsistency in the formulation of the Gravitational search algorithm (GSA) (Rashedi et al., Inf Sci 2232-48, ). GSA is said to be based on the law of gravity, that is, candidate solutions attract each other in the search space based on their relative distances and 'masses' (qualities). We show that, contrary to what is claimed, GSA does not take the distances between solutions into account, and therefore cannot be considered to be based on the law of gravity. [ABSTRACT FROM AUTHOR]