The aim of this paper is to give a new proof for the decidability and nite model property of rst-order logic with two variables (without function symbols), using a combinatorial theorem due to Herwig. The results are proved in the framework of polyadic equality set algebras of dimension two (Pse 2). The new proof also shows the known results that the universal theory of Pse 2 is decidable and t...

OBJECTIVE To investigate the association between perioperative patient characteristics and treatment modalities (eg, vasopressor use and volume of fluid administration) with complications and failure rates in patients undergoing head and neck free tissue transfer (FTT). STUDY DESIGN A retrospective review of medical records. SETTING Perioperative hospitalization for head and neck FTT at 1 t...

In this paper an architecture of a distributed embedded system, that offers the advantages of the Java programming model and the flexibility and timeliness of the Flexible Time-Triggered (FTT) paradigm, is presented. The architecture builds on previous work by the authors in which a simple mechanism to dispatch tasks and messages was proposed for CAN-based distributed systems. In order to overc...

Although failure to thrive (FTT) is generally thought to be a nutritional problem, dietary intake in children with FTT has been little researched. We describe two community-based studies of dietary intake and eating behaviour in FTT. The first study of ninety-seven children with FTT identified by population screening found that only a minority of case children were associated with neglect, orga...

This paper presents a theory of informative communications among agents that allows a speaker to communicate to a hearer truths about the state of the world; the occurrence of events, including other communicative acts; and the knowledge states of any agent — speaker, hearer, or third parties — any of these in the past, present, or future — and any logical combination of these, including formul...

In this paper, the thermal buckling analysis of a circular plate made of FGM materials with actuator/actuator piezoelectric layers based on neutral plane, classical plate theory and first order shear deformation plate theory is investigated. Reddy's model is assumed for material properties of FGM plate. Plate under the thermal loading, nonlinear temperature rise through the thickness and clampe...