Abstract: The present disclosure describes a system and method of developing a search database for automated content curation. The processing arrangement is configured to store a plurality of slides related to one or more fields in the database arrangement, generate a plurality of thumbnails from the stored plurality of slides, extract a plurality of metadata from the plurality of thumbnails, wherein the plurality of metadata are extracted by processing the generated plurality of thumbnails through an optical character reader, store the extracted plurality of metadata into the search database, create an index comprising of associations between the plurality of slides, the plurality of associated metadata and the generated plurality of thumbnails, store the created index in the search database and curate content from the index of the search database based on the one or more search strings.

Abstract: An emission-free power generation system includes a combustion chamber having a first inlet for receiving a fuel and a closed-loop fluidic circuit fluidly connected between a second inlet of the combustion chamber and an outlet of the combustion chamber. Combustion gases from the combustion chamber include only water and carbon dioxide, and the fuel includes performic acid or a combination of formic acid and hydrogen peroxide.

Abstract: According to one or more embodiments presently described, a method of operating an internal combustion engine that includes injecting fuel into a combustion chamber to form an air-fuel mixture, where the combustion chamber includes a cylinder head, cylinder sidewalls, and a piston that reciprocates within the cylinder sidewalls. The method may also include detecting pre-ignition of the air-fuel mixture during a detected intake or compression stroke of the piston, determining that a super knock condition could occur, and mitigating formation of a super knock condition by deploying a super knock countermeasure within the detected compression stroke.

Abstract: An internal combustion engine according to one or more embodiments of the present disclosure may include an engine cylinder having a cylinder head and cylinder sidewalls and a piston that reciprocates within the engine cylinder. The piston, the cylinder head, and the cylinder sidewalls may at least partially define a combustion chamber. The internal combustion engine may also include a fuel injector that is positioned to inject fuel directly into the combustion chamber. The internal combustion engine may further include an engine control module that is in electronic communication with the fuel injector. The engine control module may determine if the internal combustion engine is operating at conditions corresponding to a super knock condition may occur and commands the fuel injector to operate under a split injection mode in which fuel is injected into the combustion chamber in a plurality of injection pulses.

Abstract: An emission-free power generation system includes a combustion chamber having a first inlet for receiving a fuel and a closed-loop fluidic circuit fluidly connected between a second inlet of the combustion chamber and an outlet of the combustion chamber. Combustion gases from the combustion chamber include only water and carbon dioxide, and the fuel includes performic acid or a combination of formic acid and hydrogen peroxide.

Abstract: According to one or more embodiments presently described, a method of operating an internal combustion engine that includes injecting fuel into a combustion chamber to form an air-fuel mixture, where the combustion chamber includes a cylinder head, cylinder sidewalls, and a piston that reciprocates within the cylinder sidewalls. The method may also include detecting pre-ignition of the air-fuel mixture during a detected intake or compression stroke of the piston, determining that a super knock condition could occur, and mitigating formation of a super knock condition by deploying a super knock countermeasure within the detected compression stroke.

Abstract: An internal combustion engine according to one or more embodiments of the present disclosure may include an engine cylinder having a cylinder head and cylinder sidewalls and a piston that reciprocates within the engine cylinder. The piston, the cylinder head, and the cylinder sidewalls may at least partially define a combustion chamber. The internal combustion engine may also include a fuel injector that is positioned to inject fuel directly into the combustion chamber. The internal combustion engine may further include an engine control module that is in electronic communication with the fuel injector. The engine control module may determine if the internal combustion engine is operating at conditions corresponding to a super knock condition may occur and commands the fuel injector to operate under a split injection mode in which fuel is injected into the combustion chamber in a plurality of injection pulses.

Abstract: Disclosed are improved methods and structures for verifying integrated circuits and in particular systems-on-a-chip constructed therefrom. We call methods and structures according to the present disclosure Symbolic Quick Error Detection or Symbolic QED, Illustrative characteristics of Symbolic QED include: 1) It is applicable to any System-on-Chip (SoC) design as long as it contains at least one programmable processor; 2) It is broadly applicable for logic bugs inside processor cores, accelerators, and uncore components; 3) It does not require failure reproduction; 4) It does not require human intervention during bug localization; 5) It does not require trace buffers, 6) It does not require assertions; and 7) It uses hardware structures called “change detectors” which introduce only a small area overhead.

Abstract: Disclosed are improved methods and structures for verifying integrated circuits and in particular systems-on-a-chip constructed therefrom. We call methods and structures according to the present disclosure Symbolic Quick Error Detection or Symbolic QED, Illustrative characteristics of Symbolic QED include: 1) It is applicable to any System-on-Chip (SoC) design as long as it contains at least one programmable processor; 2) It is broadly applicable for logic bugs inside processor cores, accelerators, and uncore components; 3) It does not require failure reproduction; 4) It does not require human intervention during bug localization; 5) It does not require trace buffers, 6) It does not require assertions; and 7) It uses hardware structures called “change detectors” which introduce only a small area overhead.