Curry-Howard for sequent calculus at last!

This paper tries to remove what seems to be the remaining stumbling blocks in the way to a full understanding of the Curry-Howard isomorphism for sequent calculus, namely the questions: What do variables in proof terms stand for? What is co-control and a co-continuation? How to define the dual of Parigot's mu-operator so that it is a co-control operator? Answering these questions leads to the interpretation that sequent calculus is a formal vector notation with first-class co-control. But this is just the "internal" interpretation, which has to be developed simultaneously with, and is justified by, an "external" one, offered by natural deduction: the sequent calculus corresponds to a bi-directional, agnostic (w.r.t. the call strategy), computational lambda-calculus. Next, the duality between control and co-control is studied and proved in the context of classical logic, where one discovers that the classical sequent calculus has a distortion towards control, and that sequent calculus is the de Morgan dual of natural deduction.

Como nunca ninguém viu: o olhar na publicidade

[Excerto] Há quem advogue que a publicidade pode ser encarada como um sismógrafo (Sodré, 2006) ou um espelho da sociedade (Foz, 1984). Ambas as metáforas pecam por mecanicismo e univocidade. A publicidade abala tanto quanto é abalada e servir de espelho não é a sua vocação actual. Ela declina retratar tanto o produto como o público, público que, por sua vez, dispensa rever-se na publicidade. Procura, antes pelo contrário, a sensação de espanto e o sentimento de estranheza. Muita da publicidade actual, quiçá a melhor, não imita, mas alucina, não argumenta, mas seduz, nem sequer insinua, insinua-se, através da pele e dos sentidos (Kherckove, 1997). Esta dinâmica não se reduz a dois lados com o seu pêndulo de ecos e reflexos. A actividade publicitária não decorre de uma agência isolada que produz efeitos externos. Parte específica de um todo, integra uma configuração que convoca a sociedade, a cultura e a vida quotidiana (Lears, 1994).A actividade publicitária constitui um“mundo”, no sentido de Howard S. Becker (1988), ou um“campo”, no sentido de Pierre Bourdieu (1976; 1984; 1992). À semelhança da ciência e da arte, a actividade publicitária logrou alguma autonomia, que, por ser mais recente, não é menos complexa. Alberga sistemas de posições e disposições, recursos e percursos, regras e enredos, cooperação e conflito, legitimidades e instâncias de reconhecimento.

Corpo e pós-corpo: Identidades digitais

Identidades digitais: Howard Reingold; Comunidades virtuais; Desencarnação (desimbodiment); Sherry Turkle; Papéis sociais virtuais. O second self e o efeito Pessoa. Identidade no ciberespaço: Projeto 1: Identidade social virtual; Projeto 2: Digitalização da existência / experiência social; Projeto 3: Fetichização do consumo digital; Projeto 4: O cidadão enredado. Katherine Hayles: pós-humano. Subjetividade e identidade. Tecnologias da transcendência corporal. Projeto 5: Perfis de utilizadores e tipos de redes sociais. Projeto 6: Nuvens Semânticas na Blogosfera. Projeto 7: Dados pessoais e diferença social. Projeto 8: Identidade e privacidade. Projeto 9: Bancos de dados e bancos da alta finança . Projeto 10: Segurança e identidade democrática.

O livro na revista: como revistas semanais brasileiras e portuguesas abordam livros e literatura

Dissertação de mestrado em Comunicação, Arte e Cultura

Quantifying the legacy of the Chinese Neolithic on the maternal genetic heritage of Taiwan and Island Southeast Asia

There has been a long-standing debate concerning the extent to which the spread of Neolithic ceramics and Malay-Polynesian languages in Island Southeast Asia (ISEA) were coupled to an agriculturally driven demic dispersal out of Taiwan 4000 years ago (4 ka). We previously addressed this question using founder analysis of mitochondrial DNA (mtDNA) control-region sequences to identify major lineage clusters most likely to have dispersed from Taiwan into ISEA, proposing that the dispersal had a relatively minor impact on the extant genetic structure of ISEA, and that the role of agriculture in the expansion of the Austronesian languages was therefore likely to have been correspondingly minor. Here we test these conclusions by sequencing whole mtDNAs from across Taiwan and ISEA, using their higher chronological precision to resolve the overall proportion that participated in the "out-of-Taiwan" mid-Holocene dispersal as opposed to earlier, postglacial expansions in the Early Holocene. We show that, in total, about 20 % of mtDNA lineages in the modern ISEA pool result from the "out-of-Taiwan" dispersal, with most of the remainder signifying earlier processes, mainly due to sea-level rises after the Last Glacial Maximum. Notably, we show that every one of these founder clusters previously entered Taiwan from China, 6-7 ka, where rice-farming originated, and remained distinct from the indigenous Taiwanese population until after the subsequent dispersal into ISEA.