Affective iconic words benefit from additional sound–meaning integration in the left amygdala

Recent studies have shown that a similarity between sound and meaning of a word (i.e., iconicity) can help more readily access the meaning of that word, but the neural mechanisms underlying this beneficial role of iconicity in semantic processing remain largely unknown. In an fMRI study, we focused on the affective domain and examined whether affective iconic words (e.g., high arousal in both sound and meaning) activate additional brain regions that integrate emotional information from different domains (i.e., sound and meaning). In line with our hypothesis, affective iconic words, compared to their non‐iconic counterparts, elicited additional BOLD responses in the left amygdala known for its role in multimodal representation of emotions. Functional connectivity analyses revealed that the observed amygdalar activity was modulated by an interaction of iconic condition and activations in two hubs representative for processing sound (left superior temporal gyrus) and meaning (left inferior frontal gyrus) of words. These results provide a neural explanation for the facilitative role of iconicity in language processing and indicate that language users are sensitive to the interaction between sound and meaning aspect of words, suggesting the existence of iconicity as a general property of human language

Gravitational Waves in Bianchi Type-I Universes I: The Classical Theory

The propagation of classical gravitational waves in Bianchi Type-I universes is studied. We find that gravitational waves in Bianchi Type-I universes are not equivalent to two minimally coupled massless scalar fields as it is for the Robertson-Walker universe. Due to its tensorial nature, the gravitational wave is much more sensitive to the anisotropy of the spacetime than the scalar field is and it gains an effective mass term. Moreover, we find a coupling between the two polarization states of the gravitational wave which is also not present in the Robertson-Walker universe.Comment: 34 papers, written in ReVTeX, submitted to Physical Review

On coalgebras with internal moves

In the first part of the paper we recall the coalgebraic approach to handling the so-called invisible transitions that appear in different state-based systems semantics. We claim that these transitions are always part of the unit of a certain monad. Hence, coalgebras with internal moves are exactly coalgebras over a monadic type. The rest of the paper is devoted to supporting our claim by studying two important behavioural equivalences for state-based systems with internal moves, namely: weak bisimulation and trace semantics. We continue our research on weak bisimulations for coalgebras over order enriched monads. The key notions used in this paper and proposed by us in our previous work are the notions of an order saturation monad and a saturator. A saturator operator can be intuitively understood as a reflexive, transitive closure operator. There are two approaches towards defining saturators for coalgebras with internal moves. Here, we give necessary conditions for them to yield the same notion of weak bisimulation. Finally, we propose a definition of trace semantics for coalgebras with silent moves via a uniform fixed point operator. We compare strong and weak bisimilation together with trace semantics for coalgebras with internal steps.Comment: Article: 23 pages, Appendix: 3 page

Proper ferroelastic phase transitions in thin epitaxial films with symmetry-conserving and symmetry-breaking misfit strains

We study how the ferroelastic domain structure sets in in an epitaxial film of a material with second order proper ferroelastic transition. The domain structures considered are similar to either $a_{1}/a_{2}/a_{1}/a_{2}$ or $c/a/c/a$ structures in perovskite ferroelectrics. If the "extrinsic" misfit strain, not associated with the transition, does not break the symmetry of the high-temperature phase, the phase transition in the film occurs at somewhat lower temperature compared to the bulk. The loss of stability then occurs with respect to a sinusoidal strain wave, which evolves into the domain structure with practically the same geometry and approximately the same period. In the presence of the symmetry-breaking component of the misfit strain ("extrinsic" misfit) the character of the phase transition is qualitatively different. In this case it is a {\em topological} transition between single-domain and multi-domain states, which starts from a low density of the domain walls.Comment: 7 pages, 2 figures, REVTeX 3.

Fibrational induction meets effects

This paper provides several induction rules that can be used to prove properties of effectful data types. Our results are semantic in nature and build upon Hermida and Jacobs’ fibrational formulation of induction for polynomial data types and its extension to all inductive data types by Ghani, Johann, and Fumex. An effectful data type μ(TF) is built from a functor F that describes data, and a monad T that computes effects. Our main contribution is to derive induction rules that are generic over all functors F and monads T such that μ(TF) exists. Along the way, we also derive a principle of definition by structural recursion for effectful data types that is similarly generic. Our induction rule is also generic over the kinds of properties to be proved: like the work on which we build, we work in a general fibrational setting and so can accommodate very general notions of properties, rather than just those of particular syntactic forms. We give examples exploiting the generality of our results, and show how our results specialize to those in the literature, particularly those of Filinski and Støvring

Improving Prolog Programs: Refactoring for Prolog

Refactoring is an established technique from the OO-community to restructure code: it aims at improving software readability, maintainability and extensibility. Although refactoring is not tied to the OO-paradigm in particular, its ideas have not been applied to Logic Programming until now. This paper applies the ideas of refactoring to Prolog programs. A catalogue is presented listing refactorings classified according to scope. Some of the refactorings have been adapted from the OO-paradigm, while others have been specifically designed for Prolog. Also the discrepancy between intended and operational semantics in Prolog is addressed by some of the refactorings. In addition, ViPReSS, a semi-automatic refactoring browser, is discussed and the experience with applying \vipress to a large Prolog legacy system is reported. Our main conclusion is that refactoring is not only a viable technique in Prolog but also a rather desirable one.Comment: To appear in ICLP 200

Z_3 Strings and their Interactions

We construct Z_3 vortex solutions in a model in which SU(3) is spontaneously broken to Z_3. The model is truncated to one in which there are only two dimensionless free parameters and the interaction of vortices within this restricted set of models is studied numerically. We find that there is a curve in the two dimensional space of parameters for which the energy of two asymptotically separated vortices equals the energy of the vortices at vanishing separation. This suggests that the inter-vortex potential for Z_3 strings might be flat for these couplings, much like the case of U(1) strings in the Bogomolnyi limit. However, we argue that the intervortex potential is attractive at short distances and repulsive at large separations leading to the possibility of unstable bound states of Z_3 vortices.Comment: 8 pages; mainly corrected typos in table

Separation of river network–scale nitrogen removal among the main channel and two transient storage compartments

Transient storage (TS) zones are important areas of dissolved inorganic nitrogen (DIN) processing in rivers. We assessed sensitivities regarding the relative impact that the main channel (MC), surface TS (STS), and hyporheic TS (HTS) have on network denitrification using a model applied to the Ipswich River in Massachusetts, United States. STS and HTS connectivity and size were parameterized using the results of in situ solute tracer studies in first‐ through fifth‐order reaches. DIN removal was simulated in all compartments for every river grid cell using reactivity derived from Lotic Intersite Nitrogen Experiment (LINX2) studies, hydraulic characteristics, and simulated discharge. Model results suggest that although MC‐to‐STS connectivity is greater than MC‐to‐HTS connectivity at the reach scale, at basin scales, there is a high probability of water entering the HTS at some point along its flow path through the river network. Assuming our best empirical estimates of hydraulic parameters and reactivity, the MC, HTS, and STS removed approximately 38%, 21%, and 14% of total DIN inputs during a typical base flow period, respectively. There is considerable uncertainty in many of the parameters, particularly the estimates of reaction rates in the different compartments. Using sensitivity analyses, we found that the size of TS is more important for DIN removal processes than its connectivity with the MC when reactivity is low to moderate, whereas TS connectivity is more important when reaction rates are rapid. Our work suggests a network perspective is needed to understand how connectivity, residence times, and reactivity interact to influence DIN processing in hierarchical river systems

The Expectation Monad in Quantum Foundations

The expectation monad is introduced abstractly via two composable adjunctions, but concretely captures measures. It turns out to sit in between known monads: on the one hand the distribution and ultrafilter monad, and on the other hand the continuation monad. This expectation monad is used in two probabilistic analogues of fundamental results of Manes and Gelfand for the ultrafilter monad: algebras of the expectation monad are convex compact Hausdorff spaces, and are dually equivalent to so-called Banach effect algebras. These structures capture states and effects in quantum foundations, and also the duality between them. Moreover, the approach leads to a new re-formulation of Gleason's theorem, expressing that effects on a Hilbert space are free effect modules on projections, obtained via tensoring with the unit interval.Comment: In Proceedings QPL 2011, arXiv:1210.029