output
20092026
most citedMulti-Agent Distributed Optimization via Inexact Consensus ADMM

464 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2020Show all

4 papers · 1 filter

physics.gen-ph2020

On the gauge transformation for the rotation of the singular string in the Dirac monopole theory

Xiao-Yin Pan, Yin Chen, Yu-Qi Li +2

In the Dirac theory of the quantum-mechanical interaction of a magnetic monopole and an electric charge, the vector potential is singular from the origin to infinity along certain…

cs.RO2020★ 45 cited

Formalizing and Guaranteeing* Human-Robot Interaction

Hadas Kress-Gazit, Kerstin Eder, Guy Hoffman +12

Robot capabilities are maturing across domains, from self-driving cars, to bipeds and drones. As a result, robots will soon no longer be confined to safety-controlled industrial se…

eess.SP2020★ 4 cited

High-Resolution Channel Estimation for Intelligent Reflecting Surface-Assisted MmWave Communications

C. Jia, J. Cheng, H. Gao +1

In this paper, we study the high-resolution channel estimation problem for intelligent reflecting surface (IRS)-assisted millimeter wave (mmWave) multiple-input-multiple-output (MI…

cs.PL2020★ 10 cited

Symbolic Reasoning about Quantum Circuits in Coq

Wenjun Shi, Qinxiang Cao, Yuxin Deng +2

A quantum circuit is a computational unit that transforms an input quantum state to an output one. A natural way to reason about its behavior is to compute explicitly the unitary m…