Programs to compute magnetization to density ratio and the magnetization inclination from 3-D gravity and magnetic anomalies

Vector field formulation based on the Poisson theorem allows an automatic determination of rock physical properties (magnetization to density ratio-MDR-and the magnetization inclination-MI) from combined processing of gravity and magnetic geophysical data. The basic assumptions (i.e., Poisson conditions) are: that gravity and magnetic fields share common sources, and that these sources have a uniform magnetization direction and MDR. In addition, the previously existing formulation was restricted to profile data, and assumed sufficiently elongated (2-D) sources. For sources that violate Poisson conditions or have a 3-D geometry, the apparent values of MDR and MI that are generated in this way have an unclear relationship to the actual properties in the subsurface. We present Fortran programs that estimate MDR and MI values for 3-D sources through processing of gridded gravity and magnetic data. Tests with simple geophysical models indicate that magnetization polarity can be successfully recovered by MDR-MI processing, even in cases where juxtaposed bodies cannot be clearly distinguished on the basis of anomaly data. These results may be useful in crustal studies, especially in mapping magnetization polarity from marine-based gravity and magnetic data. (c) 2007 Elsevier Ltd. All rights reserved.

Voluntary action and causality in temporal binding

Previous studies have documented temporal attraction in perceived times of actions and their effects. While some authors argue that voluntary action is a necessary condition for this phenomenon, others claim that the causal relationship between action and effect is the crucial ingredient. In the present study, we investigate voluntary action and causality as the necessary and sufficient conditions for temporal binding. We used a variation of the launching effect proposed by Michotte, in which participants controlled the launch stimulus in some blocks. Volunteers reported causality ratings and estimated the interval between the two events. Our results show dissociations between causality ratings and temporal estimation. While causality ratings are not affected by voluntary action, temporal bindings were only found in the presence of both voluntary action and high causality. Our results indicate that voluntary action and causality are both necessary for the emergence of temporal binding.

Effects of voluntary running on spatial memory and mature brain-derived neurotrophic factor expression in mice hippocampus after status epilepticus

Voluntary physical activity improves memory and learning ability in rodents, whereas status epilepticus has been associated with memory impairment. Physical activity and seizures have been associated with enhanced hippocampal expression of BDNF, indicating that this protein may have a dual role in epilepsy. The influence of voluntary physical activity on memory and BDNF expression has been poorly studied in experimental models of epilepsy. In this paper, we have investigated the effect of voluntary physical activity on memory and BDNF expression in mice with pilocarpine-incluced epilepsy. Male Swiss mice were assigned to four experimental groups: pilocarpine sedentary (PS), pilocarpine runners (PRs), saline sedentary (SS) and saline runners (SRs). Two days after pilocarpine-induced status epilepticus, the affected mice (PR) and their running controls (SR) were housed with access to a running wheel for 28 days. After that, the spatial memory and the expression of the precursor and mature forms of hippocampal BDNF were assessed. PR mice performed better than PS mice in the water maze test. In addition, PR mice had a higher amount of mature BDNF (14 kDa) relative to the total BDNF (14 kDa + 28 kDa + 32 kDa forms) content when compared with PS mice. These results show that voluntary physical activity improved the spatial memory and increased the hippocampal content of mature BDNF of mice with pilocarpine-induced status epilepticus. (C) 2009 Elsevier B.V. All rights reserved.

A pointcut-based coverage analysis approach for aspect-oriented programs

Aspect-oriented programming (AOP) is a promising technology that supports separation of crosscutting concerns (i.e., functionality that tends to be tangled with, and scattered through the rest of the system). In AOP, a method-like construct named advice is applied to join points in the system through a special construct named pointcut. This mechanism supports the modularization of crosscutting behavior; however, since the added interactions are not explicit in the source code, it is hard to ensure their correctness. To tackle this problem, this paper presents a rigorous coverage analysis approach to ensure exercising the logic of each advice - statements, branches, and def-use pairs - at each affected join point. To make this analysis possible, a structural model based on Java bytecode - called PointCut-based Del-Use Graph (PCDU) - is proposed, along with three integration testing criteria. Theoretical, empirical, and exploratory studies involving 12 aspect-oriented programs and several fault examples present evidence of the feasibility and effectiveness of the proposed approach. (C) 2010 Elsevier Inc. All rights reserved.