89 resultados para theory of computation

em Indian Institute of Science - Bangalore - Índia


Relevância:

100.00% 100.00%

Publicador:

Resumo:

This article is concerned with the evolution of haploid organisms that reproduce asexually. In a seminal piece of work, Eigen and coauthors proposed the quasispecies model in an attempt to understand such an evolutionary process. Their work has impacted antiviral treatment and vaccine design strategies. Yet, predictions of the quasispecies model are at best viewed as a guideline, primarily because it assumes an infinite population size, whereas realistic population sizes can be quite small. In this paper we consider a population genetics-based model aimed at understanding the evolution of such organisms with finite population sizes and present a rigorous study of the convergence and computational issues that arise therein. Our first result is structural and shows that, at any time during the evolution, as the population size tends to infinity, the distribution of genomes predicted by our model converges to that predicted by the quasispecies model. This justifies the continued use of the quasispecies model to derive guidelines for intervention. While the stationary state in the quasispecies model is readily obtained, due to the explosion of the state space in our model, exact computations are prohibitive. Our second set of results are computational in nature and address this issue. We derive conditions on the parameters of evolution under which our stochastic model mixes rapidly. Further, for a class of widely used fitness landscapes we give a fast deterministic algorithm which computes the stationary distribution of our model. These computational tools are expected to serve as a framework for the modeling of strategies for the deployment of mutagenic drugs.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Computation of the dependency basis is the fundamental step in solving the membership problem for functional dependencies (FDs) and multivalued dependencies (MVDs) in relational database theory. We examine this problem from an algebraic perspective. We introduce the notion of the inference basis of a set M of MVDs and show that it contains the maximum information about the logical consequences of M. We propose the notion of a dependency-lattice and develop an algebraic characterization of inference basis using simple notions from lattice theory. We also establish several interesting properties of dependency-lattices related to the implication problem. Founded on our characterization, we synthesize efficient algorithms for (a): computing the inference basis of a given set M of MVDs; (b): computing the dependency basis of a given attribute set w.r.t. M; and (c): solving the membership problem for MVDs. We also show that our results naturally extend to incorporate FDs also in a way that enables the solution of the membership problem for both FDs and MVDs put together. We finally show that our algorithms are more efficient than existing ones, when used to solve what we term the ‘generalized membership problem’.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

KIRCHHOFF’S theory [1] and the first-order shear deformation theory (FSDT) [2] of plates in bending are simple theories and continuously used to obtain design information. Within the classical small deformation theory of elasticity, the problem consists of determining three displacements, u, v, and w, that satisfy three equilibrium equations in the interior of the plate and three specified surface conditions. FSDT is a sixth-order theory with a provision to satisfy three edge conditions and maintains, unlike in Kirchhoff’s theory, independent linear thicknesswise distribution of tangential displacement even if the lateral deflection, w, is zero along a supported edge. However, each of the in-plane distributions of the transverse shear stresses that are of a lower order is expressed as a sum of higher-order displacement terms. Kirchhoff’s assumption of zero transverse shear strains is, however, not a limitation of the theory as a first approximation to the exact 3-D solution.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The extension of Hehl's Poincaré gauge theory to more general groups that include space-time diffeomorphisms is worked out for two particular examples, one corresponding to the action of the conformal group on Minkowski space, and the other to the action of the de Sitter group on de Sitter space, and the effect of these groups on physical fields.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

It is maintained that the one-parameter scaling theory is inconsistent with the physics of Anderson localisation.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Any (N+M)-parameter Lie group G with an N-parameter subgroup H can be realized as a global group of diffeomorphisms on an M-dimensional base space B, with representations in terms of transformation laws of fields on B belonging to linear representations of H. The gauged generalization of the global diffeomorphisms consists of general diffeomorphisms (or coordinate transformations) on a base space together with a local action of H on the fields. The particular applications of the scheme to space-time symmetries is discussed in terms of Lagrangians, field equations, currents, and source identities. Journal of Mathematical Physics is copyrighted by The American Institute of Physics.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

After briefly discussing the question of a distinct mixed valent state and theoretical models for it, the area of greatest theoretical success, namely the mixed valent impurity, is reviewed. Applications to spectroscopy, energetics and Hall effect are then putlined. The independent impurity approximation is inadequate for many properties of the bulk system, which depend on lattice coherence. A recent auxiliary or slave boson approach with a simple mean field limit and fluctuation corrections is summarized. Finally the mixed valent semiconductor is discussed as an outstanding problem.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The necessary and sufficient condition for the existence of the one-parameter scale function, the /Munction, is obtained exactly. The analysis reveals certain inconsistency inherent in the scaling theory, and tends to support Motts’ idea of minimum metallic conductivity.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The necessary and sufficient condition for the existence of the one-parameter scale function, the /Munction, is obtained exactly. The analysis reveals certain inconsistency inherent in the scaling theory, and tends to support Motts’ idea of minimum metallic conductivity.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The measured specific heat of normal liquid 3He shows a plateau for 0.15<1 K; below 0.15 K and above 1 K, it rises linearly with temperature. However, the slope on the high-temperature side is very much reduced compared with the free-Fermi-gas value. We explain these features through a microscopic, thermal spin- and density-fluctuation model. The plateau is due to spin fluctuations which have a low characteristic energy in 3He. Because of the low compressibility, the density fluctuations are highly suppressed; this leads to a reduced slope for CV(T) for high temperatures.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The transition parameters for the freezing of two one-component liquids into crystalline solids are evaluated by two theoretical approaches. The first system considered is liquid sodium which crystallizes into a body-centered-cubic (bcc) lattice; the second system is the freezing of adhesive hard spheres into a face-centered-cubic (fcc) lattice. Two related theoretical techniques are used in this evaluation: One is based upon a recently developed bifurcation analysis; the other is based upon the theory of freezing developed by Ramakrishnan and Yussouff. For liquid sodium, where experimental information is available, the predictions of the two theories agree well with experiment and each other. The adhesive-hard-sphere system, which displays a triple point and can be used to fit some liquids accurately, shows a temperature dependence of the freezing parameters which is similar to Lennard-Jones systems. At very low temperature, the fractional density change on freezing shows a dramatic increase as a function of temperature indicating the importance of all the contributions due to the triplet direction correlation function. Also, we consider the freezing of a one-component liquid into a simple-cubic (sc) lattice by bifurcation analysis and show that this transition is highly unfavorable, independent of interatomic potential choice. The bifurcation diagrams for the three lattices considered are compared and found to be strikingly different. Finally, a new stability analysis of the bifurcation diagrams is presented.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The nonlinear propagation characteristics of surface acoustic waves on an isotropic elastic solid have been studied in this paper. The solution of the harmonic boundary value problem for Rayleigh waves is obtained as a generalized Fourier series whose coefficients are proportional to the slowly varying amplitudes of the various harmonics. The infinite set of coupled equations for the amplitudes when solved exhibit an oscillatory slow variation signifying a continuous transfer of energy back and forth among the various harmonics. A conservation relation is derived among all the harmonic amplitudes.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

A semi-empirical model is presented for describing the interionic interactions in molten salts using the experimentally available structure data. An extension of Bertaut's method of non-overlapping charges is used to estimate the electrostatic interaction energy in ionic melts. It is shown, in agreement with earlier computer simulation studies, that this energy increases when an ionic salt melts. The repulsion between ions is described using a compressible ion theory which uses structure-independent parameters. The van der Waals interactions and the thermal free energy are also included in the total energy, which is minimised with respect to isostructural volume variations to calculate the equilibrium density. Detailed results are presented for three molten systems, NaCl, CaCl2 and ZnCl2, and are shown to be in satisfactory agreement with experiments. With reliable structural data now being reported for several other molten salts, the present study gains relevance.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The effective medium theory for a system with randomly distributed point conductivity and polarisability is reformulated, with attention to cross-terms involving the two disorder parameters. The treatment reveals a certain inconsistency of the conventional theory owing to the neglect of the Maxwell-Wagner effect. The results are significant for the critical resistivity and dielectric anomalies of a binary liquid mixture at the phase separation point.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

A generalized Ginzburg-Landau approach is used to study the nonmonotonic temperature dependence of the upper critical field H c 2(T) in antiferromagnetic superconductors RE(Mo)6S8; RE = Dy, Tb, Gd. It is found that electrodynamic effects incorporated through screening and indirect coupling between the staggered magnetization M Q (T) and superconducting order parameter psgr cannot explain the observed nonmonotonicity. This suggests that the direct coupling between the two order parameters should be considered to understand the experimental results, a finding which is consistent with recent microscopic calculations.