Computation of locally free class groups

We show that the locally free class group of an order in a semisimple algebra over a number field is isomorphic to a certain ray class group. This description is then used to present an algorithm that computes the locally free class group. The algorithm is implemented in MAGMA for the case where the algebra is a group ring over the rational numbers.

On the Computation of Fourier Coefficients

In this paper we derive an identity for the Fourier coefficients of a differentiable function f(t) in terms of the Fourier coefficients of its derivative f'(t). This yields an algorithm to compute the Fourier coefficients of f(t) whenever the Fourier coefficients of f'(t) are known, and vice versa. Furthermore this generates an iterative scheme for N times differentiable functions complementing the direct computation of Fourier coefficients via the defining integrals which can be also treated automatically in certain cases.

Computation of relativistic symmetry orbitals for finite double point groups

A program is presented for the construction of relativistic symmetry-adapted molecular basis functions. It is applicable to 36 finite double point groups. The algorithm, based on the projection operator method, automatically generates linearly independent basis sets. Time reversal invariance is included in the program, leading to additional selection rules in the non-relativistic limit.

A contextual-logic extension of TOSCANA

The aim of this paper is to indicate how TOSCANA may be extended to allow graphical representations not only of concept lattices but also of concept graphs in the sense of Contextual Logic. The contextual-logic extension of TOSCANA requires the logical scaling of conceptual and relatioal scales for which we propose the Peircean Algebraic Logic as reconstructed by R. W. Burch. As graphical representations we recommend, besides labelled line diagrams of concept lattices and Sowa's diagrams of conceptual graphs, particular information maps for utilizing background knowledge as much as possible. Our considerations are illustrated by a small information system about the domestic flights in Austria.

Fast computation of concept lattices using data mining techniques

We present a new algorithm called TITANIC for computing concept lattices. It is based on data mining techniques for computing frequent itemsets. The algorithm is experimentally evaluated and compared with B. Ganter's Next-Closure algorithm.

Algorithmic Computation of Formal Fourier Series

KAAD (Katholischer Akademischer Ausländer-Dienst)

Semi-algebraic methods for symbolic analysis of complex reaction networks

The identification of chemical mechanism that can exhibit oscillatory phenomena in reaction networks are currently of intense interest. In particular, the parametric question of the existence of Hopf bifurcations has gained increasing popularity due to its relation to the oscillatory behavior around the fixed points. However, the detection of oscillations in high-dimensional systems and systems with constraints by the available symbolic methods has proven to be difficult. The development of new efficient methods are therefore required to tackle the complexity caused by the high-dimensionality and non-linearity of these systems. In this thesis, we mainly present efficient algorithmic methods to detect Hopf bifurcation fixed points in (bio)-chemical reaction networks with symbolic rate constants, thereby yielding information about their oscillatory behavior of the networks. The methods use the representations of the systems on convex coordinates that arise from stoichiometric network analysis. One of the methods called HoCoQ reduces the problem of determining the existence of Hopf bifurcation fixed points to a first-order formula over the ordered field of the reals that can then be solved using computational-logic packages. The second method called HoCaT uses ideas from tropical geometry to formulate a more efficient method that is incomplete in theory but worked very well for the attempted high-dimensional models involving more than 20 chemical species. The instability of reaction networks may lead to the oscillatory behaviour. Therefore, we investigate some criterions for their stability using convex coordinates and quantifier elimination techniques. We also study Muldowney's extension of the classical Bendixson-Dulac criterion for excluding periodic orbits to higher dimensions for polynomial vector fields and we discuss the use of simple conservation constraints and the use of parametric constraints for describing simple convex polytopes on which periodic orbits can be excluded by Muldowney's criteria. All developed algorithms have been integrated into a common software framework called PoCaB (platform to explore bio- chemical reaction networks by algebraic methods) allowing for automated computation workflows from the problem descriptions. PoCaB also contains a database for the algebraic entities computed from the models of chemical reaction networks.

Bud development, flowering and fruit set of Moringa oleifera Lam. (Horseradish Tree) as affected by various irrigation levels

Moringa oleifera is becoming increasingly popular as an industrial crop due to its multitude of useful attributes as water purifier, nutritional supplement and biofuel feedstock. Given its tolerance to sub-optimal growing conditions, most of the current and anticipated cultivation areas are in medium to low rainfall areas. This study aimed to assess the effect of various irrigation levels on floral initiation, flowering and fruit set. Three treatments namely, a 900 mm (900IT), 600 mm (600IT) and 300 mm (300IT) per annum irrigation treatment were administered through drip irrigation, simulating three total annual rainfall amounts. Individual inflorescences from each treatment were tagged during floral initiation and monitored throughout until fruit set. Flower bud initiation was highest at the 300IT and lowest at the 900IT for two consecutive growing seasons. Fruit set on the other hand, decreased with the decrease in irrigation treatment. Floral abortion, reduced pollen viability as well as moisture stress in the style were contributing factors to the reduction in fruiting/yield observed at the 300IT. Moderate water stress prior to floral initiation could stimulate flower initiation, however, this should be followed by sufficient irrigation to ensure good pollination, fruit set and yield.

Alley cropping of willows and grassland for bioenergy provision: productivity, tree-crop interactions and energy balance

The demand for biomass for bioenergy has increased rapidly in industrialized countries in the recent years. Biogenic energy carriers are known to reduce CO2 emissions. However, the resource-inefficient production of biomass often caused negative impacts on the environment, e.g. biodiversity losses, nitrate leaching, and erosion. The detrimental effects evolved mainly from annual crops. Therefore, the aim of modern bioenergy cropping systems is to combine yield stability and environmental benefits by the establishment of mixed-cropping systems. A particular emphasis is on perennial crops which are perceived as environmentally superior to annual crops. Agroforestry systems represent such mixed perennial cropping systems and consist of a mix of trees and arable crops or grassland within the same area of land. Agroforestry practices vary across the globe and alley cropping is a type of agroforestry system which is well adapted to the temperate zone, with a high degree of mechanization. Trees are planted in rows and crops are planted in the alleyways, which facilitates their management by machinery. This study was conducted to examine a young alley cropping system of willows and two grassland mixtures for bioenergy provision under temperate climate conditions. The first part of the thesis identified possible competition effects between willows and the two grassland mixtures. Since light seemed to be the factor most affecting the yield performance of the understory in temperate agroforestry systems, a biennial in situ artificial shade experiment was established over a separate clover-grass stand to quantify the effects of shade. Data to possible below- and aboveground interactions among willows and the two grassland mixtures and their effects on productivity, sward composition, and quality were monitored along a tree-grassland interface within the alleys. In the second part, productivity of the alley cropping system was examined on a triennial time frame and compared to separate grassland and willow stands as controls. Three different conversion technologies (combustion of hay, integrated generation of solid fuel and biogas from biomass, whole crop digestion) were applied to grassland biomass as feedstock and analyzed for its energetic potential. The energetic potential of willow wood chips was calculated by applying combustion as conversion technique. Net energy balances of separate grassland stands, agroforestry and pure willow stands evaluated their energy efficiency. Results of the biennial artificial shade experiment showed that severe shade (80 % light reduction) halved grassland productivity on average compared to a non-shaded control. White clover as heliophilous plant responded sensitively to limited radiation and its dry matter contribution in the sward decreased with increasing shade, whereas non-leguminous forbs (mainly segetal species) benefited. Changes in nutritive quality could not be confirmed by this experiment. Through the study on interactions within the alleys of the young agroforestry system it was possible to outline changes of incident light, soil temperature and sward composition of clover-grass along the tree-grassland interface. Nearly no effects of trees on precipitation, soil moisture and understory productivity occurred along the interface during the biennial experiment. Considering the results of the productivity and the net energy yield alley cropping system had lower than pure grassland stands, irrespective of the grassland seed mixture or fertilization, but was higher than that for pure willow stands. The comparison of three different energetic conversion techniques for the grassland biomass showed highest net energy yields for hay combustion, whereas the integrated generation of solid fuel and biogas from biomass (IFBB) and whole crop digestion performed similarly. However, due to the low fuel quality of hay, its direct combustion cannot be recommended as a viable conversion technique, whereas IFBB fuels were of a similar quality to wood chip from willow.