Reflexive methodology was used to identify music collectors’ needs, that informed the development of conceptual prototypes which create moments of delightful distraction in their everyday lives. ARON: music lives in the cloud is a music listening and sharing system that enables ambient, non-task oriented experiences through networked biomorphic light forms equipped with a presence interface. AR...

The hyperbolic algebra A h , studied recently by Katavolos and Power [5], is the weak star closed operator algebra on L 2 (R) generated by H ∞ (R), as multiplication operators, and by the dilation operators V t , t ≥ 0, given by V t f (x) = e t/2 f (e t x). We show that A h is a reflexive operator algebra and that the four dimensional manifold Lat A h (with the natural topology) is the reflexiv...

Humans show a rare tendency to punish norm-violators who have not harmed them directly-a behavior known as third-party punishment. Research has found that third-party punishment is subject to intergroup bias, whereby people punish members of the out-group more severely than the in-group. Although the prevalence of this behavior is well-documented, the psychological processes underlying it remai...

We prove that the dual or any quotient of a separable reflexive Banach space with the unconditional tree property has the unconditional tree property. This is used to prove that a separable reflexive Banach space with the unconditional tree property embeds into a reflexive Banach space with an unconditional basis. This solves several long standing open problems. In particular, it yields that a ...

Gustatory stimuli have at least 2 kinds of function: They can support immediate, reflexive responses (such as substrate choice and feeding) and they can drive internal reinforcement. We provide behavioral analyses of these functions with respect to sweet taste in larval Drosophila. The idea is to use the dose-effect characteristics as behavioral "fingerprints" to dissociate reflexive and reinfo...

The articles [15], [18], [19], [21], [20], [7], [8], [10], [1], [2], [6], [14], [11], [16], [12], [17], [3], [4], [23], [9], [5], [22], and [13] provide the terminology and notation for this paper. Let L be a relational structure. We introduce L as a synonym of L`. We now state several propositions: (1) For every relational structure L and for all elements x, y of L holds x ¬ y iff xx ­ xy. (2)...

By using normal forms for a modal logic L, Moss [3] constructed finite model Cn,m(L) and proved that the model is reflexive if L contains KT, it is serial if L contains KD, and so on. However, concerning to transitivity, he raised the problem: “Is it true that for every logic L containing K4, Cn,m(L) is transitive for almost all n?”. In the present paper, by using another type of normal forms i...

An iterative algorithm is constructed to solve the generalized coupled Sylvester matrix equations AXB − CYD,EXF − GYH M,N , which includes Sylvester and Lyapunov matrix equations as special cases, over generalized reflexive matrices X and Y . When the matrix equations are consistent, for any initial generalized reflexive matrix pair X1, Y1 , the generalized reflexive solutions can be obtained b...

The general coupled matrix equations (including the generalized coupled Sylvester matrix equations as special cases) have numerous applications in control and system theory. In this paper, an iterative algorithm is constructed to solve the general coupled matrix equations over reflexive matrix solution. When the general coupled matrix equations are consistent over reflexive matrices, the reflex...