917 resultados para Computational lambda-calculus


Relevância:

20.00% 20.00%

Publicador:

Resumo:

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

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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

Relevância:

20.00% 20.00%

Publicador:

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.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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

Relevância:

20.00% 20.00%

Publicador:

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.

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

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.

Relevância:

20.00% 20.00%

Publicador:

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.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

in this paper, we derive an explicit expression for the parameter sequences of a chain sequence in terms of the corresponding orthogonal polynomials and their associated polynomials. We use this to study the orthogonal polynomials K-n((lambda.,M,k)) associated with the probability measure dphi(lambda,M,k;x), which is the Gegenbauer measure of parameter lambda + 1 with two additional mass points at +/-k. When k = 1 we obtain information on the polynomials K-n((lambda.,M)) which are the symmetric Koornwinder polynomials. Monotonicity properties of the zeros of K-n((lambda,M,k)) in relation to M and k are also given. (C) 2002 Elsevier B.V. B.V. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

It is shown that the action functional S[g, phi] = integral d4 x square-root -g[R/k(1 + klambdaphi2) + partial derivative(mu)phi partial derivative(mu)phi] describes, in general, one and the same classical theory whatever may be the value of the coupling constant lambda.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The high precision attained by cosmological data in the last few years has increased the interest in exact solutions. Analytic expressions for solutions in the Standard Model are presented here for all combinations of Lambda = 0, Lambda not equal 0, kappa = 0, and kappa = 0, in the presence and absence of radiation and nonrelativistic matter. The most complete case (here called the Lambda gamma CDM Model) has Lambda not equal 0, kappa not equal 0, and supposes the presence of radiation and dust. It exhibits clearly the recent onset of acceleration. The treatment includes particular models of interest such as the Lambda CDM Model (which includes the cosmological constant plus cold dark matter as source constituents).

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We describe the ideas behind the package 'isometry', implemented in Maple to calculate isometry groups of dimensions 2, 3 and 4 in General Relativity. The package extends the functionality of previous programs written to perform invariant classification of space-times in General Relativity. Programming solutions used to surmount problems encountered with the calculation of eigenvectors and the determination of the signs of expressions are described. We also show how the package can be used to find the Killing vectors of a space-time.