Results 81 to 90 of about 494,310 (275)

Network divergence analysis identifies adaptive gene modules and two orthogonal vulnerability axes in pancreatic cancer

Molecular Oncology, EarlyView.
Tumors contain diverse cellular states whose behavior is shaped by context‐dependent gene coordination. By comparing gene–gene relationships across biological contexts, we identify adaptive transcriptional modules that reorganize into distinct vulnerability axes.
Brian Nelson, Lyanne Delgado‐Coka, Natalia Marchenko, Luisa F. Escobar‐Hoyos, Kenneth R. Shroyer, Alisa Yurovsky, Trey Ideker, Gábor Balázsi, Thomas MacCarthy, Scott Powers   +9 more
wiley   +1 more source

Accurate Modeling of Continuous-time SAT Solvers in SPICE [PDF]

Radioengineering
Recently, there has been an increasing interest in employing dynamical systems as solvers of NP-complete problems. In this paper, we present accurate implementations of two continuous-time dynamical solvers, known in the literature as analog SAT and ...
Y. V. Pershin, D. C. Nguyen
doaj  

Pre‐analytical optimization of cell‐free DNA and extracellular vesicle‐derived DNA for mutation detection in liquid biopsies

Molecular Oncology, EarlyView.
Pre‐analytical handling critically determines liquid biopsy performance. This study defines practical best‐practice conditions for cell‐free DNA (cfDNA) and extracellular vesicle–derived DNA (evDNA), showing how processing time, storage conditions, tube type, and plasma input volume affect DNA integrity and mutation detection.
Jonas Dohmen, Lucrezia De Santis, Bret M. Stephens, Vincent Bernard, Jörg C. Kalff, Lara Braun, Phillipp Leyendecker, Johannes Röttgen, Daniel Weissinger, Anirban Maitra, Paola A. Guerrero, Alexander Semaan   +11 more
wiley   +1 more source

Minimal normal forms

, 2023
Cílem této bakalářské práce je vytvořit program, který uživateli vrátí, na základě jím zadané formule výrokové logiky, minimální disjunktivní, resp. konjunktivní normální tvary této výrokové formule.
Klára Červenková
core  

EDNRB‐dependent endothelin signaling reduces proliferation and promotes proneural‐to‐mesenchymal transition in gliomas

Molecular Oncology, EarlyView.
Glioma cells mainly express the endothelin receptor EDNRB, while EDNRA is restricted to a perivascular tumor subpopulation. Endothelin signaling reduces glioma cell proliferation while promoting migration and a proneural‐to‐mesenchymal transition associated with poor prognosis. This pathway activates Ca2+, K+, ERK, and STAT3 signalings and is regulated
Donovan Pineau, Leonor Garcia, Hugo Arnold, Antonija Hanžek, Maialen Arrieta, Laurent R Gauthier, Christine Granotier‐Beckers, François D Boussin, Amaury Herbet, Marie Hautière, Valentin Asei‐Ceschino, Clémentin Jacques, Laura Brard, Thomas Harnois, Valérie Coronas, Bruno Constantin, Aurélien Chatelier, Jean Chemin, Serge Urbach, Martial Seveno, Szimonetta Hideg, Chantal Ripoll, Kasandra Aguilar‐Cázarez, Min Zheng, Guo‐Hao Huang, Sheng‐Qing Lv, Lei Zhang, Philippe Rondard, Laurent Prezeau, Jean‐Philippe Pin, Hugues Duffau, Luc Bauchet, Valérie Rigau, Franck Denat, Charles Truillet, Didier Boquet, Jean‐Philippe Hugnot   +36 more
wiley   +1 more source

Truth Table Net: Scalable, Compact & Verifiable Neural Networks with a Dual Convolutional Small Boolean Circuit Networks Form

International Joint Conference on Artificial Intelligence
We introduce "Truth Table net"' (TTnet), a novel Deep Neural Network (DNN) architecture designed to provide excellent scalability/compactness trade-offs among DNNs, allowing in turn to tackle the DNN challenge of fast formal verification.
Adrien Benamira, Thomas Peyrin, Trevor Yap, Tristan Guérand, Bryan Hooi   +4 more
semanticscholar   +1 more source

Abandoning Prenex Clausal Normal Form in QBF Solving

, 2009
In the last decades, a wealth of successful QSAT solvers has been developed. However, most of these solvers process formulas only in prenex conjunctive normal form (PCNF).
Seidl, Martina
core  

Minimization metods of normal forms of P2 systems functions [PDF]

, 2006
Fen Bilimleri Enstitüsü, Matematik Ana Bilim DalıP2 SİSTEMİ FONKSİYONLARININ NORMAL FORMLARININMİNİMALLEŞTİRME YÖNTEMLERİÖZETP2 sistemi fonksiyonları mükemmel dizyunktif normal form ve mükemmelkonyunktif normal form gibi standart şekillerde ...
Şengül, Ebru
core  

Engineered extracellular vesicles enriched with the miR‐214/199a cluster enhance the efficacy of chemotherapy in ovarian cancer

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, Ayesha Alvero, Yi Qin, Mingjin Wang, Alexandra Fox, Yanfeng Li, Michael Millman, Amy Kemper, Gil Mor, Xian Shuang Liu, Michael Chopp, Zheng Gang Zhang, Yi Zhang   +12 more
wiley   +1 more source

A solver for quantified boolean formulas in negation normal form [PDF]

, 2007
In dieser Arbeit wurde ein Beweiser für quantifizierte Boolsche Formeln (QBF) entwickelt, der sich, im Gegensatz zu den meisten state-of-the-art Systemen, nicht nur auf Formeln in konjunktiver Pränexnormalform (PCNF) beschränkt.Die Kodierung vieler ...
Seidl, Martina
core