This paper addresses the problem of formally verifying desirable properties of neural
networks, ie, obtaining provable guarantees that neural networks satisfy specifications …

In this letter, we propose a practical non-linear energy harvesting model and design a
resource allocation algorithm for simultaneous wireless information and power transfer …

This paper describes Convex1, a convex optimization modeling framework in Julia. Convex
translates problems from a user-friendly functional language into an abstract syntax tree …

In order to enable low-latency computation-intensive applications for mobile user
equipments (UEs), computation offloading becomes critical necessary. We tackle the …

Objective. Transcranial magnetic stimulation (TMS) is a noninvasive brain stimulation
technique used for research and clinical applications. Existent TMS coils are limited in their …

In this paper, we study rate-energy (RE) tradeoffs for simultaneous wireless information and
power transfer (SWIPT). In the existing literature, by invoking a simplistic and ideal …

We study the optimal design of mobile crowdsensing campaigns in terms of the aggregate
quality of contributions attracted for a set of tasks. The interaction of the campaign with users …

In many parts of the world, earthquakes threaten regional infrastructure systems. For
modeling risk using stochastic earthquake catalogs, random variables include rupture …

In a multi-location, exchangeable-item repair system with stochastic demand, the expected
waiting time and the fill rate measures are oftentimes used as the optimization criteria for the …

The provision of self-cleaning velocities has been shown to reduce the risk of discolouration
in water distribution networks (WDNs). Despite these findings, control implementations …