Results 111 to 120 of about 720,598 (345)
Abstract The present study was conducted as part of a comprehensive work to establish National Diagnostic Reference Levels (NDRLs) in Sri Lanka for the first time. DRLs can be used as an effective optimization tool for identifying unusually high or low patient doses during X‐ray examinations.
Sachith Welarathna+3 more
wiley +1 more source
Architecture of imaginary landscape [PDF]
Assuming there is no architectural aesthetics beyond architecture, one could also claim that the triangle architecture - architectural form - architects is only the cornerstone of the whole structure consisting of relations of interest for architectural ...
Milenković Vladimir
doaj
The study evaluated the function and therapeutic implications of PRAME in basal cell carcinoma (BCC) and squamous cell carcinoma (SCC). The findings demonstrate that PRAME impairs keratinocyte differentiation pathways. Furthermore, PRAME impairs anticancer response to retinoid compounds in BCC and SCC cells.
Brandon Ramchatesingh+6 more
wiley +1 more source
This article discusses and contrasts two accounts of the meaning of ‘abstraction’. First it discusses the approach and problems of the more conventional account, according to which abstraction is a cognitive derivation of generalities.
Daniel Burnfin
doaj +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
Probabilistic Program Abstractions [PDF]
Abstraction is a fundamental tool for reasoning about complex systems. Program abstraction has been utilized to great effect for analyzing deterministic programs. At the heart of program abstraction is the relationship between a concrete program, which is difficult to analyze, and an abstract program, which is more tractable.
arxiv
Shape predicates allow unbounded verification of linearizability using canonical abstraction [PDF]
Canonical abstraction is a static analysis technique that represents states as 3-valued logical structures, and is able to construct finite representations of systems with infinite statespaces for verification.
Friggens, David, Groves, Lindsay
core +1 more source
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
L’attitudine “astratta” del paesaggio
Calvino in his book, “Six memos for the next millennium”, speaks about a world made up of representations of images and forms. Against this biased or common vision, he says that he can only use “a weapon he knows well”: an idea of literature.
Valerio Morabito
doaj +1 more source