Results 51 to 60 of about 6,857,309 (337)
Hepatology, EarlyView., 2022 Abstract Background and Aims Reliable noninvasive biomarkers are an unmet clinical need for the diagnosis of NASH. This study investigates the diagnostic accuracy of the circulating triggering receptor expressed on myeloid cells 2 (plasma TREM2) as a biomarker for NASH in patients with NAFLD and elevated liver stiffness.
Vineesh Indira Chandran +17 more
wiley +1 more source
, 2013 The theory of abstract interpretation is a conceptual framework for reasoning about approximation of semantics. We ask if the creative process of designing an approximation can be studied mathematically. Semantic approximations, whether studied in a purely mathematical setting, or implemented in a static analyser, must have a representation.
Vijay D’Silva, Daniel Kroening
openaire +4 more sources
Typed transformations of typed abstract syntax [PDF]
Proceedings of the 4th international workshop on Types in language design and implementation, 2009 Advantages of embedded domain-specific languages (EDSLs) are that one does not have to implement a separate type system nor an abstraction mechanism, since these are directly borrowed from the host language. Straightforward implementations of embedded domain-specific languages map the semantics of the embedded language onto a function in the host ...
S. Doaitse Swierstra +2 more
openaire +3 more sources
The ModelCC Model-Driven Parser Generator [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 Syntax-directed translation tools require the specification of a language by means of a formal grammar. This grammar must conform to the specific requirements of the parser generator to be used.
Fernando Berzal +3 more
doaj +1 more source
The Syntax of the Abstract-type Measurement Construction in Mandarin Chinese
Studies in Chinese Linguistics, 2017 This paper investigates a special sub-type of measurement construction in Mandarin Chinese, namely the [Num-measure word-de-N] construction where the N is an abstract dimension-denoting noun.
Jin Jing
doaj +1 more source
Canonical Abstract Syntax Trees
Electronic Notes in Theoretical Computer Science, 2007 This paper presents Gom, a language for describing abstract syntax trees and generating a Java implementation for those trees. Gom includes features allowing the user to specify and modify the interface of the data structure. These features provide in particular the capability to maintain the internal representation of data in canonical form with ...
openaire +4 more sources
Arthritis Care &Research, Accepted Article.Objectives There is growing interest in evaluating new strategies to delay or prevent post‐traumatic osteoarthritis (PTOA) in individuals who have sustained anterior cruciate ligament (ACL) injury. This study sought to determine characteristics of potential treatments that are acceptable to patients with ACL injury.
Kevin Kennedy +9 more
wiley +1 more source
Hydrogel‐Based Capacitive Sensor Model for Ammonium Monitoring in Aquaculture
Advanced Engineering Materials, EarlyView.Traditional techniques for monitoring aquaculture water quality, particularly ammonium levels, harm fish. This work presents a novel capacitive sensor with an ionic hydrogel transducer to monitor ammonium concentration in real time based on the ammonium‐induced hydrogel dissociation and osmotic pressure. Monitoring aquaculture water quality, especially
Mohammad Mirzaee +3 more
wiley +1 more source
Large Language Model in Materials Science: Roles, Challenges, and Strategic Outlook
Advanced Intelligent Discovery, EarlyView.Large language models (LLMs) are reshaping materials science. Acting as Oracle, Surrogate, Quant, and Arbiter, they now extract knowledge, predict properties, gauge risk, and steer decisions within a traceable loop. Overcoming data heterogeneity, hallucinations, and poor interpretability demands domain‐adapted models, cross‐modal data standards, and ...
Jinglan Zhang +4 more
wiley +1 more source
Cardiovascular Diabetology, 2023 Aim The triglyceride–glucose (TyG) index has been shown to be an independent predictor for the progression and prognosis of coronary artery disease (CAD).
Shiqiang Xiong +12 more
doaj +1 more source