This research project was one of a number concerned with mechanized information retrieval carried out at INSPEC and supported by grants from, originally, the Department of Education and Science's Office for Scientific and Technical Information (OSTI) and, later, the British Library Research and Development Department (BLRDD). The first project, in the period 1967-69, had investigated the perfor...

Automated reasoning of inductive theorems is considered important in program verification. To verify inductive theorems automatically, several implicit induction methods like the inductionless induction and the rewriting induction methods have been proposed. In studying inductive theorems on higher-order rewritings, we found that the class of the theorems shown by known implicit induction metho...

The nineteenth century witnessed far-reaching changes in the nature and organization of industrial production. Traditional non-mechanized establishments artisan shops were displaced by mechanized water or steam-driven plants and extensive division of labor increased the average size of firms (Chandler 1977; Sokoloff 1984). In these new mills and "factories", the centralized nature of motive pow...

Concurrent higher-order imperative programming languages with continuations are very flexible and allow for the implementation of sophisticated programming patterns. For instance, researchers and practitioners have argued that the implementation of web servers can be simplified by using a programming pattern based on continuations. This programming pattern can, in particular, help simplify keep...

Peter Kasurak. Canada’s Mechanized Infantry: The Evolution of a Combat Arm, 1920-2012. 251 pp., plus figs., bibl., index. Vancouver: UBC Press, 2020. $32.95 (paperback). ISBN 978-0-7748-6273-8. Also available in e-book formats. https://www.ubcpress.ca/canadas-mechanized-infantry. Un article de la revue Scientia Canadensis (Photography: Science, Technology and Practice) diffusée par plateforme É...

Bulk tank milk from 28 dairy farms was sampled every second month for 2 yr to assess the effects of grassland management, production system and season on milk fatty acid (FA) composition, concentrations of fat-soluble vitamins, Se, and milk sensory quality. Grassland management varied in terms of time since establishment. Short-term grassland management (SG) was defined as establishment or rese...