Results 71 to 80 of about 21,783,491 (356)

Integrative miRNOMe profiling reveals the miR‐195‐5p–CHEK1 axis and its impact on luminal breast cancer outcomes

Molecular Oncology, EarlyView.
In luminal (ER+) breast carcinoma (BC), miRNA profiling identified miR‐195‐5p as a key regulator of proliferation that targets CHEK1, CDC25A, and CCNE1. High CHEK1 expression correlates with worse relapse‐free survival after chemotherapy, especially in patients with luminal A subtype.
Veronika Boušková, Marie Ehrlichová, Alžběta Spálenková, Ivona Krus, Simona Šůsová, Viktor Hlaváč, Vlasta Němcová, Renata Koževnikovová, Markéta Trnková, David Vrána, Jiří Gatěk, Kateřina Kopečková, Marcela Mrhalová, Soňa Měšťáková, Pavel Souček   +14 more
wiley   +1 more source

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

Model checking of trusted cryptographic module

Tongxin xuebao, 2010
The formal security analysis was given for the trusted cryptographic module according to the specification of the trusted cryptographic module using model checking tools. The flaws in the AP protocol were pointed and the solution was given.
CHEN Xiao-feng, FENG Deng-guo
doaj   +2 more sources

Learning Markov Decision Processes for Model Checking [PDF]

Electronic Proceedings in Theoretical Computer Science, 2012
Constructing an accurate system model for formal model verification can be both resource demanding and time-consuming. To alleviate this shortcoming, algorithms have been proposed for automatically learning system models based on observed system ...
Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen   +5 more
doaj   +1 more source

Exploring the role of cyclin D1 in the pathogenesis of multiple myeloma beyond cell cycle regulation

Molecular Oncology, EarlyView.
Cyclin D1 overexpression altered the cell adhesion pathway, while cyclin D2 upregulation had less impact on pathway enrichment analysis. Multiple myeloma (MM) patients with cyclin D1 overexpression showed reduced CD56 expression and increased circulating tumor cells (CTC) levels, suggesting that cyclin D1 may contribute to MM cell dissemination ...
Ignacio J. Cardona‐Benavides, Sara Cristobal‐Vargas, Cristina De Ramón, Elizabeta A. Rojas, Irena Misiewicz‐Krzeminska, Isabel Isidro, José Juan Pérez, Bruno Paiva, Noemi Puig, Miguel Alcoceba, María‐Victoria Mateos, Luis A. Corchete, Myriam Cuadrado, Norma C. Gutiérrez   +13 more
wiley   +1 more source

Teaching Model Checking to Undergraduates

Studia Universitatis Babes-Bolyai: Series Informatica, 2010
The way program verification is taught in our faculty is firstly described. One of the verification methods is model checking, shortly presented to the students in one lecture. One laboratory project consists in using the SPIN tool.
Andreea Vescan, Militon Frentiu
doaj  

Model-Checking Hierarchical Structures [PDF]

20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05), 2006
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph definitions also allow to specify graphs of exponential size using polynomial size descriptions.
openaire   +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

Central Limit Model Checking [PDF]

ACM Transactions on Computational Logic, 2019
We consider probabilistic model checking for continuous-time Markov chains (CTMCs) induced from Stochastic Reaction Networks against a fragment of Continuous Stochastic Logic (CSL) extended with reward operators. Classical numerical algorithms for CSL model checking based on uniformisation are limited to finite CTMCs and suffer from exponential growth ...
Bortolussi, Luca, Cardelli, Luca, Kwiatkowska, Marta, Laurenti, Luca   +3 more
openaire   +7 more sources

β‐TrCP overexpression enhances cisplatin sensitivity by depleting BRCA1

Molecular Oncology, EarlyView.
Low levels of β‐TrCP (Panel A) allow the accumulation of BRCA1 and CtIP, which facilitate the repair of cisplatin‐induced DNA damage via homologous recombination (HR) and promote tumor cell survival. In contrast, high β‐TrCP expression (Panel B) leads to BRCA1 and CtIP degradation, impairing HR repair, resulting in persistent DNA damage and apoptosis ...
Rocío Jiménez‐Guerrero, Alejandro Belmonte‐Fernández, Mónica González‐Moreno, Laura Rodríguez‐Cordero, Begoña Pérez‐Valderrama, Joaquín Herrero‐Ruíz, Francisco Romero, Carmen Sáez, Miguel Á. Japón   +8 more
wiley   +1 more source