Vorratsschutz im Ökologischen Landbau: Entscheidungshilfe durch das Computerprogramm VOEL 1.0

VOEL 1.0 is a decision-support software for the protection of organic stored-products that was developed for store-keepers, farmers and pest control specialists in Ger-many. Most of the information given applies to all Central European countries, except for some legislative aspects concerning registration, which are specific for Germany. The program contains a decision-support module for monitoring and control of stored product pest, an encyclopedia on pests and beneficial organisms, a key for the deter-mination of these organisms, information on registered products for stored product protection in Germany, a data bank where literature concerning associations of pests and beneficials can be retrieved, a list of references on stored product protection in general and several original papers on stored-product protection

Rapid methods of landslide hazard mapping : Fiji case study

A landslide hazard probability map can help planners (1) prepare for, and/or mitigate against, the effects of landsliding on communities and infrastructure, and (2) avoid or minimise the risks associated with new developments. The aims of the project were to establish, by means of studies in a few test areas, a generic method by which remote sensing and data analysis using a geographic information system (GIS) could provide a provisional landslide hazard zonation map. The provision of basic hazard information is an underpinning theme of the UN’s International Decade for Natural Disaster Reduction (IDNDR). It is an essential requirement for disaster preparedness and mitigation planning. This report forms part of BGS project 92/7 (R5554) ‘Rapid assessment of landslip hazards’ Carried out under the ODA/BGS Technology Development and Research Programme as part of the British Government’s provision of aid to developing countries. It provides a detailed technical account of work undertaken in a test area in Viti Levu in collaboration with Fiji Mineral Resources Department. The study represents a demonstration of a methodology that is applicable to many developing countries. The underlying principle is that relationships between past landsliding events, interpreted from remote sensing, and factors such as the geology, relief, soils etc provide the basis for modelling where future landslides are most likely to occur. This is achieved using a GIS by ‘weighting’ each class of each variable (e.g. each lithology ‘class’ of the variable ‘geology’) according to the proportion of landslides occurring within it compared to the regional average. Combinations of variables, produced by summing the weights in individual classes, provide ‘models’ of landslide probability. The approach is empirical but has the advantage of potentially being able to provide regional scale hazard maps over large areas quickly and cheaply; this is unlikely to be achieved using conventional ground-based geotechnical methods. In Fiji, landslides are usually triggered by intense rain storms commonly associated with tropical cyclones. However, the regional distribution of landslides has not been mapped nor is it known how far geology and landscape influence the location and severity of landsliding events. The report discusses the remote sensing and GIS methodology, and describes the results of the pilot study over an area of 713 km2 in south east Viti Levu. The landslide model uses geology, elevation, slope angle, slope aspect, soil type, and forest cover as inputs. The resulting provisional landslide hazard zonation map, divided into high, medium and low zones of landslide hazard probability, suggests that whilst rainfall is the immediate cause, others controls do exert a significant influence. It is recommended that consideration be given in Fiji to implementing the techniques as part of a national strategic plan for landslide hazard zonation mapping

Fixed-point elimination in the intuitionistic propositional calculus

It is a consequence of existing literature that least and greatest fixed-points of monotone polynomials on Heyting algebras-that is, the algebraic models of the Intuitionistic Propositional Calculus-always exist, even when these algebras are not complete as lattices. The reason is that these extremal fixed-points are definable by formulas of the IPC. Consequently, the $\mu$-calculus based on intuitionistic logic is trivial, every $\mu$-formula being equivalent to a fixed-point free formula. We give in this paper an axiomatization of least and greatest fixed-points of formulas, and an algorithm to compute a fixed-point free formula equivalent to a given $\mu$-formula. The axiomatization of the greatest fixed-point is simple. The axiomatization of the least fixed-point is more complex, in particular every monotone formula converges to its least fixed-point by Kleene's iteration in a finite number of steps, but there is no uniform upper bound on the number of iterations. We extract, out of the algorithm, upper bounds for such n, depending on the size of the formula. For some formulas, we show that these upper bounds are polynomial and optimal

Remarkably High Stability of Late Actinide Dioxide Cations: Extending Chemistry to Pentavalent Berkelium and Californium.

Actinyl chemistry is extended beyond Cm to BkO2+ and CfO2+ through transfer of an O atom from NO2 to BkO+ or CfO+ , establishing a surprisingly high lower limit of 73 kcal mol-1 for the dissociation energies, D[O-(BkO+ )] and D[O-(CfO+ )]. CCSD(T) computations are in accord with the observed reactions, and characterize the newly observed dioxide ions as linear pentavalent actinyls; these being the first Bk and Cf species with oxidation states above IV. Computations of actinide dioxide cations AnO2+ for An=Pa to Lr reveal an unexpected minimum for D[O-(CmO+ )]. For CmO2+ , and AnO2+ beyond EsO2+ , the most stable structure has side-on bonded η2 -(O2 ), as AnIII peroxides for An=Cm and Lr, and as AnII superoxides for An=Fm, Md, and No. It is predicted that the most stable structure of EsO2+ is linear [O=EsV =O]+ , einsteinyl, and that FmO2+ and MdO2+ , like CmO2+ , also have actinyl(V) structures as local energy minima. The results expand actinide oxidation state chemistry, the realm of the distinctive actinyl moiety, and the non-periodic character towards the end of the periodic table