Hennessy-Milner Theorems via Galois Connections

We introduce a general and compositional, yet simple, framework that allows us to derive soundness and expressiveness results for modal logics characterizing behavioural equivalences or metrics (also known as Hennessy-Milner theorems). It is based on Galois connections between sets of (real-valued) predicates on the one hand and equivalence relations/metrics on the other hand and covers a part of the linear-time-branching-time spectrum, both for the qualitative case (behavioural equivalences) and the quantitative case (behavioural metrics). We derive behaviour functions from a given logic and give a condition, called compatibility, that characterizes under which conditions a logically induced equivalence/metric is induced by a fixpoint equation. In particular this framework allows us to derive a new fixpoint characterization of directed trace metrics

Multidisciplinary Service Utilization Pattern by Advanced Head and Neck Cancer Patients: A Single Institution Study

Purpose. To analyze the patterns and associations of adjunctive service visits by head and neck cancer patients receiving primary, concurrent chemoradiation therapy. Methods. Retrospective chart review of patients receiving adjunctive support during a uniform chemoradiation regimen for stages III-IV head and neck squamous cell carcinoma. Univariate and multivariate models for each outcome were obtained from simple and multivariate linear regression analyses. Results. Fifty-two consecutive patients were assessed. Female gender, single marital status, and nonprivate insurance were factors associated with an increased number of social work visits. In a multivariate analysis, female gender and marital status were related to increased social work services. Female gender and stage IV disease were significant for increased nursing visits. In a multivariate analysis for nursing visits, living greater than 20 miles between home and hospital was a negative predictive factor. Conclusion. Treatment of advanced stage head and neck cancer with concurrent chemoradiation warrants a multidisciplinary approach. Female gender, single marital status, and stage IV disease were correlated with increased utilization of social work and nursing services. Distance over 20 miles from the center was a negative factor. This information may help guide the treatment team to allocate resources for the comprehensive care of patients

Epidemiology of Gallbladder Disease: Cholelithiasis and Cancer

Diseases of the gallbladder are common and costly. The best epidemiological screening method to accurately determine point prevalence of gallstone disease is ultrasonography. Many risk factors for cholesterol gallstone formation are not modifiable such as ethnic background, increasing age, female gender and family history or genetics. Conversely, the modifiable risks for cholesterol gallstones are obesity, rapid weight loss and a sedentary lifestyle. The rising epidemic of obesity and the metabolic syndrome predicts an escalation of cholesterol gallstone frequency. Risk factors for biliary sludge include pregnancy, drugs like ceftiaxone, octreotide and thiazide diuretics, and total parenteral nutrition or fasting. Diseases like cirrhosis, chronic hemolysis and ileal Crohn's disease are risk factors for black pigment stones. Gallstone disease in childhood, once considered rare, has become increasingly recognized with similar risk factors as those in adults, particularly obesity. Gallbladder cancer is uncommon in developed countries. In the U.S., it accounts for only ~ 5,000 cases per year. Elsewhere, high incidence rates occur in North and South American Indians. Other than ethnicity and female gender, additional risk factors for gallbladder cancer include cholelithiasis, advancing age, chronic inflammatory conditions affecting the gallbladder, congenital biliary abnormalities, and diagnostic confusion over gallbladder polyps

Knowledge Representation in Many-Valued Horn Clauses

Uncertainty, incompleteness and vagueness are typical features of common-sense as well as expert knowledge. Reasoning based on such knowledge demands strategies to combine divergent information. All the more this is true in the context of integrating knowledge bases. This paper addresses knowledge representation, reasoning, and conflict management with many-valued logics. We show by some examples how information can be expressed in many-valued Horn clauses, how fitting truth value spaces can be found-in this context we also consider bilatticesand how conflict solving strategies can be involved. We do not focus on technical details but try to open up prospects of applications