Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agents. We propose an extension of public announcement logic with a dynamic modal operator that expresses what is true after any announcement: ♦φ expresses that there is a truthful announcement ψ after which φ is true. Th...

Abstract The feminist movement in the United States like other countries has tried to establish equality for women. From the first attempts to gain constitutional right for vote, up to the current radical demands, feminists have struggled to make changes in the U.S. party politics and obtain their rights within the parties. One of the important issues in which women played a key role in party ...

To study the influence of crash pulse duration on injury risk, data of 272 real life frontal collisions with recorded crash pulses was used. 371 restrained occupants were included. It was found that compared with acceleration, the duration has a limited influence on injury risk. The study shows that the average pulse duration in cases with AIS2+ injuries was 7 % longer than in cases with AIS1 i...

This paper applies and reenes the ProCoS approach to trans-formational design of real-time systems to a benchmark case study, the Karlsruhe production cell 10, 9]. We start by formalizing the informal requirements of 10, 9] in Duration Calculus and end with a distributed controller architecture where all components are speciied in the program speciication language SL time 18]. Novel is the full...

Our exploration is not a science-fiction essay. We do not try to imagine how music will be conceptualized, experienced and mediated by our yet-to-come research, technological achievements and music gizmos. Alternatively, we reflect on how the discipline should evolve to become consolidated as such, in order it may get an effective future instead of becoming, after a promising start, just a “wou...

DYOPTYKA’s innovative solution for the reduction of speckle noise in projection displays, using a phase randomizing deformable mirror, is shown to achieve good performance both within a single 1 μs pulse duration and through sequences of such pulses.