Abstract: Systems and methods for enforcing contract/protocol/law execution have a wide range of applicability. Embodiments have very low latency between a transaction and its validation and have strong scalability. An embodiment is a system for enforcing execution of a protocol among a plurality of parties. The example system includes (i) a controller provider configured to manage a plurality of automated controllers, (ii) a ledger, and (iii) an inspector. The controllers correspond to the plurality of parties. Each controller is configured to enforce execution of the protocol using a computer program integrated with the controller. The controller provider intercepts messages sent or received by the controllers and stores them in the ledger, representing history of events or operations between the parties, and the treatment of those events or operations by the controllers. The inspector accesses the ledger and evaluates whether representations of events or operations stored therein comply with the protocol.

Abstract: Systems and methods for enforcing contract/protocol/law execution having a wide range of applicability. The disclosed systems and methods have very low latency between a transaction and its validation and have strong scalability. One example embodiment is a system for enforcing execution of a protocol among a plurality of parties. The example system includes a controller provider configured to manage a plurality of automated controllers. The system also includes a ledger and an inspector. The plurality of automated controllers correspond to the plurality of parties. Each automated controller is configured to enforce execution of the protocol using a computer program integrated with the automated controller. The controller provider intercepts messages sent or received by the automated controllers and stores them in the ledger. The ledger, thus, represents the history of events or operations between the parties, and the treatment of those events or operations by the controllers.

Abstract: Systems and methods for enforcing contract/protocol/law execution having a wide range of applicability. The disclosed systems and methods have very low latency between a transaction and its validation and have strong scalability. One example embodiment is a system for enforcing execution of a protocol among a plurality of parties. The example system includes a controller provider configured to manage a plurality of automated controllers. The system also includes a ledger and an inspector. The plurality of automated controllers correspond to the plurality of parties. Each automated controller is configured to enforce execution of the protocol using a computer program integrated with the automated controller. The controller provider intercepts messages sent or received by the automated controllers and stores them in the ledger. The ledger, thus, represents the history of events or operations between the parties, and the treatment of those events or operations by the controllers.

Abstract: A system for transporting fast frame rate video data from a high frame rate image sensor mosaics and spreads the fast frame rate video data in 1920×1080p30 video frames for transporting via an existing standard video architecture. Packing information, spreading information, and unique ID/timestamps for each frame is encoded in metadata and inserted in ancillary metadata space of the 1080p30 video frames. A robust encoding scheme generates the metadata and ensures that the transported video can be reassembled into its original fast frame rate form after being spread over multiple channels.

Abstract: A system for transporting fast frame rate video data from a high frame rate image sensor mosaics and spreads the fast frame rate video data in 1920×1080p30 video frames for transporting via an existing standard video architecture. Packing information, spreading information, and unique ID/timestamps for each frame is encoded in metadata and inserted in ancillary metadata space of the 1080p30 video frames. A robust encoding scheme generates the metadata and ensures that the transported video can be reassembled into its original fast frame rate form after being spread over multiple channels.

Abstract: Methods and apparatus for remote, passive detection of underwater objects using combined spectral and polarimetric imaging. In one example, a tunable multi-band spectro-polarimeter includes an imaging detector array that receives electromagnetic radiation from a viewed scene, a plurality of tunable spectral filters configured to filter the electromagnetic radiation into at least first and second spectral bands, and a plurality of polarization filters configured to filter each of the first and second spectral bands into at least two different polarization states, a first region of the detector array receiving the first spectral band and producing first polarimetric image data, and a second region of the detector array simultaneously receiving the second spectral band and producing second polarimetric image data, and a controller that receives and processes the first and second polarimetric image data to detect a target object in the viewed scene.

Abstract: Methods and apparatus for remote, passive detection of underwater objects using combined spectral and polarimetric imaging. In one example, a tunable multi-band spectro-polarimeter includes an imaging detector array that receives electromagnetic radiation from a viewed scene, a plurality of tunable spectral filters configured to filter the electromagnetic radiation into at least first and second spectral bands, and a plurality of polarization filters configured to filter each of the first and second spectral bands into at least two different polarization states, a first region of the detector array receiving the first spectral band and producing first polarimetric image data, and a second region of the detector array simultaneously receiving the second spectral band and producing second polarimetric image data, and a controller that receives and processes the first and second polarimetric image data to detect a target object in the viewed scene.

Abstract: An oxygenated hydrocarbon based fuel for use in internal combustion engines is composed by volume of alcohol (40-80%), ketone (0-30%) ether (15-40%), a dimethyl siloxane (0.01-1.0%) a surfactant (0.25-1.0%) and a fuel-soluble corrosion inhibitor (0.02-0.1%). The resulting fuel has excellent storage life and performance characteristics superior to gasoline.