B Cell Activation in Insulin Resistance and Obesity

Our group has demonstrated that inflammatory diseases such as type 2 diabetes (DM), inflammatory bowel disease (IBD), and periodontal disease (PD) are associated with altered B cell function that may contribute to disease pathogenesis. B cells were found to be highly activated with characteristics of inflammatory cells. Obesity is a pre-disease state for cardiovascular disease and type 2 diabetes and is considered a state of chronic inflammation. Therefore, we sought to better characterize B cell function and phenotype in obese patients. We demonstrate that (Toll-like receptor) TLR4 and CD36 expression by B cells is elevated in obese subjects, suggesting increased sensing of lipopolysaccharide (LPS) and other TLR ligands. These ligands may be of microbial, from translocation from a leaky gut, or host origin. To better assess microbial ligand burden and host response in the bloodstream, we measured LPS binding protein (LBP), bacterial/permeability increasing protein (BPI), and high mobility group box 1 (HMGB1). Thus far, our data demonstrate an increase in LBP in DM and obesity indicating increased responses to TLR ligands in the blood. Interestingly, B cells responded to certain types of LPS by phosphorylating extracellular-signal-regulated kinases (ERK) 1/2. A better understanding of the immunological state of obesity and the microbial and endogenous TLR ligands that may be activating B cells will help identify novel therapeutics to reduce the risk of more dangerous conditions, such as cardiovascular disease.

An Ounce of Prevention is Worth a Pound of Cure: Towards Physically-Correct Specifications of Embedded Real-Time Systems

Predictability — the ability to foretell that an implementation will not violate a set of specified reliability and timeliness requirements - is a crucial, highly desirable property of responsive embedded systems. This paper overviews a development methodology for responsive systems, which enhances predictability by eliminating potential hazards resulting from physically-unsound specifications. The backbone of our methodology is a formalism that restricts expressiveness in a way that allows the specification of only reactive, spontaneous, and causal computation. Unrealistic systems — possessing properties such as clairvoyance, caprice, infinite capacity, or perfect timing — cannot even be specified. We argue that this "ounce of prevention" at the specification level is likely to spare a lot of time and energy in the development cycle of responsive systems - not to mention the elimination of potential hazards that would have gone, otherwise, unnoticed.