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.

Modulation of the secretome of hBMSCs by tailoring the macromolecular gradient in hydrogels to generate tissue-to-tissue interfaces

Tissue-to-tissue interfaces are commonly present in all tissues exhibiting structural, biological and chemical gradients serving a wide range of physiological functions. These interfaces are responsible for mediation of load transfer between two adjacent tissues. They are also important structures in sustaining the cellular communications to retain tissueâ s functional integration and homeostasis. [1] All cells have the capacity to sense and respond to physical and chemical stimulus and when cultured in three-dimensional (3D) environments they tend to perform their function better than in two-dimensional (2D) environments. Spatial and temporal 3D gradient hydrogels better resemble the natural environment of cells in mimicking their extracellular matrix. [2] In this study we hypothesize that differential functional properties can be engineered by modulation of macromolecule gradients in a cell seeded threedimensional hydrogel system. Specifically, differential paracrine secretory profiles can be engineered using human Bone Marrow Stem Cells (hBMSCâ s). Hence, the specific objectives of this study are to: assemble the macromolecular gradient hydrogels to evaluate the suitablity for hBMSCâ s encapsulation by cellular viability and biofunctionality by assessing the paracrine secretion of hBMSCâ s over time. The gradient hydrogels solutions were prepared by blend of macromolecules in one solution such as hyaluronic (HA) acid and collagen (Col) at different ratios. The gradient hydrogels were fabricated into cylindrical silicon moulds with higher ratio solutions assembled at the bottom of the mould and adding the two solutions consecutively on top of each other. The labelling of the macromolecules was performed to confirm the gradient through fluorescence microscopy. Additionally, AFM was conducted to assess the gradient hydrogels stiffness. Gradient hydrogels characterization was performed by HA and Col degradation assay, degree of crosslinking and stability. hBMSCâ s at P3 were encapsulated into each batch solution at 106 cells/ml solution and gradient hydrogels were produced as previously described. The hBMSCâ s were observed under confocal microscopy to assess viability by Live/Dead® staining. Cellular behaviour concerning proliferation and matrix deposition was also performed. Secretory cytokine measurement for pro-inflammatory and angiogenesis factors was carried out using ELISA. At genomic level, qPCR was carried out. The 3D gradient hydrogels platform made of different macromolecules showed to be a suitable environment for hBMSCâ s. The hBMSCâ s gradient hydrogels supported high cell survival and exhibited biofunctionality. Besides, the 3D gradient hydrogels demonstrated differentially secretion of pro-inflammatory and angiogenic factors by the encapsulated hBMSCâ s. References: 1. Mikos, AG. et al., Engineering complex tissues. Tissue Engineering 12,3307, 2006 2. Phillips, JE. et al., Proc Natl Acad Sci USA, 26:12170-5, 2008

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.

As universidades e a participação pública em ciência. Perceções e práticas de cientistas, profissionais de comunicação e cidadãos em Portugal e Espanha

Tese de doutoramento em Ciência da Comunicação.

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

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

Introduction [to "Citizen voices: performing public participation in science and environment communication"]

"ECREA series, ISSN 1742-9420"