Node Query Preservation for Deterministic Linear Top-Down Tree Transducers

This paper discusses the decidability of node query preservation problems for XML document transformations. We assume a transformation given by a deterministic linear top-down data tree transducer (abbreviated as DLT^V) and an n-ary query based on runs of a tree automaton. We say that a DLT^V Tr strongly preserves a query Q if there is a query Q' such that for every document t, the answer set of Q' for Tr(t) is equal to the answer set of Q for t. Also we say that Tr weakly preserves Q if there is a query Q' such that for every t_d in the range of Tr, the answer set of Q' for t_d is equal to the union of the answer set of Q for t such that t_d = Tr(t). We show that the weak preservation problem is coNP-complete and the strong preservation problem is in 2-EXPTIME.Comment: In Proceedings TTATT 2013, arXiv:1311.505

Antitumor Immunity Produced by the Liver Kupffer Cells, NK Cells, NKT Cells, and CD8+ CD122+ T Cells

Mouse and human livers contain innate immune leukocytes, NK cells, NKT cells, and macrophage-lineage Kupffer cells. Various bacterial components, including Toll-like receptor (TLR) ligands and an NKT cell ligand (α-galactocylceramide), activate liver Kupffer cells, which produce IL-1, IL-6, IL-12, and TNF. IL-12 activates hepatic NK cells and NKT cells to produce IFN-γ, which further activates hepatic T cells, in turn activating phagocytosis and cytokine production by Kupffer cells in a positive feedback loop. These immunological events are essentially evoked to protect the host from bacterial and viral infections; however, these events also contribute to antitumor and antimetastatic immunity in the liver by activated liver NK cells and NKT cells. Bystander CD8+CD122+ T cells, and tumor-specific memory CD8+T cells, are also induced in the liver by α-galactocylceramide. Furthermore, adoptive transfer experiments have revealed that activated liver lymphocytes may migrate to other organs to inhibit tumor growth, such as the lungs and kidneys. The immunological mechanism underlying the development of hepatocellular carcinoma in cirrhotic livers in hepatitis C patients and liver innate immunity as a double-edged sword (hepatocyte injury/regeneration, septic shock, autoimmune disease, etc.) are also discussed

A Face-like Structure Detection on Planet and Satellite Surfaces using Image Processing

This paper demonstrates that face-like structures are everywhere, and can be de-tected automatically even with computers. Huge amount of satellite images of the Earth, the Moon, the Mars are explored and many interesting face-like structure are detected. Throughout this fact, we believe that science and technologies can alert people not to easily become an occultist.Comment: 4 page