A non-malleable group key exchange protocol robust against active insiders

In this paper we make progress towards solving an open problem posed by Katz and Yung at CRYPTO 2003. We propose the first protocol for key exchange among n ≥2k+1 parties which simultaneously achieves all of the following properties: 1. Key Privacy (including forward security) against active attacks by group outsiders, 2. Non-malleability — meaning in particular that no subset of up to k corrupted group insiders can ‘fix’ the agreed key to a desired value, and 3. Robustness against denial of service attacks by up to k corrupted group insiders. Our insider security properties above are achieved assuming the availability of a reliable broadcast channel.

Atmospheric-pressure plasma jets : effect of gas flow, active species, and snake-like bullet propagation

Cold atmospheric-pressure plasma jets have recently attracted enormous interest owing to numerous applications in plasma biology, health care, medicine, and nanotechnology. A dedicated study of the interaction between the upstream and downstream plasma plumes revealed that the active species (electrons, ions, excited OH, metastable Ar, and nitrogen-related species) generated by the upstream plasma plume enhance the propagation of the downstream plasma plume. At gas flows exceeding 2 l/min, the downstream plasma plume is longer than the upstream plasma plume. Detailed plasma diagnostics and discharge species analysis suggest that this effect is due to the electrons and ions that are generated by the upstream plasma and flow into the downstream plume. This in turn leads to the relatively higher electron density in the downstream plasma. Moreover, high-speed photography reveals a highly unusual behavior of the plasma bullets, which propagate in snake-like motions, very differently from the previous reports. This behavior is related to the hydrodynamic instability of the gas flow, which results in non-uniform distributions of long-lifetime active species in the discharge tube and of surface charges on the inner surface of the tube.

Raman-active wurtzite CdO nanophase and phonon signatures in CdO/ZnO heterostructures fabricated by nonequilibrium laser plasma ablation and stress control

A combination of laser plasma ablation and strain control in CdO/ZnO heterostructures is used to produce and stabilize a metastable wurtzite CdO nanophase. According to the Raman selection rules, this nanophase is Raman-active whereas the thermodynamically preferred rocksalt phase is inactive. The wurtzite-specific and thickness/strain-dependent Raman fingerprints and phonon modes are identified and can be used for reliable and inexpensive nanophase detection. The wurtzite nanophase formation is also confirmed by x-ray diffractometry. The demonstrated ability of the metastable phase and phonon mode control in CdO/ZnO heterostructures is promising for the development of next-generation light emitting sources and exciton-based laser diodes.

A novel matrix converter based resonant dual active bridge for V2G applications

Dual-active bridges (DABs) can be used to deliver isolated and bidirectional power to electric vehicles (EVs) or to the grid in vehicle-to-grid (V2G) applications. However, such a system essentially requires a two-stage power conversion process, which significantly increases the power losses. Furthermore, the poor power factor associated with DAB converters further reduces the efficiency of such systems. This paper proposes a novel matrix converter based resonant DAB converter that requires only a single-stage power conversion process to facilitate isolated bi-directional power transfer between EVs and the grid. The proposed converter comprises a matrix converter based front end linked with an EV side full-bridge converter through a high frequency isolation transformer and a tuned LCL network. A mathematical model, which predicts the behavior of the proposed system, is presented to show that both the magnitude and direction of the power flow can be controlled through either relative phase angle or magnitude modulation of voltages produced by converters. Viability of the proposed concept is verified through simulations. The proposed matrix converter based DAB, with a single power conversion stage, is low in cost, and suites charging and discharging in single or multiple EVs or V2G applications.

A loop cancellation based active damping solution for constant power instability in vehicular power systems

In recent years, electric propulsion systems have increasingly been used in land, sea and air vehicles. The vehicular power systems are usually loaded with tightly regulated power electronic converters which tend to draw constant power. Since the constant power loads (CPLs) impose negative incremental resistance characteristics on the feeder system, they pose a potential threat to the stability of vehicular power systems. This effect becomes more significant in the presence of distribution lines between source and load in large vehicular power systems such as electric ships and more electric aircrafts. System transients such as sudden drop of converter side loads or increase of constant power requirement can cause complete system instability. Most of the existing research work focuses on the modeling and stabilization of DC vehicular power systems with CPLs. Only a few solutions are proposed to stabilize AC vehicular power systems with non-negligible distribution lines and CPLs. Therefore, this paper proposes a novel loop cancellation technique to eliminate constant power instability in AC vehicular power systems with a theoretically unbounded system stability region. Analysis is carried out on system stability with the proposed method and simulation results are presented to validate its effectiveness.

Virtual resistance based active damping solution for constant power instability in AC microgrids

With ever-increasing share of power electronic loads constant power instability is becoming a significant issue in microgrids, especially when they operate in the islanding mode. Transient conditions like resistive load-shedding or sudden increase of constant power loads (CPL) might destabilize the whole system. Modeling and stability analysis of AC microgrids with CPLs have already been discussed in literature. However, no effective solutions are provided to stabilize this kind of system. Therefore, this paper proposes a virtual resistance based active damping method to eliminate constant power instability in AC microgrids. Advantages and limitations of the proposed method are also discussed in detail. Simulation results are presented to validate the proposed active damping solution.

Australian Environmental Law : Norms, Principles & Rules, 3rd Edition

Australian Environmental Law: Norms, Principles and Rules, 3rd Edition provides a detailed examination of the fundamental concepts and principles of the environmental legal system in Australia. This new edition updates relevant State, Territory and Commonwealth legislation and case law and expands on the themes set out in the 2nd edition, namely:the origins and contexts of environmental governance; the movement toward ecologically sustainable development; the relevance and function of ecologically sustainable development today in the legal system; and the range of instrumental rules supporting environmental governance. The 3rd edition in particular expands upon the range of instrumental rules by analysing through the case law the emerging sets of rules of competence and limitation on the one hand and the emerging sets of purposive, deliberative, methodological, strategic, liability and market rules on the other hand. This thematic and principled approach adopted in Australian Environmental Law: Norms, Principles and Rules, 3rd Edition presents the reader with coverage of the important issues surrounding this area of the law in a clear and concise way.

Stop and revive? The effectiveness of nap and active rest breaks for reducing driver sleepiness

Objectives The purpose for this study was to determine the relative benefit of nap and active rest breaks for reducing driver sleepiness. Methods Participants were 20 healthy young adults (20-25 years), including 8 males and 12 females. A counterbalanced within-subjects design was used such that each participant completed both conditions on separate occasions, a week apart. The effects of the countermeasures were evaluated by established physiological (EEG theta and alpha absolute power), subjective (Karolinska Sleepiness Scale), and driving performance measures (Hazard Perception Task). Participants woke at 5am, and undertook a simulated driving task for two hours; each participant then had either a 15-minute nap opportunity or a 15-minute active rest break that included 10 minutes of brisk walking, followed by another hour of simulated driving. Results The nap break reduced EEG theta and alpha absolute power and eventually reduced subjective sleepiness levels. In contrast, the active rest break did not reduce EEG theta and alpha absolute power levels with the power levels eventually increasing. An immediate reduction of subjective sleepiness was observed, with subjective sleepiness increasing during the final hour of simulated driving. No difference was found between the two breaks for hazard perception performance. Conclusions Only the nap break produced a significant reduction in physiological sleepiness. The immediate reductions of subjective sleepiness following the active rest break could leave drivers with erroneous perceptions of their sleepiness, particularly as physiological sleepiness continued to increase after the break.

Career Development and Systems Theory : Connecting Theory and Practice [3rd edition]

"The 3rd edition of this classic book offers practitioners, researchers and students a comprehensive introduction to, and overview of, career theory; introduces the Systems Theory Framework of career development; and demonstrates its considerable contemporary and innovative application to practice. A number of authors have identified the framework as one of a small number of significant innovations in the career development literature. The Systems Theory Framework of career development was developed to provide coherence to the career development field by providing a comprehensive conceptualisation of the many existing theories and concepts relevant to understanding career development. It is not designed to be a theory of career development; rather systems theory is introduced as the basis for an overarching, or metatheoretical, framework within which all concepts of career development, described in the plethora of career theories, can be usefully positioned and utilised in both theory and practice. It has been applied to the career development of children, adolescents and women. Since its first publication, the Systems Theory Framework has been the basis of numerous publications focusing on theoretical application and integration, practice and research, with a growing number of these by authors other than the framework developers. Its application across cultures also has been emphasised. The theoretical and practical unity of the Systems Theory Framework makes this book a worthy addition to the professional libraries of practitioners, researchers and students, new to, or experienced in, the field of career development."--PUBLISHER WEBSITE

Visions and values : the Children’s Book Council of Australia’s prizing of picture books in the twenty-first century

The Children’s Book Council of Australia (CBCA) administers the oldest national prize for children’s literature in Australia. Each year, the CBCA confers “Book of the Year” awards to literature for young people in five categories. In 2001, the establishment of an “Early Childhood” category opened up the venerable “Picture Book” category (first awarded in 1955) to books with an implied readership up to 18 years of age. As a result, this category has emerged in recent years as a highly visible space within which the CBCA can contest discourses of cultural marginalisation insofar as Australian (“colonial”) literature is constructed as inferior or adjunct to the major Anglophone literary traditions, and the consistent identification of children’s literature (and, indeed, of children) as lesser than its ‘adult’ counterparts. The CBCA is engaged in defining, evaluating, and legitimising a tradition of Australian children’s literature which is underpinned by a canonical impulse, and is a reflexive practice of self-definition, self-evaluation and self-legitimisation for the CBCA itself. While it is obviously problematic to identify award winners as a canon, it is equally obvious that literary prizing is a cultural practice derived from the logic of canonicity. In his discussion of the United States’s Newbery Medal, Kenneth Kidd notes that “Medal books are instant classics, the selection process an ostensible simulation of the test of time” (169) and that “the Medal is part of the canonical architecture of children's literature” (169). Thus, it is instructive to consider the visions and values of the national, of the social, and of the literary-aesthetic, in the picture books chosen by the Children’s Book Council of Australia (CBCA) as the “best” of the early twenty-first century. These books not only constitute a kind of canon for contemporary Australian children’s literature, but may well come to define what contemporary Australian children’s literature means in the wider literary field. The Book of the Year: Picture Book awards given by the CBCA since 2001 demonstrate that it is not only true of the Booker Prize that, “The choices of winning books reflect not only on the books themselves, then, but also back on the Prize, affecting its reputation and creating journalistic capital which is vital for the Prize to achieve its prominence and impact.” (81). Many of the twenty-first century CBCA award-winning picture books complicate traditional or comfortable understanding of Australianness, children’s literature, or “appropriate” modes of form and content, reminding us that “moments when texts resist or complicate recuperation into national discourses offer fruitful points for exploring the relationships between text and celebratory context” (Roberts 6). The CBCA has taken the opportunities offered by the liberation of the Picture Book category from an implied readership to challenge dominant constructions of children’s literature in Australia, and in so doing, are engaged in overt practices of canonicity with potentially long-lasting effects. Works Cited: Kidd, Kenneth. “Prizing Children’s Literature: The Case of Newbery Gold.” Children's Literature 35 (2007): 166-190. Roberts, Gillian. Prizing Literature: The Celebration and Circulation of National Culture. Toronto: U Toronto P, 2011. Squires, Claire. “Book Marketing and the Booker Prize.” Judging a Book by Its Cover: Fans, Publishers, Designers, and the Marketing of Fiction. Eds. Nicole Matthews and Nickianne Moody. Aldershot: Ashgate, 2007. 71-82.

100 futures now : designing sustainable futures

This presentation tells the story of an initiative in middle schooling at Kelvin Grove State College that begins in the Art studios, but reaches out to other disciplines and approaches, and to community and industry partners. It is inspired by the potential of 'future thinking' to become a compelling focus in contemporary art and design. Ethically it espouses a simple premise": every student in our classrooms now has a stake in creating livable, democratic and creative futures. Every student has the potential to be an active force in making that future. "100 Futures Now" is a project that envisages creative and imaginative students working in collaboration with artists and designers to visualize amazing futures and communicate their vision through art and design. "100 Futures Now" is one in a series of innovative curriculum initiatives at Kelvin Grove State College designed to build sustainable practice in arts education with the support of partners in industry and universities and with resident artists and designers. The model blends elements of art and design methodology to focus on the critical and creative thinking skills prioritised in ACARA and 21st century curriculum. The organisers are developing a sustainable model for working with resident artists that goes beyond a single arts intervention or extension/enrichment experience. In this model artists and designers are collaborators in the design of learning experiences that support future programs. This model also looks to transfer the benefits of residencies to the wider school community (in this case to middle schooling curriculum) and to teachers in other curriculum areas, and not exclusively to the immediate target group. In "100 Futures Now", story-making is the engine that powers the creative process. For this reason the program uses a series of imaginative scenarios, including those of speculative fiction and science, as departure points for inquiry, and applies the methodologies of arts and design practice to explore and express student story telling and story making. The story-making responses of student teams will naturally be expressed multimodally through visual art, design artifacts, installation, performance and digital works. The project’s focus on narratives and its modes of communication (performance/installation) are inspired by the work of experimental contemporary design practices and the speculative scenarios of U.K. based designers Anthony Dunne and Fiona Raby. Thanks to the support of an Arts Queensland Artist-in -Residence grant in 2014, resident artists and designers who work with a diversity of ideas and approaches ranging over science, bio-ethics, biodiversity, behavior and ethics, ambient sound, urbanism, food, and wearable design, will work with middle school students as catalysts for deeper thinking and creative action. All these rich fields for future speculation will become triggers for team inquiry into the deeper connections between the past, the present, and future challenges such as climate, waste, energy, sustainability and resilience. These imagined futures will form the platform for a critical, sustainability/design futures approach that will involve questioning assumptions and empowering students as agents rather than consumers of change.

Trait resilience fosters adaptive coping when control opportunities are high : implications for the motivating potential of active work

Purpose: We examine the interaction between trait resilience and control in predicting coping and performance. Drawing on a person–environment fit perspective, we hypothesized resilient individuals would cope and perform better in demanding work situations when control was high. In contrast, those low in resilience would cope and perform better when control was low. Recognizing the relationship between trait resilience and performance also could be indirect, adaptive coping was examined as a mediating mechanism through which high control enables resilient individuals to demonstrate better performance. Methodology: In Study 1 (N = 78) and Study 2 (N = 94), participants completed a demanding inbox task in which trait resilience was measured and high and low control was manipulated. Study 3 involved surveying 368 employees on their trait resilience, control, and demand at work (at Time 1), and coping and performance 1 month later at Time 2. Findings: For more resilient individuals, high control facilitated problem-focused coping (Study 1, 2, and 3), which was indirectly associated with higher subjective performance (Study 1), mastery (Study 2), adaptive, and proficient performance (Study 3). For more resilient individuals, high control also facilitated positive reappraisal (Study 2 and 3), which was indirectly associated with higher adaptive and proficient performance (Study 3). Implications: Individuals higher in resilience benefit from high control because it enables adaptive coping. Originality/value: This research makes two contributions: (1) an experimental investigation into the interaction of trait resilience and control, and (2) investigation of coping as the mechanism explaining better performance.