y Abstract This paper studies composed reduction systems: a system of programs built up from the reduction relations of some reduction system, by means of parallel and sequential composition operators. The trace-based compo-sitional semantics of composed reduction systems is considered, and a new graph-representation is introduced as an alternative basis for the study of compositional semantics...

Refactorings are commonly applied to source code to improve its structure and maintainability. Integrated development environments (IDEs) such as Eclipse or NetBeans offer refactoring support for various programming languages. Usually, the developer makes a particular selection in the source code, and chooses to apply one of the refactorings, which is then executed (with suitable pre-condition ...

1. Our goal was to assess whether visual motion signals related to changes in image velocity contribute to pursuit eye movements. We recorded the smooth eye movements evoked by ramp target motion at constant speed. In two different kinds of stimuli, the onset of target motion provided either an abrupt, step change in target velocity or a smooth target acceleration that lasted 125 ms followed by...

We consider a Cops-and-Robber game played on the subsets of an n-set. The robber starts at the full set; the cops start at the empty set. In each round, each cop moves up one level by gaining an element, and the robber moves down one level by discarding an element. The question is how many cops are needed to ensure catching the robber when the robber reaches the middle level. Alan Hill posed th...

This paper presents a new characterization of musical signals which may lead to better understanding about how such signals are perceived. We first consider some signal analysis methods which facilitate measures of perceived qualities of music. More precisely, we consider a particular representation of signal energy on which to base a quantitative measure of sensory dissonance. After defining s...

We theoretically analyze the Cops and Robber Game for the first time in a multidimensional grid. It is shown that in an n-dimensional grid, at least n cops are necessary if one wants to catch the robber under all possible initial configurations. We also present a set of cop strategies for which n cops are provably sufficient to catch the robber.

We theoretically analyze the Cops and Robber Game for the first time in a multidimensional grid. It is shown that for an ndimensional grid, at least n cops are necessary to ensure capture of the robber. We also present a set of cop strategies for which n cops are provably sufficient to catch the robber. Further, for two-dimensional grid, we provide an efficient cop strategy for which the robber...

The double-controlled metric-type space (X,D) is a metric in which the triangle inequality has form D(η,μ)≤ζ1(η,θ)D(η,θ)+ζ2(θ,μ)D(θ,μ) for all η,θ,μ∈X. maps ζ1,ζ2:X×X→[1,∞) are called control functions. In this paper, we introduce novel generalization of double-composed space, where D(η,μ)≤αD(η,θ)+βD(θ,μ) our new functions α,β:[0,∞)→[0,∞) composed D inequality, multiplied with D. We establish s...

Recently Hájek prophesied that “as fans of the Friday the 13th series know, you should never be surprised if Jason suddenly reappears in a new guise – and the same is true for Stalnaker’s Thesis” (Hájek, 2011, p. 14). So what better day to pick for a plea for the thesis than today? Obviously, a new guise is also needed for the thesis; it cannot live on in the way as it is understood in the triv...

The thesis that probabilities of conditionals are conditional probabilities has putatively been refuted many times by so-called ‘triviality results’, although it has also enjoyed a number of resurrections. In this paper I assault it yet again with a new such result. I begin by motivating the thesis and discussing some of the philosophical ramifications of its fluctuating fortunes. I will canvas...