Some features capturing the computational completeness of P systems with maximal parallelism, priorities or zero-test using symbol objects are studied through Petri nets. The obtai...
A simple cut elimination proof for arithmetic with epsilon symbol is used to establish termination of a modified epsilon substitution process. This opens a possibility of extensio...
Most of the western tonal music is based on the concept of tonality or key. It is often desirable to know the tonality of a song stored in a symbolic format (digital scores), both...
We consider beamforming assisted detection for multiple antenna aided multiuser systems that employ the bandwidth efficient quadrature amplitude modulation scheme. A minimum symbol...
Sheng Chen, Andy Livingstone, H.-Q. Du, Lajos Hanz...