We analyze the on-line dimension of semi-orders as a two-person game between Algorithm and Spoiler, in a customary way. The game is played in rounds. Spoiler presents a collection of intervals representing a semi-order, one interval at a time. Algorithm maintains its realizer, i.e., the set of linear extensions intersecting to the semi-order presented so far. Each time a new interval is present...

This paper deals with the specification problem in classical realizability (such as introduced by Krivine [17]), which is to characterize the universal realizers of a given formula by their computational behavior. After recalling the framework of classical realizability, we present the problem in the general case and illustrate it with some examples. In the rest of the paper, we focus on Peirce...

An experiment was conducted, from 22 to 42-d-post-hatch, to evaluate the effect of different combinations of carbohydrases (CHS), citric acid (CA) and high-dose phytase in wheat-canola meal-based diets with very low content of non-phytate phosphorus (NPP) on growth performance, plasma calcium (Ca) and P and tibia ash (TA) content of broiler chickens. One hundred and ninety two 21-d-old male chi...

If a sensory brain state plays an unusual functional role, does the phenomenology go with the role or the brain state? If the phenomenology goes with the functional role, that supports functionalism, which is the view that phenomenology just is the role. If it goes with the brain state, that supports physicalism, which is the view that phenomenology is what realizes or implements the role. I ag...

While we were able to exploit existing research for many of the design issues, it turned out that we needed to develop our own approach to text planning (Rambow 1990). This paper will present the system and a t tempt to show how these design objectives led to particular design decisions. The structure of the paper is as follows. In Section 2, we will present the underlying application and give ...