Results 31 to 40 of about 1,203,304 (231)
, 2011 Biopax community is producing sets of data in RDF files, but most of them are not available through query interfaces. The publication of SPARQL endpoints is feasible with current sets of data, but the use of reasoning in these interfaces is unfeasible in
Ismael Navas-Delgado +3 more
core +2 more sources
The Optimal Shape Parameter for the Least Squares Approximation Based on the Radial Basis Function
Mathematics, 2020 The radial basis function (RBF) is a class of approximation functions commonly used in interpolation and least squares. The RBF is especially suitable for scattered data approximation and high dimensional function approximation.
Sanpeng Zheng +2 more
doaj +1 more source
Comparative Constructions in Zhoutun from a Language Contact Perspective
Languages, 2023 The paper describes comparative constructions in Zhoutun, a Chinese variety that was heavily influenced by Amdo Tibetan and spoken in Guide County, Qinghai Province. There are five comparative constructions (Cxn), based on the type of comparative marker,
Chenlei Zhou
doaj +1 more source
Language and Linguistics Compass, 2020 Abstract Words for numbers, numerals, are a special lexical class, halfway between natural and mathematical language. One would expect them to have a relatively straightforward semantics. However, during the last several decades, numerals proved to be a rich source of debate in linguistics, especially in semantics and pragmatics.
Lisa Bylinina, Rick Nouwen
openaire +3 more sources
, 2006 Semantic MediaWiki is an extension of MediaWiki – a widely used wiki-engine that also powers Wikipedia. Its aim is to make semantic technologies available to a broad community by smoothly integrating them with the established usage of MediaWiki. The software is already used on a number of productive installations world-wide, but the main target remains
Krötzsch, M. +2 more
openaire +2 more sources
Journal of Logic and Computation, 2017 Abstract Team semantics is the mathematical framework of modern logics of dependence and independence in which formulae are interpreted by sets of assignments (teams) instead of single assignments as in first-order logic. In order to deepen the fruitful interplay between team semantics and database dependency theory, we define Polyteam ...
Virtema Jonni +2 more
openaire +6 more sources
2014 5th IEEE Conference on Cognitive Infocommunications (CogInfoCom), 2014 PUBLISHED IEEE Catalog Number: CFP1426R-USB ISBN 978-1-4799-7279-1 ...
openaire +2 more sources
Theoretical Computer Science, 2020 We discuss how mathematical semantics has evolved, and suggest some new directions for future work. As an example, we discuss some recent work on encapsulating model comparison games as comonads, in the context of finite model theory.
openaire +2 more sources
InformationThis study builds on our previous systematic literature review (SLR) that assessed the applications and performance of zk-SNARK, zk-STARK, and Bulletproof non-interactive zero-knowledge proof (NIZKP) protocols. To address the identified research gaps, we
Mohammed El-Hajj, Bjorn Oude Roelink
doaj +1 more source
IEEE Access, 2022 In an environment with multiple static obstacles, UAVs usually communicate with each other to avoid collisions during trajectory planning. However, such communication may become infeasible or unreliable due to interference or jam in practice.
Zijia Niu, Xiaohu Jia, Wang Yao
doaj +1 more source