Results 111 to 120 of about 2,660,577 (345)
Program analysis for documentation [PDF]
A program analysis for documentation (PAD) written in FORTRAN has three steps: listing the variables, describing the structure and writing the program specifications.
Lolmaugh, G. H.
core +1 more source
Industrial-Strength Documentation for ACL2
The ACL2 theorem prover is a complex system. Its libraries are vast. Industrial verification efforts may extend this base with hundreds of thousands of lines of additional modeling tools, specifications, and proof scripts.
Davis, Jared, Kaufmann, Matt
core +2 more sources
This study simultaneously investigated circulating tumor cells (CTCs) and exosomes from small‐cell lung cancer (SCLC) patients. The elevated expression of JUNB and CXCR4 in CTCs was a poor prognostic factor for SCLC patients, whereas exosomal overexpression of these biomarkers revealed a high discrimination ability of patients from healthy individuals,
Dimitrios Papakonstantinou+13 more
wiley +1 more source
Factors modulating 99mTc‐MAA planar lung dosimetry for 90Y radioembolization
Abstract Purpose To investigate the accuracy and biases of predicted lung shunt fraction (LSF) and lung dose (LD) calculations via 99mTc‐macro‐aggregated albumin (99mTc‐MAA) planar imaging for treatment planning of 90Y‐microsphere radioembolization.
Benjamin P. Lopez+4 more
wiley +1 more source
Strategies for improving physician documentation in the emergency department: a systematic review
BackgroundPhysician chart documentation can facilitate patient care decisions, reduce treatment errors, and inform health system planning and resource allocation activities.
D. Lorenzetti+6 more
semanticscholar +1 more source
This study explores how sepsis affects GC progression by creating an immunosuppressive environment. Our findings reveal that sepsis promotes immune dysregulation, enhancing tumor growth and metastasis. Targeting the PD‐1/PD‐L1 pathway with monoclonal antibodies shows potential for restoring immune function and improving outcomes in cancer patients ...
Yiding Wang+10 more
wiley +1 more source
Abstract Entry into the field of clinical medical physics is most commonly accomplished through the completion of a Commission on Accreditation of Medical Physics Educational Programs (CAMPEP)‐accredited graduate and residency program. To allow a mechanism to bring valuable expertise from other disciplines into clinical practice in medical physics, an “
Joann I. Prisciandaro+6 more
wiley +1 more source
Knowledge-Aided Open-Domain Question Answering [PDF]
Open-domain question answering (QA) aims to find the answer to a question from a large collection of documents.Though many models for single-document machine comprehension have achieved strong performance, there is still much room for improving open-domain QA systems since document retrieval and answer reranking are still unsatisfactory.
arxiv
JCLIR Documentation: Plan of Action [PDF]
Joint Commission on Inter-Lutheran Relations (JCILR ...
core +1 more source
Vulnerability to the small molecule STF‐62247 is observed in SETD2‐inactivated VHL‐positive clear cell renal cell carcinoma (ccRCC) cells. DNA damage and loss of CDC25A leads to cell cycle arrest in S phase. Cleavage of caspase‐3 (CASP3) and gasdermin E (GSDME) suggests cell death by pyroptosis.
Mathieu Johnson, Sandra Turcotte
wiley +1 more source