We modified the Hyland Ammonia kit for plasma to measure blood ammonia from which the erythrocyte ammonia is calculated. Our modified method gave good recoveries and its precision based on replicate assays was excellent (CV less than 3.0%). The within-day and day-to-day precision was determined from pooled blood and aqueous ammonia solution respectively. The precision calculated from duplicate ...

This paper describes a natural deduction formulation for Full Intuitionistic Linear Logic (FILL), an intriguing variation of multiplicative linear logic, due to Hyland and de Paiva. The system FILL resembles intuitionistic logic, in that all its connectives are independent, but resembles classical logic in that its sequent-calculus formulation has intrinsic multiple conclusions. From the intrin...

Seshiru Nakazawa, Toshiki Yajima, Yoichi Ohtaki, Tomokazu Ito, Takayuki Kosaka, Ken Shirabe

Hayes, Celina, "Examining interactions among working memory, aging, and linguistic constraints in sentence comprehension" (2007). Acknowledgements Many thanks to my advisor, Laura Gonnerman, and my committee members, Diane Hyland and Padraig O'Seaghdha for their valuable feedback and comments on this thesis. I would also like to thank the members of the Language Acquisition and Processing Lab f...