Topos Semantics for Higher-Order Modal Logic

We define the notion of a model of higher-order modal logic in an arbitrary elementary topos $\mathcal{E}$. In contrast to the well-known interpretation of (non-modal) higher-order logic, the type of propositions is not interpreted by the subobject classifier $\Omega_{\mathcal{E}}$, but rather by a suitable complete Heyting algebra $H$. The canonical map relating $H$ and $\Omega_{\mathcal{E}}$ both serves to interpret equality and provides a modal operator on $H$ in the form of a comonad. Examples of such structures arise from surjective geometric morphisms $f : \mathcal{F} \to \mathcal{E}$, where $H = f_\ast \Omega_{\mathcal{F}}$. The logic differs from non-modal higher-order logic in that the principles of functional and propositional extensionality are no longer valid but may be replaced by modalized versions. The usual Kripke, neighborhood, and sheaf semantics for propositional and first-order modal logic are subsumed by this notion

Intravascular tissue factor initiates coagulation via circulating microvesicles and platelets

Although tissue factor (TF), the principial initiator of physiological coagulation and pathological thrombosis, has recently been proposed to be present in human blood, the functional significance and location of the intravascular TF is unknown. In the plasma portion of blood, we found TF to be mainly associated with circulating microvesicles. By cell sorting with the specific marker CD42b, platelet-derived microvesicles were identified as a major location of the plasma TF. This was confirmed by the presence of full-length TF in microvesicles acutely shedded from the activated platelets. TF was observed to be stored in the α-granules and the open canalicular system of resting platelets and to be exposed on the cell surface after platelet activation. Functional competence of the blood-based TF was enabled when the microvesicles and platelets adhered to neutrophils, as mediated by P-selectin and neutrophil counterreceptor (PSGL-1, CD18 integrins) interactions. Moreover, neutrophil-secreted oxygen radical species supported the intravascular TF activity. The pools of platelet and microvesicle TF contributed additively and to a comparable extent to the overall blood TF activity, indicating a substantial participation of the microvesicle TF. Our results introduce a new concept of TF-mediated coagulation crucially dependent on TF associated with microvesicles and activated platelets, which principally enables the entire coagulation system to proceed on a restricted cell surface

Overexpression of the urokinase receptor splice variant uPAR-del4/5 in breast cancer cells affects cell adhesion and invasion in a dose-dependent manner and modulates transcription of tumor-associated genes

mRNA levels of the urokinase receptor splice variant uPAR-del4/5 are associated with prognosis in breast cancer. Its overexpression in cancer cells affects tumor biologically relevant processes. In the present study, individual breast cancer cell clones displaying low vs. high uPAR-del4/5 expression were analyzed demonstrating that uPAR-del4/5 leads to reduced cell adhesion and invasion in a dose-dependent manner. Additionally, matrix metalloproteinase-9 (MMP-9) was found to be strongly upregulated in uPAR-del4/5 overexpressing compared to vector control cells. uPAR-del4/5 may thus play an important role in the regulation of the extracellular proteolytic network and, by this, influence the metastatic potential of breast cancer cells

Novel bi- and trifunctional inhibitors of tumor-associated proteolytic systems

Serine proteases, cysteine proteases, and matrix metalloproteinases (MMPs) are involved in cancer cell invasion and metastasis. Recently, a recombinant bifunctional inhibitor (chCysuPA(19-31)) directed against cysteine proteases and the urokinasetype plasminogen activator (uPA)/plasmin serine protease system was generated by introducing the uPA receptor (uPAR)binding site of uPA into chicken cystatin (chCysWT). In the present study, we designed and recombinantly produced multifunctional inhibitors also targeting MMPs. The inhibitors comprise the Nterminal inhibitory domain of human TIMP-1 (tissue inhibitor of matrix metalloproteinase-1) or TIMP-3, fused to chCysuPA(19-31) or chCysWT. As demonstrated by various techniques, these fusion proteins effectively interfere with all three targeted protease systems. In in vitro Matrigel invasion assays, the addition of recombinant inhibitors strongly reduced invasion of ovarian cancer cells (OVMZ-6\#8). Additionally, OVMZ 6\#8 cells were stably transfected with expression plasmids encoding the various inhibitors. Synthesis and secretion of the inhibitors was verified by a newly developed ELISA, which selectively detects the recombinant proteins. Invasive capacity of inhibitorproducing cells was significantly reduced compared to vectortransfected control cells. Thus, these novel, compact, and smallsize inhibitors directed against up to three different tumorassociated proteolytic systems may represent promising agents for prevention of tumor cell migration and metastasis

A Selection Fit Mechanism in BMP Receptor IA as a Possible Source for BMP Ligand-Receptor Promiscuity

Background: Members of the TGF-b superfamily are characterized by a highly promiscuous ligand-receptor interaction as is readily apparent from the numeral discrepancy of only seven type I and five type II receptors available for more than 40 ligands. Structural and functional studies have been used to address the question of how specific signals can be deduced from a limited number of receptor combinations and to unravel the molecular mechanisms underlying the protein-protein recognition that allow such limited specificity. Principal Findings: In this study we have investigated how an antigen binding antibody fragment (Fab) raised against the extracellular domain of the BMP receptor type IA (BMPR-IA) recognizes the receptor’s BMP-2 binding epitope and thereby neutralizes BMP-2 receptor activation. The crystal structure of the complex of the BMPR-IA ectodomain bound to the Fab AbD1556 revealed that the contact surface of BMPR-IA overlaps extensively with the contact surface for BMP-2 interaction. Although the structural epitopes of BMPR-IA to both binding partners coincides, the structures of BMPR-IA in the two complexes differ significantly. In contrast to the structural differences, alanine-scanning mutagenesis of BMPR-IA showed that the functional determinants for binding to the antibody and BMP-2 are almost identical. Conclusions: Comparing the structures of BMPR-IA bound to BMP-2 or bound to the Fab AbD1556 with the structure of unbound BMPR-IA shows that binding of BMPR-IA to its interaction partners follows a selection fit mechanism, possibly indicating that the ligand promiscuity of BMPR-IA is inherently encoded by structural adaptability. The functional and structural analysis of the BMPR-IA binding antibody AbD1556 mimicking the BMP-2 binding epitope may thus pave the way for the design of low-molecular weight synthetic receptor binders/inhibitors

Interference Cancellation and Suppression in Asynchronous Cooperating Base Station Systems

Abstract-We consider cooperating base station systems where the users are not aligned in time and frequency to the core network as it is actually desired for coherent joint signal processing. As it is widely known, time and frequency offsets can cause intersymbol as well as inter-carrier interference in OFDM systems which leads to a reduced transmission performance. In this paper we investigate uplink joint detection algorithms which, in addition to multi-user interference cancellation, reduce the asynchronous interference by using iterative interference cancellation as well as mitigating the additional interference by exploiting spatial diversity. The structure of the asynchronous interference in frequency domain can be exploited to derive algorithms with scalable complexity. As will be seen, particularly the interference suppression algorithm provides very good performance results with only a moderate complexity increase