Cosmological simulations using a static scalar-tensor theory

We present $\Lambda$CDM $N$-body cosmological simulations in the framework of a static general scalar-tensor theory of gravity. Due to the influence of the non-minimally coupled scalar field, the gravitational potential is modified by a Yukawa type term, yielding a new structure formation dynamics. We present some preliminary results and, in particular, we compute the density and velocity profiles of the most massive group.Comment: 4 pages, 6 figures, to appear in Journal of Physics: Conference Series: VII Mexican School on Gravitation and Mathematical Physics. 26 November to 1 December 2006, Playa del Carmen, Quintana Roo, Mexic

Antitumour Activity of a pt(III) Derivative of 2-Mercaptopyrimidine

The complex [Pt2Cl2(Spym)4], where Spym = 2-mercaptopyrimidine, was synthesized and analyzed spectroscopically. The presence in the 195Pt NMR spectrum, of only one signal for the Pt(III) indicates the symmetrical arrangement of the ligands and the identical setting of N, S and Cl atoms, PtS2ClN2, for the two Pt atoms being different to other compounds described in the literature. The interaction of this complex with DNA was studied by several techniques, including circular dichroism, melting temperature determination, electron microscopy (EM) and atomic force microscopy (TMAFM). Preliminary results show a high activity against HL-60 and HeLa tumour lines for the Pt-2-mercaptopyrimidine complex in comparison with cisplatin activity. Higher values for IC50 were obtained, while the values of LD50 were lower than those for cisplatin

Expansion-Free Cavity Evolution: Some exact Analytical Models

We consider spherically symmetric distributions of anisotropic fluids with a central vacuum cavity, evolving under the condition of vanishing expansion scalar. Some analytical solutions are found satisfying Darmois junction conditions on both delimiting boundary surfaces, while some others require the presence of thin shells on either (or both) boundary surfaces. The solutions here obtained model the evolution of the vacuum cavity and the surrounding fluid distribution, emerging after a central explosion. This study complements a previously published work where modeling of the evolution of such kind of systems was achieved through a different kinematical condition.Comment: 9 pages, Revtex. Typos corrected. Published in Int. J. Mod. Phys.

How much dark matter is there inside early-type galaxies?

We study the luminous mass as a function of the dynamical mass inside the effective radius (r_e) of early-type galaxies (ETGs) to search for differences between these masses. We assume Newtonian dynamics and that any difference between these masses is due to the presence of dark matter. We use several samples of ETGs -ranging from 19 000 to 98 000 objects- from the ninth data release of the Sloan Digital Sky Survey. We perform Monte Carlo (MC) simulations of galaxy samples and compare them with real samples. The main results are: i) MC simulations show that the distribution of the dynamical vs. luminous mass depends on the mass range where the ETGs are distributed (geometric effect). This dependence is caused by selection effects and intrinsic properties of the ETGs. ii) The amount of dark matter inside r_e is approximately 7% +- 22%. iii) This amount of dark matter is lower than the minimum estimate (10%) found in the literature and four times lower than the average (30%) of literature estimates. However, if we consider the associated error, our estimate is of the order of the literature average.Comment: 24 pages, 12 figures. MNRAS accepte

On Some Geometric Properties of Slice Regular Functions of a Quaternion Variable

The goal of this paper is to introduce and study some geometric properties of slice regular functions of quaternion variable like univalence, subordination, starlikeness, convexity and spirallikeness in the unit ball. We prove a number of results, among which an Area-type Theorem, Rogosinski inequality, and a Bieberbach-de Branges Theorem for a subclass of slice regular functions. We also discuss some geometric and algebraic interpretations of our results in terms of maps from $\mathbb R^4$ to itself. As a tool for subordination we define a suitable notion of composition of slice regular functions which is of independent interest

From MinX to MinC: Semantics-Driven Decompilation of Recursive Datatypes

Reconstructing the meaning of a program from its binary executable is known as reverse engineering; it has a wide range of applications in software security, exposing piracy, legacy systems, etc. Since reversing is ultimately a search for meaning, there is much interest in inferring a type (a meaning) for the elements of a binary in a consistent way. Unfortunately existing approaches do not guarantee any semantic relevance for their reconstructed types. This paper presents a new and semantically-founded approach that provides strong guarantees for the reconstructed types. Key to our approach is the derivation of a witness program in a high-level language alongside the reconstructed types. This witness has the same semantics as the binary, is type correct by construction, and it induces a (justifiable) type assignment on the binary. Moreover, the approach effectively yields a type-directed decompiler. We formalise and implement the approach for reversing Minx, an abstraction of x86, to MinC, a type-safe dialect of C with recursive datatypes. Our evaluation compiles a range of textbook C algorithms to MinX and then recovers the original structures