PDF Document

Source URL: liu.diva-portal.org

PDF Document

Source URL: www.control.isy.liu.se

Clique Gossiping Yang Liu, Bo Li, Brian D. O. Anderson, and Guodong Shi∗ Abstract This paper proposes and investigates a framework for clique gossip protocols. As complete subnet-

Source URL: arxiv.org

Causal commutative arrows revisited Jeremy Yallop Hai Liu WadlerFest

Source URL: events.inf.ed.ac.uk

• Computer programming
• Functional programming
• Software engineering
• Monad
• Arrow
• Proof theory
• Computability theory
• CurryHoward correspondence

Electroless and electrolytic copper plating of glass interposer combined with metal oxide adhesion layer for manufacturing 3D RF devices Zhiming Liu, Hailuo Fu, Sara Hunegnaw, Jun Wang, Michael Merschky, Tafadzwa Magaya

Source URL: www.atotech.com

TorPolice: Towards Enforcing Service-Defined Access Policies for Anonymous Communication in the Tor Network Zhuotao Liu∗ , Yushan Liu† , Philipp Winter† , Prateek Mittal† , Yih-Chun Hu∗ ∗ University ∗ {zliu

Source URL: nymity.ch

The Helioseismic and Magnetic Imager (HMI) Vector Magnetic Field Pipeline: SHARPs – Space-Weather HMI Active Region Patches M. G. Bobra, X. Sun, J. T. Hoeksema, M. Turmon, Y. Liu, K. Hayashi,

Source URL: sun.stanford.edu

TENTAMEN I REGLERTEKNIK Y/D SAL: TER3, TER4, G33, G34 TID: 16 mars 2016, klockan 8 – 13 KURS: TSRT12, Reglerteknik Y/D PROVKOD: TEN1

Source URL: www.control.isy.liu.se

Fabric: A Platform for Secure Distributed Computation and Storage Jed Liu Michael D. George K. Vikram Xin Qi Lucas Waye

Source URL: www.cs.cornell.edu

Optimizing Massive MIMO: Precoder Design and Power Allocation

Source URL: liu.diva-portal.org