Sciweavers

IPL
2016
47views more  IPL 2016»
10 years 29 days ago
VNP=VP in the multilinear world
In this note, we show that over fields of any characteristic, exponential sums of Boolean instantiations of polynomials computed by multilinear circuits can be computed by multil...
Meena Mahajan, Nitin Saurabh, Sébastien Tav...
IPL
2016
51views more  IPL 2016»
10 years 29 days ago
On the semantics of Strategy Logic
We define and study a slight variation on the semantics of Strategy Logic: while in the classical semantics, all strategies are shifted during the evaluation of temporal modaliti...
Patricia Bouyer, Patrick Gardy, Nicolas Markey
IPL
2016
47views more  IPL 2016»
10 years 29 days ago
The (non-)existence of perfect codes in Fibonacci cubes
The Fibonacci cube Γn is obtained from the n-cube Qn by removing all the vertices that contain two consecutive 1s. It is proved that Γn admits a perfect code if and only if n ...
Ali Reza Ashrafi, Jernej Azarija, Azam Babai, Khad...
IOTJ
2016
51views more  IOTJ 2016»
10 years 29 days ago
Receiver Design for a Bionic Nervous System: Modeling the Dendritic Processing Power
Abstract—Intrabody nanonetworks for nervous system monitoring are envisioned as a key application of the Internet of Nano-Things paradigm, with the aim of developing radically ne...
Angela Sara Cacciapuoti, Marcello Caleffi
IOTJ
2016
45views more  IOTJ 2016»
10 years 29 days ago
Low-Weight Code Comparison for Electromagnetic Wireless Nanocommunication
—Electromagnetic communication among nanosensors using Time-Spread On-Off Keying (TS-OOK) modulation in Terahertz band promises very high transmission rates (up to several Terabi...
Muhammad Agus Zainuddin, Eugen Dedu, Julien Bourge...