Results 41 to 50 of about 18,521 (100)
6G Wireless Communications Enabled by the Blockchain: Privacy and Middleware Architecture
6G is transformational and brings revolutionary innovations in virtually all sectors, such as healthcare, autonomous systems, and manufacturing, through ultralow latency, massive connection, and far superior computing capabilities than any previous generation.
Moumita Chanda +4 more
wiley +1 more source
Dynamic programming in economics on a quantum annealer
We introduce novel algorithms for solving dynamic programming problems in economics on a quantum annealer, a specialized quantum computer used for combinatorial optimization. Quantum annealers begin in a superposition of all states and generate candidate global solutions in milliseconds, regardless of problem size.
Jesús Fernández‐Villaverde +1 more
wiley +1 more source
Boolean Computation Using Self-Sustaining Nonlinear Oscillators
Self-sustaining nonlinear oscillators of practically any type can function as latches and registers if Boolean logic states are represented physically as the phase of oscillatory signals.
Roychowdhury, Jaijeet
core +1 more source
An Epistemic Characterisation of Extensive Form Rationalisability [PDF]
We use an extensive form, universal type space to provide the following epistemic characterisation of extensive form rationalisability. Say that player i strongly believes event E if i is certain of E conditional on each of her information sets ...
Marciano Siniscalchi +1 more
core
Particle Computation: Complexity, Algorithms, and Logic
We investigate algorithmic control of a large swarm of mobile particles (such as robots, sensors, or building material) that move in a 2D workspace using a global input signal (such as gravity or a magnetic field). We show that a maze of obstacles to the
Becker, Aaron T. +4 more
core +1 more source
The descriptive theory of represented spaces [PDF]
This is a survey on the ongoing development of a descriptive theory of represented spaces, which is intended as an extension of both classical and effective descriptive set theory to deal with both sets and functions between represented spaces.
Pauly, Arno
core
We introduce a monoidal category whose morphisms are finite partial orders, with chosen minimal and maximal elements as source and target respectively.
Mimram, Samuel
core +4 more sources
Succinctness in subsystems of the spatial mu-calculus
In this paper we systematically explore questions of succinctness in modal logics employed in spatial reasoning. We show that the closure operator, despite being less expressive, is exponentially more succinct than the limit-point operator, and that the $
Fernández-Duque, David, Iliev, Petar
core
The Fundamental Theorems of Welfare Economics, DSGE and the Theory of Policy - Computable & Constructive Foundations [PDF]
The genesis and the path towards what has come to be called the DSGE model is traced, from its origins in the Arrow-Debreu General Equilibrium model (ADGE), via Scarf's Computable General Equilibrium model (CGE) and its applied version as Applied ...
K. Vela Velupillai
core
Analysis of Complex Network Attack and Defense Game Strategies Under Uncertain Value Criterion. [PDF]
Fu C, Shi Z.
europepmc +1 more source

