Results 91 to 100 of about 3,649,820 (385)

ITGAV and SMAD4 influence the progression and clinical outcome of pancreatic ductal adenocarcinoma

Molecular Oncology, EarlyView.
In SMAD4‐positive pancreatic ductal adenocarcinoma (PDAC), integrin subunit alpha V (ITGAV) activates latent TGF‐β, which binds to the TGF‐β receptor and phosphorylates SMAD2/3. The activated SMAD2/3 forms a complex with SMAD4, and together they translocate to the nucleus, modulating gene expression to promote proliferation, migration, and invasion. In
Daniel K. C. Lee, Keyue Chen, Ryan Loke, Xiang Li, David Liubart, Golam T. Saffi, Jonathan T. S. Chow, Ché M. P. Melo, Lydia To, Leonardo Salmena   +9 more
wiley   +1 more source

Formal verification of a peer-to-peer streaming protocol

Journal of King Saud University: Computer and Information Sciences, 2020
Peer (P2P) networks have emerged as an efficient and affordable means of transmitting videos to numerous end-users via the Internet. The dynamic and heterogeneous nature of P2P streaming systems (P2PSS) makes testing, analyzing and verification a ...
Oluwafolake E. Ojo, Ayodeji O. Oluwatope, Suraju O. Ajadi   +2 more
doaj   +1 more source

Computer-aided verification in mechanism design

, 2015
In mechanism design, the gold standard solution concepts are dominant strategy incentive compatibility and Bayesian incentive compatibility. These solution concepts relieve the (possibly unsophisticated) bidders from the need to engage in complicated ...
AV Goldberg, C Daskalakis, EH Clarke, G Barthe, G Barthe, M Bellare, T Groves, T Roughgarden, T Sandholm, W Vickrey   +9 more
core   +4 more sources

Comprehensive profiling of lncRNAs and mRNAs enriched in small extracellular vesicles for early noninvasive detection of colorectal cancer: diagnostic panel assembly and extensive validation

Molecular Oncology, EarlyView.
Small extracellular vesicles are a promising source of diagnostic molecules. We conducted a comprehensive study, including transcriptome profiling and RT‐qPCR validation on large cohorts of samples. Diagnostic panels enabling sensitive detection of colorectal cancer and precancerous lesions were established. Some molecules were differentially expressed
Petra Vychytilova‐Faltejskova, Marketa Pavlikova, Lucie Pifkova, Robin Jugas, Tana Machackova, Lenka Radova, Milana Sachlova, Renata Bartosova, Tetiana Samoilenko, Zuzana Feckova, Jana Orlickova, Erika Slamova, Elleni Ponechal Michu, Dagmar Al Tukmachi, Michaela Ruckova, Martina Vodinska, Jan Kotoucek, Tina Catela Ivkovic, Marie Boudna, Lucia Bohovicova, Teodor Stanek, Jana Halamkova, Martin Svoboda, Vladimir Prochazka, Tomas Grolich, Zdenek Kala, Ondrej Slaby   +26 more
wiley   +1 more source

Formal Verification of Linux Kernel Library Functions

Труды Института системного программирования РАН, 2018
The paper presents result of a study on deductive verification of 26 Linux kernel library functions with AstraVer toolset. The code includes primarily string-manipulating functions and is verified against contract specifications formalizing its ...
D. V. Efremov, M. U. Mandrykin
doaj   +1 more source

Coverage Metrics for Formal Verification [PDF]

International Journal on Software Tools for Technology Transfer, 2003
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete the specification is, and whether it really covers all the behaviors of the system.
Orna Kupferman, Moshe Y. Vardi, Hana Chockler   +2 more
openaire   +3 more sources

Adenosine‐to‐inosine editing of miR‐200b‐3p is associated with the progression of high‐grade serous ovarian cancer

Molecular Oncology, EarlyView.
A‐to‐I editing of miRNAs, particularly miR‐200b‐3p, contributes to HGSOC progression by enhancing cancer cell proliferation, migration and 3D growth. The edited form is linked to poorer patient survival and the identification of novel molecular targets.
Magdalena Niemira, Anna Skwarska, Karolina Chwialkowska, Agnieszka Ostrowska, Gabriela Sokolowska, Anna Zeller, Anna Erol, Andrzej Eljaszewicz, Bartosz Hanczaruk, Anna Michalska‐Falkowska, Agnieszka Tarasik, Joanna Reszec‐Gielazyn, Pawel Knapp, Marcin Moniuszko, Adam Kretowski   +14 more
wiley   +1 more source

Investigating the cell of origin and novel molecular targets in Merkel cell carcinoma: a historic misnomer

Molecular Oncology, EarlyView.
This study indicates that Merkel cell carcinoma (MCC) does not originate from Merkel cells, and identifies gene, protein & cellular expression of immune‐linked and neuroendocrine markers in primary and metastatic Merkel cell carcinoma (MCC) tumor samples, linked to Merkel cell polyomavirus (MCPyV) status, with enrichment of B‐cell and other immune cell
Richie Jeremian, Sriraam Sivachandran, Melissa Galati, Brandon Ramchatesingh, Hibo Rijal, Johnny Hanna, Elena Netchiporouk, May Chergui, Margaret Redpath, Samy Abou Setah, Ivan V. Litvinov   +10 more
wiley   +1 more source

The Construction of Verification Models for Embedded Systems [PDF]

, 2007
The usefulness of verification hinges on the quality of the verification model. Verification is useful if it increases our confidence that an artefact bahaves as expected. As modelling inherently contains non-formal elements, the qualityof models cannot
Boon, M., Mader, A.H., Wupper, H.
core   +3 more sources

A formal verification tool for Ethereum VM bytecode

ESEC/SIGSOFT FSE, 2018
In this paper, we present a formal verification tool for the Ethereum Virtual Machine (EVM) bytecode. To precisely reason about all possible behaviors of the EVM bytecode, we adopted KEVM, a complete formal semantics of the EVM, and instantiated the K ...
D. Park, Y. Zhang, M. Saxena, Philip Daian, Grigore Roşu   +4 more
semanticscholar   +1 more source