Results 121 to 130 of about 10,814 (309)
Structure and Properties of Traces for Functional Programs [PDF]
, 2007 The tracer Hat records in a detailed trace the computation of a program written in the lazy functional language Haskell. The trace can then be viewed in various ways to support program comprehension and debugging.
Luo, Yong +3 more
core +1 more source
Deep Learning‐Assisted Design of Mechanical Metamaterials
Advanced Intelligent Discovery, EarlyView.This review examines the role of data‐driven deep learning methodologies in advancing mechanical metamaterial design, focusing on the specific methodologies, applications, challenges, and outlooks of this field. Mechanical metamaterials (MMs), characterized by their extraordinary mechanical behaviors derived from architected microstructures, have ...
Zisheng Zong +5 more
wiley +1 more source
Controlled Natural Languages and the Semantic Web
The Semantic Web grew out of research into formal logics, and many of the representational and technological commitments of the Semantic Web reflect this heritage.
Smart, Paul R
core
Programming with global analysis
, 1997 Global data-flow analysis of (constraint) logic programs, which is generally based on abstract interpretation [7], is reaching a comparatively high level of maturity.
Hermenegildo, Manuel V.
core
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
A polynomial-time parsing algorithm for TT-MCTAG
, 2009 This paper investigates the class of Tree-Tuple MCTAG with Shared Nodes, TT-MCTAG for short, an extension of Tree Adjoining Grammars that has been proposed for natural language processing, in particular for dealing with discontinuities and word order ...
KALLMEYER L +4 more
core +1 more source
Advanced Intelligent Discovery, EarlyView.Capacitive, charge‐domain compute‐in‐memory (CIM) stores weights as capacitance,eliminating DC sneak paths and IR‐drop, yielding near‐zero standbypower. In this perspective, we present a device to systems level performance analysis of most promising architectures and predict apathway for upscaling capacitive CIM for sustainable edge computing ...
Kapil Bhardwaj +2 more
wiley +1 more source
Dynamic Logic in Natural Language [PDF]
, 2015 Standard first-order logic defines truth in a three-part scheme: a language, structures D of objects with relations and operations, and maps from language to structures that drive semantic evaluation. In particular, “interpretation functions” I map predicate letters to real predicates, while variable assignments s map individual variables to objects ...
openaire +3 more sources
Games as mathematics of logic and computation
, 2019 Mathematical logic and theoretical computer science are the mathematical studies of logic and computation, respectively, which largely correspond to each other notably by the Curry-Howard isomorphism.
Yamada, Norihiro
core +1 more source
Evolution of Physical Intelligence Across Scales
Advanced Intelligent Discovery, EarlyView.By following the evolution of physical intelligence across scales, this article shows how intelligence arises from materials, structures, physical interactions, and collectives. It establishes physical intelligence as the evolutionary foundation upon which embodied intelligence is built.
Ke Liu +7 more
wiley +1 more source