917 resultados para Computational lambda-calculus
Nonuniqueness in vector-valued calculus of variations in l-infinity and some linear elliptic systems
Resumo:
The evolution of the mass of a black hole embedded in a universe filled with dark energy and cold dark matter is calculated in a closed form within a test fluid model in a Schwarzschild metric, taking into account the cosmological evolution of both fluids. The result describes exactly how accretion asymptotically switches from the matter-dominated to the Lambda-dominated regime. For early epochs, the black hole mass increases due to dark matter accretion, and on later epochs the increase in mass stops as dark energy accretion takes over. Thus, the unphysical behaviour of previous analyses is improved in this simple exact model. (C) 2010 Elsevier B.V. All rights reserved.
Resumo:
The viability of two different classes of Lambda(t)CDM cosmologies is tested by using the APM 08279+5255, an old quasar at redshift z = 3.91. In the first class of models, the cosmological term scales as Lambda(t) similar to R(-n). The particular case n = 0 describes the standard Lambda CDM model whereas n = 2 stands for the Chen and Wu model. For an estimated age of 2 Gyr, it is found that the power index has a lower limit n > 0.21, whereas for 3 Gyr the limit is n > 0.6. Since n can not be so large as similar to 0.81, the Lambda CDM and Chen and Wu models are also ruled out by this analysis. The second class of models is the one recently proposed by Wang and Meng which describes several Lambda(t)CDM cosmologies discussed in the literature. By assuming that the true age is 2 Gyr it is found that the epsilon parameter satisfies the lower bound epsilon > 0.11 while for 3 Gyr, a lower limit of epsilon > 0.52 is obtained. Such limits are slightly modified when the baryonic component is included.
Resumo:
A new accelerating cosmology driven only by baryons plus cold dark matter (CDM) is proposed in the framework of general relativity. In this scenario the present accelerating stage of the Universe is powered by the negative pressure describing the gravitationally-induced particle production of cold dark matter particles. This kind of scenario has only one free parameter and the differential equation governing the evolution of the scale factor is exactly the same of the Lambda CDM model. For a spatially flat Universe, as predicted by inflation (Omega(dm) + Omega(baryon) = 1), it is found that the effectively observed matter density parameter is Omega(meff) = 1 - alpha, where alpha is the constant parameter specifying the CDM particle creation rate. The supernovae test based on the Union data (2008) requires alpha similar to 0.71 so that Omega(meff) similar to 0.29 as independently derived from weak gravitational lensing, the large scale structure and other complementary observations.
Resumo:
To date, limited numbers of dental calculus samples have been analyzed by researchers in diverse parts of the world. The combined analyses of these have provided some general guidelines for the analysis of calculus that is non-destructive to archaeological teeth. There is still a need for a quantitative study of large numbers of calculus samples to establish protocols, assess the level of contamination, evaluate the quantity of microfossils in dental calculus, and to compare analysis results with the literature concerning the biology of calculus formation. We analyzed dental calculus from 53 teeth from four Brazilian sambaquis. Sambaquis are the shell-mounds that were established prehistorically along the Brazilian coast. The analysis of sambaqui dental calculi shows that there are relatively high concentrations of microfossils (phytoliths and starch), mineral fragments, and charcoal in dental calculus. Mineral fragments and charcoal are possibly contaminants. The largest dental calculi have the lowest concentrations of microfossils. Biologically, this is explained by individual variation in calculus formation between people. Importantly, starch is ubiquitous in dental calculus. The starch and phytoliths show that certainly Dioscorea (yam) and Araucaria angustifolia (Parana pine) were eaten by sambaqui people. Araceae (arum family), Ipomoea batatas (sweet potato) and Zea mays (maize) were probably in their diet. (C) 2009 Elsevier Ltd. All rights reserved.
Resumo:
Familial idiopathic basal ganglia calcification, also known as ""Fahr`s disease"" (FD), is a neuropsychiatric disorder with autosomal dominant pattern of inheritance and characterized by symmetric basal ganglia calcifications and, occasionally, other brain regions. Currently, there are three loci linked to this devastating disease. The first one (IBGC1) is located in 14q11.2-21.3 and the other two have been identified in 2q37 (IBGC2) and 8p21.1-q11.13 (IBGC3). Further studies identified a heterozygous variation (rs36060072) which consists in the change of the cytosine to guanine located at MGEA6/CTAGE5 gene, present in all of the affected large American family linked to IBGC1. This missense substitution, which induces changes of a proline to alanine at the 521 position (P521A), in a proline-rich and highly conserved protein domain was considered a rare variation, with a minor allele frequency (MAF) of 0.0058 at the US population. Considering that the population frequency of a given variation is an indirect indicative of potential pathogenicity, we screened 200 chromosomes in a random control set of Brazilian samples and in two nuclear families, comparing with our previous analysis in a US population. In addition, we accomplished analyses through bioinformatics programs to predict the pathogenicity of such variation. Our genetic screen found no P521A carriers. Polling these data together with the previous study in the USA, we have now a MAF of 0.0036, showing that this mutation is very rare. On the other hand, the bioinformatics analysis provided conflicting findings. There are currently various candidate genes and loci that could be involved with the underlying molecular basis of FD etiology, and other groups suggested the possible role played by genes in 2q37, related to calcium metabolism, and at chromosome 8 (NRG1 and SNTG1). Additional mutagenesis and in vivo studies are necessary to confirm the pathogenicity for variation in the P521A MGEA6.
Resumo:
Objectives: In the present study, a novel pathway by which palmilate potentiates glucose-induced insulin secretion by pancreatic beta cells was investigated. Methods: Groups of freshly isolated islets were incubated in 10 mM glucose with palmitate, LY294002, wortmannin, and fumonism B I for measurement of insulin secretion by radioimmunoassay (RIA). Also, phosphorylation and content of AKT and PKC proteins were evaluated by immunoblotting. Results: Glucose plus palmitate and glucose plus LY294002 or wortmannin (PI3K inhibitors) increased glucose-induced insulin secretion by isolated pancreatic islets. Glucose at 10 mM induced AKT and PKC zeta/lambda phosphorylation. Palmitate (0.1 mM) abolished glucose stimulation of AKT and PKC zeta/lambda phosphorylation possibly through PI3K inhibition because both LY294002 (50 mu M) and wortmannin (100 nM) caused the same effect. The inhibitory effect of palmitate on glucose-induced AKT and PKC zeta/lambda phosphorylation and the stimulatory effect of palmitate on glucose-induced insulin secretion were not observed in the presence of fumonisin B1, all inhibitor of ceramide synthesis. Conclusions: These findings support the proposition that palmilate increases insulin release in the presence of 10 mM glucose by inhibiting PI3K activity through a mechanism that involves ceramide synthesis.
Resumo:
Several accounts put forth to explain the flash-lag effect (FLE) rely mainly on either spatial or temporal mechanisms. Here we investigated the relationship between these mechanisms by psychophysical and theoretical approaches. In a first experiment we assessed the magnitudes of the FLE and temporal-order judgments performed under identical visual stimulation. The results were interpreted by means of simulations of an artificial neural network, that wits also employed to make predictions concerning the F LE. The model predicted that a spatio-temporal mislocalisation would emerge from two, continuous and abrupt-onset, moving stimuli. Additionally, a straightforward prediction of the model revealed that the magnitude of this mislocalisation should be task-dependent, increasing when the use of the abrupt-onset moving stimulus switches from a temporal marker only to both temporal and spatial markers. Our findings confirmed the model`s predictions and point to an indissoluble interplay between spatial facilitation and processing delays in the FLE.
Resumo:
Increasing efforts exist in integrating different levels of detail in models of the cardiovascular system. For instance, one-dimensional representations are employed to model the systemic circulation. In this context, effective and black-box-type decomposition strategies for one-dimensional networks are needed, so as to: (i) employ domain decomposition strategies for large systemic models (1D-1D coupling) and (ii) provide the conceptual basis for dimensionally-heterogeneous representations (1D-3D coupling, among various possibilities). The strategy proposed in this article works for both of these two scenarios, though the several applications shown to illustrate its performance focus on the 1D-1D coupling case. A one-dimensional network is decomposed in such a way that each coupling point connects two (and not more) of the sub-networks. At each of the M connection points two unknowns are defined: the flow rate and pressure. These 2M unknowns are determined by 2M equations, since each sub-network provides one (non-linear) equation per coupling point. It is shown how to build the 2M x 2M non-linear system with arbitrary and independent choice of boundary conditions for each of the sub-networks. The idea is then to solve this non-linear system until convergence, which guarantees strong coupling of the complete network. In other words, if the non-linear solver converges at each time step, the solution coincides with what would be obtained by monolithically modeling the whole network. The decomposition thus imposes no stability restriction on the choice of the time step size. Effective iterative strategies for the non-linear system that preserve the black-box character of the decomposition are then explored. Several variants of matrix-free Broyden`s and Newton-GMRES algorithms are assessed as numerical solvers by comparing their performance on sub-critical wave propagation problems which range from academic test cases to realistic cardiovascular applications. A specific variant of Broyden`s algorithm is identified and recommended on the basis of its computer cost and reliability. (C) 2010 Elsevier B.V. All rights reserved.
Resumo:
In various attempts to relate the behaviour of highly-elastic liquids in complex flows to their rheometrical behaviour, obvious candidates for study have been the variation of shear viscosity with shear rate, the two normal stress differences N(1) and N(2), especially N(1), the extensional viscosity, and the dynamic moduli G` and G ``. In this paper, we shall confine attention to `constant-viscosity` Boger fluids, and, accordingly, we shall limit attention to N(1), eta(E), G` and G ``. We shall concentrate on the ""splashing"" problem (particularly that which arises when a liquid drop falls onto the free surface of the same liquid). Modern numerical techniques are employed to provide the theoretical predictions. We show that high eta(E) can certainly reduce the height of the so-called Worthington jet, thus confirming earlier suggestions, but other rheometrical influences (steady and transient) can also have a role to play and the overall picture may not be as clear as it was once envisaged. We argue that this is due in the main to the fact that splashing is a manifestly unsteady flow. To confirm this proposition, we obtain numerical simulations for the linear Jeffreys model. (C) 2010 Elsevier B.V. All rights reserved.
Resumo:
Experiments at RHIC have shown that in 200 GeV Au-Au collisions, the Lambda and (Lambda) over bar hyperons are produced with very small polarizations (Abelev et al., 2007) [1], almost consistent with zero. These results can be understood in terms of a model that we proposed (Barros and Hama, 2008) [2]. In this Letter, we show how this model may be applied in such collisions, and also will discuss the relation of our results with other models, in order to explain the experimental data. (C) 2011 Elsevier B.V. All rights reserved.
Resumo:
To comprehend the recent Brookhaven National Laboratory experiment E788 on (4)(Lambda)He, we have outlined a simple theoretical framework. based on the independent-particle shell model, for the one-nucleon-induced nonmesonic weak decay spectra. Basically, the shapes of all the spectra are tailored by the kinematics of the corresponding phase space, depending very weakly on the dynamics, which is gauged here by the one-meson-exchange potential. In spite of the straightforwardness of the approach a good agreement with data is achieved. This might be an indication that the final-state-interactions and the two-nucleon induced processes are not very important in the decay of this hypernucleus. We have also found that the pi + K exchange potential with soft vertex-form-factor cutoffs (Lambda(pi) approximate to 0.7 GeV, Lambda(K) approximate to 0.9 GeV), is able to account simultaneously for the available experimental data related to Gamma(p) and Gamma(n) for (4)(Lambda)H, (4)(Lambda)H, and (5)(Lambda)H. (C) 2009 Elsevier B.V. All rights reserved.
Resumo:
355 nm light irradiation of fac-[Mn(CO)(3)(phen)(imH)](+) (fac-1) produces the mer-1 isomer and a long lived radical which can be efficiently trapped by electron acceptor molecules. EPR experiments shows that when excited, the manganese(I) complex can be readily oxidized by one-electron process to produce Mn(II) and phen(.-). In the present study, DFT calculations have been used to investigated the photochemical isomerization of the parent Mn(I) complex and to characterize the electronic structures of the long lived radical. The theoretical calculations have been performed on both the fac-1 and mer-1 species as well as on their one electron oxidized species fac-1+ and mer-1+ for the lowest spin configurations (S = 1/2) and fac-6 and mer-6 (S = 5/2) for the highest one to characterize these complexes. In particular, we used a charge decomposition analysis (CDA) and a natural bonding orbital (NBO) to have a better understanding of the chemical bonding in terms of the nature of electronic interactions. The observed variations in geometry and bond energies with an increasing oxidation state in the central metal ion are interpreted in terms of changes in the nature of metal-ligand bonding interactions. The X-ray structure of fac-1 is also described. (C) 2011 Elsevier B.V. All rights reserved.
Resumo:
Systemic amyloid light-chain (LC) amyloidosis is a disease process characterized by the pathological deposition of monoclonal LCs in tissue. All LC subtypes are capable of fibril formation although lambda chains, particularly those belonging to the lambda 6 type, are overrepresented. Here, we report the thermodynamic and in vitro fibrillogenic properties of several mutants of the lambda 6 protein 6aJL2 in which Pro7 and/or His8 was substituted by Ser or Pro. The H8P and H8S mutants were almost as stable as the wildtype protein and were poorly fibrillogenic. In contrast, the P7S mutation decreased the thermodynamic stability of 6aJL2 and greatly enhanced its capacity to form amyloid-like fibrils in vitro. The crystal structure of the P7S mutant showed that the substitution induced both local and long-distance effects, such as the rearrangement of the V(L) (variable region of the light chain)-V(L) interface. This mutant crystallized in two orthorhombic polymorphs, P2(1)2(1)2(1) and C222(1). In the latter, a monomer that was not arranged in the typical Bence-Jones dimer was observed for the first time. Crystal-packing analysis of the C222(1) lattice showed the establishment of intermolecular beta-beta interactions that involved the N-terminus and beta-strand B and that these could be relevant in the mechanism of LC fibril formation. Our results strongly suggest that Pro7 is a key residue in the conformation of the N-terminal sheet switch motif and, through long-distance interactions, is also critically involved in the contacts that stabilized the V(L) interface in lambda 6 LCs. (C) 2009 Elsevier Ltd. All rights reserved.
Resumo:
In this paper, we present a 3D face photography system based on a facial expression training dataset, composed of both facial range images (3D geometry) and facial texture (2D photography). The proposed system allows one to obtain a 3D geometry representation of a given face provided as a 2D photography, which undergoes a series of transformations through the texture and geometry spaces estimated. In the training phase of the system, the facial landmarks are obtained by an active shape model (ASM) extracted from the 2D gray-level photography. Principal components analysis (PCA) is then used to represent the face dataset, thus defining an orthonormal basis of texture and another of geometry. In the reconstruction phase, an input is given by a face image to which the ASM is matched. The extracted facial landmarks and the face image are fed to the PCA basis transform, and a 3D version of the 2D input image is built. Experimental tests using a new dataset of 70 facial expressions belonging to ten subjects as training set show rapid reconstructed 3D faces which maintain spatial coherence similar to the human perception, thus corroborating the efficiency and the applicability of the proposed system.