Theoretical study of electric field-dependent polaron-type mobility in conjugated polymers

We have used a self-consistent quantum molecular dynamics approach to calculate the mobility of both positive and negative polaron-type carriers on solated chains of poly(p-phenylene vinylene) (PPV) and some of its derivatives and the dependence of their mobility on the applied electric field. Our results suggest that polaron-type mobility along most of these polymer chains has a clear dependence on the electric field which is quite different from the result derived for bulk PPV-based materials.Fundação para a Ciência e a Tecnologia (FCT) Programa Operacional “Ciência , Tecnologia, Inovação” – POCTI/CTM/41574/2001, CONC-REEQ/443/EEI/2001 e SFRH/BD/11231/200

Photoinduced transient stark spectroscopy in organic semiconductors: a method for charge mobility determination in the picosecond regime.

Published versio

Monoidal computer III: A coalgebraic view of computability and complexity

Monoidal computer is a categorical model of intensional computation, where many different programs correspond to the same input-output behavior. The upshot of yet another model of computation is that a categorical formalism should provide a much needed high level language for theory of computation, flexible enough to allow abstracting away the low level implementation details when they are irrelevant, or taking them into account when they are genuinely needed. A salient feature of the approach through monoidal categories is the formal graphical language of string diagrams, which supports visual reasoning about programs and computations. In the present paper, we provide a coalgebraic characterization of monoidal computer. It turns out that the availability of interpreters and specializers, that make a monoidal category into a monoidal computer, is equivalent with the existence of a *universal state space*, that carries a weakly final state machine for any pair of input and output types. Being able to program state machines in monoidal computers allows us to represent Turing machines, to capture their execution, count their steps, as well as, e.g., the memory cells that they use. The coalgebraic view of monoidal computer thus provides a convenient diagrammatic language for studying computability and complexity.Comment: 34 pages, 24 figures; in this version: added the Appendi

In vivo and in vitro genotoxicity studies of aqueous extract of Xanthium spinosum

The use of plants as a source of palliative or cure for pathological conditions is quite common worldwide. Xanthium spinosum (Asteraceae), popularly known in Brazil as 'espinho de carneiro', is an annual weed from South America, which has been used by empiric medicine to treat neoplasias. Owing to the extensive use of the above-mentioned plant and to the lack of reports about the real effects of its infusion, current study evaluated the genotoxic potential of its aqueous extract at concentrations 0.02 g L-1, 0.1 g L-1 and 0.2 g L-1 by fish micronucleus test and by comet human leukocytes assay. The micronucleus test featured at least 50 cells with micronuclei to every 2,000 cells scored, as a mutagenic parameter. The comet assay was used as a parameter for assessing the level of cell damage and the damage index. Since no significant changes in strain cells exposed to the aqueous extract in the comet and micronucleus assays were reported, it seems that no genotoxicity evidence is extant at the concentrations and in the assays performed.Em diversos lugares do mundo a utilização de plantas como fonte paliativa ou de cura para determinadas condições patológicas é bastante comum. No Brasil, essa prática não se torna diferente devido à ampla biodiversidade da fauna e flora presentes no País. Nesse contexto, surge a Xanthium spinosum (Asteraceae), conhecida popularmente como "espinho-de-carneiro", um arbusto anual introduzido na América do Sul, o qual tem sido utilizado empiricamente no tratamento de neoplasias. Sabendo do extensivo uso dessa planta em contrapartida com nenhum estudo reportando os reais efeitos de sua infusão, o objetivo do estudo foi avaliar a genotoxicidade do extrato aquoso nas concentrações de 0,02 g L-1, 0,1 g L-1 e 0,2 g L-1, através do ensaio do micronúcleo písceo e do ensaio cometa em leucócitos de sangue humano. O ensaio do micronúcleo tem como parâmetro mutagênico a presença de no mínimo 50 células com micronúcleo em uma contagem de 2.000 células por amostra, enquanto o ensaio cometa utiliza como parâmetro o nível de dano e o índice de dano. Os resultados mostram que não foi possível observar mudanças significativas nas células expostas ao extrato aquoso, em ambos os testes, o que sugere não existir evidência de genotoxicidade nas concentrações utilizadas no ensaio

Comparing models of the intensional typed λ-calculus

AbstractIn this paper we compare “powerset models” of the typed lambda calculus. Although the interpretation of the type constructor ⇏ is in general not uniquely determined for intensional lambda calculi, we can make a canonical choice in this particular case: there exists a minimal interpretation of ⇏ (with respect to a certain class of interpretations) which yields models with a maximal theory (in that class)