The completion examples contained the same information as the worked examples, except for the fact that the final steps for solving the problem (steps c, d, and e) were left blank for the student to complete.
Symbolic execution unrolls loops, hence, for most cases, neither loop bound annotations nor complementary loop bound analyses are necessary (see Section 5 for examples) except when the bound is dependent on, for example, I/O or the unrolling exceeds the specified analysis depth.
The rest of the parameters involved are the same as the first example except the number of snapshots changes from 5 to 300.
These geo-fenced alerts are somewhat reminiscent of Apple's Passbook, for example, except the difference is with Passbook, users still have to be proactive about adding coupons and store cards to the app in order to trigger the alerts.
The authors generate node demands randomly and consider all the same parameters as the previous example, except for the radii in the coverage function, which are set as follows: R 1 = 400, R 2 = 600, and R 3 = 800.
This is the same example except for the constant -i \hbar, so again the operators do not commute and the physical meaning is that the position and linear momentum in a given direction are complementary.
The other simulation conditions are similar to the first example except that the SNR is set at 2 dB, and the number of snapshots is varied from T = 400 to T = 2,000.
The simulation conditions are similar to those in the second example, except that the SNR is set at 20 dB and the number of snapshots is varied from N=20 to N=2000.
This configuration is identical to the planar RDWM with four DAMs in the last example, except that the top two DAMs are replaced by a DAM with a VCM.
The simulation conditions are similar to those in the second example, except that the SNR is varying from 0 to 40 dB in steps of 5 dB.
