The Enzymatic Activity of Type 1 Iodothyronine Deiodinase (D1) is Low in Liver Hemangioma: A Preliminary Study

Type 1 iodothyronine deiodinase (D1) is a crucial enzyme which converts the prohormone thyroxine (T4) into active tri-iodothyronine (T3). There has been strong evidence that the metabolism of thyroid hormones is disturbed in some neoplastic tissues such as thyroid, renal, and breast cancer. However, there are few available data about D1 enzyme activity in benign tumors such as hemangioma, which is the most common primary liver tumor. Hence this study aimed to determine the enzymatic activity of D1 in hemangiomas in relation to healthy liver tissue. Seven tumors and healthy control tissues were obtained from patients who had liver resection due to hemangioma. The activity was assessed by measurement of radioactive iodine released by deiodination catalyzed by D1. It was found that D1 activity was significantly lower in the hemagiomas than in the healthy surrounding tissue (p = 0.0017). The results indicated that thyroid hormones play important roles not only in the regulation of cell metabolism, but also in cell growth, division, and apoptosis. The active form T3 acts through its nuclear receptors and influences the up- and down-regulation of target genes. Healthy liver tissue expresses a high level of D1, but disturbed D1 activity may result in changes in the local concentration of T3 which may impair gene transcription. These finding demonstrate a low enzymatic activity of D1 in liver hemangioma and suggest an as yet unknown role of thyroid hormones in this type of benign liver tumor

O pewnych zastosowaniach eliminacji kwantyfikatorów w robotyce

Niniejszy wykład zarysowuje w popularyzującym ujęciu wybrane zagadnieniom efektywnego wnioskowania prowadzonego w warunkach, w których mamy do czynienia z wiedzą niepełną, niepewną i silnie zaszumioną, gdy trzeba poradzić sobie ze złej jakości danymi, w tym bieżącymi odczytami pomiarów, obrazami z kamer itp. Wykład jest oparty o rozwiązania opracowane dla potrzeb bezzałogowych helikopterów (rzeczywiście wykonujących loty bezzałogowe w kontrolowanych warunkach poligonowych). W szczególności naszkicowane będą dość subtelne formy wnioskowania wykorzystujące niebanalne techniki logiczne, drastycznie obniżające złożoność wnioskowania w dużej klasie teorii spotykanych w praktyce.The current lecture provides a popular overview of selected topics concerning efficient reasoning dealing with incomplete and noisy data of bad quality, collected from sensors and video cameras. The lecture is based on solutions worked out for autonomous aerial vehicles and test flights over a rescure training area in Revinge (Sweden). In particular we sketch rather subtle forms of reasoning based on nontrivial logical methods substantially deceasing the complexity of reasoning in a large class of theories applied in practice

Sieć semantyczna w pigułce

The paper outlines selected topics related to Semantic Web. We start with problems with the use of current web search engines. Next, we discuss the architecture and basic concepts of Semantic Web whose central ideas focus around ontologies. We show the role of logics in the specification and verification of ontologies as well as reasoning about them. We mainly concentrate on rule languages. In particular we discuss the 4QL query language supplying the user with simple, yet powerful constructs for filling gaps in missing knowledge as well as for disambiguation of inconsistencies.Artykuł zarysowuje wybrane zagadnienia związane z Semantycznym Internetem. Wychodząc od problemów rozwiązań stosowanych we współczesnych wyszukiwarkach, traktuje o architekturze i zasadniczych koncepcjach Semantycznego Internetu, którego kluczowym pojęciem są ontologie. Tekst omawia miejsce logik w specyfikacji i weryfikacji ontologii, a także wnioskowaniu o nich, koncentrując się przede wszystkim na językach regułowych, w tym na języku 4QL, dostarczającym prostych konstrukcji umożliwiających reakcję na niepełną i/lub sprzeczną informację

Negative information in a rule-based language 4QL

Problematyka negatywnej informacji w językach regułowych jest zasadnicza z punktu widzenia dużej liczby aplikacji. Była ona rozważana w rozszerzeniach języków zapytań w dedukcyjnych bazach danych, opartych na wnioskowaniach niemonotonicznych, początkowo wynikających z założenia o zamkniętym świecie CWA (Closed World Assumption). W wielu zastosowaniach, w tym związanych z Semantycznym Internetem i robotyką, założenie CWA nie jest właściwe i zwykle przyjmuje się w nich założenie o świecie otwartym OWA (Open World Assumption). W niniejszym artykule omawiamy nowe podejście do tego problemu, przedstawione w [2] [3] [4], gdzie zaproponowaliśmy język regułowy 4QL w stylu Datalogu, jednak bez ograniczeń na wystąpienie negacji. Język ma architekturę warstwową. Najniższe warstwy 4QL, oparte na OWA, są w pełni monotoniczne. W celu zmniejszenia stref niewiedzy/sprzeczności w [2] [3] wprowadzono proste konstrukcje pozwalające na wyrażanie mechanizmów wnioskowań niemonotonicznych, w tym umożliwiających rozwiązywanie sprzeczności, użycie lokalnych domknięć świata (a więc także CWA) oraz różnych form wnioskowań przez domniemania. Obliczanie zapytań w 4QL ma złożoność wielomianową ze względu na rozmiar bazy danych.The problem of negative information in rule languages is crucial in many applications. It has been addressed in extensions of query languages in deductive databases, based on nonmonotonic logics initially derived from the Closed World Assumption (CWA). In many applications, including Semantic Web technologies and robotics systems, CWA is not necessarily applicable and developments in these fields usually follow the Open World Assumption (OWA). In this paper we summarize a novel approach to the problem reported in [2] [3] [4], where we proposed a DATALOG-like language 4QL with unrestricted negation. The language supports a layered architecture. The monotonic layer of 4QL, based on OWA, is fully monotonic. To reduce the unknown/inconsistent zones, in [2] [3] we have introduced simple constructs which allow one to express various mechanisms of nonmonotonic reasoning. In particular, this provides means for application-specific disambiguation of inconsistent information, the use of Local CWA (thus also CWA, if needed), and various forms of default reasoning. Query evaluation in 4QL is still tractable as regards its data complexity

Quantifier Elimination in Elementary Set Theory

In the current paper we provide two methods for quantifier elimination applicable to a large class of formulas of the elementary set theory. The first one adapts the Ackermann method [1] and the second one adapts the fixpoint method of [20]. We show applications of the proposed techniques in the theory of correspondence between modal logics and elementary set theory. The proposed techniques can also be applied in an automated generation of proof rules based on the semantic-based translation of axioms of a given logic into the elementary set theory