| Subsequent runs of the theorem prover using demodulation blocking and the so-called cramming strategy delivered shorter proofs. |
| This block does not perform waveform specific processing such as demodulation or equalization. |
| Satellite front-end including satellite tuner demodulation and decoding functions. |
| The first breakthrough is a new demodulation method that makes use of the zero crossings of the received signals. |
| A simple demodulation scheme eliminates the need for high-speed photodetectors and signal processing. |
| The receiver has a similar modem which retransforms the signal, demodulation. |
