Results 21 to 30 of about 239,048,002 (311)
Merging Discrete Morse Vector Fields: A Case of Stubborn Geometric Parallelization
Algorithms, 2021 We address the basic question in discrete Morse theory of combining discrete gradient fields that are partially defined on subsets of the given complex. This is a well-posed question when the discrete gradient field V is generated using a fixed algorithm
Douglas Lenseth, Boris Goldfarb
doaj +1 more source
A robust semantics hides fewer errors [PDF]
, 2009 In this paper we explore how formal models are interpreted and to what degree meaning is captured in the formal semantics and to what degree it remains in the informal interpretation of the semantics.
Reeves, Steve +3 more
core +1 more source
Computation of the semantics of autoepistemic belief theories
Artificial Intelligence, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Stefan Brass +2 more
openaire +2 more sources
Inductive Data Types Based on Fibrations Theory in Programming
Journal of Computing and Information Technology, 2016 Traditional methods including algebra and category theory have some deficiencies in analyzing semantics properties and describing inductive rules of inductive data types, we present a method based on Fibrations theory aiming at those questions above.
Decheng Miao +3 more
doaj +1 more source
Efficient and Effective Directed Minimum Spanning Tree Queries
Mathematics, 2023 Computing directed Minimum Spanning Tree (DMST) is a fundamental problem in graph theory. It is applied in a wide spectrum of fields from computer network and communication protocol design to revenue maximization in social networks and syntactic parsing ...
Zhuoran Wang +4 more
doaj +1 more source
Revising Z: part I - logic and semantics [PDF]
, 1999 This is the first of two related papers. We introduce a simple specification logic ZC comprising a logic and a semantics (in ZF set theory) within which the logic is sound.
Reeves, Steve, Henson, Martin C.
core +1 more source
Service-Oriented Logic Programming [PDF]
Logical Methods in Computer Science, 2015 We develop formal foundations for notions and mechanisms needed to support service-oriented computing. Our work builds on recent theoretical advancements in the algebraic structures that capture the way services are orchestrated and in the processes that
Ionut Tutu, Jose Luiz Fiadeiro
doaj +1 more source
Unconditional Authentication Based on Physical Layer Offered Chain Key in Wireless Communication
Entropy, 2022 Authentication is a critical issue in wireless communication due to the impersonation and substitution attacks from the vulnerable air interface launched by the malicious node.
Shaoyu Wang +5 more
doaj +1 more source
Computational semantics in type theory [PDF]
Mathématiques et sciences humaines, 2004 This paper aims to show how Montague-style grammars can be completely formalized and thereby declaratively implemented by using the Grammatical Framework GF. The implementation covers the fundamental operations of Montague’s PTQ model: the construction of analysis trees, the linearization of trees into strings, and the interpretation of trees as ...
openaire +2 more sources
Length-Gauge Optical Matrix Elements in WIEN2k
Computation, 2022 Hybrid exchange-correlation functionals provide superior electronic structure and optical properties of semiconductors or insulators as compared to semilocal exchange-correlation potentials due to admixing a portion of the non-local exact exchange ...
Oleg Rubel, Peter Blaha
doaj +1 more source