Basically, the connection of two many-sorted theories is obtained by taking their disjoint union, and then connecting the two parts through connection functions that must behave like homomorphisms on the shared signature. We determine conditions under which decidability of the validity of universal formulae in the component theories transfers to their connection. In addition, we consider variants of the basic connection scheme.

Formulae of linear temporal logic (LTL) can be used to specify (wanted or unwanted) properties of a dynamical system. In model checking, the system’s behaviour is described by a transition system, and one needs to check whether all possible traces of this transition system satisfy the formula. In runtime verification, one observes the actual system behaviour, which at any point in time yields a finite prefix of a trace. The task is then to check whether all continuations of this prefix to a trace satisfy (violate) the formula. More precisely, one wants to construct a monitor, i.e., a finite automaton that receives the finite prefix as input and then gives the right answer based on the state currently reached. In this paper, we extend the known approaches to LTL runtime verification in two directions. First, instead of propositional LTL we use the more expressive temporal logic ALC-LTL, which can use axioms of the Description Logic (DL) ALC instead of propositional variables to describe properties of single states of the system. Second, instead of assuming that the observed system behaviour provides us with complete information about the states of the system, we assume that states are described in an incomplete way by ALC-knowledge bases. We show that also in this setting monitors can effectively be constructed. The (double-exponential) size of the constructed monitors is in fact optimal, and not higher than in the propositional case. As an auxiliary result, we show how to construct Büchi automata for ALC-LTL-formulae, which yields alternative proofs for the known upper bounds of deciding satisfiability in ALC-LTL.

Ce mémoire porte sur l'étude des surfaces minimales et de courbure moyenne constante dans les espaces homogènes de dimension 3. Nous établissons les formules de Sym-Bobenko pour les surfaces de courbure moyenne constante 1/2 de H^2xR et minimales du groupe de Heisenberg, et donnons des exemples de construction de telles immersions par la méthode DPW. Nous montrons également que des propriétés de symétrie passent aux correspondances de type surfaces sœurs et cousines, ce qui entraîne l'existence de graphes entiers de courbure moyenne constante 1/2 à bout vertical dans H^2xR qui ne sont pas de révolution. Nous reprenons ensuite l'étude des bouts verticaux d'immersions de courbure moyenne constante 1/2 dans H^2xR. Nous munissons une famille de graphes entiers d'une structure de variété lisse et en déduisons un analogue pour H^2xR d'un théorème de A. E. Treibergs pour l'espace de Minkowski. Nous nous intéressons également aux déformations des anneaux de révolution. Une conséquence directe est l'existence d'anneaux immergés qui ne sont pas de révolution. Nous construisons notamment des anneaux dont les bouts n'ont pas le même axe. Enfin, nous décrivons les invariants de Nœther correspondant aux isométries des espaces homogènes pour les surfaces minimales et de courbure moyenne constante. Nous utilisons le formalisme de la géométrie de contact qui permet l'écriture de formules explicites en toute généralité, et nous étudions l'évolution des formes de Nœther sous l'action des isométries des espaces homogènes. Nous calculons ces invariants dans le cas des anneaux déformés de H^2xR, et dans celui des anneaux horizontaux du groupe de Heisenberg / The present dissertation deals with the study of minimal and constant mean curvature surfaces in 3-dimensional homogeneous spaces. In a first part, we establish Sym-Bobenko formulæ for constant mean curvature 1/2 surfaces in H^2xR and minimal surfaces in the Heisenberg group, and give examples of construction of such immersions using the DPW method. We also show that certain symmetry properties are shared by sister or cousin surfaces, which implies the existence non rotational entire graphs of constant mean curvature 1/2 in H^2xR with a vertical end.In a second part, we treat in more details the study of vertical ends of constant mean curvature 1/2 immersions in H^2xR. We endow a particular family entire graphs with a structure of smooth manifold and deduce an analogue in H^2xR to a theorem by A. E. Treibergs in the Minkowski space. We are also interested in deforming rotational annuli. A direct consequence is the existence of immersed non rotational annuli, and in particular we construct annuli with ends that do not have the same axis. Finally, we describe the Nœther invariants corresponding to isometries of the ambient homogeneous space for minimal and constant mean curvature surfaces. To do so, we use the formalism of contact geometry which allows general and explicit formulæ. We then study the evolution of Nœther form under the action of isometries in homogeneous spaces. We compute these invariants in the case of deformed annuli in H^2xR, and in the case of horizontal annuli in Heisenberg group

Este trabalho está dividido em duas partes distintas. Na primeira parte caracterizamos os números de Lê de polinômios que são rodutos de polinômios de Pham-Brieskorn de mesmo tipo, que denominamos de arranjos de Pham-Brieskorn, obtendo fórmulas para estes números somente utilizando o número de variáveis, os pesos e o grau de homogeneidade destes polinômios. Na segunda parte nos dedicamos a estabelecer relações entre os números de Lê, que é um conceito local, e as classes de Milnor, que são objetos globais que fornecem informações quanto a geometria e topologia de hipersuperfícies analíticas complexas. No contexto geral, usando a hipótese de especialização, relacionamos a classe de Milnor de dimensão máxima de uma hipersuperfície Z numa variedade compacta M com uma soma, sobre os estratos de uma estratificação de Whitney de Z (com estratos conexos) que estão contidos no conjunto singular, em termos do último número de Lê associado a cada estrato. Além disso, obtivemos uma caracterização da classe de Milnor de dimensão mínima via os números de Lê sem usar a hipótese de especialização. Esta classe coincide com o chamado número de Milnor de Parusinski que, assim como os números de Lê, também é uma generalização do número de Milnor / This work is divided into two distinct parts. In the first part we characterize the Lê numbers of polynomials that are products of Pham- Brieskorn polynomials of the same type that we call Pham-Brieskorn arrangements, obtaining formulas to these numbers only using the number of variables, weights and degree of homogeneity of these polynomials. In the second part we are dedicated to establishing relationships between Lê numbers, which is a local concept, and the Milnor classes, which are global objects that provide information about the geometry and topology of complex analytic hypersurfaces. In a general context, using the hypothesis of specialization we relate the top dimensional Milnor class of a hypersurface Z in a compact manifold M with a sum given in terms of the last Lê number associated to each stratum of a Whitney estratification of Z (with connected strata) that are contained in singular set. Moreover, we obtain a characterization of the Milnor class of minimum dimension via the Lê numbers without using the hypothesis of specialization. This class coincides with the Milnor number of Parusinski that, as the Lê numbers, it is also a generalization of the Milnor number

At present, there is no cure for bone metastasis. The current goals in patient care are to palliate pain, prevent pathological bone fracture and increase the strength and function of bone, so as to extend the life expectancy and maintain a good quality of life. Bisphosphonate treatment is the currently standard therapy of bone metastasis and is commonly used by physicians; it alleviates the tumour-induced hypercalcemia in 90% of patients and reduces the metastatic bone pain in 50% of patients. Moreover, it also prevents the pathological fracture of the affected bones. However, while effective, bisphosphonate injections are very costly, though its oral formulation is less expensive it is also less efficacious, and causes gastrointestinal discomfort. Furthermore, prolonged use of bisphosphonate treatment may lead to certain adverse effects, including hypocalcemia. These factors will prohibit the longterm use of such medication as it can negatively affect the treatment outcome. / Based on enormous medical potentials illustrated by the aforementioned findings, BBYNG deserves wider clinical application, large-scale clinical study on its preventive effect against bone metastasis and detailed investigation of its mode(s) of action in the body. / Based on the above-described understanding of Chinese medicine and bone metastasis, supplementing the kidney and strengthening bone could be the basic principle for the treatment of bone metastasis using Chinese medicine. In view of this theory, and in addition to the clinical observation and a thorough search of the available literature, we selected relevant kidney-tonifying Chinese herbs, namely (Fructus Ligustri Lucidi), (Rhizoma Drynariae), (Herba Epimedii), (Psoralea Corylifolia) and wide-spectrum anticancer herbs (Herba Hedyotidis Diffusae) for the preparation of a combined formula--BBYNG. / Chinese medicine has long been used to treat cancers. Its advantages reside in its holistic properties, which bring palliative, corrective and convalescing functions against damage caused by radiotherapy, chemotherapy and surgery. These features position Chinese medicines as the adjuvant to orthodox cancer treatment. During the late stage of tumour development, when standard therapy is no longer effective, Chinese medicine plays a critical role as an integrated therapy. Searching for a safe, inexpensive and effective Chinese medicine preparation suitable for prolonged use as adjunct therapy in late cancer cases is of paramount importance. / Clinical results. Both Chinese medicine and Western medicine treated patients showed no significant change in their blood parameters or liver and kidney examinations before and after drug administration; Male subjects on BBYNG, their bone mass density remained stable after 6 months treatment and the subjects on OSTAC showed slightly decreased In females, subjects on BBYNG remained stable, but subjects on OSTAC slightly increased. / Clinical study. The study was designed as a randomized, parallel-group comparison between BBYNG formula and Bisphosphonate. The patients who meet the inclusion/exclusion criteria were randomly assigned to receive either BBYNG granules, which was prepared by a GMP manufacturer, or Clodronic acid. The treatment period was 6 months (24 weeks). For both groups, various clinical parameters such as body functions, blood examinations, bone density (BMD) assessment, X-ray examinations, pain intensity and quality of life were evaluated and compared. / Conclusions. (1) As an adjuvant to patients with bone metastases, BBYNG is effective in relieving the metastatic bone pain, improving the quality of life. (2) In the animal model, BBYNG reduced the metastatic bone damage, prolonged the survival and enhanced the T lymphocyte immunity in the tumour-bearing mice. (3) In vitro study on the breast and lung cancer cell lines showed that BYYNG could induce apoptosis and prevent tumour cell invasion. It suggests that BYYNG may restrict tumour growth and development, thus reducing the occurrence of bone metastasis. / In accordance with Chinese medicine, bone metastasis can be categorized into "bone tumour" "bone erosion" "bone wilting" "bone necrosis" and "bone impediment". The main cause of bone metastasis is twofold: cancer toxicity, and in Chinese medicine theory, the kidney governs the bone marrow, if the kidney is not functioning in balance, then the bone will become weak. Cancer toxicity is the "pathogenic cause" to skeletal metastases, while kidney weakness decreases the body defence against the cancer. A vicious cycle ensues when cancer and kidney deficiency and bone weakness occurs simultaneously coincidently and worsens the conditions. / In vitro study on tumour cell lines. The anticancer effects of different concentrations of BBYNG formula and various single components against human breast cancer and lung cancer cell lines were evaluated by cell viability test (MTT assay), cell apoptosis test and invasion suppression test. / In vitro study results. BBYNG and the aqueous extracts of its component herbs at very low drug concentrations stimulated the growth of three tumour cell lines tested. When the concentrations were slightly increased, they showed an inhibitory effect on cancer cell proliferation. As the drug concentrations further increased, the extracts showed cytotoxic effects on these tumor cells. At the noncytotoxic dose, the extracts could trigger apoptosis and enhance the caspase-3 activity in all three tumour cell lines. In addition, at this "non toxic" concentration, the extracts markedly inhibited the in vitro invasive property of the 4T1 breast cancer cell lines in our Matrigel invasion model. Thus these in vitro results suggested that BBYNG possess anticancer, invasion-inhibitory and anti-metastatic activities. / In vivo animal study results. (Tumour growth was slower in the BBYNG treatment group when compared to the OSTAC and control groups, but this was not significantly difference) BBYNG significantly delayed tumour growth in tumour bearing mice, but it did not minimize the tumour size markedly. Moreover, BBNYG did minimize the mobility restriction caused by tumours, reduce the damage to bones, prolong the survival time and enhanced the T lymphocyte immunity. / In vivo animal study. A well-established animal model for breast cancer was used to evaluate and compare the pharmacological effects of BBYNG formula and Clodronic acid, as shown by different indicators such as tumour progression, animal's mobility, survival time, bone metastasis-induced fracture intensity and the immunological status of the tumour-bearing mice. / Malignant tumour is characterized by early metastasis. Among them 37 to 80 (depending on which type of cancer) patients show tendency of bone metastasis. Bone metastasis is usually accompanied by various complications, such as severe pain, pathological bone fracture, hypercalcemia, and bone marrow suppression, which can substantially affect the quality of life of the patients. Thus, the prevention and treatment of bone metastasis in cancer is an issue worth pursuing. / Malignant tumours leading to high mortality and morbidity are a serious threat to human health. It is the leading cause of death in China. In Hong Kong, there are over 20 thousand new cancer cases and more than 1100 people die due to cancers every year. / Study objectives. To elucidate the efficacy and some pharmacological aspects of BBYNG in regard to the treatment of bone metastasis through clinical observation and different laboratory experiments. This study would be of significant reference value to the disease-oriented drug formulation and application, mechanistic study and research methodology of the treatment of bone metastasis using Chinese medicines. / The clinical and laboratory experimental results are summarized as below: / The research study is composed of three parts, the clinical study, in vivo animal study and in vitro study on tumour cell lines. The research methods used are as follows: / Those on BBYNG treatment showed more a stable and satisfactory quality of life than those in the Western medicine-treated group. For the Clodronic acid treatment group, patients generally showed worsened symptoms and quality of life deteriorated. The ECOG index of the BBYNG group was statistically better than that of the Clodronic acid group. Within the 72-week clinical observational period, the mortality of Clodronic acid group is significantly higher that of the BBYNG group. The effects of BBYNG group as presented in relieving the pain-induced influence on patients' emotion, interpersonal relationship and entertainment was more pronounced than that in the Clodronic acid group. / Wu Ka. / 論文(哲學博士)--香港中文大學, 2006. / 參考文獻(p. 299-324). / Adviser: Leung Ping Chung. / Source: Dissertation Abstracts International, Volume: 68-03, Section: B, page: 1570. / Electronic reproduction. Hong Kong : Chinese University of Hong Kong, [2012] System requirements: Adobe Acrobat Reader. Available via World Wide Web. / Electronic reproduction. [Ann Arbor, MI] : ProQuest Information and Learning, [200-] System requirements: Adobe Acrobat Reader. Available via World Wide Web. / Abstracts in Chinese and English. / School code: 1307. / Lun wen (zhe xue bo shi)--Xianggang Zhong wen da xue, 2006. / Can kao wen xian (p. 299-324). / Wu Ka.

The project developed a web-based application that provides a user-friendly interface to assist practitioners of traditional Chinese medicine in determining the correct diagnosis. Traditional Chinese Medicine On-line Diagnosis System (TCMODS) allows a diagnostician to enter a patient's symptoms using a series of questionnaires to determine health status, which will then be stored in the database as part of the patient's medical records. The database will also differentiate among the patterns of syndromes known in traditional Chinese medicine and search and match these with the patient's data to the known uses of Chinese herbs. TCMODS will then generate that patient's medical record, including the symptoms of the ailment, the syndrome, and a prescription. User identification and access privileges were differentiated in order to maintain the integrity of the patient medical data and the information needed to make the diagnoses. The project was designed to function across platforms and was written using HTML, JSP, and MySQL.

University of Macau / Institute of Chinese Medical Sciences

University of Macau / Institute of Chinese Medical Sciences

Este trabalho está dividido em duas partes distintas. Na primeira parte caracterizamos os números de Lê de polinômios que são rodutos de polinômios de Pham-Brieskorn de mesmo tipo, que denominamos de arranjos de Pham-Brieskorn, obtendo fórmulas para estes números somente utilizando o número de variáveis, os pesos e o grau de homogeneidade destes polinômios. Na segunda parte nos dedicamos a estabelecer relações entre os números de Lê, que é um conceito local, e as classes de Milnor, que são objetos globais que fornecem informações quanto a geometria e topologia de hipersuperfícies analíticas complexas. No contexto geral, usando a hipótese de especialização, relacionamos a classe de Milnor de dimensão máxima de uma hipersuperfície Z numa variedade compacta M com uma soma, sobre os estratos de uma estratificação de Whitney de Z (com estratos conexos) que estão contidos no conjunto singular, em termos do último número de Lê associado a cada estrato. Além disso, obtivemos uma caracterização da classe de Milnor de dimensão mínima via os números de Lê sem usar a hipótese de especialização. Esta classe coincide com o chamado número de Milnor de Parusinski que, assim como os números de Lê, também é uma generalização do número de Milnor / This work is divided into two distinct parts. In the first part we characterize the Lê numbers of polynomials that are products of Pham- Brieskorn polynomials of the same type that we call Pham-Brieskorn arrangements, obtaining formulas to these numbers only using the number of variables, weights and degree of homogeneity of these polynomials. In the second part we are dedicated to establishing relationships between Lê numbers, which is a local concept, and the Milnor classes, which are global objects that provide information about the geometry and topology of complex analytic hypersurfaces. In a general context, using the hypothesis of specialization we relate the top dimensional Milnor class of a hypersurface Z in a compact manifold M with a sum given in terms of the last Lê number associated to each stratum of a Whitney estratification of Z (with connected strata) that are contained in singular set. Moreover, we obtain a characterization of the Milnor class of minimum dimension via the Lê numbers without using the hypothesis of specialization. This class coincides with the Milnor number of Parusinski that, as the Lê numbers, it is also a generalization of the Milnor number

No description available.