Results 61 to 70 of about 106,571 (319)
Basic operations: Minimal syntax-semantics
Catalan Journal of Linguistics, 2009 In this programmatic paper, we articulate a minimalist conception of linguistic composition, syntactic and semantic, with the aim of identifying fundamental operations invoked by the human faculty of language (HFL). On this view, all complex expressions are formed via the operation COMBINE(A, B).
Hornstein, Norbert, Pietroski, Paul
openaire +4 more sources
What Do Large Language Models Know About Materials?
Advanced Engineering Materials, EarlyView.If large language models (LLMs) are to be used inside the material discovery and engineering process, they must be benchmarked for the accurateness of intrinsic material knowledge. The current work introduces 1) a reasoning process through the processing–structure–property–performance chain and 2) a tool for benchmarking knowledge of LLMs concerning ...
Adrian Ehrenhofer +2 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.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
Structural Operational Semantics with transitivity rules and execution time
CLEI Electronic Journal, 2009 We de¯ne an structural operational semantics of the core of an imperative language. It has a measure in the transitions corresponding to the number of steps of evaluation that takes place in the transition (from the point of view of usual ...
Patricia Peratto
doaj +1 more source
Operational Semantics for SPARQL Update [PDF]
, 2012 Concurrent fine grained updates are essential for using RDF stores in dynamic modern Web applications, where users increasingly contribute content as often as they read content. SPARQL Update is a language proposed by the W3C for fine grained updates for RDF stores.
Horne, Ross +2 more
openaire +3 more sources
A symbolic semantics for a clculus for service-oriented computing [PDF]
, 2009 We introduce a symbolic characterisation of the operational semantics of COWS, a formal language for specifying and combining service-oriented applications, while modelling their dynamic behaviour.
Pugliese, Rosario +2 more
core +1 more source
Advanced Functional Materials, EarlyView.Vacuum‐based deposition is promising for perovskite solar cells to be successfully commercialized. However, co‐evaporation, the most common vapor phase deposition technique, suffers from very low deposition rates. In this work, we reveal that high deposition rates can lead to carbon flakes depositing into the perovskite absorber layers due to material ...
Thomas Feeney +13 more
wiley +1 more source
A Verified Algebra for Linked Data [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 A foundation is investigated for the application of loosely structured data on the Web. This area is often referred to as Linked Data, due to the use of URIs in data to establish links.
Ross Horne, Vladimiro Sassone
doaj +1 more source
Circuit Implementation of Variable-Order Scaling Fractal-Ladder Fractor with High Resolution
Fractal and Fractional, 2022 Extensive research has been conducted on the scaling fractal fractor using various structures. The development of high-resolution emulator circuits to achieve a variable-order scaling fractal fractor with high resolution is a major area of interest.
Bo Yu, Yifei Pu, Qiuyan He, Xiao Yuan
doaj +1 more source
Spectrally Tunable 2D Material‐Based Infrared Photodetectors for Intelligent Optoelectronics
Advanced Functional Materials, EarlyView.Intelligent optoelectronics through spectral engineering of 2D material‐based infrared photodetectors. Abstract The evolution of intelligent optoelectronic systems is driven by artificial intelligence (AI). However, their practical realization hinges on the ability to dynamically capture and process optical signals across a broad infrared (IR) spectrum.
Junheon Ha +18 more
wiley +1 more source