A logical foundation for session-based concurrent computation

Linear logic has long been heralded for its potential of providing a logical basis for concurrency. While over the years many research attempts were made in this regard, a Curry-Howard correspondence between linear logic and concurrent computation was only found recently, bridging the proof theory of linear logic and session-typed process calculus. Building upon this work, we have developed a theory of intuitionistic linear logic as a logical foundation for session-based concurrent computation, exploring several concurrency related phenomena such as value-dependent session types and polymorphic sessions within our logical framework in an arguably clean and elegant way, establishing with relative ease strong typing guarantees due to the logical basis, which ensure the fundamental properties of type preservation and global progress, entailing the absence of deadlocks in communication. We develop a general purpose concurrent programming language based on the logical interpretation, combining functional programming with a concurrent, session-based process layer through the form of a contextual monad, preserving our strong typing guarantees of type preservation and deadlock-freedom in the presence of general recursion and higher-order process communication. We introduce a notion of linear logical relations for session typed concurrent processes, developing an arguably uniform technique for reasoning about sophisticated properties of session-based concurrent computation such as termination or equivalence based on our logical approach, further supporting our goal of establishing intuitionistic linear logic as a logical foundation for sessionbased concurrency.

As espécies de Coccoloba P. Browne (Polygonaceae) da Amazônia brasileira

O gênero Coccoloba está representado na Amazônia brasileira por 23 espécies: Coccoloba acuminata Kunth, C. arborescens (Vell.) R. A. Howard, C. ascendens Duss ex Lindau, C. brasiliensis Nees & Mart., C. charitostachya Standl., C. conduplicata Maguire, C. coronata Jacq., C. declinata (Vell.) Mart., C. densifrons Mart. ex Meisn., C. excelsa Benth., C. gentryi R. A. Howard, C. latifolia Lam., C. lehmannii Lindau, C. lucidula Benth., C. marginata Benth., C. mollis Casar., C. ovata Benth., C. paraensis Meisn., C. parimensis Benth., C. ramosissima Wedd., C. savannarum Standl., C. striata Benth. e C. tenuiflora Lindau, dentre as quais apenas C. paraensis ocorre exclusivamente na Amazônia brasileira, C. charitostachya, C. conduplicata, C. coronata, C. gentryi, C. lehmanni e C. savannarum, são citadas pela primeira vez para o Brasil. As características de maior relevância taxonômica são a posição do pecíolo em relação à ócrea, ramificação da inflorescência, tamanhos relativos das brácteas e ocréolas, perianto frutífero e pericarpo. São apresentadas chaves de identificação, descrições e ilustrações, bem como comentários sobre a distribuição geográfica, hábitats e dados fenológicos para todas as espécies estudadas.

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

Manual de plantas de Costa Rica /B.E. Hammel ... [et al.] editores ; Silvia Troyo, ilustraciones.

v.1 (2004) [ser. v.97]

Manual de plantas de Costa Rica /B.E. Hammel ... [et al.] editores ; Silvia Troyo, ilustraciones.

v.2 (2003) [ser. v.92]

Manual de plantas de Costa Rica /B.E. Hammel ... [et al.] editores ; Silvia Troyo, ilustraciones.

v.3 (2003) [ser. v.93]

Report on the scientific results of the voyage of S.Y. "Scotia" during the years 1902, 1903 and 1904, under the leadership of William S. Bruce.

v. 3,pt.1-11

Report on the scientific results of the voyage of S.Y. "Scotia" during the years 1902, 1903 and 1904, under the leadership of William S. Bruce.

v. 6,pt.1-11

Report on the scientific results of the voyage of S.Y. "Scotia" during the years 1902, 1903 and 1904, under the leadership of William S. Bruce.

v. 7,pt.1-13

Report on the scientific results of the voyage of S.Y. "Scotia" during the years 1902, 1903 and 1904, under the leadership of William S. Bruce.

v. 4.pt.1

Report on the scientific results of the voyage of S.Y. "Scotia" during the years 1902, 1903 and 1904, under the leadership of William S. Bruce.

v. 4,pt.2-20