Results 31 to 40 of about 18,484 (310)
Generic conversions of abstract syntax representations [PDF]
In this paper we present a datatype-generic approach to syntax with variable binding. A universe specifies the binding and scoping structure of object languages, including binders that bind multiple variables as well as sequential and recursive scoping.
Keuchel, Steven, Jeuring, Johan T.
openaire +4 more sources
Smart Contract Vulnerability Detection Technology Based on Abstract Syntax Tree Embedding [PDF]
Currently, in deep learning-based smart contract vulnerability detection solutions, the direct use of bytecode or source code for textual sequence feature representation lacks a comprehensive understanding of program semantics.
XU Ying, FU Ziwei, ZHANG Wei, CHEN Yunfang
doaj +1 more source
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
The Syntax of the Abstract-type Measurement Construction in Mandarin Chinese
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
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
This article presents the NFDI‐MatWerk Ontology (MWO), a Basic Formal Ontology‐based framework for interoperable research data management in materials science and engineering (MSE). Covering consortium structures, research data management resources, services, and instruments, MWO enables semantic integration, Findable, Accessible, Interoperable, and ...
Hossein Beygi Nasrabadi +4 more
wiley +1 more source
The ModelCC Model-Driven Parser Generator [PDF]
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
Magnetic tunnel junctions (MTJs) using MgO tunnel barriers face challenges of high resistance‐area product and low tunnel magnetoresistance (TMR). To discover alternative materials, Literature Enhanced Ab initio Discovery (LEAD) is developed. The LEAD‐predicted materials are theoretically evaluated, showing that MTJs with dusting of ScN or TiN on ...
Sabiq Islam +6 more
wiley +1 more source
Grounding Large Language Models for Robot Task Planning Using Closed‐Loop State Feedback
BrainBody‐Large Language Model (LLM) introduces a hierarchical, feedback‐driven planning framework where two LLMs coordinate high‐level reasoning and low‐level control for robotic tasks. By grounding decisions in real‐time state feedback, it reduces hallucinations and improves task reliability.
Vineet Bhat +4 more
wiley +1 more source
Convergent and Divergent Connectivity Patterns of the Arcuate Fasciculus in Macaques and Humans
This study employs viral‐based single‐neuron tracing and dMRI‐based whole‐brain tractography to investigate arcuate fasciculus (AF) trajectories in macaque monkeys, and compares with the human AF connectome using spectral embedding. Results demonstrate conserved AF topography spanning temporoparietal‐auditory‐frontal pathways across primates, with ...
Jiahao Huang +17 more
wiley +1 more source

