Results 101 to 110 of about 721,748 (274)
RIPK4 function interferes with melanoma cell adhesion and metastasis
Molecular Oncology, EarlyView.RIPK4 promotes melanoma growth and spread. RIPK4 levels increase as skin lesions progress to melanoma. CRISPR/Cas9‐mediated deletion of RIPK4 causes melanoma cells to form less compact spheroids, reduces their migratory and invasive abilities and limits tumour growth and dissemination in mouse models.
Norbert Wronski +9 more
wiley +1 more source
Elaboration in Dependent Type Theory [PDF]
, 2015 To be usable in practice, interactive theorem provers need to provide convenient and efficient means of writing expressions, definitions, and proofs. This involves inferring information that is often left implicit in an ordinary mathematical text, and ...
Avigad, Jeremy +3 more
core
Hard Machining of Spur Gears with the InvoMillingTM Method
Journal of Manufacturing and Materials Processing, 2018 Recently, the 5-axis machining of gears has become increasingly important. This technology enables a flexible production of diverse gear types on a single universal machine with standard tools.
Thomas Glaser +3 more
doaj +1 more source
COMP–PMEPA1 axis promotes epithelial‐to‐mesenchymal transition in breast cancer cells
Molecular Oncology, EarlyView.This study reveals that cartilage oligomeric matrix protein (COMP) promotes epithelial‐to‐mesenchymal transition (EMT) in breast cancer. We identify PMEPA1 (protein TMEPAI) as a novel COMP‐binding partner that mediates EMT via binding to the TSP domains of COMP, establishing the COMP–PMEPA1 axis as a key EMT driver in breast cancer.
Konstantinos S. Papadakos +6 more
wiley +1 more source
Coherent Integration of Databases by Abductive Logic Programming
, 2004 We introduce an abductive method for a coherent integration of independent data-sources. The idea is to compute a list of data-facts that should be inserted to the amalgamated database or retracted from it in order to restore its consistency. This method
Arieli, O. +3 more
core +1 more source
E Pluribus Unum. Representing Compounding in a Derivational Lexicon of Latin
IJCoL, 2018 WFL is a word formation based resource for Latin where words are analysed in their formative components and connected to each other on the basis of word formation rules. It represents a wide lexical resource for the study of Latin word formation.
M. Silvia Micheli, Eleonora Litta
doaj +1 more source
Molecular Oncology, EarlyView.Loss of the miR‐214/199a cluster is associated with recurrence in ovarian cancer. Engineered small extracellular vesicles (m214‐sEVs) elevate miR‐214‐3p/miR‐199a‐5p in tumor cells, suppress β‐catenin, TLR4, and YKT6 signaling, reprogram tumor‐derived sEV cargo, reduce chemoresistance and migration, and enhance carboplatin efficacy and survival in ...
Weida Wang +12 more
wiley +1 more source
Improving The Performance of Big Data Databases
Kurdistan Journal of Applied Research, 2019 Real-time monitoring systems utilize two types of database, they are relational databases such as MySQL and non-relational databases such as MongoDB.
Nzar Abdulqadir Ali, Dashne Raouf Arif
doaj +1 more source
Molecular Oncology, EarlyView.Keratin 19 (KRT19) is overexpressed in high‐grade serous ovarian cancer with high levels of Kallikrein‐related peptidases (KLK) 4–7 and is associated with poor survival. In vivo analyses demonstrate that elevated KRT19 increases peritoneal tumour burden.
Sophia Bielesch +13 more
wiley +1 more source
Somatic mutational landscape in von Hippel–Lindau familial hemangioblastoma
Molecular Oncology, EarlyView.The causes of central nervous system (CNS) hemangioblastoma in Von Hippel–Lindau (vHL) disease are unclear. We used Whole Exome Sequencing (WES) on familial hemangioblastoma to investigate events that underlie tumor development. Our findings suggest that VHL loss creates a permissive environment for tumor formation, while additional alterations ...
Maja Dembic +5 more
wiley +1 more source