Results 101 to 110 of about 378,452 (270)
A Formalization of the Theorem of Existence of First-Order Most General Unifiers
, 2012 This work presents a formalization of the theorem of existence of most general unifiers in first-order signatures in the higher-order proof assistant PVS.
A. B. Avelar +23 more
core +2 more sources
FEBS Letters, EarlyView.Biomolecular condensates formed by fused in sarcoma (FUS) are dissolved by high ATP concentrations yet persist in cells. Using a reconstituted system, we demonstrate that valosin‐containing protein (VCP), an AAA+ ATPase, counteracts ATP‐driven dissolution of FUS condensates through its D2 ATPase activity.
Hitomi Kimura +2 more
wiley +1 more source
Grand Unification and Time Variation of the Gauge Couplings
, 2002 Astrophysical indications that the fine structure constant is time dependent are discussed in the framework of grand unification models. A variation of the electromagnetic coupling constant could either be generated by a corresponding time variation of ...
Calmet, X., Fritzsch, H.
core
Representational unification in cognitive science: Is embodied cognition a unifying perspective? [PDF]
, 2019 In this paper, we defend a novel, multidimensional account of representational unification, which we distinguish from integration. The dimensions of unity are simplicity, generality and scope, non-monstrosity, and systematization.
Miłkowski, Marcin +1 more
core
Aggressive prostate cancer is associated with pericyte dysfunction
Molecular Oncology, EarlyView.Tumor‐produced TGF‐β drives pericyte dysfunction in prostate cancer. This dysfunction is characterized by downregulation of some canonical pericyte markers (i.e., DES, CSPG4, and ACTA2) while maintaining the expression of others (i.e., PDGFRB, NOTCH3, and RGS5).
Anabel Martinez‐Romero +11 more
wiley +1 more source
Ujednačavanje pomorskog prava i interesi Hrvatske
Poredbeno Pomorsko Pravo, 2004 Republika Hrvatska, kao pomorska država, ima osobit interes pratiti unifikacijske težnje u uređenju pomorskopravnih odnosa. Hrvatska je poglavito dužna ratificirati i primjenjivati konvencije i dogovore iz područja sigurnosti plovidbe, njihove česte ...
Ivo Grabovac
doaj
Aspectos institucionais da unificação das polícias no Brasil
Dados: Revista de Ciências Sociais, 2004 Dans cet article, on examine l'unification des polices militaire et civile brésiliennes en cherchant les références empiriques dans des études précédentes réalisées au sujet des polices des États de São Paulo, Minas Gerais et Rio de Janeiro.
Mateus Afonso Medeiros
doaj +1 more source
Dual targeting of RET and SRC synergizes in RET fusion‐positive cancer cells
Molecular Oncology, EarlyView.Despite the strong activity of selective RET tyrosine kinase inhibitors (TKIs), resistance of RET fusion‐positive (RET+) lung cancer and thyroid cancer frequently occurs and is mainly driven by RET‐independent bypass mechanisms. Son et al. show that SRC TKIs significantly inhibit PAK and AKT survival signaling and enhance the efficacy of RET TKIs in ...
Juhyeon Son +13 more
wiley +1 more source
, 1992 We extend previous work on difference identification and reduction as a technique for automated reasoning. We generalize unification so that terms are made equal not only by finding substitutions for variables but also by hiding term structure. This annotation of structural differences serves to direct rippling, a kind of rewriting designed to remove ...
Basin, D., Walsh, T.
openaire +2 more sources
Molecular Oncology, EarlyView.We developed a cost‐effective methylation‐specific droplet digital PCR multiplex assay containing tissue‐conserved and tumor‐specific methylation markers. The assay can detect circulating tumor DNA with high accuracy in patients with localized and metastatic colorectal cancer.
Luisa Matos do Canto +8 more
wiley +1 more source