Results 101 to 110 of about 6,828,993 (254)

Effective Partitioning Method With Predictable Hardness for CircuitSAT

IEEE Access
Many industrial verification problems are solved via reduction to CircuitSAT (curcuit satisfibiliaty). It is often the case that the resulting SAT instances are very hard and require the use of parallel computing to be solved in reasonable time.
Konstantin Chukharev, Irina Gribanova, Dmitry Ivanov, Stepan Kochemazov, Victor Kondratiev, Alexander Semenov   +5 more
doaj   +1 more source

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

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

Interrogating the immune landscape of microsatellite stable RAS‐mutated colon cancer

Molecular Oncology, EarlyView.
COLOSSUS project RAS‐mutated MSS colon cancer study explored transcriptomics and immune cell density by immunohistochemistry (IHC), Immunoscore (IS), ISIC/TuLIS scores, mutation counts, and detected different prevalences but similar microenvironment composition across immune markers with clinical relevance for future immunotherapy combination ...
Rodrigo Dienstmann, Eduardo García‐Galea, Alice O'Farrell, Zak Kinsella, Maxime Meylan, Florent Petitprez, Ingrid Arijs, Tom Venken, Hari Ps, Adrian Lärkeryd, Ian Miller, Janick Selves, Nadja Meindl‐Beinker, Fiorella Ruiz‐Pace, Elena Élez, Raquel Comas‐Navarro, Frank Lincoln, Dirk Fey, Gift Nyamundanda, Aoife Nolan, Joern Lewin, Raquel Perez‐Lopez, Jonathan Briody, Kathleen Bennett, Walter Kolch, David Matallanas, Alexander Kel, Enrique Arenas, Joaquín Arribas, Bart Ghesquière, Josep Tabernero, Julie Meilleroux, Deborah McNamara, Ray McDermott, Marvin Lim, Mary O'Reilly, Brian Bird, Lisa Stack, Lucia Moloney, Patrick Morris, Keith Egan, Maciej Milewski, Lars Scheuer, Joachim Behringer, Georg Bolz, Ramon Salazar, Cristina Santos, Andrea Ruiz, Orla Casey, Verena Murphy, Matthias Ebert, Livio Trusolino, Diether Lambrechts, Anguraj Sadanandam, Catherine Sautès‐Fridman, Jochen Prehn, Paolo Nuciforo, Jacques Fieschi, Florence Monville, Darran O'Connor, Wolf Fridman, Annette Byrne   +61 more
wiley   +1 more source

On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games

Artificial Intelligence, 1995
P. M. Dung
semanticscholar   +1 more source

IMPDH inhibition enhances cytarabine efficacy in SAMHD1‐expressing leukaemia cells via guanine nucleotide depletion

Molecular Oncology, EarlyView.
Cytarabine is a key therapy for acute myeloid leukaemia (AML), but its efficacy is limited by the dNTPase SAMHD1, which hydrolyses its active metabolite. Screening nucleotide biosynthesis inhibitors revealed that IMPDH inhibitors selectively sensitise SAMHD1‐proficient AML cells to cytarabine.
Miriam Yagüe‐Capilla, Christopher Dirks, Caroline Eiden, Sonja K. Fesenmayer, Femke M. Hormann, Yolande Klootsema, Ingrid Lilienthal, Si Min Zhang, Nikolas Herold, Sean G. Rudd   +9 more
wiley   +1 more source

On Weakly (2, ϱ)-Ideals in Noncommutative Rings

Journal of Mathematics
In this paper, we investigate weakly 2,ϱ-ideals (w-2,ϱ-ideals) in noncommutative rings, where ϱ denotes a special radical. We demonstrate, supported by counterexamples, that these ideals serve as generalizations of weakly ϱ-ideals and 2,ϱ-ideals ...
Hatice Çay
doaj   +1 more source

Keratin 19 as a prognostic marker and contributing factor of metastasis and chemoresistance in high‐grade serous ovarian cancer

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, Isabel Vogel, Sina Nokodian, Johanna Moeller, Antonia Blechschmidt, Vicky Hecht, Vanessa Kuentzel, Katharina Thiedig, Melissa Schwab, Oliver Schilling, Holger Bronger, Marion Kiechle, Viktor Magdolen, Tobias Dreyer   +13 more
wiley   +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, Anne Nørremølle, Lilian Bomme Ousager, Lars van Brakel Andersen, Marie Louise Mølgaard Binderup, Mads Thomassen   +5 more
wiley   +1 more source

Theory of linear and integer programming

Wiley-Interscience series in discrete mathematics and optimization, 1986
A. Schrijver
semanticscholar   +1 more source