2,152 research outputs found
Memes inside and outside the Internet - how digital entertainment mirrors the human psyche
The essay sets out to explain how the meme-sharing mechanism on the Internet is the reflection of human psyche. Starting from Richard Dawkins’ definition of meme, the analysis focuses on the search of what make Internet memes go viral, with the supporting theories of Richard Brodie about the effect of memes on human mind and Limor Shifman’s studies about memes in digital culture.
Having described the elements of adaptability, accessibility, belonging, exclusivity, nonsense, irony, cuteness, contrast, surprise, political incorrectness, and stereotype, meme genres such as image macros, videos and photoshop-edited pictures are analyzed across the spectrum of such factors. The result is subsequently compared to the ones obtained by Shifman in 2014, in order to find common elements to outline a spreading pattern.
The third and last section focus on the effects of memes on human brain, starting from Brodie’s “button pushing” theory, which refers to many mechanisms such as “repetition”, “cognitive dissonance”, and “creating value” that trigger humans’ most basic instincts. By comparing such theory with Shifman’s about memes providing freedom of expression, the suggested solution concentrate on raising awareness the real potential of memes among people and providing them the means to make memes work for a more conscious society
Coalgebraic Infinite Traces and Kleisli Simulations
Kleisli simulation is a categorical notion introduced by Hasuo to verify
finite trace inclusion. They allow us to give definitions of forward and
backward simulation for various types of systems. A generic categorical theory
behind Kleisli simulation has been developed and it guarantees the soundness of
those simulations with respect to finite trace semantics. Moreover, those
simulations can be aided by forward partial execution (FPE)---a categorical
transformation of systems previously introduced by the authors.
In this paper, we give Kleisli simulation a theoretical foundation that
assures its soundness also with respect to infinitary traces. There, following
Jacobs' work, infinitary trace semantics is characterized as the "largest
homomorphism." It turns out that soundness of forward simulations is rather
straightforward; that of backward simulation holds too, although it requires
certain additional conditions and its proof is more involved. We also show that
FPE can be successfully employed in the infinitary trace setting to enhance the
applicability of Kleisli simulations as witnesses of trace inclusion. Our
framework is parameterized in the monad for branching as well as in the functor
for linear-time behaviors; for the former we mainly use the powerset monad (for
nondeterminism), the sub-Giry monad (for probability), and the lift monad (for
exception).Comment: 39 pages, 1 figur
Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective
Notions of simulation, among other uses, provide a computationally tractable
and sound (but not necessarily complete) proof method for language inclusion.
They have been comprehensively studied by Lynch and Vaandrager for
nondeterministic and timed systems; for B\"{u}chi automata the notion of fair
simulation has been introduced by Henzinger, Kupferman and Rajamani. We
contribute to a generalization of fair simulation in two different directions:
one for nondeterministic tree automata previously studied by Bomhard; and the
other for probabilistic word automata with finite state spaces, both under the
B\"{u}chi acceptance condition. The former nondeterministic definition is
formulated in terms of systems of fixed-point equations, hence is readily
translated to parity games and is then amenable to Jurdzi\'{n}ski's algorithm;
the latter probabilistic definition bears a strong ranking-function flavor.
These two different-looking definitions are derived from one source, namely our
coalgebraic modeling of B\"{u}chi automata. Based on these coalgebraic
observations, we also prove their soundness: a simulation indeed witnesses
language inclusion
- …