Lattice-based threshold changeability for standard shamir sectret-sharing schemes

We consider the problem of increasing the threshold parameter of a secret-sharing scheme after the setup (share distribution) phase, without further communication between the dealer and the shareholders. Previous solutions to this problem require one to start off with a nonstandard scheme designed specifically for this purpose, or to have communication between shareholders. In contrast, we show how to increase the threshold parameter of the standard Shamir secret-sharing scheme without communication between the shareholders. Our technique can thus be applied to existing Shamir schemes even if they were set up without consideration to future threshold increases. Our method is a new positive cryptographic application for lattice reduction algorithms, inspired by recent work on lattice-based list decoding of Reed-Solomon codes with noise bounded in the Lee norm. We use fundamental results from the theory of lattices (geometry of numbers) to prove quantitative statements about the information-theoretic security of our construction. These lattice-based security proof techniques may be of independent interest.

Chemiluminescence imaging in supersonic combustors operating in radical-farming mode

Emission spectroscopy was used to investigate ignition and combustion characteristics of supersonic combustion ramjet engines. Two-dimensional scramjet models with inlet injection, fuelled with hydrogen gas, were used in the study. The scramjet engines were configured to operate in radical farming mode, where combustion radicals are formed behind shock waves reflected at the walls. The chemiluminescence emission signals were recorded in a two-dimensional, time-integrated fashion to give information on the location and distribution of the radical farms in the combustors. High signal levels were detected in localised regions immediately downstream of shock reflections, an indication of localised hydroxyl formation supporting the concept of radical farming. Results are presented for a symmetric as well as an asymmetric scramjet geometry. These data represent the first successful visualisation of radical farms in the hot pockets of a supersonic combustor. Spectrally resolved measurements have been obtained in the ultraviolet wavelength range between 300 and 400 nm. This data shows that the OH! chemiluminescence signal around 306nm is not the most dominant source of radiation observed in the radical farms.

Continuous after-the-fact leakage-resilient key exchange

Security models for two-party authenticated key exchange (AKE) protocols have developed over time to provide security even when the adversary learns certain secret keys. In this work, we advance the modelling of AKE protocols by considering more granular, continuous leakage of long-term secrets of protocol participants: the adversary can adaptively request arbitrary leakage of long-term secrets even after the test session is activated, with limits on the amount of leakage per query but no bounds on the total leakage. We present a security model supporting continuous leakage even when the adversary learns certain ephemeral secrets or session keys, and give a generic construction of a two-pass leakage-resilient key exchange protocol that is secure in the model; our protocol achieves continuous, after-the-fact leakage resilience with not much more cost than a previous protocol with only bounded, non-after-the-fact leakage.

Compressed sensing using hidden Markov models with application to vision based aircraft tracking

This paper investigates compressed sensing using hidden Markov models (HMMs) and hence provides an extension of recent single frame, bounded error sparse decoding problems into a class of sparse estimation problems containing both temporal evolution and stochastic aspects. This paper presents two optimal estimators for compressed HMMs. The impact of measurement compression on HMM filtering performance is experimentally examined in the context of an important image based aircraft target tracking application. Surprisingly, tracking of dim small-sized targets (as small as 5-10 pixels, with local detectability/SNR as low as − 1.05 dB) was only mildly impacted by compressed sensing down to 15% of original image size.

The effect of near-sheath dusts on a surface-wave-sustained gas discharge

The effect of near-sheath dusts on the rf power loss in a surface-wave-sustained gas discharge is studied. The planar plasma is bounded by a dielectric and consists of an inhomogeneous near-wall transition layer (sheath), a dusty plasma layer and an outer dust-free plasma. The discharge is maintained by high-frequency axially symmetrical surface waves. The surface-wave power loss from the most relevant dissipative mechanisms in typical discharge plasmas is analysed.

Series in vector spherical harmonics : an efficient tool for solution of nonlinear problems in spherical plasmas

The series expansion of the plasma fields and currents in vector spherical harmonics has been demonstrated to be an efficient technique for solution of nonlinear problems in spherically bounded plasmas. Using this technique, it is possible to describe the nonlinear plasma response to the rotating high-frequency magnetic field applied to the magnetically confined plasma sphere. The effect of the external magnetic field on the current drive and field configuration is studied. The results obtained are important for continuous current drive experiments in compact toruses. © 2000 American Institute of Physics.

Lattice-based threshold-changeability for standard Shamir secret-sharing schemes

We consider the problem of increasing the threshold parameter of a secret-sharing scheme after the setup (share distribution) phase, without further communication between the dealer and the shareholders. Previous solutions to this problem require one to start off with a non-standard scheme designed specifically for this purpose, or to have communication between shareholders. In contrast, we show how to increase the threshold parameter of the standard Shamir secret-sharing scheme without communication between the shareholders. Our technique can thus be applied to existing Shamir schemes even if they were set up without consideration to future threshold increases. Our method is a new positive cryptographic application for lattice reduction algorithms, inspired by recent work on lattice-based list decoding of Reed-Solomon codes with noise bounded in the Lee norm. We use fundamental results from the theory of lattices (Geometry of Numbers) to prove quantitative statements about the information-theoretic security of our construction. These lattice-based security proof techniques may be of independent interest.

Wicked problems in designing open online learning

This paper will report on the “wicked” problems encountered when designing an online course with bounded content in an unbounded learning environment. It will describe the dilemmas faced and decisions made by academics in an Australian university challenged by an institutional initiative to design radical, disruptive learning experiences making use of readily available online media. This bounded/unbounded environment demands new roles for instructors in adopting innovative pedagogies and teaching and learning strategies. It also creates changing and challenging roles for course designers as they deal with ill-defined parameters and unknown audiences. In this paper, we propose a novel methodology for making curricular decisions in ill-defined spaces.

Subtropical futures : Victoria Park re-imagined

Brisbane, the capital of Queensland, in South-East Queensland is situated on the Brisbane River, one of the largest rivers (and floodplains) on the east coast of Australia. The river defines the city and gives it its name. The river has been a natural place to accommodate some population growth for the city with high-density development that capitalises on the natural amenity, cycleways and a string of parks and the flatter land. The major floods of 2011 and the scare of 2013, has seen a more malevolent quality of the river and shift of thinking on its role within the city. The floods have made council, for the first time, acquire prime development sites near the river, with proposals for high density development and made them parks, at great cost. The pressure for population growth in Brisbane remains. 140,000 new dwellings are required by 2031. Brownfield sites are less plentiful and there is interest to rethink of some of the other strategic locations in the city away from the river on higher ground and steeper slopes. Some of these places are currently open spaces. Victoria Park Golf Course sits on a high ridge line and a very strategic part of the city just north of the city centre is one of the few remaining golf courses close to the centre of an Australian capital city. While it is a public course and a valuable community asset, it has been compromised by the recently completed northern busway with two bus stations constructed on its edges. It is bounded on the west and north-east by two major community facilities, the Queensland University of Technology (QUT) to the west and RBW Hospital at its northern end. In a city in need of urban consolidation, perhaps it is time to review the future of the golf course. This question has been investigated as a conjecture in the Master of Architecture program at the QUT. The project has been to re-imagine Victoria Park as a new city parkland and a place that makes an urban connection from the QUT to the hospital. This new urban precinct is be a medium to high-density transit oriented development that capitalises on the bus way stations and the proximity of the university and hospital. The precinct will frame/define/interact with the new major urban park for the city. A key question being addressed is how the design can embody and define principles of a subtropical urbanism. Students are identifying the appropriate street and block structure, density and built form to be accommodated on blocks that define and activate a rich sequence of streets and public spaces. The paper will present a critical overview of the project work that provides a lens to how future professionals may respond to these issue that will be the focus of their professional lives.

Ongoing Adaptation as a Feature of Complexity : Further Thoughts and Possible Ideas for Pedagogy in Physical Activity

This chapter takes as its central premise the human capacity to adapt to changing environments. It is an idea that is central to complexity theory but receives only modest attention in relation to learning. To do this we will draw from a range of fields and then consider some recent research in motor control that may extend the discussion in ways not yet considered, but that will build on advances already made within pedagogy and motor control synergies. Recent work in motor control indicates that humans have far greater capacity to adapt to the ‘product space’ than was previously thought, mainly through fast heuristics and on-line corrections. These are changes that can be made in real (movement) time and are facilitated by what are referred to as ‘feed-forward’ mechanisms that take advantage of ultra-fast ways of recognizing the likely outcomes of our movements and using this as a source of feedback. We conclude by discussing some possible ideas for pedagogy within the sport and physical activity domains, the implications of which would require a rethink on how motor skill learning opportunities might best be facilitated.

Shifting intimacies

Our world is literally and figuratively turning to ‘dust’. This work acknowledges decay and renewal and the transitional, cyclical natures of interrelated ecologies. It also suggests advanced levels of degradation potentially beyond reparation. Dust exists both on and beneath the border of our unaided vision. Dust particles are predominantly forms of disintegrating solids that often become the substance or catalyst of future forms. Like many tiny forms, dust is an often unnoticed residue with ‘planet-size consequences’. (Hanna Holmes 2001) The image depicts an ethereal, backlit body, continually circling and morphing, apparently floating, suggesting endless cycles of birth, life and death and inviting differing states of meditation, exploration, stillness and play. This never ending video work is taken from a large-scale interactive/media artwork created during a six-month research residency in England at the Institute of Contemporary Art London and at Vincent Dance Theatre Sheffield in 2006. It was originally presented on a raised floor screen made of pure white sand at the ICA in London (see). The project involved developing new interaction, engagement and image making strategies for media arts practice, drawing on the application of both kinetic and proprioceptive dance/performance knowledges. The work was further informed by ecological network theory that assesses the systemic implications of private and public actions within bounded systems. The creative methodology was primarily practice-led which fomented the particular qualities of imagery, generated through cross-fertilising embodied knowledge of Dance and Media Arts. This was achieved through extensive workshopping undertaken in theatres, working ‘on the floor’ live, with dancers, props, sound and projection. And eventually of course, all this dust must settle. (Holmes 2001, from Dust Jacket) Holmes, H. 2001, The Secret Life of Dust: From the Cosmos to the Kitchen Counter, the Big Consequences of Little Things, p.3

Instance-driven TBox revision in DL-Lite

The development and maintenance of large and complex ontologies are often time-consuming and error-prone. Thus, automated ontology learning and revision have attracted intensive research interest. In data-centric applications where ontologies are designed or automatically learnt from the data, when new data instances are added that contradict to the ontology, it is often desirable to incrementally revise the ontology according to the added data. This problem can be intuitively formulated as the problem of revising a TBox by an ABox. In this paper we introduce a model-theoretic approach to such an ontology revision problem by using a novel alternative semantic characterisation of DL-Lite ontologies. We show some desired properties for our ontology revision. We have also developed an algorithm for reasoning with the ontology revision without computing the revision result. The algorithm is efficient as its computational complexity is in coNP in the worst case and in PTIME when the size of the new data is bounded.

Maximum principle and numerical method for the multi-term time–space Riesz–Caputo fractional differential equations

The maximum principle for the space and time–space fractional partial differential equations is still an open problem. In this paper, we consider a multi-term time–space Riesz–Caputo fractional differential equations over an open bounded domain. A maximum principle for the equation is proved. The uniqueness and continuous dependence of the solution are derived. Using a fractional predictor–corrector method combining the L1 and L2 discrete schemes, we present a numerical method for the specified equation. Two examples are given to illustrate the obtained results.

Predictive motion planning for AUVs subject to strong time-varying currents and forecasting uncertainties

This paper presents a novel path planning method for minimizing the energy consumption of an autonomous underwater vehicle subjected to time varying ocean disturbances and forecast model uncertainty. The algorithm determines 4-Dimensional path candidates using Nonlinear Robust Model Predictive Control (NRMPC) and solutions optimised using A*-like algorithms. Vehicle performance limits are incorporated into the algorithm with disturbances represented as spatial and temporally varying ocean currents with a bounded uncertainty in their predictions. The proposed algorithm is demonstrated through simulations using a 4-Dimensional, spatially distributed time-series predictive ocean current model. Results show the combined NRMPC and A* approach is capable of generating energy-efficient paths which are resistant to both dynamic disturbances and ocean model uncertainty.

Community uses of co-creative media. Digital storytelling and Co-creative Media : The role of community arts and media in propagating and coordinating population-wide creative practice

This report describes a dynamic ‘Co-creative Media System’ that is emerging in the social space bounded by the following institutional pillars: • major cultural institutions (including screen culture agencies, libraries, museums, galleries and public service broadcasters) • the Community Arts and Cultural Development sector (historically supported through various programs of the Australia Council for the Arts) • the community broadcasting sector • the Indigenous media sector, and • the higher education sector. It illustrates how this system activates the immense creative potential of the Australian population through the ongoing development and application of participatory storytelling methods and media.