Peng Wang

Learn More
This article may be used for research, teaching, and private study purposes. Any substantial or systematic reproduction, redistribution, reselling, loan, sub-licensing, systematic supply, or distribution in any form to anyone is expressly forbidden. The publisher does not give any warranty express or implied or make any representation that the contents will(More)
Keywords: Decisional DNA Set of experience knowledge structure Knowledge representation Knowledge engineering Decision making Artificial intelligence a b s t r a c t Knowledge representation and engineering techniques are becoming useful and popular components of hybrid integrated systems used to solve complicated practical problems in different(More)
The constant growth of information on the wide spread of the web is causing many difficulties in finding and extracting useful knowledge on the web. Set of Experience Knowledge Structure or Decisional DNA as knowledge representation provides features such as learning from experience, dealing with noisy and incomplete data, making precise decision and(More)
Microcontrollers – low-power, real-mode cpus – drive digital electronics all over the world, making their safety and reliability critical. However, microcontrollers generally lack the memory protection common in desktop processors, so memory safety must come through other means. One such mechanism is Bedrock, a library for the Coq proof assistant that(More)