Search results for "3b"
showing 10 items of 143 documents
About Graph Mappings
2019
Summary In this articles adjacency-preserving mappings from a graph to another are formalized in the Mizar system [7], [2]. The generality of the approach seems to be largely unpreceeded in the literature to the best of the author’s knowledge. However, the most important property defined in the article is that of two graphs being isomorphic, which has been extensively studied. Another graph decorator is introduced as well.
SF3B1 modulators affect key genes in metastasis and drug influx: a new approach to fight pancreatic cancer chemoresistance.
2021
Aim: Because mutations of splicing factor 3B subunit-1 (SF3B1) have been identified in 4% of pancreatic ductal adenocarcinoma (PDAC) patients, we investigated the activity of new potential inhibitors of SF3B1 in combination with gemcitabine, one of the standard drugs, in PDAC cell lines. Methods: One imidazo[2,1-b][1,3,4]thiadiazole derivative (IS1) and three indole derivatives (IS2, IS3 and IS4), selected by virtual screening from an in-house library, were evaluated by the sulforhodamine-B and wound healing assay for their cytotoxic and antimigratory activity in the PDAC cells SUIT-2, Hs766t and Panc05.04, the latter harbouring the SF3B1 mutations. The effects on the splicing pattern of pr…
About Supergraphs. Part III
2019
Summary The previous articles [5] and [6] introduced formalizations of the step-by-step operations we use to construct finite graphs by hand. That implicitly showed that any finite graph can be constructed from the trivial edgeless graph K 1 by applying a finite sequence of these basic operations. In this article that claim is proven explicitly with Mizar[4].
Importance of Factors H and I for the Adherence of C3b-Coated Erythrocytes to Cells
1983
Abstract The role of cell membrane-associated human factor H for the binding of cell-bound Cab to complement receptor-carrying (CR + ) cells was investigated. Pretreatment of CR + cells with antibodies to factor H inhibited the adherence of Cab-coated red cells to human tonsil lymphocytes (TL) and peripheral blood monocytes (Mo). The Cab receptor reactivity of human polymorphonuclear leucocytes (PMN) was not influenced and the one of Raji lymphoblastoid cells only slightly influenced; iC3b and Cad receptor reactivity was in no case affected. When diisopropylfluorophosphate (DFP) in a concentration of 0.1 mM was present during pretreatment of the CR + cells with anti H, the antibodies gained…
Role of β1H for the binding of C3b-coated particles to human lymphoid and phagocytic cells
1981
Coating of EAC14oxy23b with highly purified human serum beta 1H globulin (beta 1H) led to acceleration of rosette formation with human peripheral blood lymphocytes (PBL), tonsil lymphocytes, B lymphoblastoid (Raji) cells, granulocytes and monocytes. This reaction was discernible from C3bi-dependent rosette formation. Enhancement of rosette formation of C3b cells by beta 1H was most effective at limiting amounts of C3 per EAC14oxy23b. The beta 1H effect was not due to trace contamination with C3b inactivator. beta 1H-dependent rosette formation with the various lymphoid and phagocytic cells could be suppressed by the F(ab')2 fragment of anti-beta 1H suggesting beta 1H-mediated binding of bet…
Inductive types in homotopy type theory
2012
Homotopy type theory is an interpretation of Martin-L\"of's constructive type theory into abstract homotopy theory. There results a link between constructive mathematics and algebraic topology, providing topological semantics for intensional systems of type theory as well as a computational approach to algebraic topology via type theory-based proof assistants such as Coq. The present work investigates inductive types in this setting. Modified rules for inductive types, including types of well-founded trees, or W-types, are presented, and the basic homotopical semantics of such types are determined. Proofs of all results have been formally verified by the Coq proof assistant, and the proof s…
Quantum Toda Lattice: a Challenge for Representation Theory
2021
Quantum Toda lattice may solved by means of the Representation Theory of semisimple Lie groups, or alternatively by using the technique of the Quantum Inverse Scattering Method. A comparison of the two approaches, which is the purpose of the present review article, sheds a new light on Representation Theory and leads to a number of challenging questions.
GSK3β overexpression induces neuronal death and a depletion of the neurogenic niches in the dentate gyrus
2010
Overexpression of GSK3β in transgenic mice induces learning deficits and some features associated with Alzheimer's disease (AD), including dentate gyrus (DG) atrophy. Here, we assessed whether these mice also recapitulate DG atrophy as well as impaired neurogenesis reported in AD. Ultrastructural analysis revealed that there were fewer and more disorganized neurogenic niches in these animals, coupled with an increase in the proportion of immature neurons. Indeed, the maturation of granule cells is delayed as witnessed by the alterations to the length and patterning of their dendritic trees and to the mossy fiber terminals. Together with an increase in neuronal death, these phenomena lead to…
Genetic polymorphism of human complement factor I (C3b inactivator) in the Chinese Han population.
1999
The human complement factor I (IF) polymorphism has been analysed by polyacrylamide gel isoelectric focusing electrophoresis of neuraminidase-treated EDTA plasma samples followed by immunoblotting and enzymatic detection. In a population study among 121 random individuals from Chengdu, PR China, three different common phenotypes were observed. The results show that IF is polymorphic in the Chinese population. The allele frequencies were as follows: FI*A = 0.153, FI*B = 0.847. The distribution of observed phenotypes was in accordance with the Hardy-Weinberg equilibrium. In comparison to other Asian population studies, the frequency of the IF*A allele was the highest in the Chinese population…
Epigenetic Mechanisms as Key Regulators in Disease
2016
Epigenetics is a rapidly growing field of research which studies the changes in the gene expression that do not involve changes in the nucleotide sequence. The cellular metabolism is directly connected to epigenetic regulation through the inflow of different metabolites such as S-adenosylmethionine, acetyl-CoA, and α-ketoglutarate among others, which serve as substrates or cofactors for chromatin-modifying enzymes. These metabolites define how our lifestyle (i.e., nutrition, physical activity, and other healthy behaviors) acts on gene expression by epigenetic mechanisms. Therefore, proper coordination between components of the epigenetic machineries is essential for the correct control of t…