This report is benefited from interviews of Tri-Met staff involved in the development, implementation and use of the agency's automatic passenger counter and automatic vehicle location systems. The staff interviewed included Their insights are gratefully acknowledged. Tom Kimpel and Pete Fielding also provided many helpful comments on an earlier draft.

Proof reconstruction is a technique that combines an interactive theorem prover and an automatic one in a sound way, so that users benefit from the expressiveness of the first tool and the automation of the latter. We present an implementation of proof reconstruction for first-order logic and set-theoretical constructions between the interactive theorem prover Isabelle and the automatic SMT pro...

This paper describes the IIRG’s first implementation of a system for automatic Knowledge Base Population (KBP). The Text Analysis Conference (TAC), first organised by NIST in 2008, promotes further research in Natural Language Technologies. In 2009, NIST added a Knowledge Base Population Track to TAC, the goal of this track was to promote research in to the automatic population of knowledge bases.

An evolutionary tuning method for automatic impedance matclung in radio communication systems is developed based on Genetic Algorithms (GA). A detailed tuning procedure is presented and a software package has been developed. Simulation results using the software package are given. The implementation of the proposed tuning algorithm in a microprocessor-controlled automatic antenna tuning unit is...