In aspect-oriented programming languages, advice evaluation is usually considered as part of the base program evaluation. This is also the case for certain pointcuts, such as if pointcuts in AspectJ, or simply all pointcuts in higher-order aspect languages like AspectScheme. While viewing pointcuts and advice as base level computation clearly distinguishes AOP from reflection, it also comes at ...

this paper focuses on formulating capacity-price trade off problem in yield management for manufactur-ing industry by drawing motivation from the remarkable success of yield management (ym) implementation in airlines. in the current practice, there is no alternative and procedure for the manufacturer, as well as cus-tomers to take advantage of using the unfulfilled capacity in discounted offers...

‎‎‎in this paper‎, ‎the‎ notion of injectivity with respect to order dense embeddings in ‎‎the category of $s$-posets‎, ‎posets with a monotone action of a‎ pomonoid $s$ on them‎, ‎is studied‎. ‎we give a criterion‎, ‎like the baer condition for injectivity of modules‎, ‎or skornjakov criterion for injectivity of $s$-sets‎, ‎for the order dense injectivity‎. ‎also‎, ‎we consider such injectivit...

BLOCKIN We BLOCKIN BLOCKIN have BLOCKIN BLOCKIN been asked by the editors of the Journal of Philosophical Logic to write a short comment on his most recent work, published in this issue, based in part on a referee report by one of us, that, unfortunately, did not reach Aldo in time.

Let $G$ be a group. The order graph of $G$ is the (undirected)graph $Gamma(G)$,those whose vertices are non-trivial subgroups of $G$ and two distinctvertices $H$ and $K$ are adjacent if and only if either$o(H)|o(K)$ or $o(K)|o(H)$. In this paper, we investigate theinterplay between the group-theoretic properties of $G$ and thegraph-theoretic properties of $Gamma(G)$. For a finite group$G$, we s...

The framework of first-, second-, and third-order embodiment (1-3E; Metzinger, 2014) was developed for exploring how phenomenal properties are physically and computationally grounded. Metzinger’s goal for 1-3E is to show how the experience of being a self (i.e., phenomenal selfhood) is generated within an embodied system and thus to embed his self-model theory (Metzinger, 2004) in the context o...

The stability of binocular vision depends on good fusional amplitudes. These amplitudes are the result of a reflex arc, the sensory stimulus being caused by the images of the object of regard falling off one fovea. If this image falls outside Panum's area, diplopia will result. The motor response involves a movement of one or both eyes to maintain fusion and avoid diplopia. The afferent sensory...