Constraint Handling Rules (CHR) is a declarative rulebased concurrent committed-choice programming language. Petri nets are a well-known formalism for modeling and analysis of concurrent processes. We aim to develop a framework to exploit Petri nets as a tool for the modeling and analysis of CHR programs. In this paper, we show that place/transition nets can easily be embedded into CHR and we d...

The experience of childhood trauma (CT) and stressful life events (SLEs) is associated with subsequent development of a variety of mental health conditions, including psychotic illness. Recent research identifying adolescents and young adults at clinical high risk (CHR) for psychosis allows for prospective evaluation of the impact of trauma and adverse life events on psychosis onset and other o...

We have proposed a novel computation framework called Equivalent Transformation (ET). The ET framework is a rewriting system in which computation is executed by rewriting rules. Rewriting rules of the ET framework are called Equivalent Transformation Rules (ETRs). The theory of ET guarantees the correctness of the computation by ETRs. Multi-head ETRs which have multiple atoms in their head part...

Ulcerative colitis (UC) is characterized by a functional dysregulation of alternatively activated macrophage (AAM) and intestinal epithelial cells (IECs) homeostasis. Chromogranin-A (CHGA) secreted by neuroendocrine cells is implicated in intestinal inflammation and immune dysregulation. CHGA undergoes proteolytic processing to generate CHGA-derived peptides. Chromofungin (CHR: CHGA47-66) is a ...

Genetic and physical framework mapping in cotton (Gossypium spp.) were used to discover putative gene sequences involved in resistance to common soil-borne pathogens. Chromosome (Chr) 11 and its homoeologous Chr 21 of Upland cotton (G. hirsutum) are foci for discovery of resistance (R) or pathogen-induced R (PR) genes underlying QTLs involved in response to root-knot nematode (Meloidogyne incog...

To the Editor: We read with interest the article by Fernandez et al. Reticulocyte hemoglobin content (CHr) is a promising marker of iron metabolism, particularly in the intensive care unit setting where usual markers are often disrupted by inflammation. In a small cohort of critically ill patients with no evidence of real iron deficiency, we observed a correlation between C-reactive protein and...

To the Editor: We read with interest the article by Fernandez et al. Reticulocyte hemoglobin content (CHr) is a promising marker of iron metabolism, particularly in the intensive care unit setting where usual markers are often disrupted by inflammation. In a small cohort of critically ill patients with no evidence of real iron deficiency, we observed a correlation between C-reactive protein and...

To collect rat mutations and increase the value of the rat model system, we introduced fancy-derived mutations to the laboratory and carried out genetic analyses. Six fancy rats were shipped from a fancy rat colony in the USA and used as founders. After initial crosses with a laboratory strain, TM/Kyo or PVG/Seac, inbreeding started and 6 partially inbred lines, including 2 sublines, were produ...