Unno H.,University of Tsukuba |
Tabuchi N.,Trek Inc. |
Kobayashi N.,Tokyo University of Information Sciences
Mathematical Structures in Computer Science | Year: 2014
We propose a new method to verify that a higher-order, tree-processing functional program conforms to an input/output specification. Our method reduces the verification problem to multiple verification problems for higher-order multi-tree transducers, which are then transformed into higher-order recursion schemes and model-checked. Unlike previous methods, our new method can deal with arbitrary higher-order functional programs manipulating algebraic data structures, as long as certain invariants on intermediate data structures are provided by a programmer. We have proved the soundness of the method and implemented a prototype verifier. © Cambridge University Press 2014.
Noras M.,University of North Carolina at Charlotte |
Pandey A.,Trek Inc.
IEEE Industry Applications Magazine | Year: 2010
The Kelvin probe technique is a noncontacting method for the quantitative evaluation of an electric field, surface potential, and surface charge distribution. This technique became important and widely used because, unlike contacting methods, it does not change the physical state of the object under test. Lack of contact with the measured object assures that there is no charge transfer between the meter and the tested surface. Even though new, improved contacting methods are being introduced by instrumentation manufacturers, noncontacting methods still dominate in the applications where very high input impedance of the instrument is needed. This article investigates the uses and limitations of Kelvin probe-based instruments for surface charge density measurements of dielectric materials. © 2006 IEEE.
Trek Inc. and Letts Industries Inc. | Date: 1960-08-02
Trek Bicycle Corporation, Trek Company, Lbi, Inc., Tribridge and 531974 B.C.Ltd. | Date: 2003-04-22
Non-alcoholic beverages sold in liquid form, namely, non-carbonated fruit juices, either alone or flavored with any or all of the following - water, herbs and spices (Based on Use in Commerce); non-carbonated drinking waters either alone or flavored with any or all of the following - herbs, spices, and natural fruit flavors (Based on Use in Commerce) and (Based on 44(e)).
Trek Inc. | Date: 2007-06-26
Electrical/electronic apparatus-namely, electrostatic voltmeters, power supplies, amplifiers, electrostatic sensors, voltmeter probes, voltage monitors, electrostatic clamps for semiconductors, platens for electrostatic wafer clamps, a;c; and d;c; generators, electric field meters, ion monitors and charge monitors.