6,459 research outputs found
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
Mapeamento de solos do municĆpio de AceguĆ”, utilizando os mĆ©todos convencionais e geotecnologias.
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
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
- ā¦