Results 31 to 40 of about 586,364 (244)
Toward a Lockean Unification of Formal and Traditional Epistemology [PDF]
, 2022 Can there be knowledge and rational belief in the absence of a rational degree of confidence? Yes, and cases of "mistuned knowledge" demonstrate this. In this paper we leverage this normative possibility in support of advancing our understanding of the ...
Lee, Matthew Brandon, Silva Jr, Paul
core
Unblocking recognition: A token system for acknowledging academic contribution
Frontiers in Blockchain, 2023 Here we present a blockchain-backed token recognition system to reward the contributions that academics make to the scientific ecosystem. Recognition is important in science but current methods, systems and incentives are limited.
James Lee +3 more
doaj +1 more source
The Geometry of Synchronization (Long Version) [PDF]
, 2014 We graft synchronization onto Girard's Geometry of Interaction in its most concrete form, namely token machines. This is realized by introducing proof-nets for SMLL, an extension of multiplicative linear logic with a specific construct modeling ...
Faggian, Claudia +3 more
core +5 more sources
An efficient algorithm for ${\mathrm{\LaTeX}}$ documents comparing [PDF]
Компьютерные исследования и моделирование, 2015 The problem is constructing the differences that arise on ${\mathrm{\LaTeX}}$ documents editing. Each document is represented as a parse tree whose nodes are called tokens.
Kirill Vladimirovich Chuvilin
doaj +1 more source
A Comparison of Petri Net Semantics under the Collective Token Philosophy [PDF]
, 1998 In recent years, several semantics for place/transition Petri nets have been proposed that adopt the collective token philosophy. We investigate distinctions and similarities between three such models, namely configuration structures, concurrent ...
E. Best +15 more
core +5 more sources
Complexity of Token Swapping and its Variants
, 2018 In the Token Swapping problem we are given a graph with a token placed on each vertex. Each token has exactly one destination vertex, and we try to move all the tokens to their destinations, using the minimum number of swaps, i.e., operations of ...
Bonnet, Édouard +2 more
core +1 more source
The use of modern digital technologies in public administration
Современная наука и инновации, 2023 The article examines and analyzes the possible path of development and use of cryptocurrencies in the Russian Federation in a comparative analysis with Europe and the United States as one rapidly developing sector of the economy.
T. A. Shebzukhova +2 more
doaj +1 more source
Learning to Embed Words in Context for Syntactic Tasks
, 2017 We present models for embedding words in the context of surrounding words. Such models, which we refer to as token embeddings, represent the characteristics of a word that are specific to a given context, such as word sense, syntactic category, and ...
Gimpel, Kevin, Livescu, Karen, Tu, Lifu
core +1 more source
Separation of Circulating Tokens [PDF]
, 2009 Self-stabilizing distributed control is often modeled by token abstractions. A system with a single token may implement mutual exclusion; a system with multiple tokens may ensure that immediate neighbors do not simultaneously enjoy a privilege.
A. Arora +13 more
core +2 more sources
Explorando las huellas digitales de los criptoactivos mediante fuentes abiertas
Ciencia PolicialEl uso de los criptoactivos ha experimentado un notorio aumento en los últimos años, introduciendo consigo una serie de conceptos novedosos en la economía española.
Ana Díaz Bernardos
doaj +1 more source