Results 31 to 40 of about 239,048,002 (311)
A Computational Theory for Life-Long Learning of Semantics [PDF]
, 2018 Semantic vectors are learned from data to express semantic relationships between elements of information, for the purpose of solving and informing downstream tasks. Other models exist that learn to map and classify supervised data. However, the two worlds of learning rarely interact to inform one another dynamically, whether across types of data or ...
Peter Sutor Jr. +2 more
openaire +3 more sources
Fair Allocation in Crowd-Sourced Systems
Games, 2023 In this paper, we address the problem of fair sharing of the total value of a crowd-sourced network system between major participants (founders) and minor participants (crowd) using cooperative game theory.
Mishal Assif +2 more
doaj +1 more source
Quantum Coding via Quasi-Cyclic Block Matrix
Entropy, 2023 An effective construction method for long-length quantum code has important applications in the field based on large-scale data. With the rapid development of quantum computing, how to construct this class of quantum coding has become one of the key ...
Yuan Li, Jin-Yang Li
doaj +1 more source
Denotational semantics of recursive types in synthetic guarded domain theory [PDF]
, 2016 Guarded recursion is a form of recursion where recursive calls are guarded by delay modalities. Previous work has shown how guarded recursion is useful for reasoning operationally about programming languages with advanced features including general ...
Møgelberg, Rasmus Ejlers; id_orcid +4 more
core +1 more source
On the Entropy of Fractionally Integrated Gauss–Markov Processes
Mathematics, 2020 This paper is devoted to the estimation of the entropy of the dynamical system {Xα(t),t≥0}, where the stochastic process Xα(t) consists of the fractional Riemann–Liouville integral of order α∈(0,1) of a Gauss–Markov process.
Mario Abundo, Enrica Pirozzi
doaj +1 more source
Nanomaterials, 2023 Nitrogen is commonly implanted in silicon to suppress the diffusion of self-interstitials and the formation of voids through the creation of nitrogen–vacancy complexes and nitrogen–nitrogen pairs.
Chloé Simha +5 more
doaj +1 more source
Security Policies as Membranes in Systems for Global Computing [PDF]
, 2004 We propose a simple global computing framework, whose main concern is code migration. Systems are structured in sites, and each site is divided into two parts: a computing body, and a membrane which regulates the interactions between the computing body ...
SASSONE V. +11 more
core +1 more source
Bicategorical type theory: semantics and syntax [PDF]
, 2022 We develop semantics and syntax for bicategorical type theory. Bicategorical type theory features contexts, types, terms, and directed reductions between terms. This type theory is naturally interpreted in a class of structured bicategories.
North, Paige Randall (author) +18 more
core +1 more source
Human-Machine Duality: What’s Next in Cognitive Aspects of Artificial Intelligence?
IEEE Access, 2022 The goal of the paper is to find means for the unification of human-machine duality in collective behavior of people and machines, by conciliating approaches that proceed in opposite directions. The first approach proceeds top-down from non-formalizable,
Alexander N. Raikov, Massimiliano Pirani
doaj +1 more source
A Coalgebraic Semantics for Imperative Programming Languages [PDF]
, 2014 In the theory of programming languages, one often takes two complementary perspectives. In operational semantics, one defines and reasons about the behaviour of programs; and in denotational semantics, one abstracts away implementation details, and ...
Abou-Saleh, Faris
core +1 more source