In this talk, we propose a new storage method for the results of a static program analysis. Instead of attaching the analysis results to the control-flow graph, we automatically transform the program into a augmented version that uses assert-statements to explicitly check the analyzed properties at runtime. This transformation opens up multiple applications: • Automatic testing of the analysis ...

[1] A gap in the total solar irradiance (TSI) measurements between ACRIM-1 and ACRIM-2 led to the ongoing debate on the presence or not of a secular trend between the minima preceding cycles 22 (in 1986) and 23 (1996). It was recently proposed to use the SATIRE model of solar irradiance variations to bridge this gap. When doing this, it is important to use the appropriate SATIRE-based reconstru...

some satire works is based on the fun and humor with the work of others that have already been created. since it would lead to repudiation and change work is an example of copyright infringement. in accordance with article 6 bis, the author shall have the right to object to any distortion, mutilation or other modification of, or other derogatory action in relation to, the said work, which would...

This study investigated biased message processing of political satire in The Colbert Report and the influence of political ideology on perceptions of Stephen Colbert. Results indicate that political ideology influences biased processing of ambiguous political messages and source in late-night comedy. Using data from an experiment (N = 332), we found that individual-level political ideology sign...

Robert Burns's poem, Death and Doctor Hornbook, 1785, tells of the drunken narrator's late night encounter with Death. The Grim Reaper is annoyed that ‘Dr Hornbook’, a local schoolteacher who has taken to selling medications and giving medical advice, is successfully thwarting his efforts to gather victims. The poet fears that the local gravedigger will be unemployed but Death reassures him tha...

Satirical news is considered to be entertainment, but it is potentially deceptive and harmful. Despite the embedded genre in the article, not everyone can recognize the satirical cues and therefore believe the news as true news. We observe that satirical cues are often reflected in certain paragraphs rather than the whole document. Existing works only consider documentlevel features to detect t...

José Clavijo y Fajardo’s satirical allegory, El tribunal de las damas, certainly fulfils the great Roman satirist Horace’s utili dulci dictum, so prized by Spain’s neoclassicists, on the importance of literature’s being both entertaining and instructive. Its witty representation of the age-old debate about the balance of power between the sexes, in the form of a court-room battle over the intro...

During the last few years, the investigation of methodologies to automatically detect and characterise the figurative traits of textual contents has attracted a growing interest. Indeed, the capability to correctly deal with figurative language and more specifically with satire is fundamental to build robust approaches in several sub-fields of Artificial Intelligence including Sentiment Analysi...

this article is to describe and analyze the situation of children and adolescents’poetry in iran during three decades after the islamic revolution. poetry movements, their peculiarities, the social situations, the more prominent poets and the leading poets are all the questionable central matters of a field with theoretical, historical descriptive and analytic framework. this is the first artic...