Evolution and CNO yields of Z=10^-5 stars and possible effects on CEMP production

Our main goals are to get a deeper insight into the evolution and final fates of intermediate-mass, extremely metal-poor (EMP) stars. We also aim to investigate their C, N, and O yields. Using the Monash University Stellar Evolution code we computed and analysed the evolution of stars of metallicity Z = 10^-5 and masses between 4 and 9 M_sun, from their main sequence until the late thermally pulsing (super) asymptotic giant branch, TP-(S)AGB phase. Our model stars experience a strong C, N, and O envelope enrichment either due to the second dredge-up, the dredge-out phenomenon, or the third dredge-up early during the TP-(S)AGB phase. Their late evolution is therefore similar to that of higher metallicity objects. When using a standard prescription for the mass loss rates during the TP-(S)AGB phase, the computed stars lose most of their envelopes before their cores reach the Chandrasekhar mass, so our standard models do not predict the occurrence of SNI1/2 for Z = 10^-5 stars. However, we find that the reduction of only one order of magnitude in the mass-loss rates, which are particularly uncertain at this metallicity, would prevent the complete ejection of the envelope, allowing the stars to either explode as an SNI1/2 or become an electron-capture SN. Our calculations stop due to an instability near the base of the convective envelope that hampers further convergence and leaves remnant envelope masses between 0.25 M_sun for our 4 M_sun model and 1.5 M_sun for our 9 M_sun model. We present two sets of C, N, and O yields derived from our full calculations and computed under two different assumptions, namely, that the instability causes a practically instant loss of the remnant envelope or that the stars recover and proceed with further thermal pulses. Our results have implications for the early chemical evolution of the Universe.Comment: 12 pages, 13 figures, accepted for publication in A&

Electron-induced proton knockout from neutron rich nuclei

We study the evolution of the \eep cross section on nuclei with increasing asymmetry between the number of neutrons and protons. The calculations are done within the framework of the nonrelativistic and relativistic distorted-wave impulse approximation. In the nonrelativistic model phenomenological Woods-Saxon and Hartree-Fock wave functions are used for the proton bound-state wave functions, in the relativistic model the wave functions are solutions of Dirac-Hartree equations. The models are first tested against experimental data on $^{40}$Ca and $^{48}$Ca nuclei, and then they are applied to a set of spherical calcium isotopes.Comment: 5 pages, 2 figures. contribution to the XIX International School on Nuclear Physics, Neutron Physics and Applications, Varna (Bulgaria) September 19-25, 201

Probing nuclear skins and halos with elastic electron scattering

I investigate the elastic electron scattering off nuclei far from the stability line. The effects of the neutron and proton skins and halos on the differential cross sections are explored. Examples are given for the charge distribution in Sn isotopes and its relation to the neutron skin. The neutron halo in $^{11}$Li and the proton halo in $^{8}$B are also investigated. Particular interest is paid to the inverse scattering problem and its dependence on the experimental precision. These studies are of particular interest for the upcoming electron ion colliders at the GSI and RIKEN facilities.Comment: 27 pages, 9 figures, accepted for publication in J. Phys.

Achievements and Challenges of SHG-Bank Linkage Program in India: The Result of Village Surveys in Andhra Pradesh and Maharashtra

The SHG-Bank Linkage Program (the SHG Program) initiated by National Bank for Agriculture and Rural Development (NABARD) is the major form of MF in present India. It is also considered to be the largest MF program in the world now. However, the degree of development and performance of the SHG Program varies greatly across India due to different policies undertaken by respective states. Among them, Andhra Pradesh State shows the most distinguishing performance in this program. This chapter seeks to clarify the achievements and the challenges of this program based on the household level survey in two villages, one in Andhra Pradesh State and one in Maharashtra State which is chosen as a control village. By comparing the two villages, the authors examine how and to what extent the SHG Program can change villagers’ life and what measures are required to develop the SHG Program further. The results of the study are as follows. (1) Due to a strong initiative and elaborate support of the state government, the SHG Program has spread to every corner of rural area and majority of rural households are now involved in this program in AP State. (2) For the beneficiaries, this program provides not only cheap loan but also other various services like savings facility, pension scheme, subsidized gas, and scholarship for children’s education. (3) The interest rate of the loan from this program is much lower than the loans from money lenders and friends and relatives. (4) Thus, most of SHG members feel the SHG Program to be beneficial to them. (5) However, the amount and frequency of SHG loans are far less than their credit need, which even now drives majority of villagers go for other loan sources including usurious money lenders etc. (6) Moreover, many poor households are still excluded from the SHG Program due to extreme poverty (lack of saving capacity). (7) In Maharashtra State where another study village is situated, the SHG Program is much less active than AP State, although most of SHG members appreciate the benefit of this program to some extent. (8) Lack or inadequate support system for the management of SHGs seems to be the essential cause of inactivity and unpopularity of this program in Maharashtra. In conclusion, (9) the SHG Program can be a more effective tool for delivering various financial services to the rural poor and effective poverty alleviation. (10) The most crucial factor for success of this program is the firm and well-functioning SHGs as financial intermediary institutions. (11) In order to strengthen the function of SHGs, they need to be more sufficiently and strongly supported by banks/NGOs/government institutions especially with respect to capacity building of their management

Lysosomal cholesterol accumulation sensitizes to acetaminophen hepatotoxicity by impairing mitophagy.

The role of lysosomes in acetaminophen (APAP) hepatotoxicity is poorly understood. Here, we investigated the impact of genetic and drug-induced lysosomal cholesterol (LC) accumulation in APAP hepatotoxicity. Acid sphingomyelinase (ASMase)(-/-) mice exhibit LC accumulation and higher mortality after APAP overdose compared to ASMase(+/+) littermates. ASMase(-/-) hepatocytes display lower threshold for APAP-induced cell death and defective fusion of mitochondria-containing autophagosomes with lysosomes, which decreased mitochondrial quality control. LC accumulation in ASMase(+/+) hepatocytes caused by U18666A reproduces the susceptibility of ASMase(-/-) hepatocytes to APAP and the impairment in the formation of mitochondria-containing autolysosomes. LC extraction by 25-hydroxycholesterol increased APAP-mediated mitophagy and protected ASMase(-/-) mice and hepatocytes against APAP hepatotoxicity, effects that were reversed by chloroquine to disrupt autophagy. The regulation of LC by U18666A or 25-hydroxycholesterol did not affect total cellular sphingomyelin content or its lysosomal distribution. Of relevance, amitriptyline-induced ASMase inhibition in human hepatocytes caused LC accumulation, impaired mitophagy and increased susceptibility to APAP. Similar results were observed upon glucocerebrosidase inhibition by conduritol β-epoxide, a cellular model of Gaucher disease. These findings indicate that LC accumulation determines susceptibility to APAP hepatotoxicity by modulating mitophagy, and imply that genetic or drug-mediated ASMase disruption sensitizes to APAP-induced liver injury

Recruitment, augmentation and apoptosis of rat osteoclasts in 1,25-(OH)2D3 response to short-term treatment with 1,25-dihydroxyvitamin D3in vivo

Background Although much is known about the regulation of osteoclast (OC) formation and activity, little is known about OC senescence. In particular, the fate of of OC seen after 1,25-(OH)2D3 administration in vivo is unclear. There is evidence that the normal fate of OC is to undergo apoptosis (programmed cell death). We have investigated the effect of short-term application of high dose 1,25-dihydroxyvitamin D3 (1,25-(OH)2D3) on OC apoptosis in an experimental rat model. Methods OC recruitment, augmentation and apoptosis was visualised and quantitated by staining histochemically for tartrate resistant acid phosphatase (TRAP), double staining for TRAP/ED1 or TRAP/DAPI, in situ DNA fragmentation end labelling and histomorphometric analysis. Results Short-term treatment with high-dose 1,25-(OH)2D3 increased the recruitment of OC precursors in the bone marrow resulting in a short-lived increase in OC numbers. This was rapidly followed by an increase in the number of apoptotic OC and their subsequent removal. The response of OC to 1,25-(OH)2D3 treatment was dose and site dependent; higher doses producing stronger, more rapid responses and the response in the tibiae being consistently stronger and more rapid than in the vertebrae. Conclusions This study demonstrates that (1) after recruitment, OC are removed from the resorption site by apoptosis (2) the combined use of TRAP and ED1 can be used to identify OC and their precursors in vivo (3) double staining for TRAP and DAPI or in situ DNA fragmentation end labelling can be used to identify apoptotic OC in vivo

Decoherence, fluctuations and Wigner function in neutron optics

We analyze the coherence properties of neutron wave packets, after they have interacted with a phase shifter undergoing different kinds of statistical fluctuations. We give a quantitative (and operational) definition of decoherence and compare it to the standard deviation of the distribution of the phase shifts. We find that in some cases the neutron ensemble is more coherent, even though it has interacted with a wider (i.e. more disordered) distribution of shifts. This feature is independent of the particular definition of decoherence: this is shown by proposing and discussing an alternative definition, based on the Wigner function, that displays a similar behavior. We briefly discuss the notion of entropy of the shifts and find that, in general, it does not correspond to that of decoherence of the neutron.Comment: 18 pages, 7 figure

SAT-based Explicit LTL Reasoning

We present here a new explicit reasoning framework for linear temporal logic (LTL), which is built on top of propositional satisfiability (SAT) solving. As a proof-of-concept of this framework, we describe a new LTL satisfiability tool, Aalta\_v2.0, which is built on top of the MiniSAT SAT solver. We test the effectiveness of this approach by demonnstrating that Aalta\_v2.0 significantly outperforms all existing LTL satisfiability solvers. Furthermore, we show that the framework can be extended from propositional LTL to assertional LTL (where we allow theory atoms), by replacing MiniSAT with the Z3 SMT solver, and demonstrating that this can yield an exponential improvement in performance

Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar

This paper presents a combination of several automated reasoning and proof presentation tools with the Mizar system for formalization of mathematics. The combination forms an online service called MizAR, similar to the SystemOnTPTP service for first-order automated reasoning. The main differences to SystemOnTPTP are the use of the Mizar language that is oriented towards human mathematicians (rather than the pure first-order logic used in SystemOnTPTP), and setting the service in the context of the large Mizar Mathematical Library of previous theorems,definitions, and proofs (rather than the isolated problems that are solved in SystemOnTPTP). These differences poses new challenges and new opportunities for automated reasoning and for proof presentation tools. This paper describes the overall structure of MizAR, and presents the automated reasoning systems and proof presentation tools that are combined to make MizAR a useful mathematical service.Comment: To appear in 10th International Conference on. Artificial Intelligence and Symbolic Computation AISC 201