Deductive rules are useful for proving properties with fairness constraints and there have been many studies on such rules with justice and compassion constraints. This paper focuses on system specifications with strengthened compassion that impose constraints on transitions involving states and their successors. A deductive rule for proving liveness properties under strengthened compassion is ...

Newly acquired motor skills become stabilized through consolidation [1]. However, we know from daily life that consolidated skills are modified over multiple bouts of practice and in response to newfound challenges [2]. Recent evidence has shown that memories can be modified through reconsolidation, in which previously consolidated memories can re-enter a temporary state of instability through ...

We examine numerically the performance of a thin foil reinforced by embedded rays resembling the caudal fins of many fishes. In our study, the supporting rays are depicted as nonlinear Euler-Bernoulli beams with three-dimensional deformability. This structural model is then incorporated into a boundary-element hydrodynamic model to achieve coupled fluid-structure interaction simulation. Kinemat...

Vaudenay [1] has presented an attack on the CBC mode of block ciphers, which uses padding according to the PKCS#5 standard. One of the countermeasures, which he has assumed, consisted of the encryption of the message M ́= M || padding || hash(M || padding) instead of the original M. This can increase the length of the message by several blocks compared with the present padding. Moreover, Wagner ...