Deep inference and expansion trees for second-order multiplicative linear logic
Sign Up to like & getrecommendations! Published in 2018 at "Mathematical Structures in Computer Science"
DOI: 10.1017/s0960129518000385
Abstract: In this paper, we introduce the notion of expansion tree for linear logic. As in Miller's original work, we have a shallow reading of an expansion tree that corresponds to the conclusion of the proof,… read more here.
Keywords: deep inference; expansion; expansion trees; linear logic ... See more keywords
RL-DistPrivacy: Privacy-Aware Distributed Deep Inference for Low Latency IoT Systems
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Transactions on Network Science and Engineering"
DOI: 10.1109/tnse.2022.3165472
Abstract: Although Deep Neural Networks (DNN) have become the backbone technology of several ubiquitous applications, their deployment in resource-constrained machines, e.g., Internet of Things (IoT) devices, is still challenging. To satisfy the resource requirements of such… read more here.
Keywords: deep inference; latency; iot; distprivacy privacy ... See more keywords