Abstract: A unification algorithm is one of the most important parts of a First-Order Logic (FOL) inference engine because it allows for the discovery of substitutions that make two logical ...
Abstract: DOI information of incident particle is important for PET system. Accurate DOI acquisition requires dedicated front-end electronics capable of precise energy and time measurement. Our group ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results