focalize

v.

调节…的焦距；使集中在焦点上；聚焦；调焦距

过去式：focalized过去分词：focalized现在分词：focalizing第三人称单数：focalizes

1. In my display, I focalize the light cast by the equipment on the sentence in the most representative page of the Bible and project it onto a wall.
   我的装置作品聚焦圣经中最具有代表性的一页中的一句话，投射到一面墙上。

FoCaLiZe: Inside an F-IDE
Another Tutorial for FoCaLize: Playing with Proofs
Termination Proofs for Recursive Functions in FoCaLiZe
Termination Proofs for Recursive Functions in FoCaLiZe
Termination Proofs for Recursive Functions in FoCaLiZe
ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti
ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti
Optimization of the Coil to Focalize the Electrical Field Induced by Magnetic Stimulation in the Human Brain
Methods to focalize noninvasive electrical brain stimulation: principles and future clinical development for the treatment of pain
On the development of PEPAS information service and information management programme and related activities - II - The focalized net...