Event-B is a formal method used to do Model Driven Engineering certified by theorem proving. We propose a pattern to handle duration over a predicate in this method which originally does not have particular tool to specify and reason about real-time properties.

Fast adaptation biases the perceived motion direction of a subsequently presented ambiguous test pattern (R. Kanai & F. A. Verstraten, 2005). Depending on both the duration of the adapting stimulus (ranging from tens to hundreds of milliseconds) and the duration of the adaptation-test blank interval, the perceived direction of an ambiguous test pattern can be biased towards the same or the oppo...

Antenna 3D pattern measurement can be a tedious and time consuming task even for antennas with manageable sizes inside anechoic chambers. Performing onsite measurements by scanning the whole 4π [sr] solid angle around the antenna under test (AUT) is more complicated. In this paper, with the aim of minimum duration of flight, a test scenario using unmanned aerial vehicles (UAV) is proposed. A pr...

Time perception is crucial to goal attainment in humans and other animals, and interval timing also guides fundamental animal behaviors. Accumulating evidence has made it clear that in associative learning, temporal relations between events are encoded, and a few studies suggest this temporal learning occurs very rapidly. Most of these studies, however, have used methodologies that do not permi...