3-D resistivity forward modeling and inversion using conjugate gradients

We have developed rapid 3-D dc resistivity forward modeling and inversion algorithms that use conjugate gradient relaxation techniques. In the forward network modeling calculation, an incomplete Cholesky decomposition for preconditioning and sparse matrix routines combine to produce a fast and efficient algorithm (approximately 2 minutes CPU time on a Sun SPARC‐station 2 for 50 × 50 × 20 blocks). The side and bottom boundary conditions are scaled impedance conditions that take into account the local current flow at the boundaries as a result of any configuration of current sources. For the inversion, conjugate gradient relaxation is used to solve the maximum likelihood inverse equations. Since conjugate gradient techniques only require the results of the sensitivity matrix [tilde under A] or its transpose [tilde under A][superscript T] multiplying a vector, we are able to bypass the actual computation of the sensitivity matrix and the inversion of [tilde under A][superscript T] [tilde under A], thus greatly decreasing the time needed to do 3-D inversions. We demonstrate 3-D resistivity tomographic imaging using pole‐pole resistivity data collected during an experiment for a leakage monitoring system near evaporation ponds at the Mojave Generating Station in Laughlin, Nevada.United States. Environmental Protection Agency (grant #CR-821516

Short-Term Genetic Selection for Adolescent Locomotor Sensitivity to Delta9-Tetrahydrocannabinol (THC)

Cannabis use is linked to positive and negative outcomes. Identifying genetic targets of susceptibility to the negative effects of cannabinoid use is of growing importance. The current study sought to complete short-term selective breeding for adolescent sensitivity and resistance to the locomotor effects of a single 10 mg/kg THC dose in the open field. Selection for THC-locomotor sensitivity was moderately heritable, with the greatest estimates of heritability seen in females from the F2 to S3 generations. Selection for locomotor sensitivity also resulted in increased anxiety-like activity in the open field. These results are the first to indicate that adolescent THC-locomotor sensitivity can be influenced via selective breeding. Development of lines with a genetic predisposition for THC-sensitivity or resistance to locomotor effects allow for investigation of risk factors, differences in consequences of THC use, identification of correlated behavioral responses, and detection of genetic targets that may contribute to heightened cannabinoid sensitivity

Adam Smith and the theory of punishment

A distinctive theory of punishment plays a central role in Smith's moral and legal theory. According to this theory, we regard the punishment of a crime as deserved only to the extent that an impartial spectator would go along with the actual or supposed resentment of the victim. The first part of this paper argues that Smith's theory deserves serious consideration and relates it to other theories such as utilitarianism and more orthodox forms of retributivism. The second part considers the objection that, because Smith's theory implies that punishment is justified only when there is some person or persons who is the victim of the crime, it cannot explain the many cases where punishment is imposed purely for the public good. It is argued that Smith's theory could be extended to cover such cases. The third part defends Smith's theory against the objection that, because it relies on our natural feelings, it cannot provide an adequate moral justification of punishment

Dissipative Particle Dynamics with Energy Conservation

The stochastic differential equations for a model of dissipative particle dynamics with both total energy and total momentum conservation in the particle-particle interactions are presented. The corresponding Fokker-Planck equation for the evolution of the probability distribution for the system is deduced together with the corresponding fluctuation-dissipation theorems ensuring that the ab initio chosen equilibrium probability distribution for the relevant variables is a stationary solution. When energy conservation is included, the system can sustain temperature gradients and heat flow can be modeled.Comment: 7 pages, submitted to Europhys. Let

Formation of Pairing Fields in Resonantly Coupled Atomic and Molecular Bose-Einstein Condensates

In this paper, we show that pair-correlations may play an important role in the quantum statistical properties of a Bose-Einstein condensed gas composed of an atomic field resonantly coupled with a corresponding field of molecular dimers. Specifically, pair-correlations in this system can dramatically modify the coherent and incoherent transfer between the atomic and molecular fields.Comment: 4 pages, 4 figure

Object-oriented Programming Laws for Annotated Java Programs

Object-oriented programming laws have been proposed in the context of languages that are not combined with a behavioral interface specification language (BISL). The strong dependence between source-code and interface specifications may cause a number of difficulties when transforming programs. In this paper we introduce a set of programming laws for object-oriented languages like Java combined with the Java Modeling Language (JML). The set of laws deals with object-oriented features taking into account their specifications. Some laws deal only with features of the specification language. These laws constitute a set of small transformations for the development of more elaborate ones like refactorings