Subshifts, MSO Logic, and Collapsing Hierarchies

We use monadic second-order logic to define two-dimensional subshifts, or sets of colorings of the infinite plane. We present a natural family of quantifier alternation hierarchies, and show that they all collapse to the third level. In particular, this solves an open problem of [Jeandel & Theyssier 2013]. The results are in stark contrast with picture languages, where such hierarchies are usually infinite.Comment: 12 pages, 5 figures. To appear in conference proceedings of TCS 2014, published by Springe

Characterization of Muscle Spindle Afferents in the Adult Mouse Using an In Vitro Muscle-Nerve Preparation

We utilized an in vitro adult mouse extensor digitorum longus (EDL) nerve-attached preparation to characterize the responses of muscle spindle afferents to ramp-and-hold stretch and sinusoidal vibratory stimuli. Responses were measured at both room (24°C) and muscle body temperature (34°C). Muscle spindle afferent static firing frequencies increased linearly in response to increasing stretch lengths to accurately encode the magnitude of muscle stretch (tested at 2.5%, 5% and 7.5% of resting length [Lo]). Peak firing frequency increased with ramp speeds (20% Lo/sec, 40% Lo/sec, and 60% Lo/sec). As a population, muscle spindle afferents could entrain 1:1 to sinusoidal vibrations throughout the frequency (10–100 Hz) and amplitude ranges tested (5–100 µm). Most units preferentially entrained to vibration frequencies close to their baseline steady-state firing frequencies. Cooling the muscle to 24°C decreased baseline firing frequency and units correspondingly entrained to slower frequency vibrations. The ramp component of stretch generated dynamic firing responses. These responses and related measures of dynamic sensitivity were not able to categorize units as primary (group Ia) or secondary (group II) even when tested with more extreme length changes (10% Lo). We conclude that the population of spindle afferents combines to encode stretch in a smoothly graded manner over the physiological range of lengths and speeds tested. Overall, spindle afferent response properties were comparable to those seen in other species, supporting subsequent use of the mouse genetic model system for studies on spindle function and dysfunction in an isolated muscle-nerve preparation

Indications for immediate angiotensin-converting enzyme inhibition in patients with acute myocardial infarction

AbstractWhen initiated a few days after myocardial infarction, angiotensin-converting enzyme inhibition exerts beneficial effects on survival and morbidity in patients with asymptomatic left ventricular systolic dysfunction or symptomatic heart failure. During the acute phase of a myocardial infarction, angiotensin-converting enzyme inhibition appears to be well tolerated, to prevent the development of heart failure in patients with asymptomatic left ventricular systolic dysfunction and to improve the hemodynamic and clinical variables of heart failure when present. Accordingly, early angiotensin-converting enzyme inhibition is clearly indicated in patients with acute myocardial infarction associated with asymptomatic left ventricular dysfunction or clinical evidence of heart failure. Angiotensin-converting enzyme inhibition may also be beneficial when thrombolytic agents fail to restore coronary patency in patients with acute myocardial infarction

Online Popularity and Topical Interests through the Lens of Instagram

Online socio-technical systems can be studied as proxy of the real world to investigate human behavior and social interactions at scale. Here we focus on Instagram, a media-sharing online platform whose popularity has been rising up to gathering hundred millions users. Instagram exhibits a mixture of features including social structure, social tagging and media sharing. The network of social interactions among users models various dynamics including follower/followee relations and users' communication by means of posts/comments. Users can upload and tag media such as photos and pictures, and they can "like" and comment each piece of information on the platform. In this work we investigate three major aspects on our Instagram dataset: (i) the structural characteristics of its network of heterogeneous interactions, to unveil the emergence of self organization and topically-induced community structure; (ii) the dynamics of content production and consumption, to understand how global trends and popular users emerge; (iii) the behavior of users labeling media with tags, to determine how they devote their attention and to explore the variety of their topical interests. Our analysis provides clues to understand human behavior dynamics on socio-technical systems, specifically users and content popularity, the mechanisms of users' interactions in online environments and how collective trends emerge from individuals' topical interests.Comment: 11 pages, 11 figures, Proceedings of ACM Hypertext 201

Return times, recurrence densities and entropy for actions of some discrete amenable groups

Results of Wyner and Ziv and of Ornstein and Weiss show that if one observes the first k outputs of a finite-valued ergodic process, then the waiting time until this block appears again is almost surely asymptotic to $2^{hk}$, where $h$ is the entropy of the process. We examine this phenomenon when the allowed return times are restricted to some subset of times, and generalize the results to processes parameterized by other discrete amenable groups. We also obtain a uniform density version of the waiting time results: For a process on $s$ symbols, within a given realization, the density of the initial $k$-block within larger $n$-blocks approaches $2^{-hk}$, uniformly in $n>s^k$, as $k$ tends to infinity. Again, similar results hold for processes with other indexing groups.Comment: To appear in Journal d'Analyse Mathematiqu

Governing through representatives of the community: A case study on farmer organizations in rural Australia

The concept ‘governing through the community’ has been used frequently to interpret the neoliberal policy embraced by Australian governments since the 1990s. Yet explanation is still inadequate of how ‘governing through the community’ is conducted in practice, particularly the specific mechanisms that regulate interaction among government agencies, groups seeking to represent the community and individuals in the community. In this study, we find that ‘governing through the community’ is actually ‘governing through representatives of the community’ because it is the representatives that make the community visible and governable. This observation is based on a case study of three kinds of farmer organizations, in two states of Australia, who see their role as serving the community and are regarded by outsiders as representatives of the community at least on certain issues. An understanding of the interaction among different stakeholders within and outside of the community is developed through three themes of ‘paperwork’, ‘data’ and ‘price’ that were used by locals from Landcare groups, grower groups and farmer cooperatives, respectively, to articulate how they experience the mechanisms through which their interactions are regulated. This paper concludes that these groups can claim to represent some residents within a defined geographical area, rather than any exact definition of ‘the community’ and that this is a sufficient claim to enable these groups to participate in the process of ‘governing through the community’. The tensions between government agencies, community representatives and community members threaten the legitimacy of the community representatives as intermediaries. Government agencies do try to contribute to reduce these tensions by strengthening the legitimacy of community representatives through various policy and project mechanisms. However, while the stated aim of ‘governing through the community’ is often focused on producing a ‘flourishing rural community’ through improving democratic modes of representation, this study demonstrates that it is only part of the community, namely the ‘targeted customers’ of the farmer organizations, that is potentially reachable to ‘the state’

Duty Hour Reform and the Outcomes of Patients Treated by New Surgeons

Despite concerns that duty hour reform might adversely affect the performance of new surgeons, this national study found no impact on patient outcomes, including 30-day mortality rates, failure-to-rescue, length of stay, and use of intensive care units. These findings should allay fears that reduced work hours during residency would produce surgeons less prepared for practice than their more experienced colleagues