745 research outputs found

    Winter frost resistance of grapevine varieties belonging to different ecological and geographical groups

    Get PDF
    The influence of frost temperatures on survival of the buds was investigated in situ during 3 winters. The behavior of 375 grapevine varieties belonging to different ecological-geographical groups was studied at 3 locations. The rate of buds killed by frost ranged from 5.4 to 100%. The varieties of the group convar. occiclentalis exhibited the greatest frost resistance of buds during 3 winters with very low temperatures. In this group the percentage of killed buds was significantly lower than in the group convar. pontica and much less than in the group convar. orientalis

    Computational interpretation of classical logic with explicit structural rules

    Get PDF
    We present a calculus providing a Curry-Howard correspondence to classical logic represented in the sequent calculus with explicit structural rules, namely weakening and contraction. These structural rules introduce explicit erasure and duplication of terms, respectively. We present a type system for which we prove the type-preservation under reduction. A mutual relation with classical calculus featuring implicit structural rules has been studied in detail. From this analysis we derive strong normalisation property

    A new convexity measure for polygons

    Full text link

    Notes on shape orientation where the standard method does not work

    Get PDF
    Copyright © 2006 Elsevier. NOTICE: this is the author’s version of a work that was accepted for publication in Pattern Recognition . Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Pattern Recognition, Vol. 39 Issue 5 (2006), DOI: 10.1016/j.patcog.2005.11.010Notes: This paper introduces a new method for shape orientation. This method, which uses Nth-order centralised moments (N>2), can be applied to cases, such as many-fold symmetric shapes, for which the standard method does not work. The paper proves several desirable properties of shape orientation defined in this way, and also corrects the previous approach where the central moments were treated equally independently of N. It shows that the situation is essentially different depending on whether N is an even or odd number. This corrects the previous work of Tsai and Chou (Pattern Recognition, vol. 24, pp.95-104, 1991), which up to then represented the state of the art in the field.In this paper we consider some questions related to the orientation of shapes with particular attention to the situation where the standard method does not work. There are irregular and non-symmetric shapes whose orientation cannot be computed in a standard way, but in the literature the most studied situations are those where the shape under consideration has more than two axes of symmetry or where it is an n-fold rotationally symmetric shape with n>2.n>2. The basic reference for our work is [W.H. Tsai, S.L. Chou, Detection of generalized principal in rotationally symmetric shapes, Pattern Recognition 24 (1991) 95–104]. We give a very simple proof of the main result from [W.H. Tsai, S.L. Chou, Detection of generalized principal in rotationally symmetric shapes, Pattern Recognition 24 (1991) 95–104] and suggest a modification of the proposal on how the principal axes of rotationally symmetric shapes should be computed. We show some desirable property in defining the orientation of such shapes if the modified approach is applied. Also, we give some comments on the problems that arise when computing shape elongation
    • …
    corecore