Theory recovery is the process of restoring consistency of a theory with respect to some intended semantics. Recently, a general framework for theory recovery has been developed using a twin semantics. In this paper we establish some relationships between this recovery framework and the well-known AGM postulates for theory revision. We show that the AGM revision postulates can be easily adapted...

The problem of belief change refers to the updating of a Knowledge Base (KB) in the face of new, possibly contradictory information. The AGM theory, introduced in [1], is the dominating paradigm in the area of belief change. Unfortunately, the assumptions made by the authors of [1] in the formulation of their theory restrict its use to a specific class of logics. In this work, we investigate th...

In this paper, the homotopy analysis method (HAM) proposed by Liao in 1992 and the homotopy perturbation method (HPM) proposed by He in 1998 are compared through an evolution equation used as the second example in a recent paper by Ganji et al (2007). It is found that the HPM is a special case of the HAM when ~ = −1. However, the HPM solution is divergent for all x and t except t = 0. It is als...

We previously reported that mac25/angiomodulin (AGM), a 30-kDa secretory protein, is abundantly expressed in high endothelial venules (HEVs), which play a crucial role in lymphocyte trafficking to the lymph nodes and Peyer's patches. We report that mac25/AGM interacts preferentially with certain molecules that are expressed in or around HEVs. In particular, mac25/AGM interacted with not only th...

Hematopoietic stem cells (HSCs) first emerge during embryonic development within vessels such as the dorsal aorta of the aorta-gonad-mesonephros (AGM) region, suggesting that signals from the vascular microenvironment are critical for HSC development. Here, we demonstrated that AGM-derived endothelial cells (ECs) engineered to constitutively express AKT (AGM AKT-ECs) can provide an in vitro nic...

Recent studies have shown that long-term repopulating hematopoietic stem cells (HSCs) first appear in the aorta-gonad-mesonephros (AGM) region. Our immunohistochemistry study showed that TEK+ cells existed in the AGM region. Approximately 5% of AGM cells were TEK+, and most of these were CD34(+) and c-Kit+. We then established a coculture system of AGM cells using a stromal cell line, OP9, whic...

Previous results have indicated that mac25/angiomodulin (AGM) is expressed in lymph node (LN) high endothelial venules (HEV), the specialized venules that support efficient lymphocyte transendothelial migration. How mac25/AGM's endothelial expression pattern is regulated in situ remains unknown. Here, we demonstrate that in mouse LN blood vessels, including HEV, mac25/AGM is localized, unlike p...

Definitive hematopoiesis begins in the para-aortic, splanchnopleural (P-Sp) and aorta-gonad-mesonephros (AGM) regions of mouse embryos and then switches to the fetal liver [1] [2] [3]. Gene-targeted mice lacking the c-Myb transcription factor have severe hematopoietic defects in the fetal liver [4]. The role of c-Myb, if any, in P-Sp/AGM hematopoiesis has not been examined, however. Recently, w...