Results 171 to 180 of about 6,254,795 (351)
Cell deconvolution is the estimation of cell type fractions and cell type-specific gene expression from mixed data. An unmet challenge in cell deconvolution is the scarcity of realistic training data and the domain shift often observed in synthetic ...
Robin Khatri+2 more
doaj +1 more source
Database Instances, Abstract Data Types and Database Specification [PDF]
T. S. E. Maibaum
openalex +1 more source
A Transformational Approach to Resource Analysis with Typed-norms Inference [PDF]
In order to automatically infer the resource consumption of programs, analyzers track how data sizes change along program's execution. Typically, analyzers measure the sizes of data by applying norms which are mappings from data to natural numbers that represent the sizes of the corresponding data. When norms are defined by taking type information into
arxiv
Experimental evaluation of certification trails using abstract data type validation [PDF]
Certification trails are a recently introduced and promising approach to fault-detection and fault-tolerance. Recent experimental work reveals many cases in which a certification-trail approach allows for significantly faster program execution time than ...
Masson, Gerald M.+2 more
core +1 more source
TGF‐β has a complex role in cancer, exhibiting both tumor‐suppressive and tumor‐promoting properties. Using a series of differentiated tumoroids, derived from different stages and mutational background of colorectal cancer patients, we replicate this duality of TGF‐β in vitro. Notably, the atypical but highly aggressive KRASQ22K mutation rendered early‐
Theresia Mair+17 more
wiley +1 more source
UFL: An Experimental Frame Language Based on Abstract Data Types [PDF]
S. Young
openalex +1 more source
The algorithmic specification method of abstract data types: an overview [PDF]
Jacques Loeckx
openalex +1 more source
We provide a step‐by‐step guide for producing E140 antigen fragments from Plasmodium berghei (Pb1) and Plasmodium vivax (Pv1). Pb1/Pv1 are expressed in E. coli, solubilized by freeze–thawing, refolded by slow dilution, purified by affinity chromatography (IMAC), then concentrated and subjected to quality control.
Rodolfo Ferreira Marques+5 more
wiley +1 more source
Limits of Commutativity on Abstract Data Types [PDF]
We present some formal properties of (symmetrical) commutativity, the major criterion used in transactional systems, which allow us to fully understand its advantages and disadvantages. The main result is that commutativity is subject to the same limitation as compatibility for arbitrary objects.
arxiv
Establishment and biological characterization of radioresistant colorectal cancer cell lines
Under ionizing radiation exposure, radiation‐sensitive cancer cells exhibit oxidative stress and DNA damage, while radiation‐resistant cancer cells exhibit strong antioxidant properties and DNA damage repair. Radiotherapy resistance is a major cause of recurrence and metastasis in colorectal cancer (CRC).
Tian‐Yin Qu+10 more
wiley +1 more source