: The packet is the fundamental unit of transportation in modern communication networks such as the Internet. Physical layer scheduling decisions are made at the level of packets, ...
This paper proposes a conceptual model called compound brushing for modeling the brushing techniques used in dynamic data visualization. In this approach brushing techniques are m...
In this paper, derivation of the optimal chemotherapy schedule is formulated and solved as a dynamic optimization problem. For this purpose two models representing the tumour grow...
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
Abstract— A Model Predictive Control (MPC) -based approach is presented for autonomous path following via Active Front Steering (AFS). We start from the Nonlinear MPC (NMPC) prob...
Giovanni Palmieri, Paolo Falcone, H. Eric Tseng, L...