8,971 research outputs found
From Lock Freedom to Progress Using Session Types
Inspired by Kobayashi's type system for lock freedom, we define a behavioral
type system for ensuring progress in a language of binary sessions. The key
idea is to annotate actions in session types with priorities representing the
urgency with which such actions must be performed and to verify that processes
perform such actions with the required priority. Compared to related systems
for session-based languages, the presented type system is relatively simpler
and establishes progress for a wider range of processes.Comment: In Proceedings PLACES 2013, arXiv:1312.221
When Beauty Goes to Sleep: an analysis of the symbolism behind the sleeping beauty tale
Approaching the world of the fairy tale as an adult, one soon realizes that things are not what they once seemed during story time in bed. Something that once appeared so innocent and simple can become rather complex when digging into its origin. A kiss, for example, can mean something else entirely. I can clearly remember my sister, who is ten years older than I am, telling me that the fairy tales I was told had a mysterious hidden meaning I could not understand. I was probably 9 or 10 when she told me that the story of Sleeping Beauty, which I used to love so much in Disney’s rendering, was nothing more than the story of an adolescent girl, with all the necessary steps needed to become a woman, the bleeding of menstruation and the sexual awakening - even though she did not really put it in these terms. This shocking news troubled me for a while, so much so that I haven’t watched that movie since. But in reality it was not fear that my sister had implanted in me: it was curiosity, the feeling that I was missing something terribly important behind the words and images. But it was not until last year during my semester abroad in Germany, where I had the chance to take a very interesting English literature seminar, that I fully understood what I had been looking for all these years. Thanks to what I learned from the work of Bruno Bettelheim, Jack Zipes, Vladimir Propp, and many other authors that wrote extensively about the subject, I feel I finally have the right tools to really get to know this fairy tale. But what I also know now is that the message behind fairy tales is not to be searched for behind only one version: on the contrary, since they come from oral traditions and their form was slowly shaped by centuries of recountals and retellings, the more one digs, the more complete the understanding of the tale will be. I will therefore look for Sleeping Beauty’s hidden meaning by looking for the reason why it did stick so consistently throughout time. To achieve this goal, I have organized my analysis in three chapters: in the first chapter, I will analyze the first known literary version of the tale, the French Perceforest, and then compare it with the following Italian version, Basile’s Sun, Moon, and Talia; in the second chapter, I will focus on the most famous and by now classical literary versions of Sleeping Beauty, La Belle Au Bois Dormant, written by the Frenchman, Perrault, and the German Dornröschen, recorded by the Brothers Grimm’s; finally, in the last chapter, I will analyze Almodovar’s film Talk to Her as a modern rewriting of this tale, which after a closer look, appears closely related to the earliest version of the story, Perceforest
The discovery of high power - high synchrotron peak blazars
We study the quasi-simultaneous near-IR, optical, UV, and X-ray photometry of
eleven gamma-ray selected blazars for which redshift estimates larger than 1.2
have been recently provided. Four of these objects turn out to be high-power
blazars with the peak of their synchrotron emission between ~ 3 x 10^15 and ~
10^16 Hz, and therefore of a kind predicted to exist but never seen before.
This discovery has important implications for our understanding of physical
processes in blazars, including the so-called "blazar sequence", and might also
help constraining the extragalactic background light through gamma-ray
absorption since two sources are strongly detected even in the 10 - 100 GeV
Fermi-LAT band. Based on our previous work and their high powers, these sources
are very likely high-redshift flat-spectrum radio quasars with their emission
lines swamped by the non-thermal continuum.Comment: 5 pages, 6 colour figures, accepted for publication in the Monthly
Notices of the Royal Astronomical Societ
Decidability of All Minimal Models (Revised Version - 2012)
This unpublished note is an alternate, shorter (and hopefully more readable)
proof of the decidability of all minimal models. The decidability follows from
a proof of the existence of a cellular term in each observational equivalence
class of a minimal model
- …