“Ik ben niet zo rijk, misschien wel gelukkiger”

In this article, we explore how people differ in interpreting members of their own and other social classes as portrayed in reality television. Using in-depth interviews, participants from three social classes watched video fragments showing people belonging to four social classes. The results indicate that we can distinguish four specific ways of interpreting, namely tolerance, distancing, practical, and identifying. These ways of interpreting are characteristic for the social classes of the viewers and differ in the extent in which they build on identity, distancing, openness, and stereotyping. The differences point towards an important but ambiguous role played by openness within the cultural elite, a strong class-consciousness shown by the economic elite, and a general importance of cultural and economic capital

A Denotational Semantics for First-Order Logic

In Apt and Bezem [AB99] (see cs.LO/9811017) we provided a computational interpretation of first-order formulas over arbitrary interpretations. Here we complement this work by introducing a denotational semantics for first-order logic. Additionally, by allowing an assignment of a non-ground term to a variable we introduce in this framework logical variables. The semantics combines a number of well-known ideas from the areas of semantics of imperative programming languages and logic programming. In the resulting computational view conjunction corresponds to sequential composition, disjunction to ``don't know'' nondeterminism, existential quantification to declaration of a local variable, and negation to the ``negation as finite failure'' rule. The soundness result shows correctness of the semantics with respect to the notion of truth. The proof resembles in some aspects the proof of the soundness of the SLDNF-resolution.Comment: 17 pages. Invited talk at the Computational Logic Conference (CL 2000). To appear in Springer-Verlag Lecture Notes in Computer Scienc

Symbolic Model Checking for Dynamic Epistemic Logic

Dynamic Epistemic Logic (DEL) can model complex information scenarios in a way that appeals to logicians. However, existing DEL implementations are ad-hoc, so we do not know how the framework really performs. For this purpose, we want to hook up with the best available model-checking and SAT techniques in computational logic. We do this by first providing a bridge: a new faithful representation of DEL models as so-called knowledge structures that allow for symbolic model checking. Next, we show that we can now solve well-known benchmark problems in epistemic scenarios much faster than with existing DEL methods. Finally, we show that our method is not just a matter of implementation, but that it raises significant issues about logical representation and update

Current evidence of nutritional therapy in pancreatoduodenectomy: Systematic review of randomized controlled trials

Aim: Evidence of nutritional therapies in pancreatoduodenectomy (PD) has been shown. However, few studies focus on the association between different nutritional therapies and outcomes. The aim of this review was to summarize the current evidence of nutritional therapies such as enteral nutrition (EN), immunonutrition, and synbiotics on postoperative outcomes after PD. Methods: A systematic literature search of Embase, Medline Ovid, and Cochrane CENTRAL was done to summarize the available evidence, including randomized controlled trials, meta‐analyses and reviews, regarding nutritional therapy in PD. Results: A total of 20 randomized controlled trials were included in this review. Safety and tolerability of EN in PD was shown. Giving postoperative EN can shorten length of stay compared to parenteral nutrition; however, the effect of EN on postoperative complications remains controversial. Postoperative EN should be given only on selective indications rather than routinely used, and preoperative EN is indicated only in patients with severe malnutrition. Giving preoperative immunonutrition is considered to reduce the incidence of infectious complications; however, evidence level is moderate and recommendation grade is weak. The beneficial effect of perioperative synbiotics on postoperative infectious complications is limited. Furthermore, the effectiveness of other nutritional supplements remains unclear. Conclusion: Recently, evidence of enhanced recovery after surgery (ERAS) in PD has been increasing. Early oral intake with systematic nutritional support is an important aspect of the ERAS concept. Future well‐designed studies should investigate the impact of systematic nutritional therapies on outcomes following PD

Dimensional Reduction, Hard Thermal Loops and the Renormalization Group

We study the realization of dimensional reduction and the validity of the hard thermal loop expansion for lambda phi^4 theory at finite temperature, using an environmentally friendly finite-temperature renormalization group with a fiducial temperature as flow parameter. The one-loop renormalization group allows for a consistent description of the system at low and high temperatures, and in particular of the phase transition. The main results are that dimensional reduction applies, apart from a range of temperatures around the phase transition, at high temperatures (compared to the zero temperature mass) only for sufficiently small coupling constants, while the HTL expansion is valid below (and rather far from) the phase transition, and, again, at high temperatures only in the case of sufficiently small coupling constants. We emphasize that close to the critical temperature, physics is completely dominated by thermal fluctuations that are not resummed in the hard thermal loop approach and where universal quantities are independent of the parameters of the fundamental four-dimensional theory.Comment: 20 pages, 13 eps figures, uses epsfig and pstrick

MTOR is a promising therapeutical target in a subpopulation of pancreatic adenocarcinoma

Pancreatic ductal adenocarcinoma (PDAC) remains a highly lethal disease, unusually resistant against therapy. It is generally felt that stratification of patients for personalized medicine is the way forward. Here, we report that a subpopulation of PDACs shows strong activation of the mTOR signaling cassette. Moreover, we show that inhibition of mTOR in pancreatic cancer cell lines showing high levels of mTOR signaling is associated with cancer cell death. Finally, we show using fine needle biopsies the existence of a subpopulation of PDAC patients with high activation of the mTOR signaling cassette and provide evidence that inhibition of mTOR might be clinically useful for this group. Thus, our results define an unrecognized subpopulation of PDACs, characterized by high activation of mTOR and show that identification of this specific patient group in the early phase of diagnosis is feasible

Symbolic Model Checking for Dynamic Epistemic Logic

Dynamic Epistemic Logic (DEL) can model complex information scenarios in a way that appeals to logicians. However, existing DEL implementations are ad-hoc, so we do not know how the framework really performs. For this purpose, we want to hook up with the best available model-checking and SAT techniques in computational logic. We do this by first providing a bridge: a new faithful representation of DEL models as so-called knowledge structures that allow for symbolic model checking. Next, we show that we can now solve well-known benchmark problems in epistemic scenarios much faster than with existing DEL methods. Finally, we show that our method is not just a matter of implementation, but that it raises significant issues about logical representation and update