A maximum density rule for surfaces of quasicrystals

Motivated by Bravais' rule, of wide validity for crystals, we introduce a maximum density rule for the surfaces of quasicrystals and use it to determine the 5-, 2- and 3-fold bulk terminations in a geometric icosahedral model of i-AlPdMn and i-AlCuFe that represent surfaces.

Compositional verification for object-Z

This paper presents a framework for compositional verification of Object-Z specifications. Its key feature is a proof rule based on decomposition of hierarchical Object-Z models. For each component in the hierarchy local properties are proven in a single proof step. However, we do not consider components in isolation. Instead, components are envisaged in the context of the referencing super-component and proof steps involve assumptions on properties of the sub-components. The framework is defined for Linear Temporal Logic (LTL)

A fully Bayesian approach to inference for Coxian phase-type distributions with covariate dependent mean

Phase-type distributions represent the time to absorption for a finite state Markov chain in continuous time, generalising the exponential distribution and providing a flexible and useful modelling tool. We present a new reversible jump Markov chain Monte Carlo scheme for performing a fully Bayesian analysis of the popular Coxian subclass of phase-type models; the convenient Coxian representation involves fewer parameters than a more general phase-type model. The key novelty of our approach is that we model covariate dependence in the mean whilst using the Coxian phase-type model as a very general residual distribution. Such incorporation of covariates into the model has not previously been attempted in the Bayesian literature. A further novelty is that we also propose a reversible jump scheme for investigating structural changes to the model brought about by the introduction of Erlang phases. Our approach addresses more questions of inference than previous Bayesian treatments of this model and is automatic in nature. We analyse an example dataset comprising lengths of hospital stays of a sample of patients collected from two Australian hospitals to produce a model for a patient's expected length of stay which incorporates the effects of several covariates. This leads to interesting conclusions about what contributes to length of hospital stay with implications for hospital planning. We compare our results with an alternative classical analysis of these data.

In search of Chinese jurisprudence : does Chinese legal tradition have a place in China's future?

Questions the extent to which Westerrn commercial laws adopted by China, particularly in its Company Laws of 1993 and 1995, are comptaible with China's different cultural and legal traditions. Suggests that Western concepts of the rule of law and of corporate governance are alient to China. Outlines the development of the Western legal tradition. based on Judaeo-Christian beliefs and legal rationalism. Compares this with the deveopment of the Chinese legal tradtion, based on Confucianism and legalism. Proposes ways in which the two traditions could be reconciled more effectively.

Multivariate Markov Process Models for the transmission of methicillin-resistant Staphylococcus Aureus in a hospital ward

Methicillin-resistant Staphylococcus Aureus (MRSA) is a pathogen that continues to be of major concern in hospitals. We develop models and computational schemes based on observed weekly incidence data to estimate MRSA transmission parameters. We extend the deterministic model of McBryde, Pettitt, and McElwain (2007, Journal of Theoretical Biology 245, 470–481) involving an underlying population of MRSA colonized patients and health-care workers that describes, among other processes, transmission between uncolonized patients and colonized health-care workers and vice versa. We develop new bivariate and trivariate Markov models to include incidence so that estimated transmission rates can be based directly on new colonizations rather than indirectly on prevalence. Imperfect sensitivity of pathogen detection is modeled using a hidden Markov process. The advantages of our approach include (i) a discrete valued assumption for the number of colonized health-care workers, (ii) two transmission parameters can be incorporated into the likelihood, (iii) the likelihood depends on the number of new cases to improve precision of inference, (iv) individual patient records are not required, and (v) the possibility of imperfect detection of colonization is incorporated. We compare our approach with that used by McBryde et al. (2007) based on an approximation that eliminates the health-care workers from the model, uses Markov chain Monte Carlo and individual patient data. We apply these models to MRSA colonization data collected in a small intensive care unit at the Princess Alexandra Hospital, Brisbane, Australia.

Molecular evolutionary dynamics of Ross River virus and implications for vaccine efficacy

Ross River virus (RRV) is a mosquito-borne member of the genus Alphavirus that causes epidemic polyarthritis in humans, costing the Australian health system at least US$10 million annually. Recent progress in RRV vaccine development requires accurate assessment of RRV genetic diversity and evolution, particularly as they may affect the utility of future vaccination. In this study, we provide novel RRV genome sequences and investigate the evolutionary dynamics of RRV from time-structured E2 gene datasets. Our analysis indicates that, although RRV evolves at a similar rate to other alphaviruses (mean evolutionary rate of approx. 8x10(-4) nucleotide substitutions per site year(-1)), the relative genetic diversity of RRV has been continuously low through time, possibly as a result of purifying selection imposed by replication in a wide range of natural host and vector species. Together, these findings suggest that vaccination against RRV is unlikely to result in the rapid antigenic evolution that could compromise the future efficacy of current RRV vaccines.

The international regulation of sustainable forest management : doctrinal concepts, governing institutions and implementation

The overarching objective of the research was to identify the existence and nature of international legal principles governing sustainable forest use and management. This research intended to uncover a set of forest legal considerations that are relevant for consideration across the globe. The purpose behind this, is to create a theoretical base of international forest law literature which be drawn upon to inform future international forestry research. This research will be of relevance to those undertaking examination of a particular forest issue or those focusing on forests in a particular region. The thesis explains the underlying legal issues in forest regulation, the dominant international regulatory approaches and makes suggestions as to how international and national forest policy could be improved.

The legitimacy of graduated response schemes in copyright law

In an attempt to curb online copyright infringement, copyright owners are increasingly seeking to enlist the assistance of Internet Service Providers (‘ISPs’) to enforce copyright and impose sanctions on their users.1 Commonly termed ‘graduated response’ schemes, these measures generally require that the ISP take some action against users suspected of infringing copyright, ranging from issuing warnings, to collating allegations made against subscribers and reporting to copyright owners, to suspension and eventual termination of service.

Non-compositional concepts and quantum tests

Compositionality is a frequently made assumption in linguistics, and yet many human subjects reveal highly non-compositional word associations when confronted with novel concept combinations. This article will show how a non-compositional account of concept combinations can be supplied by modelling them as interacting quantum systems.

A study of ionic liquids for dissolution of sugarcane bagasse

Over the last decade, Ionic Liquids (ILs) have been used for the dissolution and derivatization of isolated cellulose. This ability of ILs is now sought for their application in the selective dissolution of cellulose from lignocellulosic biomass, for the manufacture of cellulosic ethanol. However, there are significant knowledge gaps in the understanding of the chemistry of the interaction of biomass and ILs. While imidazolium ILs have been used successfully to dissolve both isolated crystalline cellulose and components of lignocellulosic biomass, phosphonium ILs have not been sufficiently explored for the use in dissolution of lignocellulosic biomass. This thesis reports on the study of the chemistry of sugarcane bagasse with phosphonium ILs. Qualitative and quantitative measurements of biomass components dissolved in the phosphonium ionic liquids (ILs), trihexyltetradecylphosphonium chloride ([P66614]Cl) and tributylmethylphosphonium methylsulphate ([P4441]MeSO4) are obtained using attenuated total reflectance-Fourier Transform Infra Red (FTIR). Absorption bands related to cellulose, hemicelluloses and lignin dissolution monitored in situ in biomass-IL mixtures indicate lignin dissolution in both ILs and some holocellulose dissolution in the hydrophilic [P4441]MeSO4. The kinetics of lignin dissolution reported here indicate that while dissolution in the hydrophobic IL [P66614]Cl appears to follow an accepted mechanism of acid catalysed β-aryl ether cleavage, dissolution in the hydrophilic IL [P4441]MeSO4 does not appear to follow this mechanism and may not be followed by condensation reactions (initiated by reactive ketones). The quantitative measurement of lignin dissolution in phosphonium ILs based on absorbance at 1510 cm-1 has demonstrated utility and greater precision than the conventional Klason lignin method. The cleavage of lignin β-aryl ether bonds in sugarcane bagasse by the ionic liquid [P66614]Cl, in the presence of catalytic amounts of mineral acid. (ca. 0.4 %). The delignification process of bagasse is studied over a range of temperatures (120 °C to 150 °C) by monitoring the production of β-ketones (indicative of cleavage of β-aryl ethers) using FTIR spectroscopy and by compositional analysis of the undissolved fractions. Maximum delignification is obtained at 150 °C, with 52 % of lignin removed from the original lignin content of bagasse. No delignification is observed in the absence of acid which suggests that the reaction is acid catalysed with the IL solubilising the lignin fragments. The rate of delignification was significantly higher at 150 °C, suggesting that crossing the glass transition temperature of lignin effects greater freedom of rotation about the propanoid carbon-carbon bonds and leads to increased cleavage of β-aryl ethers. An attempt has been made to propose a probable mechanism of delignifcation of bagasse with the phosphonuim IL. All polymeric components of bagasse, a lignocellulosic biomass, dissolve in the hydrophilic ionic liquid (IL) tributylmethylphosphonium methylsulfate ([P4441]MeSO4) with and without a catalytic amount of acid (H2SO4, ca. 0.4 %). The presence of acid significantly increases the extent of dissolution of bagasse in [P4441]MeSO4 (by ca. 2.5 times under conditions used here). The dissolved fractions can be partially recovered by the addition of an antisolvent (water) and are significantly enriched in lignin. Unlike acid catalysed dissolution in the hydrophobic IL tetradecyltrihexylphosphonium chloride there is little evidence of cleavage of β-aryl ether bonds of lignin dissolving in [P4441]MeSO4 (with and without acid), but this mechanism may play some role in the acid catalysed dissolution. The XRD of the undissolved fractions suggests that the IL may selectively dissolve the amorphous cellulose component, leaving behind crystalline material.

Towards semantic search and inference in electronic medical records : an approach using concept-based information retrieval

Background This paper presents a novel approach to searching electronic medical records that is based on concept matching rather than keyword matching. Aim The concept-based approach is intended to overcome specific challenges we identified in searching medical records. Method Queries and documents were transformed from their term-based originals into medical concepts as defined by the SNOMED-CT ontology. Results Evaluation on a real-world collection of medical records showed our concept-based approach outperformed a keyword baseline by 25% in Mean Average Precision. Conclusion The concept-based approach provides a framework for further development of inference based search systems for dealing with medical data.

The chemistry of acid catalyzed delignification of sugarcane bagasse in the ionic liquid trihexyl tetradecyl phosphonium chloride

This article reports on the cleavage of lignin ß-aryl ether bonds in sugarcane bagasse by the ionic liquid (IL) trihexyl tetradecyl phosphonium chloride [P66614] Cl, in the presence of catalytic amounts of mineral acid fca. 0.4%). The deligniflcation process of bagasse was studied over a range of temperatures (120°C to 150°C) by monitoring the production of ß-ketones (indicative of cleavage of ß-aryl ethers) using FTIR spectroscopy and by compositional analysis of the undissolved fractions. Maximum deligniflcation was obtained at 150°C, with 52% of lignin removed from the original lignin content of bagasse. No deligniflcation was observed in the absence of acid, which suggests that the reaction is acid catalyzed with the IL solubilizing the lignin fragments. The rate of deligniflcation was significantly higher at 150°C, suggesting that crossing the glass transition temperature of lignin effects greater freedom of rotation about the propanoid carbon-carbon bonds and leads to increased cleavage of ß-aryl ethers. An attempt has been made to propose a probable mechanism of deligniflcation of bagasse with the phosphonuim IL. © Taylor & Francis Group, LLC.

Ionic liquid pre-treatment and fractionation of sugarcane bagasse for the production of bioethanol

Pretretament is an essential and expensive processing step for the manufacturing of ethanol from lignocellulosic raw materials. Ionic liquids are a new class of solvents that have the potential to be used as pretreatment agents. The attractive characteristics of ionic liquid pretreatment of lignocellulosics such as thermal stability, dissolution properties, fractionation potential, cellulose decrystallisation capacity and saccharification impact are investigated in this thesis. Dissolution of bagasse with 1-butyl-3-methylimidazolium chloride ([C4mim]Cl) at high temperatures (110 �‹C to 160 �‹C) is investigated as a pretreatment process. Material balances are reported and used along with enzymatic saccharification data to identify optimum pretreatment conditions (150 �‹C for 90 min). At these conditions, the dissolved and reprecipitated material is enriched in cellulose, has a low crystallinity and the cellulose component is efficiently hydrolysed (93 %, 3 h, 15 FPU). At pretreatment temperatures < 150 �‹C, the undissolved material has only slightly lower crystallinity than the starting. At pretreatment temperatures . 150 �‹C, the undissolved material has low crystallinity and when combined with the dissolved material has a saccharification rate and extent similar to completely dissolved material (100 %, 3h, 15 FPU). Complete dissolution is not necessary to maximize saccharification efficiency at temperatures . 150 �‹C. Fermentation of [C4mim]Cl-pretreated, enzyme-saccharified bagasse to ethanol is successfully conducted (85 % molar glucose-to-ethanol conversion efficiency). As compared to standard dilute acid pretreatment, the optimised [C4mim]Cl pretreatment achieves substantially higher ethanol yields (79 % cf. 52 %) in less than half the processing time (pretreatment, saccharification, fermentation). Fractionation of bagasse partially dissolved in [C4mim]Cl to a polysaccharide rich and a lignin rich fraction is attempted using aqueous biphasic systems (ABSs) and single phase systems with preferential precipitation. ABSs of ILs and concentrated aqueous inorganic salt solutions are achievable (e.g. [C4mim]Cl with 200 g L-1 NaOH), albeit they exhibit a number of technical problems including phase convergence (which increases with increasing biomass loading) and deprotonation of imidazolium ILs (5 % - 8 % mol). Single phase fractionation systems comprising lignin solvents / cellulose antisolvents, viz. NaOH (2M) and acetone in water (1:1, volume basis), afford solids with, respectively, 40 % mass and 29 % mass less lignin than water precipitated solids. However, this delignification imparts little increase in saccharification rates and extents of these solids. An alternative single phase fractionation system is achieved simply by using water as an antisolvent. Regulating the water : IL ratio results in a solution that precipitates cellulose and maintains lignin in solution (0.5 water : IL mass ratio) in both [C4mim]Cl and 1-ethyl-3-methylimidazolium acetate ([C2mim]OAc)). This water based fractionation is applied in three IL pretreatments on bagasse ([C4mim]Cl, 1-ethyl-3-methyl imidazolium chloride ([C2mim]Cl) and [C2mim]OAc). Lignin removal of 10 %, 50 % and 60 % mass respectively is achieved although only 0.3 %, 1.5 % and 11.7 % is recoverable even after ample water addition (3.5 water : IL mass ratio) and acidification (pH . 1). In addition the recovered lignin fraction contains 70 % mass hemicelluloses. The delignified, cellulose-rich bagasse recovered from these three ILs is exposed to enzyme saccharification. The saccharification (24 h, 15 FPU) of the cellulose mass in starting bagasse, achieved by these pretreatments rank as: [C2mim]OAc (83 %)>>[C2mim]Cl (53 %)=[C4mim]Cl(53%). Mass balance determinations accounted for 97 % of starting bagasse mass for the [C4mim]Cl pretreatment , 81 % for [C2mim]Cl and 79 %for [C2mim]OAc. For all three IL treatments, the remaining bagasse mass (not accounted for by mass balance determinations) is mainly (more than half) lignin that is not recoverable from the liquid fraction. After pretreatment, 100 % mass of both ions of all three ILs were recovered in the liquid fraction. Compositional characteristics of [C2mim]OAc treated solids such as low lignin, low acetyl group content and preservation of arabinosyl groups are opposite to those of chloride IL treated solids. The former biomass characteristics resemble those imparted by aqueous alkali pretreatment while the latter resemble those of aqueous acid pretreatments. The 100 % mass recovery of cellulose in [C2mim]OAc as opposed to 53 % mass recovery in [C2mim]Cl further demonstrates this since the cellulose glycosidic bonds are protected under alkali conditions. The alkyl chain length decrease in the imidazolium cation of these ILs imparts higher rates of dissolution and losses, and increases the severity of the treatment without changing the chemistry involved.

Prediction of transcriptional regulatory interactions in bacteria : a comparative genomics approach

Exponential growth of genomic data in the last two decades has made manual analyses impractical for all but trial studies. As genomic analyses have become more sophisticated, and move toward comparisons across large datasets, computational approaches have become essential. One of the most important biological questions is to understand the mechanisms underlying gene regulation. Genetic regulation is commonly investigated and modelled through the use of transcriptional regulatory network (TRN) structures. These model the regulatory interactions between two key components: transcription factors (TFs) and the target genes (TGs) they regulate. Transcriptional regulatory networks have proven to be invaluable scientific tools in Bioinformatics. When used in conjunction with comparative genomics, they have provided substantial insights into the evolution of regulatory interactions. Current approaches to regulatory network inference, however, omit two additional key entities: promoters and transcription factor binding sites (TFBSs). In this study, we attempted to explore the relationships among these regulatory components in bacteria. Our primary goal was to identify relationships that can assist in reducing the high false positive rates associated with transcription factor binding site predictions and thereupon enhance the reliability of the inferred transcription regulatory networks. In our preliminary exploration of relationships between the key regulatory components in Escherichia coli transcription, we discovered a number of potentially useful features. The combination of location score and sequence dissimilarity scores increased de novo binding site prediction accuracy by 13.6%. Another important observation made was with regards to the relationship between transcription factors grouped by their regulatory role and corresponding promoter strength. Our study of E.coli ��70 promoters, found support at the 0.1 significance level for our hypothesis | that weak promoters are preferentially associated with activator binding sites to enhance gene expression, whilst strong promoters have more repressor binding sites to repress or inhibit gene transcription. Although the observations were specific to �70, they nevertheless strongly encourage additional investigations when more experimentally confirmed data are available. In our preliminary exploration of relationships between the key regulatory components in E.coli transcription, we discovered a number of potentially useful features { some of which proved successful in reducing the number of false positives when applied to re-evaluate binding site predictions. Of chief interest was the relationship observed between promoter strength and TFs with respect to their regulatory role. Based on the common assumption, where promoter homology positively correlates with transcription rate, we hypothesised that weak promoters would have more transcription factors that enhance gene expression, whilst strong promoters would have more repressor binding sites. The t-tests assessed for E.coli �70 promoters returned a p-value of 0.072, which at 0.1 significance level suggested support for our (alternative) hypothesis; albeit this trend may only be present for promoters where corresponding TFBSs are either all repressors or all activators. Nevertheless, such suggestive results strongly encourage additional investigations when more experimentally confirmed data will become available. Much of the remainder of the thesis concerns a machine learning study of binding site prediction, using the SVM and kernel methods, principally the spectrum kernel. Spectrum kernels have been successfully applied in previous studies of protein classification [91, 92], as well as the related problem of promoter predictions [59], and we have here successfully applied the technique to refining TFBS predictions. The advantages provided by the SVM classifier were best seen in `moderately'-conserved transcription factor binding sites as represented by our E.coli CRP case study. Inclusion of additional position feature attributes further increased accuracy by 9.1% but more notable was the considerable decrease in false positive rate from 0.8 to 0.5 while retaining 0.9 sensitivity. Improved prediction of transcription factor binding sites is in turn extremely valuable in improving inference of regulatory relationships, a problem notoriously prone to false positive predictions. Here, the number of false regulatory interactions inferred using the conventional two-component model was substantially reduced when we integrated de novo transcription factor binding site predictions as an additional criterion for acceptance in a case study of inference in the Fur regulon. This initial work was extended to a comparative study of the iron regulatory system across 20 Yersinia strains. This work revealed interesting, strain-specific difierences, especially between pathogenic and non-pathogenic strains. Such difierences were made clear through interactive visualisations using the TRNDifi software developed as part of this work, and would have remained undetected using conventional methods. This approach led to the nomination of the Yfe iron-uptake system as a candidate for further wet-lab experimentation due to its potential active functionality in non-pathogens and its known participation in full virulence of the bubonic plague strain. Building on this work, we introduced novel structures we have labelled as `regulatory trees', inspired by the phylogenetic tree concept. Instead of using gene or protein sequence similarity, the regulatory trees were constructed based on the number of similar regulatory interactions. While the common phylogentic trees convey information regarding changes in gene repertoire, which we might regard being analogous to `hardware', the regulatory tree informs us of the changes in regulatory circuitry, in some respects analogous to `software'. In this context, we explored the `pan-regulatory network' for the Fur system, the entire set of regulatory interactions found for the Fur transcription factor across a group of genomes. In the pan-regulatory network, emphasis is placed on how the regulatory network for each target genome is inferred from multiple sources instead of a single source, as is the common approach. The benefit of using multiple reference networks, is a more comprehensive survey of the relationships, and increased confidence in the regulatory interactions predicted. In the present study, we distinguish between relationships found across the full set of genomes as the `core-regulatory-set', and interactions found only in a subset of genomes explored as the `sub-regulatory-set'. We found nine Fur target gene clusters present across the four genomes studied, this core set potentially identifying basic regulatory processes essential for survival. Species level difierences are seen at the sub-regulatory-set level; for example the known virulence factors, YbtA and PchR were found in Y.pestis and P.aerguinosa respectively, but were not present in both E.coli and B.subtilis. Such factors and the iron-uptake systems they regulate, are ideal candidates for wet-lab investigation to determine whether or not they are pathogenic specific. In this study, we employed a broad range of approaches to address our goals and assessed these methods using the Fur regulon as our initial case study. We identified a set of promising feature attributes; demonstrated their success in increasing transcription factor binding site prediction specificity while retaining sensitivity, and showed the importance of binding site predictions in enhancing the reliability of regulatory interaction inferences. Most importantly, these outcomes led to the introduction of a range of visualisations and techniques, which are applicable across the entire bacterial spectrum and can be utilised in studies beyond the understanding of transcriptional regulatory networks.