Publications

© 2020 Optical Society of America We demonstrate secure optical coherent communications employing low-coherence matched detection based on the randomness of amplified spontaneous emission (ASE) noi

A real-time data object, e.g., the speed or position of a vehicle, or the temperature in an engine, is temporarily consistent if its value reflects the current status of the corresponding entity in

Temporal correlation between diversity branches degrades the fade mitigation expected in a multi-antenna diversity receiver.

There are many video analysis applications in which the flow of people or traffic over time is of more interest than tracking the discrete objects contained.

There are many video analysis applications in which the flow of people or traffic over time is of more interest than tracking the discrete objects contained.

We show that time-division multiplexed Raman pumping, previously proposed to remove pump-to-pump interactions, must have a minimum pump pulse repetition rate of 100 kHz to achieve temporal gain var

An expression is derived for the reversible lengthening of optical pulse durations from the order of 50 fs to the order of 500 fs by a four prism sequence and focusing elements.

A temporal logic query checker takes as input a Kripke structure and a temporal logic formula with a hole, and returns the set of propositional formulas that, when put in the hole, are satisfied by

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.