Modeling and Verification of Privacy Enhancing Protocols

Privacy enhancing protocols (PEPs) are a family of protocols that allow secure exchange and management of sensitive user information. They are important in preserving users’ privacy in today’s open environment. Proof of the correctness of PEPs is necessary before they can be deployed. However, the traditional provable security approach, though well established for verifying cryptographic primitives, is not applicable to PEPs. We apply the formal method of Coloured Petri Nets (CPNs) to construct an executable specification of a representative PEP, namely the Private Information Escrow Bound to Multiple Conditions Protocol (PIEMCP). Formal semantics of the CPN specification allow us to reason about various security properties of PIEMCP using state space analysis techniques. This investigation provides us with preliminary insights for modeling and verification of PEPs in general, demonstrating the benefit of applying the CPN-based formal approach to proving the correctness of PEPs.

Art, popular culture and cultural policy: variations on a theme of John Carey

The article presents a criticism of the accounts of John Carey in his book entitled "The Intellectuals and the Masses." The author focuses on Carey's argument that the art is not an eternal category but an invention of the late eighteenth century and it no longer has any intellectual legitimacy other than that of provoking feelings which are no more and no less valuable than those provoked by any other form of entertainment or physical activity

Book Review: Larissa Behrendt, Chris Cuneen and Terri Libesman, Indigenous Legal Relations in Australia (Oxford University Press, Melbourne 2009) 376pp

Indigenous Legal Relations in Australia is a welcome and refreshing addition to the current literature on Indigenous legal issues. Written by a team of highly qualified Indigenous and non-Indigenous academics who share a long term commitment to Indigenous legal and social justice issues, this book provides a clearly written and accessible introductory text for tertiary students and general readers alike who are seeking to gain a deeper understanding of the relationship between Indigenous Australians and the Anglo-Australian legal system.

Link-the-Wiki : performance evaluation based on frequent phrases

In this paper, we discuss our participation to the INEX 2008 Link-the-Wiki track. We utilized a sliding window based algorithm to extract the frequent terms and phrases. Using the extracted phrases and term as descriptive vectors, the anchors and relevant links (both incoming and outgoing) are recognized efficiently.

Thai word segmentation with hidden Markov Model and decision tree

The Thai written language is one of the languages that does not have word boundaries. In order to discover the meaning of the document, all texts must be separated into syllables, words, sentences, and paragraphs. This paper develops a novel method to segment the Thai text by combining a non-dictionary based technique with a dictionary-based technique. This method first applies the Thai language grammar rules to the text for identifying syllables. The hidden Markov model is then used for merging possible syllables into words. The identified words are verified with a lexical dictionary and a decision tree is employed to discover the words unidentified by the lexical dictionary. Documents used in the litigation process of Thai court proceedings have been used in experiments. The results which are segmented words, obtained by the proposed method outperform the results obtained by other existing methods.

Selling education through “culture” : responses to the market by new, non-government schools

The move to a market model of schooling has seen a radical restructuring of the ways schooling is “done” in recent times in Western countries. Although there has been a great deal of work to examine the effects of a market model on local school management (LSM), teachers’ work and university systems, relatively little has been done to examine its effect on parents’ choice of school in the non-government sector in Australia. This study examines the reasons parents give for choosing a non-government school in the outer suburbs of one large city in Australia. Drawing on the work of Bourdieu specifically his ideas on “cultural capital” (1977), this study revealed that parents were choosing the non-government school over the government school to ensure that their children would be provided, through the school’s emphasis on cultural capital, access to a perceived “better life” thus enhancing the potential to facilitate “extraordinary children”, one of the school’s marketing claims.

Is there something quantum-like about the human mental lexicon?

This talk proceeds from the premise that IR should engage in a more substantial dialogue with cognitive science. After all, how users decide relevance, or how they chose terms to modify a query are processes rooted in human cognition. Recently, there has been a growing literature applying quantum theory (QT) to model cognitive phenomena. This talk will survey recent research, in particular, modelling interference effects in human decision making. One aspect of QT will be illustrated - how quantum entanglement can be used to model word associations in human memory. The implications of this will be briefly discussed in terms of a new approach for modelling concept combinations. Tentative links to human adductive reasoning will also be drawn. The basic theme behind this talk is QT can potentially provide a new genre of information processing models (including search) more aligned with human cognition.

XML Schema Element Similarity Measures: A Schema Matching Context

In this paper, we classify, review, and experimentally compare major methods that are exploited in the definition, adoption, and utilization of element similarity measures in the context of XML schema matching. We aim at presenting a unified view which is useful when developing a new element similarity measure, when implementing an XML schema matching component, when using an XML schema matching system, and when comparing XML schema matching systems.

Development of a computer simulation tool for application in adolescent spinal deformity surgery

Scoliosis is a three-dimensional spinal deformity which requires surgical correction in progressive cases. In order to optimize correction and avoid complications following scoliosis surgery, patient-specific finite element models (FEM) are being developed and validated by our group. In this paper, the modeling methodology is described and two clinically relevant load cases are simulated for a single patient. Firstly, a pre-operative patient flexibility assessment, the fulcrum bending radiograph, is simulated to assess the model's ability to represent spine flexibility. Secondly, intra-operative forces during single rod anterior correction are simulated. Clinically, the patient had an initial Cobb angle of 44 degrees, which reduced to 26 degrees during fulcrum bending. Surgically, the coronal deformity corrected to 14 degrees. The simulated initial Cobb angle was 40 degrees, which reduced to 23 degrees following the fulcrum bending load case. The simulated surgical procedure corrected the coronal deformity to 14 degrees. The computed results for the patient-specific FEM are within the accepted clinical Cobb measuring error of 5 degrees, suggested that this modeling methodology is capable of capturing the biomechanical behaviour of a scoliotic human spine during anterior corrective surgery.

User-centered video quality assessment for scalable video coding of H.264/AVC standard

Scalable video coding of H.264/AVC standard enables adaptive and flexible delivery for multiple devices and various network conditions. Only a few works have addressed the influence of different scalability parameters (frame rate, spatial resolution, and SNR) on the user perceived quality within a limited scope. In this paper, we have conducted an experiment of subjective quality assessment for video sequences encoded with H.264/SVC to gain a better understanding of the correlation between video content and UPQ at all scalable layers and the impact of rate-distortion method and different scalabilities on bitrate and UPQ. Findings from this experiment will contribute to a user-centered design of adaptive delivery of scalable video stream.

Numerical and experimental investigation of wedge tip radius effect on wedge plasmons

We report numerical analysis and experimental observation of strongly localized plasmons guided by triangular metal wedges and pay special attention to the effect of smooth (nonzero radius) tips. Dispersion, dissipation, and field structure of such wedge plasmons are analyzed using the compact two-dimensional finite-difference time-domain algorithm. Experimental observation is conducted by the end-fire excitation and near-field scanning optical microscope detection of the predicted plasmons on 40°silver nanowedges with the wedge tip radii of 20, 85, and 125 nm that were fabricated by the focused-ion beam method. The effect of smoothing wedge tips is shown to be similar to that of increasing wedge angle. Increasing wedge angle or wedge tip radius results in increasing propagation distance at the same time as decreasing field localization (decreasing wave number). Quantitative differences between the theoretical and experimental propagation distances are suggested to be due to a contribution of scattered bulk and surface waves near the excitation region as well as the addition of losses due to surface roughness. The theoretical and measured propagation distances are several plasmon wavelengths and are useful for a range of nano-optical applications

Thermal tweezers for manipulation of adatoms and nanoparticles on surfaces heated by interfering laser pulses

We conduct the detailed numerical investigation of a nanomanipulation and nanofabrication technique—thermal tweezers with dynamic evolution of surface temperature, caused by absorption of interfering laser pulses in a thin metalfilm or any other absorbing surface. This technique uses random Brownian forces in the presence of strong temperature modulation (surfacethermophoresis) for effective manipulation of particles/adatoms with nanoscale resolution. Substantial redistribution of particles on the surface is shown to occur with the typical size of the obtained pattern elements of ∼100 nm, which is significantly smaller than the wavelength of the incident pulses used (532 nm). It is also demonstrated that thermal tweezers based on surfacethermophoresis of particles/adatoms are much more effective in achieving permanent high maximum-to-minimum concentration ratios than bulk thermophoresis, which is explained by the interaction of diffusing particles with the periodic lattice potential on the surface. Typically required pulse regimes including pulse lengths and energies are also determined. The approach is applicable for reproducing any holographically achievable surfacepatterns, and can thus be used for engineering properties of surfaces including nanopatterning and design of surface metamaterials.

Determining the zone of reflection for posterior corneal surface comparison phakometry

Although comparison phakometry has been used by a number of studies to measure posterior corneal shape, these studies have not calculated the size of the posterior corneal zones of reflection they assessed. This paper develops paraxial equations for calculating posterior corneal zones of reflection, based on standard keratometry equations and equivalent mirror theory. For targets used in previous studies, posterior corneal reflection zone sizes were calculated using paraxial equations and using exact ray tracing, assuming spherical and aspheric corneal surfaces. Paraxial methods and exact ray tracing methods give similar estimates for reflection zone sizes less than 2 mm, but for larger zone sizes ray tracing methods should be used.

Chasing Reporters : Intertextuality, Entertainment and Public Knowledge

This paper examines ‘What Have We Learned From Current Affairs This Week?’: a very successful weekly segment from the ABC program The Chaser’s War on Everything. It argues that through its intertextual satire, this regular segment acts not as a traditional news program would in presenting news updates on current events, but as a text which reflects on the way news is reported and how this, in turn, may shape public discourse. While the program has been highly controversial (enduring many a loud call for it to be pulled from air), this form of light entertainment can play an important public service by encouraging citizens to ‘read through’ (Gray, 2006: 104) commercial current affairs’ façade of ‘quality’ journalism.

Determination of optimal preventive maintenance strategy for serial production lines

A Split System Approach (SSA) based methodology is presented to assist in making optimal Preventive Maintenance decisions for serial production lines. The methodology treats a production line as a complex series system with multiple PM actions over multiple intervals. Both risk related cost and maintenance related cost are factored into the methodology as either deterministic or random variables. This SSA based methodology enables Asset Management (AM) decisions to be optimized considering a variety of factors including failure probability, failure cost, maintenance cost, PM performance, and the type of PM strategy. The application of this new methodology and an evaluation of the effects of these factors on PM decisions are demonstrated using an example. The results of this work show that the performance of a PM strategy can be measured by its Total Expected Cost Index (TECI). The optimal PM interval is dependent on TECI, PM performance and types of PM strategies. These factors are interrelated. Generally it was found that a trade-off between reliability and the number of PM actions needs to be made so that one can minimize Total Expected Cost (TEC) for asset maintenance.