A Note on Tachyon Moduli and Closed Strings

The collective behavior of the SL(2,R) covariant brane states of non-critical c=1 string theory found in a previous work, is studied in the Fermi liquid approximation. It is found that such states mimick the coset WZW model, whereas only by further restrictions one recovers the double-scaling limit which was purported to be equivalent to closed string models. Another limit is proposed, inspired by the tachyon condensation ideas, where the spectrum is the same of two-dimensional string theory. We close by noting some strange connections between vacuum states of the theory in their different interpretations.Comment: PDFLaTeX, 17 pages, 2 figures; Section 2 rewritten, several fixes throughout the text to improve clarit

Estudo dos solos do município de Pelotas.

bitstream/item/41392/1/Pelotas.pdf; bitstream/item/41393/1/mapa-geomorfologia.pdf; bitstream/item/41394/1/mapa-solos.pdf; bitstream/item/41395/1/mapa-uso-das-terras.pd

Estudo dos solos do município de Capão do Leão.

bitstream/item/41388/1/Capao-do-leao.pdf; bitstream/item/41389/1/mapa-geomorfologia.pdf; bitstream/item/41390/1/mapa-solos.pdf; bitstream/item/41391/1/mapa-uso-da-terra.pd

Estudos de Solos do Município de Aceguá, RS

bitstream/item/130155/1/Circular-157.pd

2,6-Diiodo-4-nitrophenol, 2,6-diiodo-4-nitrophenyl acetate and 2,6-diiodo-4-nitroanisole: interplay of hydrogen bonds, iodo-nitro interactions and aromatic [pi]-[pi]-stacking interactions to give supramolecular structures in one, two and three dimensions

Peer reviewedPublisher PD

Generalised verification of the observer property in discrete event systems

The observer property is an important condition to be satisfied by abstractions of Discrete Event Systems (DES) models. This paper presents a generalised version of a previous algorithm which tests if an abstraction of a DES obtained through natural projection has the observer property. The procedure called OP-verifier II overcomes the limitations of the previously proposed verifier while keeping its computational complexity. Results are illustrated by a case study of a transfer line system

Generalised verification of the observer property in discrete event systems

The observer property is an important condition to be satisfied by abstractions of Discrete Event Systems (DES) models. This paper presents a generalised version of a previous algorithm which tests if an abstraction of a DES obtained through natural projection has the observer property. The procedure called OP-verifier II overcomes the limitations of the previously proposed verifier while keeping its computational complexity. Results are illustrated by a case study of a transfer line system

Estudo dos solos do município de Herval.

bitstream/item/41396/1/Herval.pdf; bitstream/item/41397/1/mapa-geomorfologia.pdf; bitstream/item/41398/1/mapa-solos.pdf; bitstream/item/41399/1/mapa-uso-das-terras.pd

Estudo dos solos do município de Morro Redondo.

bitstream/item/41408/1/Morro-Redondo.pdf; bitstream/item/41409/1/mapa-geomorfologia-e-solos.pdf; bitstream/item/41410/1/mapa-solos.pdf; bitstream/item/41411/1/mapa-uso-das-terras.pd