6 citations · 6 across the 2 of their papers we have counts for
4 papers
Blind source separation of baseband RF communication signals using mixed-signal matrix multiplication circuit
Bindu Madhavan, Edward Lee, Joshua Zusman +1
An 8 x 8 mixed-signal matrix multiplier architecture based on 64 hybrid capacitor-resistor multiplying digital to analogue converters implemented in a 65 nm CMOS technology was dev…
Quantifying and Generalizing the CAP Theorem
Edward A. Lee, Soroush Bateni, Shaokai Lin +2
In distributed applications, Brewer's CAP theorem tells us that when networks become partitioned, there is a tradeoff between consistency and availability. Consistency is agreement…
A Metric for Linear Temporal Logic
Íñigo Íncer Romeo, Marten Lohstroh, Antonio Iannopollo +2
We propose a measure and a metric on the sets of infinite traces generated by a set of atomic propositions. To compute these quantities, we first map properties to subsets of the r…
Learning Heuristics for Quantified Boolean Formulas through Deep Reinforcement Learning
Gil Lederman, Markus N. Rabe, Edward A. Lee +1
We demonstrate how to learn efficient heuristics for automated reasoning algorithms for quantified Boolean formulas through deep reinforcement learning. We focus on a backtracking…