Kanamori, A., Regressive partition relations, n-subtle cardinals, and Bore1 diagonalization, Annals of Pure and Applied Logic 52 (1991) 65-77. We consider natural strengthenings of H. Friedman’s Bore1 diagonahzation propositions and characterize their consistency strengths in terms of the n-subtle cardinals. After providing a systematic survey of regressive partition relations and their use in ...

Danny Dolev Concurrent time stamping is at the heart of solu tions to some of the most fundamental problems in distributed computing. Based on concurrent time-stamp-systems, elegant and simple solu tions to core problems such as fcf,-mutual exclusion, construction of a multi-reader-multi writer atomic register. probabilistic consensus,.. were developed. Unfortunmely, the only known implementati...

189 Copyright © 1998 Elsevier Science Ltd. All rights reserved. 0168-9525/98/$19.00 PII: S0168-9525(98)01455-3 Most genetic analyses assume that segregation is mendelian, that is, the two alleles of a heterozygous individual will be equally represented in the gametes. Indeed, unbiased segregation is central to our understanding of the evolutionary process, where natural selection is typically a...

Vineyard leaf area is a key determinant of grape characteristics and wine quality. As is frequently the case in agriculture, available ground-based leaf area measurements employed by growers are not well suited to larger area mapping. In this study, IKONOS high spatial resolution, multispectral satellite imagery was used to map leaf area throughout two commercial wine grape vineyards (approxima...

Biro, B. and I. Sain, Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics, Annals of Pure and Applied Logic 63 (1993) 201-225. We show that one can prove the partial correctness of more programs using Peano’s axioms for the time frames of three-sorted time models than using only Presburger’s axioms, that is it is useful to allow multiplication of tim...

BACKGROUND The Chilean Ministry of Health has combated iron deficiency through the delivery of fortified milk by the National Complementary Feeding Program (NCFP). OBJECTIVE To assess iron status and associations between biomarkers of iron status and serum C-reactive protein (CRP) in 218 beneficiaries of the NCFP aged 19 to 72 months in Santiago and Valparaiso, Chile. METHODS Blood was coll...

Simulation frameworks for Decision Support Systems (DSSs) at the whole-farm level have not adequately supported process level management and integration of complex farming systems. Development of the Great Plains Framework for Agricultural Resource Management (GPFARM) DSS for whole-farm management required a simulation package that could handle this complex system. Object-oriented (OO) techniqu...

The objective of this paper was to link a psychometric chart and Boolean algebra algorithms on deducing the procedural and logical issues of temperature–humidity environmental control for a grafted seedling acclimatization chamber. We developed a condition-sequence control circuit based on Boolean algebra algorithms to solve the complex logical problem existing in temperature–humidity environme...

We investigated the effects of activity, group size and sex composition on the cohesion of merino sheep (Ovis aries) groups. Mixed-sex (50% of each sex) and single-sex groups of 2, 4, 6 and 8 sheep were placed within 491-m arenas located in natural pastures and were video recorded during 6 daily hours. The behaviour, orientation and location of each sheep were then extracted from the films at 1...

Sustainable forest management requires new tools to analyze spatial and temporal forest dynamics and to examine those forest parameters that are related to sustainability. We built a prototype system for data analysis and decision-making at forest enterprise level by integrating a forest ecosystem model EFIMOD-PRO (long-term prediction of forest growth and soil development) with an interactive ...