Results 111 to 120 of about 6,254,795 (351)
High-performance dialyzers and mortality in maintenance hemodialysis patients
Scientific Reports, 2021 Few data are available regarding the association of dialyzer type with prognosis. In Japan, dialyzers are classified as types I, II, III, IV, and V based on β2-microglobulin clearance rates of
Masanori Abe +6 more
doaj +1 more source
Methods and Experiences for Developing Abstractions for Data-intensive, Scientific Applications [PDF]
arXiv, 2020 Developing software for scientific applications that require the integration of diverse types of computing, instruments, and data present challenges that are distinct from commercial software. These applications require scale, and the need to integrate various programming and computational models with evolving and heterogeneous infrastructure ...
arxiv
Program Synthesis by Type-Guided Abstraction Refinement [PDF]
, 2019 We consider the problem of type-directed component based synthesis where, given a set of (typed) components and a query type, the goal is to synthesize a term that inhabits the query. Classical approaches based on proof search in intuitionistic logics do not scale up to the standard libraries of modern languages, which span hundreds or thousands of ...
arxiv +1 more source
Shortcuts: abstract "pointers'' [PDF]
, 1997 In this work we present the specification and the implementation of a new abstract data type (ADT) called STORE. This new ADT allows the storage of a given collection of elements offering an abstract mechanism that supplies a direct access to them,
Franch Gutiérrez, Javier +1 more
core +1 more source
Molecular Oncology, EarlyView.Cancer‐associated fibroblasts (CAFs) promote cancer growth, invasion (metastasis), and drug resistance. Here, we identified functional and diverse circulating CAFs (cCAFs) in patients with metastatic prostate cancer (mPCa). cCAFs were found in higher numbers and were functional and diverse in mPCa patients versus healthy individuals, suggesting their ...
Richell Booijink +6 more
wiley +1 more source
Treatment planning with a 2.5 MV photon beam for radiation therapy
Journal of Applied Clinical Medical Physics, Volume 23, Issue 12, December 2022., 2022 Abstract Purpose The shallow depth of maximum dose and higher dose fall‐off gradient of a 2.5 MV beam along the central axis that is available for imaging on linear accelerators is investigated for treatment of shallow tumors and sparing the organs at risk (OARs) beyond it.
Navid Khaledi +5 more
wiley +1 more source
Lignans and sesquiterpenoids from the stems of Schisandra bicolor var. tuberculate
Natural Products and Bioprospecting, 2022 A pair of new tetrahydrofuran lignan enantiomers, (±)-schibiculatin A [(±)-1], a new enedione lignan, schibiculatin B (2), two new cadinane-type sesquiterpenoids, schibiculatins C (3) and D (4), along with two known seco-cadinane-type sesquiterpenoids (5
Shui-Mei Zhang +4 more
doaj +1 more source
Existential Types for Relaxed Noninterference [PDF]
arXiv, 2019 Information-flow security type systems ensure confidentiality by enforcing noninterference: a program cannot leak private data to public channels. However, in practice, programs need to selectively declassify information about private data. Several approaches have provided a notion of relaxed noninterference supporting selective and expressive ...
arxiv
A Survey on Neural Abstractive Summarization Methods and Factual Consistency of Summarization [PDF]
arXiv, 2022 Automatic summarization is the process of shortening a set of textual data computationally, to create a subset (a summary) that represents the most important pieces of information in the original text. Existing summarization methods can be roughly divided into two types: extractive and abstractive.
arxiv
Initial Algebra Semantics for Cyclic Sharing Tree Structures [PDF]
, 2010 Terms are a concise representation of tree structures. Since they can be naturally defined by an inductive type, they offer data structures in functional programming and mechanised reasoning with useful principles such as structural induction and ...
Hamana, Makoto
core +1 more source