Results 81 to 90 of about 3,157,454 (357)

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

Continuous Formal Verification of Amazon s2n

International Conference on Computer Aided Verification, 2018
We describe formal verification of s2n, the open source TLS implementation used in numerous Amazon services. A key aspect of this proof infrastructure is continuous checking, to ensure that properties remain proven during the lifetime of the software. At
A. Chudnov, Nathan Collins, B. Cook, J. Dodds, B. Huffman, Colm MacCárthaigh, Stephen Magill, Eric Mertens, Eric Mullen, S. Tasiran, Aaron Tomb, Edwin M. Westbrook   +11 more
semanticscholar   +1 more source

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 Quantum Algorithms Using Quantum Hoare Logic

International Conference on Computer Aided Verification, 2019
We formalize the theory of quantum Hoare logic (QHL) [TOPLAS 33(6),19], an extension of Hoare logic for reasoning about quantum programs. In particular, we formalize the syntax and semantics of quantum programs in Isabelle/HOL, write down the rules of ...
Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, M. Ying, N. Zhan   +7 more
semanticscholar   +1 more source

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

Formal Verification and Biology [PDF]

, 2008
The essence of formal verification is the modeling, analysis, and, ultimately, understanding of large reactive systems. How do many parts interact to produce appropriate global behavior? How are properties guaranteed over all the possible variations of timing, non-deterministic behavior of components, and a dynamically changing environment?
openaire   +2 more sources

Earthing effects on mitochondrial function: ATP production and ROS generation

FEBS Open Bio, EarlyView.
In contrast to sham and naive controls, grounded mitochondria not only exhibit significantly enhanced energy production but also demonstrate a remarkable reduction in membrane potential and oxidative stress. This suggests a profound improvement in mitochondrial health, presenting a promising avenue for therapeutic interventions.
Cecilia Giulivi, Richard Kotz
wiley   +1 more source

A Synthesized Framework for Formal Verification of Computing Systems [PDF]

Journal of Systemics, Cybernetics and Informatics, 2003
Design process of computing systems gradually evolved to a level that encompasses formal verification techniques. However, the integration of formal verification techniques into a methodical design procedure has many inherent miscomprehensions and ...
Nikola Bogunovic, Igor Grudenic, Edgar Pek   +2 more
doaj  

Genetic diversity and population structure of the Taigan dog breed

FEBS Open Bio, EarlyView.
The Taigan is a rare sighthound from the mountains of Kyrgyzstan. We used DNA markers to study its genetic diversity and compare it with other sighthound breeds. Our findings show that the Taigan shares close genetic ties with the Kazakh Tazy, suggesting a common ancestry shaped by nomadic traditions and regional adaptation.
Kira Bespalova, Anastassiya Perfilyeva, Мamura Begmanova, Assel Zhaxylykova, Arailym Yerzhan, Kanagat Yergali, Almazbek Akunov, Marat Munarbek uulu, Anna Khamchukova, Almira Amirgaliyeva, Yelena Kuzovleva   +10 more
wiley   +1 more source