Results 41 to 50 of about 7,610,098 (326)
A Cardinality Estimator in Complex Database Systems Based on TreeLSTM
Sensors, 2023 Cardinality estimation is critical for database management systems (DBMSs) to execute query optimization tasks, which can guide the query optimizer in choosing the best execution plan.
Kaiyang Qi, Jiong Yu, Zhenzhen He
doaj +1 more source
Effects of semantic and syntactic complexities and aspectual class on past tense production [PDF]
, 2013 This paper reports results from a series of experiments that investigated whether semantic and/or syntactic complexity influences young Dutch children’s production of past tense forms.
Matsuo, Ayumi
core
Automated Lemma Synthesis in Symbolic-Heap Separation Logic
, 2017 The symbolic-heap fragment of separation logic has been actively developed and advocated for verifying the memory-safety property of computer programs.
Chin, Wei-Ngan +3 more
core +1 more source
A Knowledge‐Based Approach for Understanding and Managing Additive Manufacturing Data
Advanced Engineering Materials, EarlyView.Additive manufacturing processes generate a large amount of data. Effectively managing, understanding, and retrieving information from this data remains a major challenge. Therefore, we propose an ontology‐based approach to integrate heterogeneous data, enable semantic queries, and support decision‐making.
Mina Abd Nikooie Pour +5 more
wiley +1 more source
N+V complex predicates in Guinean Kpelle:
MandenkanThe paper focuses on noun-based complex predicates (NVCPs) in Guinean Kpelle (iso 639-3 [gkp], Southwestern Mande). We explore the degree of nominal boundedness and the bracketing within complex predicates by looking at the phonological, morphological ...
Maria Konoshenko, Maria Uvarova
doaj +1 more source
Sets, heads and spreading in LFG
Journal of Language Modelling, 2018 Lexical Functional Grammar (LFG) uses abstract syntactic representation (f-structures) that tend to provide less hierarchical structure for certain constructions than those employed in other formal frameworks.
Avery D. Andrews
doaj +1 more source
Automated verification of shape, size and bag properties. [PDF]
, 2007 In recent years, separation logic has emerged as a contender for formal reasoning of heap-manipulating imperative programs. Recent works have focused on specialised provers that are mostly based on fixed sets of predicates.
Alaoui-Ismaïli O. +7 more
core +3 more sources
Advanced Engineering Materials, EarlyView.Cermets (60 vol.% AISI 316L stainless steel, 40 vol.% recycled MgO), intended for use in aluminum electrolysis, were pre‐oxidized in three furnaces with different heating technologies and subjected to a cryolite corrosion test. The different atmospheres influenced the formation of oxide layers, which in turn affected corrosion resistance and ...
Patricia Kaiser +4 more
wiley +1 more source
Un exemple de prédicats complexes opérant sur des prédicats simples
Lidil, 2008 The aim of this paper is to analyse phenomena drawn from complex sentences in French, Italian and Spanish, in order to demonstrate Z.S. Harris’s thesis concerning the classification of subordinating conjunctions as a class of super-predicates (the Ooo ...
Mireille Piot
doaj +1 more source
Novel Functional Materials via 3D Printing by Vat Photopolymerization
Advanced Functional Materials, EarlyView.This Perspective systematically analyzes strategies for incorporating functionalities into 3D‐printed materials via Vat Photopolymerization (VP). It explores the spectrum of achievable functionalities in recently reported novel materials—such as conductive, energy‐storing, biodegradable, stimuli‐responsive, self‐healing, shape‐memory, biomaterials, and
Sergey S. Nechausov +3 more
wiley +1 more source