Results 71 to 80 of about 198,004 (302)
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
DETERMINATION OF THE NOTION OF CRIMINAL OFFENCE ACCORDING TO THE CRIMINAL CODE OF SERBIA
Pravo, 2009 The new Criminal Code of the Republic of Serbia introduces a new general notion of criminal offence. From the moment of entering into force of the new Criminal Code until present date, many comments have been made in our professional literature with ...
Miroslav Vrhovšek
doaj
NEON Instruction Set Efficiency and their Use in Coding Theory Problems
Innovative STEM EducationA large number of algorithms solving Coding Theory problems involve operations on vectors over finite fields. The use of extended CPU registers and instructions is suitable for the optimization of these algorithms. Current work presents the Neon instruction set for the ARM architectures used in Apple's M series of processors.
Maria Pashinska-Gadzheva +1 more
openaire +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
A Certified Refactoring Engine [PDF]
, 2008 The paper surveys how software tools such as refactoring systems can be validated, and introduces a new mechanism, namely the extraction of a refactoring engine for a functional programming language from an Isabelle/HOL theory in which it is verified ...
Thompson, Simon, Sultana, Nik
core
Molecular Oncology, EarlyView.Pancreatic sensory neurons innervating healthy and PDAC tissue were retrogradely labeled and profiled by single‐cell RNA sequencing. Tumor‐associated innervation showed a dominant neurofilament‐positive subtype, altered mitochondrial gene signatures, and reduced non‐peptidergic neurons.
Elena Genova +14 more
wiley +1 more source
Object code verification [PDF]
Object code is a program of a processor language and can be directly executed on a machine. Program verification constructs a formal proof that a program correctly implements its specification.
Wahab, Matthew
core
KOALA GRAPH THEORY INTERNET SERVICE
TASK Quarterly, 2015 KOALA has been created with the idea of C++ library templates, implementing a broad set of procedures in the fields of algorithmic graph theory and network problems in discrete optimization.
TOMASZ GOLUCH +2 more
doaj +1 more source
Юридические исследования, 2021 Leaning on the analysis of the provisions of current legislation, clarification of the supreme judicial authority, scientific doctrine, case law materials and statistics, this article explores the implementation of compulsory measures set by the Article 92 of the Criminal Code of the Russian Federation, after court’s modification of the ...
openaire +2 more sources
CCDC80 suppresses high‐grade serous ovarian cancer migration via negative regulation of B7‐H3
Molecular Oncology, EarlyView.PAX8 is a lineage‐specific master regulator of transcription in high‐grade serous ovarian cancer (HGSC) progression. We show for the first time that PAX8 facilitates proliferation and metastasis by repressing the cell autonomous tumor suppressor CCDC80 and inducing B7‐H3 expression.
Aya Saleh +12 more
wiley +1 more source