Results 31 to 40 of about 176,906 (321)
Natural Language Semantics and Computability [PDF]
Journal of Logic, Language and Information, 2019 This paper is a reflexion on the computability of natural language semantics. It does not contain a new model or new results in the formal semantics of natural language: it is rather a computational analysis of the logical models and algorithms currently used in natural language semantics, defined as the mapping of a statement to logical formulas ...
Moot, Richard, Retoré, Christian
openaire +3 more sources
Applied Sciences, 2023 Currently, machine learning techniques are widely used in structural seismic response studies. The developed network models for various types of seismic response provide new ways to analyse seismic hazards.
Peng Zhang +3 more
doaj +1 more source
A quantum computational semantics for epistemic logical operators. Part I: epistemic structures [PDF]
, 2014 Some critical open problems of epistemic logics can be investigated in the framework of a quantum computational approach. The basic idea is to interpret sentences like “Alice knows that Bob does not understand that π is irrational” as pieces of quantum
Beltrametti, E +4 more
core +1 more source
Mathematics, 2020 Networks of picture processors is a massively distributed and parallel computational model inspired by the evolutionary cellular processes, which offers efficient solutions for NP-complete problems.
Karina Paola Jiménez +3 more
doaj +1 more source
Semantics of optimistic computation [PDF]
Proceedings.,10th International Conference on Distributed Computing Systems, 2002 The derivation of a semantically equivalent optimistic computation from a pessimistic computation by application-independent transformations is discussed. Computations are modeled by program dependence graphs (PDGS). The semantics of a computation is defined by a mapping from an initial state to a final state and is realized by a graph rewriting system.
R. Bubenik, Willy Zwaenepoel
openaire +2 more sources
Collective Intelligence, 2023 This paper presents IEML, Information Economy MetaLanguage, a constructed language with the same expressive power as a natural language and with computable semantics. Distinguished from pragmatic and referential semantics, linguistic semantics have not yet been completely formalized.
openaire +1 more source
Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination [PDF]
, 2010 In the context of the Semantic Web, several approaches to the combination of ontologies, given in terms of theories of classical first-order logic and rule bases, have been proposed.
Axel Polleres +4 more
core +2 more sources
A Group Law on the Projective Plane with Applications in Public Key Cryptography
Mathematics, 2020 In the context of new threats to Public Key Cryptography arising from a growing computational power both in classic and in quantum worlds, we present a new group law defined on a subset of the projective plane F P 2 over an arbitrary field F
Raúl Durán Díaz +2 more
doaj +1 more source
Cryptographic Rational Secret Sharing Schemes over General Networks
Cryptography, 2022 We propose cryptographic rational secret sharing protocols over general networks. In a general network, the dealer may not have direct connections to each player, and players may not have direct connections to each of the other players.
Alfonso Labao, Henry Adorna
doaj +1 more source
Multi-Image Encryption Method via Computational Integral Imaging Algorithm
Entropy, 2022 Under the framework of computational integral imaging, a multi-image encryption scheme based on the DNA-chaos algorithm is proposed. In this scheme, multiple images are merged to one image by a computational integral imaging algorithm, which ...
Xiaowu Li, Chuying Yu, Junfeng Guo
doaj +1 more source