Algebraic attacks on SOBER-t32 and SOBER-t16 without stuttering

This paper presents algebraic attacks on SOBER-t32 and SOBER-t16 without stuttering. For unstuttered SOBER-t32, two different attacks are implemented. In the first attack, we obtain multivariate equations of degree 10. Then, an algebraic attack is developed using a collection of output bits whose relation to the initial state of the LFSR can be described by low-degree equations. The resulting system of equations contains 2^69 equations and monomials, which can be solved using the Gaussian elimination with the complexity of 2^196.5. For the second attack, we build a multivariate equation of degree 14. We focus on the property of the equation that the monomials which are combined with output bit are linear. By applying the Berlekamp-Massey algorithm, we can obtain a system of linear equations and the initial states of the LFSR can be recovered. The complexity of attack is around O(2^100) with 2^92 keystream observations. The second algebraic attack is applicable to SOBER-t16 without stuttering. The attack takes around O(2^85) CPU clocks with 2^78 keystream observations.

On algebraic immunity and annihilators

Algebraic immunity AI(f) defined for a boolean function f measures the resistance of the function against algebraic attacks. Currently known algorithms for computing the optimal annihilator of f and AI(f) are inefficient. This work consists of two parts. In the first part, we extend the concept of algebraic immunity. In particular, we argue that a function f may be replaced by another boolean function f^c called the algebraic complement of f. This motivates us to examine AI(f ^c ). We define the extended algebraic immunity of f as AI *(f)= min {AI(f), AI(f^c )}. We prove that 0≤AI(f)–AI *(f)≤1. Since AI(f)–AI *(f)= 1 holds for a large number of cases, the difference between AI(f) and AI *(f) cannot be ignored in algebraic attacks. In the second part, we link boolean functions to hypergraphs so that we can apply known results in hypergraph theory to boolean functions. This not only allows us to find annihilators in a fast and simple way but also provides a good estimation of the upper bound on AI *(f).

An algebraic theory of functional and multivalued dependencies in relational databases

Computation of the dependency basis is the fundamental step in solving the membership problem for functional dependencies (FDs) and multivalued dependencies (MVDs) in relational database theory. We examine this problem from an algebraic perspective. We introduce the notion of the inference basis of a set M of MVDs and show that it contains the maximum information about the logical consequences of M. We propose the notion of a dependency-lattice and develop an algebraic characterization of inference basis using simple notions from lattice theory. We also establish several interesting properties of dependency-lattices related to the implication problem. Founded on our characterization, we synthesize efficient algorithms for (a): computing the inference basis of a given set M of MVDs; (b): computing the dependency basis of a given attribute set w.r.t. M; and (c): solving the membership problem for MVDs. We also show that our results naturally extend to incorporate FDs also in a way that enables the solution of the membership problem for both FDs and MVDs put together. We finally show that our algorithms are more efficient than existing ones, when used to solve what we term the ‘generalized membership problem’.

Algebraic and geometric intersection numbers for free groups

We show that the algebraic intersection number of Scott and Swarup for splittings of free groups Coincides With the geometric intersection number for the sphere complex of the connected sum of copies of S-2 x S-1. (C) 2009 Elsevier B.V. All rights reserved.

Algebraic characterization of decentralized fixed modes

An input-output, frequency-domain characterization of decentralized fixed modes is given in this paper, using only standard block-diagram algebra, well-known determinantal expansions and the Binet-Cauchy formula.

Algebraic design techniques for reliable stabilization

In this paper we study two problems in feedback stabilization. The first is the simultaneous stabilization problem, which can be stated as follows. Given plantsG_{0}, G_{1},..., G_{l}, does there exist a single compensatorCthat stabilizes all of them? The second is that of stabilization by a stable compensator, or more generally, a "least unstable" compensator. Given a plantG, we would like to know whether or not there exists a stable compensatorCthat stabilizesG; if not, what is the smallest number of right half-place poles (counted according to their McMillan degree) that any stabilizing compensator must have? We show that the two problems are equivalent in the following sense. The problem of simultaneously stabilizingl + 1plants can be reduced to the problem of simultaneously stabilizinglplants using a stable compensator, which in turn can be stated as the following purely algebraic problem. Given2lmatricesA_{1}, ..., A_{l}, B_{1}, ..., B_{l}, whereA_{i}, B_{i}are right-coprime for alli, does there exist a matrixMsuch thatA_{i} + MB_{i}, is unimodular for alli?Conversely, the problem of simultaneously stabilizinglplants using a stable compensator can be formulated as one of simultaneously stabilizingl + 1plants. The problem of determining whether or not there exists anMsuch thatA + BMis unimodular, given a right-coprime pair (A, B), turns out to be a special case of a question concerning a matrix division algorithm in a proper Euclidean domain. We give an answer to this question, and we believe this result might be of some independent interest. We show that, given twon times mplantsG_{0} and G_{1}we can generically stabilize them simultaneously provided eithernormis greater than one. In contrast, simultaneous stabilizability, of two single-input-single-output plants, g0and g1, is not generic.

Concentrations of constitutive alk(en)ylresorcinols in peel of commercial mango varieties and resistance to postharvest anthracnose

Mature green mango fruits of commercially important varieties were screened to investigate the levels of constitutive antifungal compounds in peel and to assess anthracnose disease after inoculation with Colletotrichum gloeosporioides. High pressure liquid chromatography was used to quantify the levels of 5-n-heptadecenylresorcinol and 5-n-pentadecylresorcinol in the peel extracts. The fruit peel of the varieties ‘Kensington Pride’ and ‘Keitt’ were observed to have the highest levels of both 5-n-heptadecenylresorcinol (107.3-123.7 and 49.9-61.4 μg/g FW, respectively) and 5-n-pentadecylresorcinol (6.32-7.99 and 3.30-6.05 μg/g FW, respectively), and the fruit of the two varieties were found to have some resistance to postharvest anthracnose. The varieties ‘Kent’, ‘R2E2’, ‘Nam Doc Mai’, ‘Calypso’, and ‘Honey Gold’ contained much lower concentrations of resorcinols in their peel and three of these varieties were found to be more susceptible to anthracnose. Concentrations of 5-nheptadecenylresorcinol were significantly lower at the ‘sprung’ and ‘eating ripe’ stages of ripening compared to levels at harvest. Concentrations of 5-n-pentadecylresorcinol did not differ significantly across the three stages of ripening. The levels of these two resorcinols were found to be strongly inter-correlated (P < 0.001, r2 = 0.71), with concentrations of 5-nheptadecenylresorcinol being an average 18 times higher than those of 5-npentadecylresorcinol. At the ‘eating ripe’ stage, significant relationships were observed between the concentrations of each type of alk(en)ylresorcinol and anthracnose lesion areas following postharvest inoculation, P<0.001, r2= 0.69 for 5-n pentadecylresorcinol, and P<0.001, r2= 0.44 for 5-n-heptadecenylresorcinol.

Trialing new cut flower varieties

Field trial of new cut flower, floriculture, foliage varieties.

Evaluation of APFIP (apple) varieties

Evaluation of APFIP (apple) varieties.

ACIAR Improving Postrainy Sorghum Varieties Grain and Fodder in India

Sorghum grown in India in the post-rainy season (Rabi) relies on residual soil moisture, and the crop is commonly exposed to terminal drought stress. But there is a ready market for its high-quality grain and stover (used as fodder on dairy farms). Steps to improve productivity while maintaining quality offer an attractive opportunity for sorghum farmers to improve their incomes. Genetically improving the efficiency of using stored soil moisture is a prime target to maximise grain/stover production and quality of Rabi sorghum. This project aims to achieve this through the application of DNA sequences known as quantitative trait loci (QTLs). The project scientists will introduce marker-assisted introgression of stay-green QTLs into sorghum lines, enhancing both the quality and the quantity of grain/stover of postrainy sorghum. They will also use modelling to identify the key physiological traits involved in a higher, more stable yield across water-limited environments of India and Australia, and the key stay-green QTLs contributing to these traits. The publicly available QTL isolines lines developed in this project will be the basis of new varieties to be bred in a subsequent phase.

Delivering superior forage oat varieties for sub-tropical Australia

This full application seeks ongoing funding for the Agri-Science Queensland's forage oat breeding program through the Meat and Livestock Australia Partners in Innovation program with Heritage Seeds as the Donor Company and the commercial collaborator. The focus of the breeding program will shift to the use of minor genes that confer partial resistance or adult plant resistance to leaf rust. Accumulation of several minor genes in a single variety should produce a high level of effective field resistance, and better durability of resistance, with less likelihood of a mutational change in the pathogen.

Two varieties of the invasive liana, cat’s claw creeper, Macfadyena unguis-cati (Bignoniaceae) in Queensland, Australia

The invasive liana cat’s claw creeper, Macfadyena unguis-cati, native to tropical Central and South America, is a major environmental weed in Queensland and New South Wales (NSW). Two morphologically distinct cat’s claw creeper varieties occur in Australia, a ‘short-pod’ variety that is widespread through Queensland and NSW and a ‘long-pod’ variety restricted to a few sites in southeast Queensland. In this study we report the differences in the above-ground morphological, phenological and reproductive traits between the two varieties. The ‘long-pod’ variety has significantly larger leaves, larger pods, and larger number of seeds per pod than the ‘short-pod’ variety. The ‘short-pod’ variety has a slightly wider pods, and thicker leaves than the ‘long-pod’ variety. Both varieties have a yellow trumpet shaped flower, but the flower of the ‘long-pod’ variety has a deeper hue of yellow than the ‘short-pod’ flower. The fruits of the ‘short-pod’ variety mature in late summer to early autumn while the fruits of ‘long-pod’ variety mature in late winter to early spring. The more widespread nature of the ‘short-pod’ variety could potentially be due to a preference for this variety as an ornamental plant, due to its more presentable foliage characteristics and shorter pods, in contrast to the ‘long-pod’ variety.

Comparative growth and biomass allocation of two varieties of cat's claw creeper, Dolichandra unguis-cati (Bignoniaceae) in Australia

Introduced as an ornamental vine, cat's claw creeper Dolichandra unguis-cati (syn. Macfadyena unguis-cati) has invaded coastal and subcoastal areas of subtropical eastern Australia. Two varieties have been indentified, one of which ('short-pod') is found throughout south-eastern Australia, while the other ('long-pod') appears to be restricted to several sites in south-eastern Queensland. We compared the growth and biomass allocation patterns of the two varieties in the field over a 22-month period to determine if a higher growth rate and/or more efficient allocation of biomass may contribute to this disparity in distribution. The long-pod variety produced greater aboveground and total biomass than the short-pod variety in both riparian and non-riparian zones. Belowground the two varieties produced a similar number of tubers and overall biomass, though the long-pod variety allocated a smaller portion of its carbon belowground. High growth rates and greater biomass allocation aboveground are characteristic of invasive species, allowing them to outcompete and crowd out existing vegetation. There was no significant site by variety interaction, an indication of consistency in variety performance across riparian and non-riparian sites. Results from our study suggest that differences in growth and biomass allocations are unlikely to have contributed to the disparity in distribution of the two varieties. Despite currently occupying a relatively small range, the long-pod variety may be a more adept invader than the short-pod variety, and could become more prevalent in the future. © 2012 CSIRO.