Tootfinder

Weak-linearity, globality and in-place update
Hector Gramaglia
https://arxiv.org/abs/2402.16534 https://arxiv.org/pdf/2402.16534

Weak-linearity, globality and in-place update
Computational interpretations of linear logic allow static control of memory resources: the data produced by the program are endowed through its type with attributes that determine its life cycle. This has promoted numerous investigations into safe introduction of in-place update. Various type systems have been proposed for this aim, but linearity and correctness of in-place update are properties that are not fully compatible. The main achievement of this work is to establish a simple theoretic…

Sensing in Bi-Static ISAC Systems with Clock Asynchronism: A Signal Processing Perspective
Kai Wu, Jacopo Pegoraro, Francesca Meneghello, J. Andrew Zhang, Jesus O. Lacruz, Joerg Widmer, Francesco Restuccia, Michele Rossi, Xiaojing Huang, Daqing Zhang, Giuseppe Caire, Y. Jay Guo
https://arxiv.org/abs/2402.09048

Sensing in Bi-Static ISAC Systems with Clock Asynchronism: A Signal Processing Perspective
Integrated Sensing and Communications (ISAC) has been identified as a pillar usage scenario for the impending 6G era. Bi-static sensing, a major type of sensing in \ac{isac}, is promising to expedite ISAC in the near future, as it requires minimal changes to the existing network infrastructure. However, a critical challenge for bi-static sensing is clock asynchronism due to the use of different clocks at far separated transmitter and receiver. This causes the received signal to be affected by t…