54,403 research outputs found

    When is a polynomially growing automorphism of FnF_n geometric ?

    Full text link
    The main result of this paper is an algorithmic answer to the question raised in the title, up to replacing the given ϕ^Out(Fn)\hat{\phi} \in Out(F_n) by a positive power. In order to provide this algorithm, it is shown that every polynomially growing automorphism ϕ^\hat \phi can be represented by an iterated Dehn twist on some graph-of-groups G\cal{G} with π1G=Fn\pi_1{\cal{G}} = F_n. One then uses results of two previous papers \cite{KY01, KY02} as well as some classical results such as the Whitehead algorithm to prove the claim

    Earworms ("stuck song syndrome"): towards a natural history of intrusive thoughts

    Get PDF
    Two studies examine the experience of “earworms”, unwanted catchy tunes that repeat. Survey data show that the experience is widespread but earworms are not generally considered problematic, although those who consider music to be important to them report earworms as longer, and harder to control, than those who consider music as less important. The tunes which produce these experiences vary considerably between individuals but are always familiar to those who experience them. A diary study confirms these findings and also indicates that, although earworm recurrence is relatively uncommon and unlikely to persist for longer than 24 hours, the length of both the earworm and the earworm experience frequently exceed standard estimates of auditory memory capacity. Active attempts to block or eliminate the earworm are less successful than passive acceptance, consistent with Wegner’s (1994) theory of ironic mental control

    Conditionals and Unconditionals

    Get PDF

    Equational Axiomization of Bicoercibility for Polymorphic Types

    Full text link
    Two polymorphic types σ and τ are said to be bicoercible if there is a coercion from σ to τ and conversely. We give a complete equational axiomatization of bicoercible types and prove that the relation of bicoercibility is decidable.National Science Foundation (CCR-9113196); KBN (2 P301 031 06); ESPRIT BRA7232 GENTZE

    An inventory of the personal fears expressed by junior-high-school pupils

    Full text link
    Thesis (M.A.)--Boston University, 1949. This item was digitized by the Internet Archive
    corecore