A temporal logic query checker takes as input a Kripke structure and a temporal logic formula with a hole, and returns that set of propositional formulas that, when put in the hole, are satisfied b
A class of extensions of the Linear-time Propositional Temporal Logic (LPTL) is presented.
We explore theoretically the feasibility of using frequency conversion by sum- or difference-frequency generation, enabled by threewave- mixing, for selectively multiplexing orthogonal input wavefo
Cyclic patterns of motor neuron activity are involved in the production of many rhythmic movements, such as walking, swimming, and scratching.
Many cortical structures have elevated firing rates during working memory, but it is not known how the activity is maintained.
A time-domain equivalent of the van Cittert-Zernike theorem is formulated. The two-time correlation function of an incoherent source after temporal gating and chromatic dispersion is derived.
A time-domain equivalent of the van Cittert-Zernike theorem is formulated. Thre two-time correlation function of an incoherent source after temporal gating and chromatic dispersion is derived.
The Siple Station conjugate intercepts in the northern hemisphere are examined for the epoch 1975-1990 according to the predictions of three internal source geomagnetic field models (IGRF-80, MAGSA
A quantum cascade (QC) laser is presented that is both temporally and wavelength multiplexed, i.e. it emits two widely different wavelengths at two alternate time slots.
Decades of social science research identified ten fundamental dimensions that provide the conceptual building blocks to describe the nature of human relationships.
