A survey of behavioral-level partitioning systems

Many approaches have been developed to partition a system's behavioral description before a structural implementation is synthesized. We highlight the foundations and motivations for behavioral partitioning. We survey behavioral partitioning approaches, discussing abstraction levels, goals, major steps, and key assumptions in each

Dissociation of sensitivity to spatial frequency in word and face preferential areas of the fusiform gyrus

Different cortical regions within the ventral occipitotemporal junction have been reported to show preferential responses to particular objects. Thus, it is argued that there is evidence for a left-lateralized visual word form area and a right-lateralized fusiform face area, but the unique specialization of these areas remains controversial. Words are characterized by greater power in the high spatial frequency (SF) range, whereas faces comprise a broader range of high and low frequencies. We investigated how these high-order visual association areas respond to simple sine-wave gratings that varied in SF. Using functional magnetic resonance imaging, we demonstrated lateralization of activity that was concordant with the low-level visual property of words and faces; left occipitotemporal cortex is more strongly activated by high than by low SF gratings, whereas the right occipitotemporal cortex responded more to low than high spatial frequencies. Therefore, the SF of a visual stimulus may bias the lateralization of processing irrespective of its higher order properties

From non-semisimple Hopf algebras to correlation functions for logarithmic CFT

We use factorizable finite tensor categories, and specifically the representation categories of factorizable ribbon Hopf algebras H, as a laboratory for exploring bulk correlation functions in local logarithmic conformal field theories. For any ribbon Hopf algebra automorphism omega of H we present a candidate for the space of bulk fields and endow it with a natural structure of a commutative symmetric Frobenius algebra. We derive an expression for the corresponding bulk partition functions as bilinear combinations of irreducible characters; as a crucial ingredient this involves the Cartan matrix of the category. We also show how for any candidate bulk state space of the type we consider, correlation functions of bulk fields for closed oriented world sheets of any genus can be constructed that are invariant under the natural action of the relevant mapping class group.Comment: 41 pages, several figures. version 2: typos corrected, bibliography updated, introduction extended, a few minor clarifications adde