Linear resolutions of powers and products

The goal of this paper is to present examples of families of homogeneous ideals in the polynomial ring over a field that satisfy the following condition: every product of ideals of the family has a linear free resolution. As we will see, this condition is strongly correlated to good primary decompositions of the products and good homological and arithmetical properties of the associated multi-Rees algebras. The following families will be discussed in detail: polymatroidal ideals, ideals generated by linear forms and Borel fixed ideals of maximal minors. The main tools are Gr\"obner bases and Sagbi deformation

Post-training load-related changes of auditory working memory: An EEG study

Working memory (WM) refers to the temporary retention and manipulation of information, and its capacity is highly susceptible to training. Yet, the neural mechanisms that allow for increased performance under demanding conditions are not fully understood. We expected that post-training efficiency in WM performance modulates neural processing during high load tasks. We tested this hypothesis, using electroencephalography (EEG) (N = 39), by comparing source space spectral power of healthy adults performing low and high load auditory WM tasks. Prior to the assessment, participants either underwent a modality-specific auditory WM training, or a modality-irrelevant tactile WM training, or were not trained (active control). After a modality-specific training participants showed higher behavioral performance, compared to the control. EEG data analysis revealed general effects of WM load, across all training groups, in the theta-, alpha-, and beta-frequency bands. With increased load theta-band power increased over frontal, and decreased over parietal areas. Centro-parietal alpha-band power and central beta-band power decreased with load. Interestingly, in the high load condition a tendency toward reduced beta-band power in the right medial temporal lobe was observed in the modality-specific WM training group compared to the modality-irrelevant and active control groups. Our finding that WM processing during the high load condition changed after modality-specific WM training, showing reduced beta-band activity in voice-selective regions, possibly indicates a more efficient maintenance of task-relevant stimuli. The general load effects suggest that WM performance at high load demands involves complementary mechanisms, combining a strengthening of task-relevant and a suppression of task-irrelevant processing

Foraging behavior and Doppler shift compensation in echolocating hipposiderid bats, I-Iipposideros bicolor and I-Iipposideros speoris

1. Two hipposiderid bats,H. bicolor andH. speoris, were observed in their natural foraging areas in Madurai (South India). Both species hunt close together near the foliage of trees and bushes but they differ in fine structure of preferred hunting space:H. bicolor hunts within the foliage, especially whenH. speoris is active at the same time, whereasH. speoris never flies in dense vegetation but rather in the more open area (Fig. 1, Table 1). 2. Both species emit CF/FM-sounds containing only one harmonic component in almost all echolocation situations. The CF-parts of CF/FM-sounds are species specific within a band of 127–138 kHz forH. speoris and 147–159 kHz forH. bicolor (Tables 2 and 3). 3. H. speoris additionally uses a complex harmonic sound during obstacle avoidance and during laboratory tests for Doppler shift compensation.H. bicolor consistently emits CF/FM-sounds in these same situations (Fig. 2). 4. Both hipposiderid bats respond to Doppler shifts in the returning echoes by lowering the frequency of the emitted sounds (Fig. 3). However, Doppler compensations are incomplete as the emitted frequencies are decreased by only 55% and 56% (mean values) of the full frequency shifts byH. speoris andH, bicolor, respectively. 5. The differences in Doppler shift compensation, echolocating and hunting behavior suggest thatH. speoris is less specialized on echolocation with CF/FM-sounds thanH. bicolor

Quickest Paths in Simulations of Pedestrians

This contribution proposes a method to make agents in a microscopic simulation of pedestrian traffic walk approximately along a path of estimated minimal remaining travel time to their destination. Usually models of pedestrian dynamics are (implicitly) built on the assumption that pedestrians walk along the shortest path. Model elements formulated to make pedestrians locally avoid collisions and intrusion into personal space do not produce motion on quickest paths. Therefore a special model element is needed, if one wants to model and simulate pedestrians for whom travel time matters most (e.g. travelers in a station hall who are late for a train). Here such a model element is proposed, discussed and used within the Social Force Model.Comment: revised version submitte

Reconstructing Deconstruction: High-Velocity Cloud Distance Through Disruption Morphology

We present Arecibo L-band Feed Array 21-cm observations of a sub-complex of HVCs at the tip of the Anti-Center Complex. These observations show morphological details that point to interaction with the ambient halo medium and differential drag within the cloud sub-complex. We develop a new technique for measuring cloud distances, which relies upon these observed morphological and kinematic characteristics, and show that it is consistent with H-alpha distances. These results are consistent with distances to HVCs and halo densities derived from models in which HVCs are formed from cooling halo gas.Comment: 8 pages, 2 figures, 1 tabe, Accepted to Ap

Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory

There are two fundamentally different approaches to specifying and verifying properties of systems. The logical approach makes use of specifications given as formulae of temporal or modal logics and relies on efficient model checking algorithms; the behavioural approach exploits various equivalence or refinement checking methods, provided the specifications are given in the same formalism as implementations. In this paper we provide translations between the logical formalism of Hennessy-Milner logic with greatest fixed points and the behavioural formalism of disjunctive modal transition systems. We also introduce a new operation of quotient for the above equivalent formalisms, which is adjoint to structural composition and allows synthesis of missing specifications from partial implementations. This is a substantial generalisation of the quotient for deterministic modal transition systems defined in earlier papers

From Participatory Culture to Participatory Fatigue: The Problem With the Public

The Web has changed newswork dramatically. After the turn of the Millennium, the Web 2.0 was welcomed as a unique medium of participation, interaction, and democratization. Due to the increased interactivity of many websites, and the growing prominence of social networking sites such as Facebook that invited the creation and publication of user contributions, many journalism scholars promulgated the potentials of the Web to trigger participation, a new interactivity and, eventually, more transparency, accountability, and responsiveness. In this article, I show how I was equally full of hope that the participatory potential of the Web would become widespread among news organizations. However, recent findings show that most established newsrooms still do not practice what they preach. Even more so, many newsrooms show a participation fatigue, closing user comment sections due to participation inequality or challenging phenomena such as trolls, incivility, or hate-speech. Hence, I do not believe that the majority of legacy news media will further implement accountability practices and strengthen their responsiveness toward their publics. But I still have hope, and this hope comes from entrepreneurial journalism

Echo Delay and Overlap with Emitted Orientation Sounds and Doppler-shift Compensation in the Bat, Rhinolophus ferrumequinum

The compensation of Doppler-shifts by the bat, Rhinolophusferrumequinum, functions only when certain temporal relations between the echo and the emitted orientation sound are given. Three echo configurations were used: a) Original orientation sounds were electronically Doppler-shifted and played back either cut at the beginning (variable delay) or at the end (variable duration) of the echo. b) Artificial constant frequency echoes with variable delay or duration were clamped to the frequency of the emitted orientation sound at different Doppler-shifts. c) The echoes were only partially Doppler-shifted and the Doppler-shifted component began after variable delays or had variable durations. With increasing delay or decreasing duration of the Doppler-shifted echo the compensation amplitude for a sinusoidally modulated + 3 kHz Dopplershift (modulation rate 0.08 Hz) decreases for all stimulus configurations (Figs. 1, 2, 3). The range of the Doppler-shift compensation system is therefore limited by the delay due to acoustic travel time to about 4 m distance between bat and target. In this range the overlap duration of the echo with the emitted orientation sound is always sufficiently long, when compared with data on the orientation pulse length during target approach from Schnitzler (1968) (Fig. 5)

Probleme der schätzung der herdenheritabilität am beispiel der Schwarzbuntzucht Niedersachsens

International audienc