Nominal rewriting systems (Fernández, Gabbay & Mackie, 2004; Fernández & Gabbay, 2007) have been introduced as a new framework of higher-order rewriting systems based on the nominal approach (Gabbay & Pitts, 2002; Pitts, 2003), which deals with variable binding via permutations and freshness conditions on atoms. Confluence of orthogonal nominal rewriting systems has been shown in (Fernández & G...

0022-1031/$ see front matter 2008 Elsevier Inc. A doi:10.1016/j.jesp.2008.03.014 * Corresponding author. Fax: +1 805 893 4303. E-mail address: [email protected] (D.G. Ray). Drawing on Intergroup Emotions Theory [Mackie, D. M., Maitner, A. T., & Smith, E. R. (in press). Intergroup emotions theory. In T.D. Nelson (Ed.), Handbook of Prejudice, Stereotyping, and Discrimination, New York: Erlbaum.]...

The exploding growth of the Internet has lead to a general deterioration of service levels experienced by its users. The IP best effort model that is currently in use is inadequate to provide guaranteed service levels. Internet service providers are seeking scalable methods for providing differentiated services to customers who are willing to pay more. This paper proposes a scheme called dynami...

Mobile computing provides potential to compensate for disability and increase participation for people with cognitive impairment (Gartland, 2004). A series of trials have found technological aids to be useful in neurorehabilitation (e.g. Culley & Evans, 2010; Kim, Burke, Dowds, Robinson Boone & Park, 2000; Mackie, Leathem & Babbage, 2008; van den Broek, Downes, Johnson, Dayus & Hilton, 2000; Wa...

With the rapidly increasing interest in providing QoS in the Internet, Internet pricing has now been recognized to be a cornerstone of the Internet of the future. Over the last couple of years, this has led to establishing ”Internet Economics” as a new research area of its own, which investigates packet-switched networks from an economical rather than an engineering perspective. In this context...

Tenascin, a mesenchymal extracellular matrix glycoprotein, has been implicated in epithelial-mesenchymal interactions during fetal development (Chiquet-Ehrismann, R., E. J. Mackie, C. A. Pearson, T. Sakakura, 1986, Cell, 47:131-139). We have now investigated the expression of tenascin during embryonic development of the mouse kidney. In this system, mesenchymal cells convert into epithelial cel...

704–8. 3. Tripodi A, Chantarangkul V, Clerici M, Mannucci PM. Laboratory diagnosis of Lupus Anticoagulants for patients on oral anticoagulant treatment. Thromb Haemost 2002;88:583–6. 4. Jennings I, Greaves M, Mackie IJ, Kitchen S, Woods TAL, Preston FE. Lupus anticoagulant testing: improvements in performance in a UK NEQAS proficiency testing exercise after dissemination of national guidelines ...

Polysaccharides and proteins are natural polymers that are widely used as functional ingredients for various food colloids or emulsion formulations. Majority of food emulsions are constituted with polysaccharide and protein combinations. They are the essential ingredients of any food colloid formulation mainly due to their ability to change product shelf life by varying food texture (Schmidt & ...

-Tetrahydrocannabinol (THC), the psychoactive marijuana plantderived cannabinoid, and numerous synthetic derivatives have been shown to bind to a specific brain receptor, cannabinoid receptor 1 (CB1) (Howlett et al. 1990; Matsuda et al. 1990; Herkenham et al. 1990; Mailleux and Vanderhagen 1992). Arachidonoyl ethanolamide (anandamide), homo--linolenyl ethanolamide, and docosatetraenyl ethanolam...

A common perception is that cholesterol, the major structural lipid found in mammalian membranes, is localized nearly exclusively to the plasma membrane of living cells and that it is found in much smaller quantities in internal membranes. This perception is based almost exclusively on cell fractionation studies, in which density gradient centrifugation is used for purification of discrete subc...