Untyping Typed Algebras and Colouring Cyclic Linear Logic

We prove "untyping" theorems: in some typed theories (semirings, Kleene algebras, residuated lattices, involutive residuated lattices), typed equations can be derived from the underlying untyped equations. As a consequence, the corresponding untyped decision procedures can be extended for free to the typed settings. Some of these theorems are obtained via a detour through fragments of cyclic linear logic, and give rise to a substantial optimisation of standard proof search algorithms.Comment: 21

Reverse genetic studies of mitochondrial DNA-based diseases using a mouse model

In the situation that it would not be able to produce model animals for mitochondrial diseases caused by mitochondrial DNA (mtDNA) with pathogenic mutations, we succeeded in generating mice with pathogenic deletion mutant mtDNA (ΔmtDNA), named “mito-mice”, by direct introduction of mitochondria with ΔmtDNA into mouse zygotes. In the mito-mice, accumulation of ΔmtDNA induced mitochondrial respiration defects in various tissues, resulting in mitochondrial disease phenotypes, such as low body weight, lactic acidosis, ischemia, myopathy, heart block, deafness, male infertility, and renal failure. Thus, mito-mice are the first model animal for mtDNA-based diseases, and the mice could be valuable for understanding precise pathogeneses and testing therapies of mitochondrial diseases. In the present review, we summarized reverse genetic studies using the mito-mice

Criteria for priority setting of HIV/AIDS interventions in Thailand: a discrete choice experiment

Contains fulltext : 87849.pdf (publisher's version ) (Open Access)BACKGROUND: Although a sizeable budget is available for HIV/AIDS control in Thailand, there will never be enough resources to implement every programme for all target groups at full scale. As such, there is a need to prioritize HIV/AIDS programmes. However, as of yet, there is no evidence on the criteria that should guide the priority setting of HIV/AIDS programmes in Thailand, including their relative importance. Also, it is not clear whether different stakeholders share similar preferences. METHODS: Criteria for priority setting of HIV/AIDS interventions in Thailand were identified in group discussions with policy makers, people living with HIV/AIDS (PLWHA), and community members (i.e. village health volunteers (VHVs)). On the basis of these, discrete choice experiments were designed and administered among 28 policy makers, 74 PLWHA, and 50 VHVs. RESULTS: In order of importance, policy makers expressed a preference for interventions that are highly effective, that are preventive of nature (as compared to care and treatment), that are based on strong scientific evidence, that target high risk groups (as compared to teenagers, adults, or children), and that target both genders (rather than only men or women). PLWHA and VHVs had similar preferences but the former group expressed a strong preference for care and treatment for AIDS patients. CONCLUSIONS: The study has identified criteria for priority setting of HIV/AIDS interventions in Thailand, and revealed that different stakeholders have different preferences vis-a-vis these criteria. This could be used for a broad ranking of interventions, and as such as a basis for more detailed priority setting, taking into account also qualitative criteria

Prospects for observing and localizing gravitational-wave transients with Advanced LIGO, Advanced Virgo and KAGRA

We present possible observing scenarios for the Advanced LIGO, Advanced Virgo and KAGRA gravitational-wave detectors over the next decade, with the intention of providing information to the astronomy community to facilitate planning for multi-messenger astronomy with gravitational waves. We estimate the sensitivity of the network to transient gravitational-wave signals, and study the capability of the network to determine the sky location of the source. We report our findings for gravitational-wave transients, with particular focus on gravitational-wave signals from the inspiral of binary neutron star systems, which are the most promising targets for multi-messenger astronomy. The ability to localize the sources of the detected signals depends on the geographical distribution of the detectors and their relative sensitivity, and 90% credible regions can be as large as thousands of square degrees when only two sensitive detectors are operational. Determining the sky position of a significant fraction of detected signals to areas of 5– 20 deg2 requires at least three detectors of sensitivity within a factor of ∼2 of each other and with a broad frequency bandwidth. When all detectors, including KAGRA and the third LIGO detector in India, reach design sensitivity, a significant fraction of gravitational-wave signals will be localized to a few square degrees by gravitational-wave observations alone

The discovery of Hepatocyte Growth Factor (HGF) and its significance for cell biology, life sciences and clinical medicine

It has been more than 25 years since HGF was discovered as a mitogen of hepatocytes. HGF is produced by stromal cells, and stimulates epithelial cell proliferation, motility, morphogenesis and angiogenesis in various organs via tyrosine phosphorylation of its receptor, c-Met. In fetal stages, HGF-neutralization, or c-Met gene destruction, leads to hypoplasia of many organs, indicating that HGF signals are essential for organ development. Endogenous HGF is required for self-repair of injured livers, kidneys, lungs and so on. In addition, HGF exerts protective effects on epithelial and non-epithelial organs (including the heart and brain) via anti-apoptotic and anti-inflammatory signals. During organ diseases, plasma HGF levels significantly increased, while anti-HGF antibody infusion accelerated tissue destruction in rodents. Thus, endogenous HGF is required for minimization of diseases, while insufficient production of HGF leads to organ failure. This is the reason why HGF supplementation produces therapeutic outcomes under pathological conditions. Moreover, emerging studies delineated key roles of HGF during tumor metastasis, while HGF-antagonism leads to anti-tumor outcomes. Taken together, HGF-based molecules, including HGF-variants, HGF-fragments and c-Met-binders are available as regenerative or anti-tumor drugs. Molecular analysis of the HGF-c-Met system could provide bridges between basic biology and clinical medicine

Latin American immigrants have limited access to health insurance in Japan: a cross sectional study

<p>Abstract</p> <p>Background</p> <p>Japan provides universal health insurance to all legal residents. Prior research has suggested that immigrants to Japan disproportionately lack health insurance coverage, but no prior study has used rigorous methodology to examine this issue among Latin American immigrants in Japan. The aim of our study, therefore, was to assess the pattern of health insurance coverage and predictors of uninsurance among documented Latin American immigrants in Japan.</p> <p>Methods</p> <p>We used a cross sectional, mixed method approach using a probability proportional to estimated size sampling procedure. Of 1052 eligible Latin American residents mapped through extensive fieldwork in selected clusters, 400 immigrant residents living in Nagahama City, Japan were randomly selected for our study. Data were collected through face-to-face interviews using a structured questionnaire developed from qualitative interviews.</p> <p>Results</p> <p>Our response rate was 70.5% (n = 282). Respondents were mainly from Brazil (69.9%), under 40 years of age (64.5%) and had lived in Japan for 9.45 years (SE 0.44; median, 8.00). We found a high prevalence of uninsurance (19.8%) among our sample compared with the estimated national average of 1.3% in the general population. Among the insured full time workers (n = 209), 55.5% were not covered by the Employee's Health Insurance. Many immigrants cited financial trade-offs as the main reasons for uninsurance. Lacking of knowledge that health insurance is mandatory in Japan, not having a chronic disease, and having one or no children were strong predictors of uninsurance.</p> <p>Conclusions</p> <p>Lack of health insurance for immigrants in Japan is a serious concern for this population as well as for the Japanese health care system. Appropriate measures should be taken to facilitate access to health insurance for this vulnerable population.</p

Clinical consequences of road traffic injuries among the elderly in Japan

<p>Abstract</p> <p>Background</p> <p>Road traffic injuries among the elderly have recently become a public health issue; therefore, we investigated the clinical characteristics of such injuries among the elderly in Japan.</p> <p>Methods</p> <p>A retrospective study was performed using data from a medium-sized hospital emergency department. Data were extracted from medical records for one year, and patients were categorized into groups ages 18-64, 65-74 and 75+. Variables included demographic characteristics, injury circumstances, and nature of injury. Univariate and bivariate descriptive statistical analyses were performed, and multivariate logistic regression was used to evaluate injury severity and hospital admission by age groups.</p> <p>Results</p> <p>A total of 1,656 patients were studied. Patients aged 65+ had more chest wall injury, intracranial injury, lower extremity fracture, and intrathoracic injury than patients aged 18-64.</p> <p>Conclusions</p> <p>Injury circumstances and nature of injuries associated with traffic incidents showed different patterns by age groups, particularly among the elderly.</p

Subaru Studies of the Cosmic Dawn

An overview on the current status of the census of the early universe population is given. Observational surveys of high redshift objects provide direct opportunities to study the early epoch of the Universe. The target population included are Lyman Alpha Emitters (LAE), Lyman Break Galaxies (LBG), gravitationally lensed galaxies, quasars and gamma-ray bursts (GRB). The basic properties of these objects and the methods used to study them are reviewed. The present paper highlights the fact that the Subaru Telescope group made significant contributions in this field of science to elucidate the epoch of the cosmic dawn and to improve the understanding of how and when infant galaxies evolve into mature ones.Comment: 14 pages, 11 figures, accepted for publication in the Proceedings of the Japan Academy, Series

Sexual behaviors and their correlates among young people in Mauritius: a cross-sectional study

<p>Abstract</p> <p>Background</p> <p>Little is known about the HIV/AIDS epidemic in the Indian Ocean region, including Mauritius. National records suggest a prevalence of HIV in Mauritius of < 1% in the general population, which is one of the lowest prevalence rates in southern Africa. However, HIV-positive cases have been increasing recently in Mauritius. We conducted a cross-sectional survey in January 2003 to assess the prevalence of HIVrelated sexual behaviors and their correlates among young people aged 15–24 years in Mauritius.</p> <p>Methods</p> <p>We identified 1200 participants using two-stage cluster sampling. Demographic, social, sexual, and knowledge of HIV/AIDS data were obtained in face-to-face interviews using a structured questionnaire administered by trained interviewers. The prevalence of sexual behaviors was described in relation to gender, and the correlates of ever having had sex and nonuse of condom at last sex were analyzed using logistic regression.</p> <p>Results</p> <p>In the target population, 30.9% of males and 9.7% of females reported a history of sexual intercourse. Of the currently sexually active participants, 50.6% of men and 71.2% of women did not use condoms at their last sexual encounter. Logistic regression revealed that work experience and marijuana use were significantly associated with men's sexual experience, whereas being out of school and drinking experience were significantly associated with women's sexual experience. For both men and women, being Christian and visiting nightclubs were associated with having ever had sexual intercourse (P < 0.05). In addition, not using a condom at the first sexual encounter and lack of exposure to a nongovernmental organization (NGO) dealing with HIV/AIDS were associated with the nonuse of condoms at the last sexual encounter (P < 0.05).</p> <p>Conclusion</p> <p>Young people in Mauritius are at risk of a future HIV epidemic because behaviors predisposing to HIV infection are prevalent among sexually experienced youth. A focused prevention program targeting young people should be reinforced as part of the National AIDS Control Program, taking into account the predictors of sexual behaviors identified here.</p