Search Results - peixin+zhong

2 Results Sort By:
IMPLEMENTATION OF BOOLEAN SATISFIABILITY WITH NON-CHRONOLOGICAL BACKTRACKING IN RECONFIGURABLE HARDWARE
Researchers at Princeton University have developed a novel method for implementing formula-specific Boolean Satisfiability solver circuits in configurable hardware. Princeton is currently seeking industrial collaborators to commercialize this technology. As the complexity of designing electronic systems increases, the effectiveness and efficiency...
Published: 6/28/2022   |   Inventor(s): Pranav Ashar, Margaret Martonosi, Peixin Zhong, Sharad Malik
Keywords(s): computers/software
Category(s): Computer Science and Information Technology
Making Dihydroxyacetone (DHA) from Glycerol
IntroductionDihydroxyacetone (DHA) is used as an ingredient in sunless tanning products and in the food preparation industry. DHA’s skin coloring effect has also been examined to determine if it may benefit vitiligo patients (an uneven pigmentation of the skin); several DHA-containing products for this condition are now on the market. In recent...
Published: 2/17/2023   |   Inventor(s): Dennis Miller, Xi Hong, Carl Lira, Omar Mcgiveron
Keywords(s): DHA, Dihydroxyacetone, Glycerol Fermentation
Category(s): Chemicals