Browsing by Title

Now showing items 6943-6962 of 13243

  • A logic for schema-based program development

    Henson, Martin C.; Reeves, Steve (Springer-Verlag London Ltd, 2003-07-01)
    We show how a theory of specification refinement and program development can be constructed as a conservative extension of our existing logic for Z. The resulting system can be set up as a development method for a Z-like ...
  • A logic for specifying and reasoning about cooperative environments

    Reeves, Steve (University of Waikato, Department of Computer Science, 1995-08)
    In this paper we describe the current progress of an attempt to develop a logic which will allow us to specify required properties of systems which typically consist of a single interactive program being used, probably ...
  • A logic for the schema calculus

    Henson, Martin C.; Reeves, Steve (University of Waikato, Department of Computer Science, 1998-03)
    In this paper we introduce and investigate a logic for the schema calculus of Z. The schema calculus is arguably the reason for Z’s popularity but so far no true calculus (a sound system of rules for reasoning about schema ...
  • Logic, ethics and the ethics of logic

    Legg, Catherine (De Gruyter, 2014)
    Peirce wrote this in 1902 as part of his “Minute Logic”, a major book project from his later, officially unemployed, years. The editors of EPII note that the book was so named “to reflect the minute thoroughness with which ...
  • Logistic model trees

    Landwehr, Niels; Hall, Mark A.; Frank, Eibe (Springer, Berlin, 2005)
    Tree induction methods and linear models are popular techniques for supervised learning tasks, both for the prediction of nominal classes and numeric values. For predicting numeric quantities, there has been work on combining ...
  • Logistic regression and boosting for labeled bags of instances

    Xu, Xin; Frank, Eibe (Springer, 2004)
    In this paper we upgrade linear logistic regression and boosting to multi-instance data, where each example consists of a labeled bag of instances. This is done by connecting predictions for individual instances to a ...
  • The Long Term Implication of RTLB Support: 'Listening to the Voices of Student Experiences'

    Pillay, Poobie (The University of Waikato, 2009)
    This research inquiry is based on the narratives of six secondary school male students who tell of their experiences of having learning and/or behaviour difficulties in school.The research explores the perspectives of these ...
  • Long term nitrate removal in a denitrification wall

    Long, Lauren M. (University of Waikato, 2011)
    Nitrogen (N) inputs to groundwater are one of the most widespread environmental problems globally. However, as N is important for crop production to support the current global population, it is difficult to limit N input ...
  • The long-run impact of New Zealand’s structural reform on local communities

    Stillman, Steven; Velamuri, Malathi; Aitken, Andrew (Elsevier, 2010)
    New Zealand underwent a period of comprehensive market-oriented economic reforms from 1984 to 1993. In this paper, we use data from the 1986, 1991, 1996 and 2001 New Zealand census to examine the long-run impact that these ...
  • Long-run pass-through from the exchange rate to import prices in African countries

    Holmes, Mark J. (Chung-Ang University, 2006)
    This paper investigates the extent of pass-through from the nominal exchange rate to import prices for a sample of nineteen African countries. The methodology is based on panel data cointegration testing. Using annual data ...
  • Long-term changes in streamflow following logging in western Oregon and associated fisheries implications

    Hicks, Brendan J.; Beschta, Robert L.; Harr, R. Dennis (Wiley-Blackwell, 1991)
    The long-term effect of logging on low summer streamflow was investigated with a data set of 36 years. Hydrologic records were analyzed for the period 1953 and 1988 from Watershed (WS) 1 (clear-cut logged and burned), WS ...
  • The long-term effect of marketing strategy on brand sales.

    Ataman, M. Berk; van Heerde, Harald J.; Mela, Carl F. (American Marketing Association, 2010)
    Few studies have considered the relative role of the integrated marketing mix (advertising, price promotion, product, and place) on the long-term performance of mature brands, instead emphasizing advertising and price ...
  • The long-term effects of feeding honey compared with sucrose and a sugar-free diet on weight gain, lipid profiles, and DEXA measurements in rats

    Chepulis, Lynne Merran; Starkey, Nicola J. (Wiley-Blackwell Publishing LTD, 2008)
    To determine whether honey and sucrose would have differential effects on weight gain during long-term feeding, 45 2-mo-old Sprague Dawley rats were fed a powdered diet that was either sugar-free or contained 7.9% sucrose ...
  • Long-term evolution of an Oligocene/Miocene maar lake from Otago, New Zealand

    Fox, Beth R.S.; Wartho, J.; Wilson, Gary S.; Lee, Daphne E.; Nelson, F.E.; Kaulfuss, U. (American Geophysical Union, 2015-01-01)
    Foulden Maar is a highly resolved maar lake deposit from the South Island of New Zealand comprising laminated diatomite punctuated by numerous diatomaceous turbidites. Basaltic clasts found in debris flow deposits near the ...
  • Long-term hip function in slipped capital femoral epiphysis treated with in situ pinning.

    Bond, Elizabeth C.; Phillips, Paul; Larsen, Peter D.; Hunt, Lynette Anne; Willoughby, Richard (2019)
    BACKGROUND:: In recent years, there has been a trend toward more aggressive management of slipped capital femoral epiphysis (SCFE) with acute anatomical realignment; however, the literature is unclear with regard to the ...
  • Long-term isolation and recent range expansion from glacial refugia revealed for the endemic springtail Gomphiocephalus hodgsoni from Victoria Land, Antarctica

    Stevens, Mark I.; Hogg, Ian D. (Blackwell Publishing Ltd, 2010)
    We examined the phylogeography of the endemic Antarctic collembolan Gomphiocephalus hodgsoni using allozymes and mitochondrial DNA (mtDNA; COI) to determine if potentially limited dispersal and long-term habitat fragmentation ...
  • Long-term nitrate removal in a denitrification wall

    Long, Lauren M.; Schipper, Louis A.; Bruesewitz, Denise A. (Elsevier, 2011)
    Denitrification walls are a low-cost approach for removing excess nitrate (NO₃⁻) from shallow groundwater. Denitrification walls need to be maintenance-free for a number of years to remain cost effective, but little is ...
  • Long-term travellers return, 'home'?

    Pocock, Naomi Jane; McIntosh, Alison J. (Elsevier Masson, 2013)
    Underpinned by philosophical hermeneutics, this paper explores concepts of 'home' for returned long-term travellers, taking an iterative approach of multiple interviews, video diaries and interviews with long-term travellers' ...
  • Long-term variations in fish assemblage, macrophyte community, and water quality in Lake Rotoroa (Hamilton Lake)

    Law, Duncan Robert Mckenzie (University of Waikato, 2012)
    Lake Rotoroa (37º48’S, 175º16’E) is a small, shallow, polymictic lake located on the western side of Hamilton City. The lake covers an area of 0.54 km2 with a mean depth of 2.4 m, catchment and riparian margins have been ...
  • Long-term, high frequency in situ measurements of intertidal mussel bed temperatures using biomimetic sensors

    Helmuth, Brian; Choi, Francis; Matzelle, Allison; Torossian, Jessica L.; Morello, Scott L.; Mislan, K.A.S.; Yamane, Lauren; Strickland, Denise; Szathmary, P. Lauren; Gilman, Sarah E.; Tockstein, Alyson; Hilbish, Thomas J.; Burrows, Michael T.; Power, Anne Marie; Gosling, Elizabeth; Mieszkowska, Nova; Harley, Christopher D.G.; Nishizaki, Michael; Carrington, Emily; Menge, Bruce; Petes, Laura; Foley, Melissa M.; Johnson, Angela; Poole, Megan; Noble, Mae M.; Richmond, Erin L.; Robart, Matt; Robinson, Jonathan; Sapp, Jerod; Sones, Jackie; Broitman, Bernardo R.; Denny, Mark W.; Mach, Katharine J.; Miller, Luke P.; O’Driscoll, Michael P.; Ross, Philip M.; Hofmann, Gretchen E.; Zippay, Mackenzie; Blanchette, Carol; Macfarlan, J.A.; Carpizo-Ituarte, Eugenio; Ruttenberg, Benjamin; Peña Mejía, Carlos E.; McQuaid, Christopher D.; Lathlean, Justin; Monaco, Cristián J.; Nicastro, Katy R.; Zardi, Gerardo (Springer Nature, 2016)
    At a proximal level, the physiological impacts of global climate change on ectothermic organisms are manifest as changes in body temperatures. Especially for plants and animals exposed to direct solar radiation, body ...