B-LOG: A branch and bound methodology for the parallel execution of logic programs

We propose a computational methodology -"B-LOG"-, which offers the potential for an effective implementation of Logic Programming in a parallel computer. We also propose a weighting scheme to guide the search process through the graph and we apply the concepts of parallel "branch and bound" algorithms in order to perform a "best-first" search using an information theoretic bound. The concept of "session" is used to speed up the search process in a succession of similar queries. Within a session, we strongly modify the bounds in a local database, while bounds kept in a global database are weakly modified to provide a better initial condition for other sessions. We also propose an implementation scheme based on a database machine using "semantic paging", and the "B-LOG processor" based on a scoreboard driven controller.

Evidence of insulin-stimulated phosphorylation and activation of the mammalian target of rapamycin mediated by a protein kinase B signaling pathway

The effects of insulin on the mammalian target of rapamycin, mTOR, were investigated in 3T3-L1 adipocytes. mTOR protein kinase activity was measured in immune complex assays with recombinant PHAS-I as substrate. Insulin-stimulated kinase activity was clearly observed when immunoprecipitations were conducted with the mTOR antibody, mTAb2. Insulin also increased by severalfold the 32P content of mTOR that was determined after purifying the protein from 32P-labeled adipocytes with rapamycinâ‹…FKBP12 agarose beads. Insulin affected neither the amount of mTOR immunoprecipitated nor the amount of mTOR detected by immunoblotting with mTAb2. However, the hormone markedly decreased the reactivity of mTOR with mTAb1, an antibody that activates the mTOR protein kinase. The effects of insulin on increasing mTOR protein kinase activity and on decreasing mTAb1 reactivity were abolished by incubating mTOR with protein phosphatase 1. Interestingly, the epitope for mTAb1 is located near the COOH terminus of mTOR in a 20-amino acid region that includes consensus sites for phosphorylation by protein kinase B (PKB). Experiments were performed in MER-Akt cells to investigate the role of PKB in controlling mTOR. These cells express a PKB-mutant estrogen receptor fusion protein that is activated when the cells are exposed to 4-hydroxytamoxifen. Activating PKB with 4-hydroxytamoxifen mimicked insulin by decreasing mTOR reactivity with mTAb1 and by increasing the PHAS-I kinase activity of mTOR. Our findings support the conclusion that insulin activates mTOR by promoting phosphorylation of the protein via a signaling pathway that contains PKB.

Hodgkin and Reed–Sternberg cells in lymphocyte predominant Hodgkin disease represent clonal populations of germinal center-derived tumor B cells

Among the four subtypes of Hodgkin disease (HD), lymphocyte-predominant (LP) HD is now generally considered as a separate entity. The B cell nature of the typical Hodgkin and Reed–Sternberg (HRS) cells and their variants (L and H, lymphocytic and histiocytic cells) in LP HD has long been suspected, but the question of whether these cells represent a true tumor clone is unclear. We previously demonstrated clonal Ig gene rearrangements in one case of LP HD. In the present study, five cases of LP HD were analyzed by micromanipulation of single HRS cells from frozen tissue sections and DNA amplification of rearranged Ig heavy chain genes from those cells. Clonal V gene rearrangements harboring somatic mutations were detected in each case. In three cases ongoing somatic mutation was evident. This shows that HRS cells in LP HD are a clonal tumor population derived from germinal center B cells. The pattern of somatic mutation indicates that HRS cells in LP HD are selected for antibody expression. This, and the presence of ongoing mutation discriminates LP from classical HD.