Results 141 to 150 of about 12,303,072 (355)
Program Synthesis is $Σ_3^0$-Complete [PDF]
arXivThis paper considers program synthesis in the context of computational hardness, asking the question: How hard is it to determine whether a given synthesis problem has a solution or not? To answer this question, this paper studies program synthesis for a basic imperative, Turing-complete language IMP, for which this paper proves that program ...
arxiv
m-Order Time Optimal Control Synthesis Function of Discrete System [PDF]
arXiv, 2019 In this paper, first of all, we introduce the basic concepts of generating function in combinatorics and some combinatorial identities. In order to facilitate the understanding of m-order time optimal control synthesis function of discrete system (referred as m-order synthesis function), secondly, we introduce the derivation process and control ideas ...
arxiv
Molecular Oncology, EarlyView.Chronic TGF‐β exposure drives epithelial HCC cells from a senescent state to a TGF‐β resistant mesenchymal phenotype. This transition is characterized by the loss of Smad3‐mediated signaling, escape from senescence, enhanced invasiveness and metastatic potential, and upregulation of key resistance modulators such as MARK1 and GRM8, ultimately promoting
Minenur Kalyoncu +11 more
wiley +1 more source
Quantum State Synthesis: Relation with Decision Complexity Classes and Impossibility of Synthesis Error Reduction [PDF]
arXivThis work investigates the relationships between quantum state synthesis complexity classes (a recent concept in computational complexity that focuses on the complexity of preparing quantum states) and traditional decision complexity classes. We especially investigate the role of the synthesis error parameter, which characterizes the quality of the ...
arxiv
Molecular Oncology, EarlyView.Dual targeting of AKT and mTOR using MK2206 and RAD001 reduces tumor burden in an intracardiac colon cancer circulating tumor cell xenotransplantation model. Analysis of AKT isoform‐specific knockdowns in CTC‐MCC‐41 reveals differentially regulated proteins and phospho‐proteins by liquid chromatography coupled mass spectrometry. Circulating tumor cells
Daniel J. Smit +19 more
wiley +1 more source
Spectral synthesis for Banach Algebras II [PDF]
, 1999 This paper continues the study of spectral synthesis and the topologies tau-infinity and tau-r on the ideal space of a Banach algebra, concentrating particularly on the class of Haagerup tensor products of C*-algebras.
Feinstein, Joel, Somerset, D.W.B.
core +2 more sources
Molecular Oncology, EarlyView.This article advocates integrating temporal dynamics into cancer research. Rather than relying on static snapshots, researchers should increasingly consider adopting dynamic methods—such as live imaging, temporal omics, and liquid biopsies—to track how tumors evolve over time.
Gautier Follain +3 more
wiley +1 more source
Graphcut Texture Synthesis for Single-Image Superresolution [PDF]
arXiv, 2017 Texture synthesis has proven successful at imitating a wide variety of textures. Adding additional constraints (in the form of a low-resolution version of the texture to be synthesized) makes it possible to use texture synthesis methods for texture superresolution.
arxiv
Targeted protein degradation in oncology: novel therapeutic opportunity for solid tumours?
Molecular Oncology, EarlyView.Current anticancer therapies are limited by the occurrence of resistance and undruggability of most proteins. Targeted protein degraders are novel, promising agents that trigger the selective degradation of previously undruggable proteins through the recruitment of the ubiquitin–proteasome machinery. Their mechanism of action raises exciting challenges,
Noé Herbel, Sophie Postel‐Vinay
wiley +1 more source