VL-PATSy: Facilitating vicarious learning via intelligent resource provision (2007)
This paper describes an adaptive system called VL-PATSy, an extension to an existing system (PATSy) that adds a mechanism for serving vicarious learning (VL) resources. Vicarious learning is the...
Vicarious learning and (virtual) case-based teaching in health science (2007)
This paper describes PATSy, an established interactive case-based system that provides students with access to virtual patients. PATSy has recently been extended by the addition of vicarious learning...
Amelioration of detrimental effects of waterlogging by foliar nutrient sprays in barley (2007)
Pang, J, Ross, JJ, Zhou, M, Mendham, NJ, Shabala, SN
Six barley (Hordeum vulgare L.) cultivars contrasting in their waterlogging tolerance were subjected to waterlogging for 2 weeks under glasshouse conditions. The adverse effects of waterlogging were...
Amelioration of detrimental effects of waterlogging by foliar nutrient sprays in barley (2007)
Pang, J, Ross, JJ, Zhou, M, Mendham, NJ, Shabala, SN
Six barley (Hordeum vulgare L.) cultivars contrasting in their waterlogging tolerance were subjected to waterlogging for 2 weeks under glasshouse conditions. The adverse effects of waterlogging were...
Policy Support for Call Control (2006)
Turner, K.J., Reiff-Marganiec, S., Blair, L., Pang, J., Gray, T., Perry, P., ...
Cox, R, Hoben, K, Howorth, B, Lee, J, Morris, J, Pang, J, ...
We report results from studies of Speech and Language Therapy (SLT) students’ diagnostic reasoning. The ‘patients’ were presented via PATSy, an extablished case-based interactive e-learning...
Policy Support for Call Control (2005)
Blair, L., Pang, J., Turner, K.J., Reiff-Marganiec, S., Gray, T., Perry, P., ...
LFTOP : an LF-based approach to domain-specific reasoning. (2005)
Pang, J., Callaghan, P., Luo, Z.
A new approach to domain-specific reasoning is presented that is based on a type-theoretic logical framework (LF) but does not require the user to be an expert in type theory. The concepts of the...
Formal Verification of Distributed Systems (2004)
The design and implementation of distributed systems are error-prone and becoming extremely complex. Formal methods can be used to specify systems in a precise, consistent and non-ambiguous way....
Simplifying Itai-Rodeh Leader Election for Anonymous Rings (2004)
We present two probabilistic leader election algorithms for anonymous unidirectional rings with FIFO channels, based on an algorithm from Itai and Rodeh [20]. In contrast to the Itai-Rodeh algorithm,...
Verifying a Sliding Window Protocol in mCRL (2003)
W. J. Fokkink, J. F. Groote, J. Pang, B. Badban, Wan Fokkink
We prove the correctness of a sliding window protocol with an arbitrary finite window size n and sequence numbers modulo 2n.Thecorrectness consists of showing that the sliding window protocol is...
Cones and Foci for Protocol Verification Revisited (2003)
W. J. Fokkink, J. Pang, Wan Fokkink
We define a cones and foci proof method, which rephrases the question whether two system specifications are branching bisimilar in terms of proof obligations on relations between data objects....
Analysis of a Distributed System for Lifting Trucks (2001)
Copyright Stichting, Mathematisch Centrum, J. F. Groote, J. Pang, A. G. Wouters
The process-algebraic language crl is used to analyse an existing distributed system for lifting trucks. Four errors are found in the original design. We propose solutions for these problems and show...
A Balancing Act: Analyzing a Distributed Lift System (2001)
J. F. Groote, J. Pang, A. G. Wouters
The process-algebraic language crl is used to analyze an existing distributed system for lifting trucks. Four errors were found in the original design. We propose solutions for these problems and...
Object languages in a type-theoretic meta-framework. (2001)
Callaghan, P., Luo, Z., Pang, J.
This paper concerns techniques for providing a convenient syntax for object languages implemented via a type-theoretic Logical Framework, and reports on work in progress. We first motivate the need...
Zhou, L, Otulakowski, G, Pang, J, Munroe, D G, Capetola, R J, Lau, C
A polymerase chain reaction (PCR) method has been validated for the quantitation of retinoic acid (RA) induction of cellular retinoic acid-binding protein II (CRABP-II) RNA from cultured human skin...
Two-, six-, and 12-minute walking tests in respiratory disease.
Butland, R J, Pang, J, Gross, E R, Woodcock, A A, Geddes, D M
Zhou, L, Otulakowski, G, Pang, J, Munroe, D G, Capetola, R J, Lau, C
A polymerase chain reaction (PCR) method has been validated for the quantitation of retinoic acid (RA) induction of cellular retinoic acid-binding protein II (CRABP-II) RNA from cultured human skin...
Two-, six-, and 12-minute walking tests in respiratory disease.
Butland, R J, Pang, J, Gross, E R, Woodcock, A A, Geddes, D M
Schulkin, J.Z., Hobbs, B.F., Pang, J.
A question in the design of carbon dioxide trading systems is how allowances are to be initially allocated: by auction, by giving away fixed amounts, or by allocating based on output, fuel, or other...
Developing barley germplasm with stress tolerance - a summary for the research in TIAR
Zhou, M, Mendham, NJ, Shabala, SN, Vaillancourt, RE, Salter, SJ, Pang, J, ...
Spirometry in healthy elderly Chinese.
Forced expiratory volume (FEV1), forced vital capacity (FVC), and peak expiratory flow (PEF) were measured in healthy subjects (129 men, 210 women) aged 60 years and above who were leading an...
Prevalence of asthma, atopy, and bronchial hyperreactivity in bronchiectasis: a controlled study.
The prevalence of atopic diseases and bronchial reactivity to histamine and methacholine was determined in 36 patients with bronchiectasis and in 36 control patients matched for age, sex, and smoking...
Yokota, T, Uchihara, T, Kumagai, J, Shiojiri, T, Pang, J, Arita, M, ...
A new syndrome of ataxia and retinitis pigmentosa with vitamin E deficiency caused by the missense mutation of α-tocopherol transfer protein (α-TTP) gene was recently proposed. After studying the...
Lambert, N, Pang, J, Yan, Z, Erickson, T, Stevens, A, Furst, D, ...
Background: Male DNA or cells are often used to measure microchimerism in a woman. In studies of autoimmune diseases male microchimerism is most often attributed to the previous birth of a son.
Gastrointestinal haemorrhage from leiomyomata of the small bowel.
Three cases of haemorrhage from small bowel leiomyomata are reported. The features and management of this rare, but important cause of life-threatening gastrointestinal bleeding, are discussed.
Coexisting retroperitoneal and mediastinal fibrosis.
Pang, J., Vicary, F. R., Beck, E. R.
A rare case of coexisting retroperitoneal and mediastinal fibrosis is reported. Increasing awareness of this association may lead to earlier recognition of significant symptoms and more effective...