1. Simeone DM, Sandelin K, Thompson NW. Undescended superior parathyroid gland: a potential cause of failed cervical exploration for hyperparathyroidism. Surgery 1995; 118: 949–956 2. Manley NR, Selleri L, Brendolan A et al. Abnormalities of caudal pharyngeal pouch development in Pbx1 knockout mice mimic loss of Hox3 paralogs. Dev Biol 2004; 276: 301–312 3. Billingsley KG, Douglas LF, Doppman J...

We investigate the modeling of biological systems with static compartments through Beta-binders, a recently developed process calculus. Biological entities are represented as bio-processes and the calculus is extended with the notion of compartment. Entities can either be internal to compartments or reside on compartment borders. Movement in and out of compartments is requested by internal obje...

We consider a vesicle bilayer loaded with molecules that can bind (upon contact) with a solid surface, following the classical model of Bell, Dembo, and Bongrand. We are interested in situations where the contact area varies with time: we assume that binders can then migrate via diffusion. The resulting dissipation and lag create a retarded force on the contact line, which could be significant ...

This paper introduces an algebraic semantics for hybrid logic with binders H(↓,@). It is known that this formalism is a modal counterpart of the bounded fragment of the first-order logic, studied by Feferman in the 1960’s. The algebraization process leads to an interesting class of boolean algebras with operators, called substitution-satisfaction algebras. We provide a representation theorem fo...

BACKGROUND Pelvic fractures are severe injuries with frequently associated multi-system trauma and a high mortality rate. The value of the pelvic fracture pattern for predicting transfusion requirements and mortality is not entirely clear. To address hemorrhage from pelvic injuries, the early application of pelvic binders is now recommended and arterial angio-embolization is widely used for con...

The identification of major histocompatibility complex (MHC) class-II restricted peptides is an important goal in human immunological research leading to peptide based vaccine designing. These MHC class – II peptides are predominantly recognized by CD4+ T-helper cells, which when turned on, have profound immune regulatory effects. Thus, prediction of such MHC class-II binding peptide is very he...

Peptide based vaccines play an important role in activating the immune response. The small peptides derived from target proteins (epitopes) of an invading pathogen, bacteria, or virus bind with the MHC molecules are recognized by CD4+ T cells or CD8+ T cells. MHC class I molecules are recognized by CD4+ T cells and MHC class – II molecules are recognized by CD8+ T cells. It is very time consumi...

The use of an oral phosphate binder is a promising and most practical strategy for the prevention of vascular calcification in patients with chronic kidney disease (CKD). To secure the safety: 1) the oral phosphate binder must not cause adverse effects in the gastrointestinal tract; 2) the oral phosphate binder should be non-absorbable or barely absorbable through the gastrointestinal tract, or...

PURPOSE OF REVIEW Hyperphosphatemia is a paradigmatic finding in late-stage chronic kidney disease (CKD) and consistently associated with adverse outcomes. Preclinical and epidemiological studies strongly support a causative role of hyperphosphatemia for cardiovascular complications, especially with regard to vascular, valvular and soft-tissue calcifications, and for subsequent mortality. There...