67 resultados para Computational lambda-calculus
Resumo:
We study the (lambda/4!)phi(4) massless scalar field theory in a four-dimensional Euclidean space, where all but one of the coordinates are unbounded. We are considering Dirichlet boundary conditions in two hyperplanes, breaking the translation invariance of the system. We show how to implement the perturbative renormalization up to two-loop level of the theory. First, analyzing the full two and four-point functions at the one-loop level, we show that the bulk counterterms are sufficient to render the theory finite. Meanwhile, at the two-loop level, we must also introduce surface counterterms in the bare Lagrangian in order to make finite the full two and also four-point Schwinger functions. (c) 2006 American Institute of Physics.
Resumo:
Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
A statistical law for the multiplicities of the SU(3) irreps (lambda, mu) in the reduction of totally symmetric irreducible representations {m} of U(N), N = (eta + 1) (eta + 2)/2 with eta being the three-dimensional oscillator major shell quantum number, is derived in terms of the quadratic and cubic invariants of SU(3), by determining the first three terms of an asymptotic expansion for the multiplicities. To this end, the bivariate Edgeworth expansion known in statistics is used. Simple formulae, in terms of m and eta, for all the parameters in the expansion are derived. Numerical tests with large m and eta = 4, 5 and 6 show good agreement with the statistical formula for the SU(3) multiplicities.
Resumo:
Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
Resumo:
Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
Resumo:
This work presents an analysis of the wavelet-Galerkin method for one-dimensional elastoplastic-damage problems. Time-stepping algorithm for non-linear dynamics is presented. Numerical treatment of the constitutive models is developed by the use of return-mapping algorithm. For spacial discretization we can use wavelet-Galerkin method instead of standard finite element method. This approach allows to locate singularities. The discrete formulation developed can be applied to the simulation of one-dimensional problems for elastic-plastic-damage models. (C) 2007 Elsevier B.V. All rights reserved.
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
The finite volume method is used as a numerical method for solving the fluid flow equations. This method is appropriate to employ under structured and unstructured meshes. Mixed grids, combining both types of grids, are investigated. The coupling of different grids is done by overlapping strategy. The computational effort for the mixed grid is evaluated by the CPU-time, with different percentage of covering area of the unstructured mesh. The present scheme is tested for the driven cavity problem, where the incompressible fluid is integrated by calculating the velocity fields and computing the pressure field in each time step. Several schemes for unstructured grid are examined, and the compatibility condition is applied to check their consistency. A scheme to verify the compatibility condition for the unstructured grids is presented. (c) 2006 IMACS. Published by Elsevier B.V. All rights reserved.
Resumo:
Objective: the aim of this study was to assess, through Raman spectroscopy, the incorporation of calcium hydroxyapatite (CHA; similar to 960 cm(-1)), and scanning electron microscopy (SEM), the bone quality on the healing bone around dental implants after laser photobiomodulation ( lambda 830 nm). Background Data: Laser photobiomodulation has been successfully used to improve bone quality around dental implants, allowing early wearing of prostheses. Methods: Fourteen rabbits received a titanium implant on the tibia; eight of them were irradiated with lambda 830 nm laser ( seven sessions at 48-h intervals, 21.5 J/cm(2) per point, 10 mW, phi similar to 0.0028 cm(2), 86 J per session), and six acted as control. The animals were sacrificed 15, 30, and 45 days after surgery. Specimens were routinely prepared for Raman spectroscopy and SEM. Eight readings were taken on the bone around the implant. Results: the results showed significant differences on the concentration of CHA on irradiated and control specimens at both 30 and 45 days after surgery ( p < 0.001). Conclusion: It is concluded that infrared laser photobiomodulation does improve bone healing, and this may be safely assessed by Raman spectroscopy or SEM.
Resumo:
A minimalist representation of protein structures using a Go- like potential for interactions is implemented to investigate the mechanisms of the domain swapping of p13suc1, a protein that exists in two native conformations: a monomer and a domain- swapped dimer formed by the exchange of a beta- strand. Inspired by experimental studies which showed a similarity of the transition states for folding of the monomer and the dimer, in this study we justify this similarity in molecular descriptions. When intermediates are populated in the simulations, formation of a domain- swapped dimer initiates from the ensemble of unfolded monomers, given by the fact that the dimer formation occurs at the folding/ unfolding temperature of the monomer ( T-f). It is also shown that transitions, leading to a dimer, involve the presence of two intermediates, one of them has a dimeric form and the other is monomeric; the latter is much more populated than the former. However, at temperatures lower than T-f, the population of intermediates decreases. It is argued that the two folded forms may coexist in absence of intermediates at a temperature much lower than T-f. Computational simulations enable us to find a mechanism, `` lock- and- dock'', for domain swapping of p13suc1. To explore the route toward dimer formation, the folding of unstructured monomers must be retarded by first locking one of the free ends of each chain. Then, the other free termini could follow and dock at particular regions, where most intrachain contacts are formed, and thus de. ne the transition states of the dimer. The simulations also showed that a decrease in the maximum distance between monomers increased their stability, which is explained based on confinement arguments. Although the simulations are based on models extracted from the native structure of the monomer and the dimer of p13suc1, the mechanism of the domain- swapping process could be general, not only for p13suc1.