Taming the b antighost with Ramond-Ramond flux

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

The tachyon potential in the sliver frame

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Arquitetura multiprocessada e reconfigurável para a síntese de redes de Petri em hardware

Uma arquitetura reconfigurável e multiprocessada para a implementação física de Redes de Petri foi desenvolvida em VHDL e mapeada sobre um FPGA. Convencionalmente, as Redes de Petri são transformadas em uma linguagem de descrição de hardware no nível de transferências entre registradores e um processo de síntese de alto nível é utilizado para gerar as funções booleanas e tabelas de transição de estado para que se possa, finalmente, mapeá-las num FPGA (Morris et al., 2000) (Soto and Pereira, 2001). A arquitetura proposta possui blocos lógicos reconfiguráveis desenvolvidos exclusivamente para a implementação dos lugares e das transições da rede, não sendo necessária a descrição da rede em níveis de abstração intermediários e nem a utilização de um processo de síntese para realizar o mapeamento da rede na arquitetura. A arquitetura permite o mapeamento de modelos de Redes de Petri com diferenciação entre as marcas e associação de tempo no disparo das transições, sendo composta por um arranjo de processadores reconfiguráveis, cada um dos quais representando o comportamento de uma transição da Rede de Petri a ser mapeada e por um sistema de comunicação, implementado por um conjunto de roteadores que são capazes de enviar pacotes de dados de um processador reconfigurável a outro. A arquitetura proposta foi validada num FPGA de 10.570 elementos lógicos com uma topologia que permitiu a implementação de Redes de Petri de até 9 transições e 36 lugares, atingindo uma latência de 15,4ns e uma vazão de até 17,12GB/s com uma freqüência de operação de 64,58MHz.

SEMICLASSICAL THEORY OF MAGNETIZATION FOR A 2-DIMENSIONAL NONINTERACTING ELECTRON-GAS

We compute the semiclassical magnetization and susceptibility of non-interacting electrons, confined by a smooth two-dimensional potential and subjected to a uniform perpendicular magnetic field, in the general case when their classical motion is chaotic. It is demonstrated that the magnetization per particle m(B) is directly related to the staircase function N(E), which counts the single-particle levels up to energy E. Using Gutzwiller's trace formula for N, we derive a semiclassical expression for m. Our results show that the magnetization has a non-zero average, which arises from quantum corrections to the leading-order Weyl approximation to the mean staircase and which is independent of whether the classical motion is chaotic or not. Fluctuations about the average are due to classical periodic orbits and do represent a signature of chaos. This behaviour is confirmed by numerical computations for a specific system.

Bayesian longitudinal data analysis with mixed models and thick-tailed distributions using MCMC

Linear mixed effects models are frequently used to analyse longitudinal data, due to their flexibility in modelling the covariance structure between and within observations. Further, it is easy to deal with unbalanced data, either with respect to the number of observations per subject or per time period, and with varying time intervals between observations. In most applications of mixed models to biological sciences, a normal distribution is assumed both for the random effects and for the residuals. This, however, makes inferences vulnerable to the presence of outliers. Here, linear mixed models employing thick-tailed distributions for robust inferences in longitudinal data analysis are described. Specific distributions discussed include the Student-t, the slash and the contaminated normal. A Bayesian framework is adopted, and the Gibbs sampler and the Metropolis-Hastings algorithms are used to carry out the posterior analyses. An example with data on orthodontic distance growth in children is discussed to illustrate the methodology. Analyses based on either the Student-t distribution or on the usual Gaussian assumption are contrasted. The thick-tailed distributions provide an appealing robust alternative to the Gaussian process for modelling distributions of the random effects and of residuals in linear mixed models, and the MCMC implementation allows the computations to be performed in a flexible manner.

Analog Modeling of Human Cognitive Functions with Tripartite Synapses

Searching for an understanding of how the brain supports conscious processes, cognitive scientists have proposed two main classes of theory: Global Workspace and Information Integration theories. These theories seem to be complementary, but both still lack grounding in terms of brain mechanisms responsible for the production of coherent and unitary conscious states. Here we propose following James Robertson's "Astrocentric Hypothesis" - that conscious processing is based on analog computing in astrocytes. The "hardware" for these computations is calcium waves mediated by adenosine triphosphate signaling. Besides presenting our version of this hypothesis, we also review recent findings on astrocyte morphology that lend support to their functioning as Local Hubs (composed of protoplasmic astrocytes) that integrate synaptic activity, and as a Master Hub (composed, in the human brain, by a combination of interlaminar, fibrous, polarized and varicose projection astrocytes) that integrates whole-brain activity.

Enzymatic Logic Gates with Noise-Reducing Sigmoid Response

Biochemical computing is an emerging field of unconventional computing that attempts to process information with biomolecules and biological objects using digital logic. In this work we survey filtering in general, in biochemical computing, and summarize the experimental realization of an and logic gate with sigmoid response in one of the inputs. The logic gate is realized with electrode-immobilized glucose-6-phosphate dehydrogenase enzyme that catalyzes a reaction corresponding to the Boolean and functions. A kinetic model is also developed and used to evaluate the extent to which the performance of the experimentally realized logic gate is close to optimal.

A Bayesian Analysis of Spectral ARMA Model

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Relating the RNS and pure spinor formalisms for the superstring

Recently, the superstring was covariantly quantized using the BRST-like operator Q = ∮ λαdα where λα is a pure spinor and dα are the fermionic Green-Schwarz constraints. By performing a field redefinition and a similarity transformation, this BRST-like operator is mapped to the sum of the Ramond-Neveu-Schwarz BRST operator and η0 ghost. This map is then used to relate physical vertex operators and tree amplitudes in the two formalisms. Furthermore, the map implies the existence of a b ghost in the pure spinor formalism which might be useful for loop amplitude computations.

Cubic twistorial string field theory

Witten has recently proposed a string theory in twistor space whose D-instanton contributions are conjectured to compute M = 4 super-Yang-Mills scattering amplitudes. An alternative string theory in twistor space was then proposed whose open string tree amplitudes reproduce the D-instanton computations of maximal degree in Witten's model. In this paper, a cubic open string field theory action is constructed for this alternative string in twistor space, and is shown to be invariant under parity transformations which exchange MHV and googly amplitudes. Since the string field theory action is gauge-invariant and reproduces the correct cubic super-Yang-Mills interactions, it provides strong support for the conjecture that the string theory correctly computes N-point super-Yang-Mills tree amplitudes. © SISSA/ISAS 2004.

Análise da transformação do uso da terra, vegetação e impactos ambientais por meio de sensoriamento remoto e geoprocessamento

The mapping of the land use, vegetation and environmental impacts using remote sensing and geoprocessing allows detection, spatial representation and quantifying all alterations due to the human action in the nature, contributing to the monitoring and planning of those activities that cause damages to the environment. The aim of this research is analyze the transformation ocurred with the land use and vegetation in order to detect environmental impacts during the period from 1962 to 1995, considering a test area in the district of Assistência and surroundings, in the Rio Claro (SP) region. In order to archieve such aim the authors used boolean operations available in the Geographical Information System (GIS) - Idrisi. The maps were obtained through the ordinary (conventional) interpretation of aerial photos, later digitized in the software CAD Overlay and georeferenced in AutoCAD Map. It's observed that operations such as crossing digitized maps of one specific area in two differents dates, using GIS, produce overall results that might point out expansion or retraction's trends of the mapped classes, as well as quantify the intensity of the phenomena.

Carta de Aptidão para a implantação de rodovias e avaliação de alternativas de traçado com uso de geotecnologias

This study discuss the use of the geotechnologies to aid the planners on the terrain aptness definition for highways implantation and on the different trace evaluation to the extention of the Governador Carvalho Pinto highway, between Taubaté-SP and Aparecida do Norte-SP. Fratures on the area were mapping using Landsat ETM+, band Pan. In order to elaborate the phisical aptness chart for highway implantation was used the Analitical Hierarchy Process (AHP) operation, in on geographical information system (GIS). Using GIS were realized a ponderate middle with the soils, rocks, relief, slope, fractures and land use/cover maps. Using this physical aptness chart and joinning it with urban and restrict areas (that was inserted by the Boolean operation), were obtained a viability chart for highway implantation. Based on it were proposed three aleatory traces for the Carvalho Pinto highway. This traces were evaluated with the cross tabulation operation. The integration of the restrict areas, land use and phisical aptness in digital media can offer for the planners the cartography of the viability for the highway implantation. The evaliation of these three traces, based on the viability chart, can subsidyse the decision by the planners.

Super-Poincaré covariant two-loop superstring amplitudes

The super-Poincaré covariant formalism for the superstring is used to compute massless four-point two-loop amplitudes in ten-dimensional superspace. The computations are much simpler than in the RNS formalism and include both external bosons and fermions. © SISSA 2006.

Simple analytical expression for vector hypernuclear asymmetry in nonmesonic decay ofΛ 5He andΛ 12C

We present general explicit expressions for a shell-model calculation of the vector hypernuclear parameter in nonmesonic weak decay. We use a widely accepted effective coupling Hamiltonian involving the exchange of the complete pseudoscalar and vector meson octets (π, η, K, ρ, ω, K*). In contrast to the approximated formula widely used in the literature, we correctly treat the contribution of transitions originated from single-proton states beyond the s-shell. Exact and simple analytical expressions are obtained for the particular cases of Λ 5He and Λ 12C, within the one-pion-exchange model. Numerical computations of the asymmetry parameter, aΛ, are presented. Our results show a qualitative agreement with other theoretical estimates but also a contradiction with recent experimental determinations. Our simple analytical formulas provide a guide in searching the origin of such discrepancies, and they will be useful for helping to solve the hypernuclear weak decay puzzle.

Superstring Amplitudes in the Pure Spinor Formalism

Among other things, the pure spinor formalism has been used to rederive some particular superstring scattering amplitudes in the last few years. I will briefly review how the computations were done and show that the kinematical factors of these amplitudes can be simply written as integrals in a pure spinor superspace. © 2007 Elsevier B.V. All rights reserved.