The problem of optimizing a biconvex function over a given (bi)convex or compact set frequently occurs in theory as well as in industrial applications, for example, in the field of multifacility location or medical image registration. Thereby, a function f : X × Y → R is called biconvex, if f (x, y) is convex in y for fixed x ∈ X, and f (x, y) is convex in… (More)
T cells orchestrate the adaptive immune response, making them targets for immunotherapy. Although immunosuppressive therapies prevent disease progression, they also leave patients susceptible to opportunistic infections. To identify novel drug targets, we established a logical model describing T-cell receptor (TCR) signaling. However, to have a model that… (More)
For a mixed integer programming formulation of the problem of registering two medical images we propose a geometric Branch & Bound algorithm, which applies a geometric branching strategy on the transformation variables. The results show that medium sized problem instances can be solved to global optimality in a reasonable amount of time.