Results 71 to 80 of about 112,498 (311)
ABSTRACT Background Chronic micro‐inflammation in patients with end‐stage renal disease (ESRD) is a significant driver of cardiovascular complications and diminished quality of life. While standard hemodialysis (SHD) effectively manages small‐molecule clearance, its ability to remove medium‐to‐large uremic toxins—the primary catalysts of systemic ...
Hongwei Zuo +5 more
wiley +1 more source
Efficient Performative Actions for E-Commerce Agents
The foundational features of multi-agent systems are communication and interaction with other agents. To achieve these features, agents have to transfer messages in the predefined format and semantics.
Qasim Awais +3 more
doaj +1 more source
Formal Model Engineering for Embedded Systems Using Real-Time Maude [PDF]
This paper motivates why Real-Time Maude should be well suited to provide a formal semantics and formal analysis capabilities to modeling languages for embedded systems.
Peter Csaba Ölveczky
doaj +1 more source
ABSTRACT Background Japan has one of the highest dialysis prevalence rates worldwide and a shrinking, aging population. Whether dialysis burden has entered a sustained post‐peak phase or whether recent declines partly reflect pandemic‐related disruptions remains uncertain.
Hatice Şahin +2 more
wiley +1 more source
Automated Generation of OCL Constraints: NL based Approach vs Pattern Based Approach [PDF]
This paper presents an approach used for automated generations of software constraints. In this model, the SBVR (Semantics of Business Vocabulary and Rules) based semi-formal representation is obtained from the syntactic and semantic analysis of a NL ...
IMRAN SARWAR BAJWA +1 more
doaj
One Approach to the Problem Solution of Specialized Software Development for Subject Search
In the article relevance of system development for subject search using computational linguistics is considered. The basic principles of system functioning are defined.
Dmitriy Grinchenkov +2 more
doaj +1 more source
Intratumour heterogeneity complicates precision management of advanced endometrial cancer. Circulating tumor DNA (ctDNA) offers a minimally invasive strategy to capture tumor evolution and therapeutic resistance. Here, we compare tumor‐agnostic NGS with tumor‐informed ddPCR, outlining their relative sensitivity, concordance, and clinical implications ...
Carlos Casas‐Arozamena +15 more
wiley +1 more source
Interpreting the effects of DNA polymerase variants at the structural level
Using MAVISp and molecular dynamics simulations, we analyzed over 60 000 missense variants in POLE and POLD1 from ClinVar, COSMIC, cBioPortal, and saturation mutagenesis. Identified mechanistic indicators, including stability, binding, and long‐range, enable structural interpretation, providing ACMG‐like evidence for possible reclassification of VUS ...
Matteo Arnaudi +7 more
wiley +1 more source
Deferred imperatives across Indo-Aryan [PDF]
Exploring the morphosyntax of deferred imperatives in three Indo-Aryan/IA languages: Hindi- Urdu, Punjabi and Bangla, this paper makes two claims. First, Bangla allows negation only in deferred imperatives but not immediate imperatives, and hence seems ...
Kaur, Gurmeet, Banerjee, Neil
core +1 more source
Information Content in Formal Languages
Content is completely unchanged, but explanatory text is inserted between lemmas, theorems and proofs for better understandability of the ...
openaire +2 more sources

