Results 61 to 70 of about 1,321,024 (261)
A Formalization of Polytime Functions [PDF]
, 2011 We present a deep embedding of Bellantoni and Cook's syntactic characterization of polytime functions. We prove formally that it is correct and complete with respect to the original characterization by Cobham that required a bound to be proved manually ...
Heraud, Sylvain, Nowak, David
core +5 more sources
Surfaceome: a new era in the discovery of immune evasion mechanisms of circulating tumor cells
Molecular Oncology, EarlyView.In the era of immunotherapies, many patients either do not respond or eventually develop resistance. We propose to pave the way for proteomic analysis of surface‐expressed proteins called surfaceome, of circulating tumor cells. This approach seeks to identify immune evasion mechanisms and discover potential therapeutic targets. Circulating tumor cells (
Doryan Masmoudi +3 more
wiley +1 more source
Flexural Behavior of Bidirectionally Graded Lattice
Advanced Engineering Materials, EarlyView., 2023 An experimental study of the bending behavior of bidirectional body‐centered cubic lattice beams is conducted in comparison to uniform and unidirectional counterparts of electron beam melted SS 316 L. Experimental results are used to develop and validate a finite element model which is subsequently used to conduct parametric studies to assess the ...
Chamini Rodrigo +4 more
wiley +1 more source
Molecular Oncology, EarlyView.The authors analyzed the spatial distributions of gene and metabolite profiles in cervical cancer through spatial transcriptomic and spatially resolved metabolomic techniques. Pivotal genes and metabolites within these cases were then identified and validated.
Lixiu Xu +3 more
wiley +1 more source
Advanced Engineering Materials, EarlyView., 2023 A numerical scheme is presented to design a lattice support for metallic components additively built via laser powder bed fusion. Results show that thermal‐induced distortion can be respectively reduced by 69%, 58%, and 50% in comparison to a uniform lattice, a fully solid support, and a truss‐based lattice support.
Jiazheng Hu +2 more
wiley +1 more source
Crosstalk between gut microbiota and tumor: tumors could cause gut dysbiosis and metabolic imbalance
Molecular Oncology, EarlyView.In this research, we analyzed the relationship between gut microbiota and tumor. We discovered that both subcutaneous and metastatic tumors would alter the composition and metabolic function of gut microbiota. Meanwhile, fecal microbiota transplantation also indicated the anti‐tumor role of the gut microbiota, revealing the crosstalk between tumor and ...
Siyuan Zhang +8 more
wiley +1 more source
QPCF: higher order languages and quantum circuits
, 2018 qPCF is a paradigmatic quantum programming language that ex- tends PCF with quantum circuits and a quantum co-processor. Quantum circuits are treated as classical data that can be duplicated and manipulated in flexible ways by means of a dependent type ...
Paolini, Luca +2 more
core +1 more source
The parallel approximability of a subclass of quadratic programming [PDF]
, 1997 In this paper we deal with the parallel approximability of a special class of Quadratic Programming (QP), called Smooth Positive Quadratic Programming. This subclass of QP is obtained by imposing restrictions on the coefficients of the QP instance.
Serna Iglesias, María José +1 more
core +1 more source
Molecular Oncology, EarlyView.Large multidimensional digital images of cancer tissue are becoming prolific, but many challenges exist to automatically extract relevant information from them using computational tools. We describe publicly available resources that have been developed jointly by expert and non‐expert computational biologists working together during a virtual hackathon
Sandhya Prabhakaran +16 more
wiley +1 more source
Architected Lattices with a Topological Transition
Advanced Engineering Materials, EarlyView., 2023 This article develops topological metamaterials showing multidirectional two‐step deformation under compression by embedding contact‐enabled topological mechanisms into lattice structures. Experiments on 3D‐printed 2D and 3D lattices and finite element simulations are conducted to demonstrate the working principle of the topological metamaterials.
Shivam Agarwal, Lihua Jin
wiley +1 more source