Automated proofs of computational indistinguishability

We present a tool for automatic analysis of computational indistinguishability between two strings of information. This is designed as a generic tool for proving cryptographic security based on a formalism that provides computational soundness preservation. The tool has been implemented and tested successfully with several cryptographic schemes.

The effect of surface tension and kinetic undercooling on a radially-symmetric melting problem

The addition of surface tension to the classical Stefan problem for melting a sphere causes the solution to blow up at a finite time before complete melting takes place. This singular behaviour is characterised by the speed of the solid-melt interface and the flux of heat at the interface both becoming unbounded in the blow-up limit. In this paper, we use numerical simulation for a particular energy-conserving one-phase version of the problem to show that kinetic undercooling regularises this blow-up, so that the model with both surface tension and kinetic undercooling has solutions that are regular right up to complete melting. By examining the regime in which the dimensionless kinetic undercooling parameter is small, our results demonstrate how physically realistic solutions to this Stefan problem are consistent with observations of abrupt melting of nanoscaled particles.

Genus Umbravirus

The practical need to partition the world of viruses into distinguishable, universally agreed upon entities is the ultimate justification for developing a virus classification system. The Author of this Book is Andrew MQ King, Elliot Lefkowitz, Eric B. Carstens, Michael J. Adams Since 1971, the International Committee on Taxonomy of Viruses (ICTV) operating on behalf of the world community of virologists has taken on the task of developing a single, universal taxonomic scheme for all viruses infecting animals (vertebrate, invertebrates, and protozoa), plants (higher plants and algae), fungi, bacteria, and archaea.

Carrot mottle mimic virus (CMoMV): A second umbravirus associated with carrot motley dwarf disease recognised by nucleic acid hybridisation

Carrot mottle umbravirus (CMoV) has always been found co-infecting plants with carrot red leaf luteovirus (CRLV) and in carrot (Daucus carota) these co-infections are associated with carrot motley dwarf disease (CMD). CMD occurs wherever carrots are grown. Hence, CMoV was believed to have a corresponding global distribution. However, little or no hybridisation was detected between cDNA generated from the sequenced Australian isolate of CMoV (CMoV-A) and RNA from the much studied Scottish isolate of CMoV (CMoV-S). A weak hybridisation signal was obtained using cDNA to a conserved part of the RNA-dependent RNA polymerase gene of CMoV-A, but when cDNAs to other parts of the CMoV-A genome were used as probes there was no detectable hybridisation with CMoV-S RNA. This lack of hybridisation suggests that the two virus isolates have relatively divergent genomes and that they should be regarded as distinct virus species. Both viruses are transmitted by Cavariella aegopodii, but only with the help of CRLV, and they yield almost identical double-stranded RNA profiles. For these reasons, we propose that the CMoV isolate from Australia be renamed carrot mottle mimic umbravirus (CMoMV). cDNA to CMoMV RNA hybridised with RNA from an isolate from New Zealand, whereas cDNA to CMoV-S RNA hybridised with RNA from isolates from England and Morocco but not to RNA from the isolate from New Zealand. Although preliminary, these data suggest that CMoV and CMoMV may have different global distributions.

Comparison of promoters and selectable marker genes for use in Indica rice transformation

The effectiveness of different promoters for use in Indica rice transformation was compared. Plasmids encoding the Escherichia coli uidA (gus) gene under the control of CaMV 35S, Emu, Act1 or Ubi1 promoters were delivered into cell suspension cultures by particle bombardment. Transient gene expression, 48 h after delivery, was greatest from plasmids utilising the constitutive promoters, Act1 and Ubi1. Gene expression in stably transformed tissue was examined by bombarding embryogenic Indica rice calli with a pUbil-gus plasmid and a plasmid containing either the selectable marker gene, hph, which confers hygromycin resistance, or bar, which confers resistance to the herbicide phosphinothricin (BASTA) each under the control of the CaMV 35S, Emu, Act1 or the Ubi1 promoters. The bombarded calli were placed on the appropriate selection media and stained for GUS activity at 1 day, 3 weeks and 5 weeks after shooting. Callus bombarded with the pUbi1-hph or the pEmu-hph constructs gave a dramatic increase in the size of the GUS staining areas with time. No such increase in the size of GUS staining areas was observed in calli co-bombarded with pUbi1-gus and any of the bar containing constructs. Co-bombardment of calli with either the pEmu-hph or pUbi1-hph construct and a virus minor coat protein (cp) gene construct resulted in many fertile transgenic Indica rice plants, containing one to eight copies of both the hph and cp genes. These genes were stably inherited by the T 1 generation.

Genome segment 5 of rice ragged stunt virus encodes a virion protein

The complete nucleotide sequence of the genome segment 5 (S5) of a Thai isolate of rice ragged stunt virus (RRSV) was determined. The 2682 nucleotide sequence contains a single long open reading frame capable of encoding a polypeptide with a molecular mass of ~91 kDa. Polypeptides encoded by various truncated cDNAs of S5 were expressed using the pGEX fusion protein vector and the highest level of fusion protein was obtained from a construct encoding a hydrophilic region of S5 protein. Antibodies raised against this fusion protein recognized a minor polypeptide, with a molecular mass of ~ 91 kDa, that was present in purified preparations of RRSV particles, infected insect vectors and infected rice plants. This indicates that RRSV S5 encodes a minor structural protein. Comparing the RRSV S5 sequence with sequences of other reo-viruses did not reveal any significant sequence similarities.

The genome organization and affinities of an Australian isolate of carrot mottle umbravirus

The genomic sequence of an Australian isolate of carrot mottle umbravirus (CMoV-A) was determined from cDNA generated from dsRNA. This provides the first data on the genome organization and phylogeny of an umbravirus. The 4201-nucleotide genome contains four major open reading frames (ORFs). Analysis suggests that ORF2 encodes an RNA-dependent RNA polymerase, that ORF4 encodes a movement protein, and that the virus has no coat protein gene. The functions of ORFs 1 and 3 remain unknown. ORF2 is probably translated following ribosomal frameshifting. ORFs 3 and 4 are probably translated from a subgenomic mRNA. Sequence comparisons showed CMoV-A to be closely related to pea enation mosaic RNA2 NA2), but also to have affinities with the Bromoviridae. These findings shed light on the relationships between the luteoviruses, PEMV, and the umbraviruses and on the relationships between the carmo-like viruses and the Bromoviridae.

Constructing a clinical decision-making framework for image-guided radiotherapy using a Bayesian Network

A decision-making framework for image-guided radiotherapy (IGRT) is being developed using a Bayesian Network (BN) to graphically describe, and probabilistically quantify, the many interacting factors that are involved in this complex clinical process. Outputs of the BN will provide decision-support for radiation therapists to assist them to make correct inferences relating to the likelihood of treatment delivery accuracy for a given image-guided set-up correction. The framework is being developed as a dynamic object-oriented BN, allowing for complex modelling with specific sub-regions, as well as representation of the sequential decision-making and belief updating associated with IGRT. A prototype graphic structure for the BN was developed by analysing IGRT practices at a local radiotherapy department and incorporating results obtained from a literature review. Clinical stakeholders reviewed the BN to validate its structure. The BN consists of a sub-network for evaluating the accuracy of IGRT practices and technology. The directed acyclic graph (DAG) contains nodes and directional arcs representing the causal relationship between the many interacting factors such as tumour site and its associated critical organs, technology and technique, and inter-user variability. The BN was extended to support on-line and off-line decision-making with respect to treatment plan compliance. Following conceptualisation of the framework, the BN will be quantified. It is anticipated that the finalised decision-making framework will provide a foundation to develop better decision-support strategies and automated correction algorithms for IGRT.

The schooling experience of six adolescent boys who have been diagnosed with Attention Deficit/ Hyperactivity Disorder (AD/HD)

This thesis explored the experience of schooling of six adolescent boys diagnosed with AD/HD from the perspectives of the boys, their mothers and their teachers. The study utilised social constructionism as the theoretical orientation and an explanatory theory of AD/HD, the Dynamic Developmental Theory (DDT) of AD/HD as a framework. Findings included the importance of making and managing friendships for young people with AD/HD, the importance of being informed about AD/HD as well classroom strategies that support the learning of students for teachers, and the apparent role that medication in concert with an engaging classroom environment can play in the successful schooling of boys with AD/HD.

A Bayesian regression approach to assess uncertainty in pollutant wash-off modelling

Due to knowledge gaps in relation to urban stormwater quality processes, an in-depth understanding of model uncertainty can enhance decision making. Uncertainty in stormwater quality models can originate from a range of sources such as the complexity of urban rainfall-runoff-stormwater pollutant processes and the paucity of observed data. Unfortunately, studies relating to epistemic uncertainty, which arises from the simplification of reality are limited and often deemed mostly unquantifiable. This paper presents a statistical modelling framework for ascertaining epistemic uncertainty associated with pollutant wash-off under a regression modelling paradigm using Ordinary Least Squares Regression (OLSR) and Weighted Least Squares Regression (WLSR) methods with a Bayesian/Gibbs sampling statistical approach. The study results confirmed that WLSR assuming probability distributed data provides more realistic uncertainty estimates of the observed and predicted wash-off values compared to OLSR modelling. It was also noted that the Bayesian/Gibbs sampling approach is superior compared to the most commonly adopted classical statistical and deterministic approaches commonly used in water quality modelling. The study outcomes confirmed that the predication error associated with wash-off replication is relatively higher due to limited data availability. The uncertainty analysis also highlighted the variability of the wash-off modelling coefficient k as a function of complex physical processes, which is primarily influenced by surface characteristics and rainfall intensity.

Social tagging, guppy effect and the role of interference : a quantum-inspired model for tags combination

Social tagging systems are shown to evidence a well known cognitive heuristic, the guppy effect, which arises from the combination of different concepts. We present some empirical evidence of this effect, drawn from a popular social tagging Web service. The guppy effect is then described using a quantum inspired formalism that has been already successfully applied to model conjunction fallacy and probability judgement errors. Key to the formalism is the concept of interference, which is able to capture and quantify the strength of the guppy effect.

An analogy between the double slit experiment and document ranking

In the last years several works have investigated a formal model for Information Retrieval (IR) based on the mathematical formalism underlying quantum theory. These works have mainly exploited geometric and logical–algebraic features of the quantum formalism, for example entanglement, superposition of states, collapse into basis states, lattice relationships. In this poster I present an analogy between a typical IR scenario and the double slit experiment. This experiment exhibits the presence of interference phenomena between events in a quantum system, causing the Kolmogorovian law of total probability to fail. The analogy allows to put forward the routes for the application of quantum probability theory in IR. However, several questions need still to be addressed; they will be the subject of my PhD research

Combining word semantics within complex Hilbert space for information retrieval

Complex numbers are a fundamental aspect of the mathematical formalism of quantum physics. Quantum-like models developed outside physics often overlooked the role of complex numbers. Specifically, previous models in Information Retrieval (IR) ignored complex numbers. We argue that to advance the use of quantum models of IR, one has to lift the constraint of real-valued representations of the information space, and package more information within the representation by means of complex numbers. As a first attempt, we propose a complex-valued representation for IR, which explicitly uses complex valued Hilbert spaces, and thus where terms, documents and queries are represented as complex-valued vectors. The proposal consists of integrating distributional semantics evidence within the real component of a term vector; whereas, ontological information is encoded in the imaginary component. Our proposal has the merit of lifting the role of complex numbers from a computational byproduct of the model to the very mathematical texture that unifies different levels of semantic information. An empirical instantiation of our proposal is tested in the TREC Medical Record task of retrieving cohorts for clinical studies.

The biconnected verification of workflow nets

Formal representations of business processes are used for analysis of the process behavior. Workflow nets are a widely used formalism for describing the behavior of business processes. Structure theory of processes investigates the relation between the structure of a model and its behavior. In this paper, we propose to employ the connectivity property of workflow nets as an angle to their structural analysis. In particular, we show how soundness verification can be organized using biconnected components of a workflow net. This allows for efficient identification and localization of flaws in the behavior of workflow nets and for supporting process analysts with diagnostic information