scholarly journals Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods

2021 ◽  
Author(s):  
Giorgio Bacci ◽  
Giovanni Bacci ◽  
Kim G. Larsen ◽  
Mirco Tribastone ◽  
Max Tschaikowski ◽  
...  
Keyword(s):  
Local Computation

On Local Computation for Network-Structured Convex Optimization in Multi-Agent Systems

2021 ◽  
pp. 1-1
Author(s):  
Robin Brown ◽  
Federico Rossi ◽  
Kiril Solovey ◽  
Matthew Tsao ◽  
Michael T. Wolf ◽  
...  
Keyword(s):  
Convex Optimization ◽  
Multi Agent Systems ◽  
Local Computation ◽  
Agent Systems ◽  
Structured Convex Optimization ◽  
Multi Agent

Local computation of optical flow using a silicon retina

2005 ◽  
Vol 36 (11) ◽  
pp. 12-23
Author(s):  
Kei Akiyama ◽  
Zhi-Wei Luo ◽  
Masaki Onishi ◽  
Tetsuya Yagi ◽  
Shigeyuki Hosoe
Keyword(s):  
Optical Flow ◽  
Local Computation ◽  
Silicon Retina

2D RICCI FLAT GRADIENT SOLITONS ARISING FROM REMARKABLE MODELS IN PHYSICS

2013 ◽  
Vol 10 (10) ◽  
pp. 1350059
Author(s):  
GABRIEL BERCU
Keyword(s):  
Riemannian Manifold ◽  
Local Computation ◽  
Ricci Flat ◽  
Civita Connection ◽  
Levi Civita Connection ◽  
Gradient Solitons

On a pseudo-Riemannian manifold (M, g) we consider ∇ the Levi-Cività connection associated to metric g and a function f : M → ℝ whose pseudo-Riemannian Hessian [Formula: see text] is non-degenerate and with constant signature. We study properties of the pseudo-Riemannian manifold (M, h), [Formula: see text] in terms of local computation. Investigating the conditions for existence of the equal connections [Formula: see text], produced by g and h, we determine classes of explicit Ricci flat gradient solitons for some particular forms of g, arising from remarkable physics models.

Local computation of homology variations over a construction process

2020 ◽  
Vol 81 ◽  
pp. 101907
Author(s):  
Wassim Rharbaoui ◽  
Sylvie Alayrangues ◽  
Pascal Lienhardt ◽  
Samuel Peltier
Keyword(s):  
Construction Process ◽  
Local Computation

scholarly journals Local Computation Mechanism Design

2016 ◽  
Vol 4 (4) ◽  
pp. 1-24 ◽  
Author(s):  
Avinatan Hassidim ◽  
Yishay Mansour ◽  
Shai Vardi
Keyword(s):  
Mechanism Design ◽  
Local Computation
Sign in / Sign up

Export Citation Format

Share Document