Results 21 to 30 of about 166,773 (130)
Entanglement as a semantic resource [PDF]
, 2010 The characteristic holistic features of the quantum theoretic formalism and the intriguing notion of entanglement can be applied to a field that is far from microphysics: logical semantics. Quantum computational logics are new forms of quantum logic that
Dalla Chiara, ML +3 more
core +1 more source
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
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
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
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
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
A Superfast Super-Resolution Method for Radar Forward-Looking Imaging
Sensors, 2021 The super-resolution method has been widely used for improving azimuth resolution for radar forward-looking imaging. Typically, it can be achieved by solving an undifferentiable L1 regularization problem. The split Bregman algorithm (SBA) is a great tool
Weibo Huo +5 more
doaj +1 more source
Classical logic, continuation semantics and abstract machines [PDF]
, 1998 One of the goals of this paper is to demonstrate that denotational semantics is useful for operational issues like implementation of functional languages by abstract machines.
B. Reus +2 more
core +2 more sources