Elliptic curves, group law, and efficient computation

This thesis is about the derivation of the addition law on an arbitrary elliptic curve and efficiently adding points on this elliptic curve using the derived addition law. The outcomes of this research guarantee practical speedups in higher level operations which depend on point additions. In particular, the contributions immediately find applications in cryptology. Mastered by the 19th century mathematicians, the study of the theory of elliptic curves has been active for decades. Elliptic curves over finite fields made their way into public key cryptography in late 1980’s with independent proposals by Miller [Mil86] and Koblitz [Kob87]. Elliptic Curve Cryptography (ECC), following Miller’s and Koblitz’s proposals, employs the group of rational points on an elliptic curve in building discrete logarithm based public key cryptosystems. Starting from late 1990’s, the emergence of the ECC market has boosted the research in computational aspects of elliptic curves. This thesis falls into this same area of research where the main aim is to speed up the additions of rational points on an arbitrary elliptic curve (over a field of large characteristic). The outcomes of this work can be used to speed up applications which are based on elliptic curves, including cryptographic applications in ECC. The aforementioned goals of this thesis are achieved in five main steps. As the first step, this thesis brings together several algebraic tools in order to derive the unique group law of an elliptic curve. This step also includes an investigation of recent computer algebra packages relating to their capabilities. Although the group law is unique, its evaluation can be performed using abundant (in fact infinitely many) formulae. As the second step, this thesis progresses the finding of the best formulae for efficient addition of points. In the third step, the group law is stated explicitly by handling all possible summands. The fourth step presents the algorithms to be used for efficient point additions. In the fifth and final step, optimized software implementations of the proposed algorithms are presented in order to show that theoretical speedups of step four can be practically obtained. In each of the five steps, this thesis focuses on five forms of elliptic curves over finite fields of large characteristic. A list of these forms and their defining equations are given as follows: (a) Short Weierstrass form, y2 = x3 + ax + b, (b) Extended Jacobi quartic form, y2 = dx4 + 2ax2 + 1, (c) Twisted Hessian form, ax3 + y3 + 1 = dxy, (d) Twisted Edwards form, ax2 + y2 = 1 + dx2y2, (e) Twisted Jacobi intersection form, bs2 + c2 = 1, as2 + d2 = 1, These forms are the most promising candidates for efficient computations and thus considered in this work. Nevertheless, the methods employed in this thesis are capable of handling arbitrary elliptic curves. From a high level point of view, the following outcomes are achieved in this thesis. - Related literature results are brought together and further revisited. For most of the cases several missed formulae, algorithms, and efficient point representations are discovered. - Analogies are made among all studied forms. For instance, it is shown that two sets of affine addition formulae are sufficient to cover all possible affine inputs as long as the output is also an affine point in any of these forms. In the literature, many special cases, especially interactions with points at infinity were omitted from discussion. This thesis handles all of the possibilities. - Several new point doubling/addition formulae and algorithms are introduced, which are more efficient than the existing alternatives in the literature. Most notably, the speed of extended Jacobi quartic, twisted Edwards, and Jacobi intersection forms are improved. New unified addition formulae are proposed for short Weierstrass form. New coordinate systems are studied for the first time. - An optimized implementation is developed using a combination of generic x86-64 assembly instructions and the plain C language. The practical advantages of the proposed algorithms are supported by computer experiments. - All formulae, presented in the body of this thesis, are checked for correctness using computer algebra scripts together with details on register allocations.

Complaining in cyberspace : the motives and forms of hotel guests’ complaints online

Traditionally, consumers who have been dissatisfied with service have typically complained to the frontline personnel or to a manager in either a direct (face-to-face, over the phone) manner, indirect by writing, or done nothing but told friends and family of the incident. More recently, the Internet has provided various “new” ways to air a grievance, especially when little might have been done at the point of service failure. With the opportunity to now spread word-of-mouth globally, consumers have the potential to impact the standing of a brand or a firm's reputation. The hotel industry is particularly vulnerable, as an increasing number of bookings are undertaken via the Internet and the decision process is likely to be influenced by what other previous guests might post on many booking-linked sites. We conducted a qualitative study of a key travel site to ascertain the forms and motives of complaints made online about hotels and resorts. 200 web-based consumer complaints were analyzed using NVivo 8 software. Findings revealed that consumers report a wide range of service failures on the Internet. They tell a highly descriptive, persuasive, and credible story, often motivated by altruism or, at the other end of the continuum, by revenge. These stories have the power to influence potential guests to book or not book accommodation at the affected properties. Implications for managers of hotels and resorts are discussed.

Enduring documents : improving the forms, improving the outcomes

Most Australian states have introduced legislation to provide for enduring documents for financial, personal and health care decision making in the event of incapacity. Since the introduction of Enduring Powers of Attorney (EPAs) and Advance Health Directives (AHDs) in Queensland in 1998, concerns have continued to be raised by service providers, professionals and individuals about the uptake, understanding and appropriate use of these documents. In response to these concerns, the Department of Justice and Attorney-General (DJAG) convened a Practical Guardianship Initiatives Working Party. This group identified the limited evidence base available to address these concerns. In 2009, a multidisciplinary research team from the University of Queensland and the Queensland University of Technology was awarded $90,000 from the Legal Practitioners Interest on Trust Account Fund to undertake a review of the current EPA and AHD forms. The goal of the research was to gather data on the content and useability of the forms from the perspectives of a range of stakeholders, particularly those completing the EPA and AHD, witnesses of these documents, attorneys appointed under an EPA, and health professionals involved in the completion of an AHD or dealing with it in a clinical context. The researchers also sought to gather information from the perspective of Aboriginal and Torres Strait Islander (ATSI) individuals as well people from culturally and linguistically diverse (CALD) groups. Although the focus of the research was on the forms and the extent to which the current design, content and format represents a barrier to uptake, in the course of the research, some broader issues were identified which have an impact on the effectiveness of the EPA and AHD in achieving the goals of planning for financial and personal and health care in advance of losing capacity. The data gathered enabled the researchers to achieve the primary goal of the research: to make recommendations to improve the content and useability of the forms which hopefully will lead to an increased uptake and appropriate use of the forms. However, the researchers thought it was important not to ignore broader policy issues that were identified in the course of the research. These broader issues have been highlighted in this Report, and the researchers have responded to them in a variety of ways. For some issues, the researchers have suggested alterations that could be made to the forms to address the particular concerns. For other issues, the researchers have suggested that Government may need to take specific action such as educating the broader community with some attention to strategies that engage particular groups within communities. Other concerns raised can only be dealt with by legislative reform and, in some of these cases, the researchers have identified issues that Government may wish to consider further. We do note, however, that it is beyond the scope of this Report to recommend changes to the law. This three stage mixed methods project aimed to provide systematic evidence from a broad range of stakeholders in regard to: (i) which groups use and do not use these documents and why, (ii) the contribution of the length/complexity/format/language of the forms as barriers to their completion and/or effective use, and (iii) the issues raised by the current documents for witnesses and attorneys. Understanding and use of EPAs and AHDs were generally explored in separate but parallel processes. A purposive sampling strategy included users of the documents as principals and attorneys, and professionals, witnesses and service providers who assist others to execute or use the forms. The first component of this study built on existing knowledge using a Critical Reference Group and material provided by the DJAG Practical Guardianship Initiatives Working Party. This assisted in the development of the data collection tools for subsequent stages. The second component comprised semi-structured interviews and focus groups with a targeted sample of current users of the forms, potential users, witnesses and other professionals to provide in-depth information on critical issues. Outreach to Aboriginal and Torres Strait Islander Elders and individuals and workers with CALD groups ensured a broad sample of potential users of the two documents. Fifty individual interviews and three focus groups were completed. Most interviews and focus groups focused on perceptions of, and experiences with, either the EPA or the AHD form. In the interviews with Indigenous people and the CALD focus groups, however, respondents provided their perceptions and experiences of both documents. In general, these respondents had not used the forms and were responding to the documents made available in the interview or focus group. In total, seventy-seven individuals were involved in interviews or focus groups. The final component comprised on-line surveys for EPA principals, EPA attorneys, AHD principals, witnesses of EPAs and AHDs and medical practitioners with experience of AHDs as nominated and/or treating doctors. The surveys were developed from the initial component and the qualitative analysis of the interview and focus group data. A total of 116 surveys were returned from major cities and regional Queensland. The survey data was analysed descriptively for patterns and trends. It is important to note that the aim of the survey was to gain insight into issues and concerns relating to the documents and not to make generalisations to the broader population.

Taking stock of temporary organizational forms : a systematic review and research agenda

This paper brings together the research on temporary organizational forms. Despite a recent surge in publications on this topic, there have been few attempts to integrate knowledge on what we know of such temporary forms of organization. In order to correct this, an integrative framework is proposed around four central themes: time, team, task and context. Within each of these themes, the paper offers an overview of the literature, the gaps in what we know, and what future directions might be taken by scholars hoping to contribute to this important and rapidly growing field.

UHT milk contains multiple forms of αS1-casein that undergo degradative changes during storage

Milk proteins are susceptible to chemical changes during processing and storage. We used proteomic tools to analyse bovine αS1-casein in UHT milk. 2-D gels of freshly processed milk αS1-casein was presented as five or more spots due to genetic polymorphism and variable phosphorylation. MS analysis after phosphopeptide enrichment allowed discrimination between phosphorylation states and genetic variants. We identified a new alternatively-spliced isoform with a deletion of exon 17, producing a new C-terminal sequence, K164SQVNSEGLHSYGL177, with a novel phosphorylation site at S174. Storage of UHT milk at elevated temperatures produced additional, more acidic αS1-casein spots on the gels and decreased the resolution of minor forms. MS analysis indicated that non-enzymatic deamidation and loss of the N-terminal dipeptide were the major contributors to the changing spot pattern. These results highlight the important role of storage temperature in the stability of milk proteins and the utility of proteomic techniques for analysis of proteins in food.

Heterosexual and nonheterosexual young university students’ involvement in traditional and cyber forms of bullying

Research has consistently found that school students who do not identify as self-declared completely heterosexual are at increased risk of victimization by bullying from peers. This study examined heterosexual and nonheterosexual university students’ involvement in both traditional and cyber forms of bullying, as either bullies or victims. Five hundred twenty-eight first-year university students (M= 19.52 years old) were surveyed about their sexual orientation and their bullying experiences over the previous 12 months. The results showed that nonheterosexual young people reported higher levels of involvement in traditional bullying, both as victims and perpetrators, in comparison to heterosexual students. In contrast, cyberbullying trends were generally found to be similar for heterosexual and nonheterosexual young people. Gender differences were also found. The implications of these results are discussed in terms of intervention and prevention of the victimization of nonheterosexual university students.

Proximal and distal forms of visionary leadership : a stress buffering perspective

Occupational stress research has consistently demonstrated many negative effects of work stressors on employee adjustment (i.e., job-related attitudes and health). Considerable literature also describes potential moderators of this relationship. While research has revealed that leader vision can have significant positive effects on employee adjustment it has neglected investigation of its potential stress buffering effects. Based on leadership and identification theories, it was predicted that stress buffering effects of leader vision would be more evident for distal versus proximal leaders and also when the distal or proximal leader vision was congruent with the employee adjustment outcome type (distal versus proximal). Predictions were tested with an employee sample from one large public sector organization (N = 519). Hierarchical multiple regression analyses revealed that main and moderated effects relating to leader vision supported the notion that occupational stress would be reduced when there was congruence of distal and proximal leader vision and distal and proximal outcome types. However, stress buffering effects were found for high and low perceivers of leader vision that were not in line with hypotheses posing questions for the definitions of distal and proximal identifications. Findings are discussed in terms of theoretical and practical implications.

Noise removal from wave-forms and spectrograms derived from natural recordings of the environment

The work described in this technical report is part of an ongoing project to build practical tools for the manipulation, analysis and visualisation of recordings of the natural environment. This report describes the methods we use to remove background noise from spectrograms. It updates techniques previously described in Towsey and Planitz (2011), Technical report: acoustic analysis of the natural environment, downloadable from: http://eprints.qut.edu.au/41131/. It also describes noise removal from wave-forms, a technique not described in the above 2011 technical report.

Australian TV news : New forms, functions, and futures

Australian TV News: New Forms, Functions, and Futures examines the changing relationships between television, politics and popular culture. Drawing extensively on qualitative audience research and industry interviews, this book demonstrates that while ‘infotainment’ and satirical programmes may not follow the journalism orthodoxy (or, in some cases, reject it outright), they nevertheless play an important role in the way everyday Australians understand what is happening in the world. This therefore throws into question some longstanding assumptions about what form TV news should take, the functions it ought to serve, and the future prospects of the fourth estate.

Genomic evidence for the parallel evolution of coastal forms in the Senecio lautus complex

Instances of parallel ecotypic divergence where adaptation to similar conditions repeatedly cause similar phenotypic changes in closely related organisms are useful for studying the role of ecological selection in speciation. Here we used a combination of traditional and next generation genotyping techniques to test for the parallel divergence of plants from the Senecio lautus complex, a phenotypically variable groundsel that has adapted to disparate environments in the South Pacific. Phylogenetic analysis of a broad selection of Senecio species showed that members of the S. lautus complex form a distinct lineage that has diversified recently in Australasia. An inspection of thousands of polymorphisms in the genome of 27 natural populations from the S. lautus complex in Australia revealed a signal of strong genetic structure independent of habitat and phenotype. Additionally, genetic differentiation between populations was correlated with the geographical distance separating them, and the genetic diversity of populations strongly depended on geographical location. Importantly, coastal forms appeared in several independent phylogenetic clades, a pattern that is consistent with the parallel evolution of these forms. Analyses of the patterns of genomic differentiation between populations further revealed that adjacent populations displayed greater genomic heterogeneity than allopatric populations and are differentiated according to variation in soil composition. These results are consistent with a process of parallel ecotypic divergence in face of gene flow.

Phenytoin metabolism by human cytochrome P450 : involvement of P450 3A and 2C forms in secondary metabolism and drug-protein adduct formation

The anticonvulsant phenytoin (5,5-diphenylhydantoin) provokes a skin rash in 5 to 10% of patients, which heralds the start of an idiosyncratic reaction that may result from covalent modification of normal self proteins by reactive drug metabolites. Phenytoin is metabolized by cytochrome P450 (P450) enzymes primarily to 5-(p-hydroxyphenyl-),5-phenylhydantoin (HPPH), which may be further metabolized to a catechol that spontaneously oxidizes to semiquinone and quinone species that covalently modify proteins. The aim of this study was to determine which P450s catalyze HPPH metabolism to the catechol, proposed to be the final enzymatic step in phenytoin bioactivation. Recombinant human P450s were coexpressed with NADPH-cytochrome P450 reductase in Escherichia coli. Novel bicistronic expression vectors were constructed for P450 2C19 and the three major variants of P450 2C9, i.e., 2C9*1, 2C9*2, and 2C9*3. HPPH metabolism and covalent adduct formation were assessed in parallel. P450 2C19 was the most effective catalyst of HPPH oxidation to the catechol metabolite and was also associated with the highest levels of covalent adduct formation. P450 3A4, 3A5, 3A7, 2C9*1, and 2C9*2 also catalyzed bioactivation of HPPH, but to a lesser extent. Fluorographic analysis showed that the major targets of adduct formation in bacterial membranes were the catalytic P450 forms, as suggested from experiments with human liver microsomes. These results suggest that P450 2C19 and other forms from the 2C and 3A subfamilies may be targets as well as catalysts of drug-protein adduct formation from phenytoin.

Voltammetric, spectroscopic, and microscopic investigations of electrocrystallized forms of semiconducting AgTCNQ (TCNQ=7,7,8,8-tetracyanoquinodimethane) exhibiting different morphologies and colors

Chemically synthesized AgTCNQ exists in two forms that differ in their morphologies (needles and microcrystals) and colors (red and blue). It is now shown that both forms exhibit essentially indistinguishable X-ray diffraction, spectroscopic, and thermochemical data, implying that they are not separate phases, as implied in some literature. Electrochemical reduction of TCNQ((MeCN)) in the presence of Ag+((MeCN)) generates both red and blue AgTCNQ. On glassy carbon, platinum, or indium tin oxide electrodes and at relatively positive deposition potentials, slow growth of high aspect ratio, red needle AgTCNQ crystals occurs. After longer times and at more negative deposition potentials, blue microcrystalline AgTCNQ thin films are favored. Blue AgTCNQ is postulated to be generated via reduction of a Ag+\[(TCNQ(center dot-))(TCNQ)]((MeCN)) intermediate. At even more negative potentials, Ag-(metal) formation inhibits further growth of AgTCNQ. On a gold electrode, Ag-(metal)) deposition occurs at more positive potentials than on the other electrode materials examined. However, surface plasmon resonance data indicate (hat a small potential region is available between the stripping of Ag-(metal)) and the oxidation of TCNQ(center dot-)(MeCN) back to TCNQ(MeCN) where AgTCNQ may form. AgTCNQ in both the red and blue forms also can be prepared electrochemically on a TCNQ((s)) modified electrode in -0.1 M AgNO3(aq) where deposition of Ag(m,,,I) onto the TCNQ((s)) crystals allows a charge transfer process to occur. However, the morphology formed in this solid-solid phase transformation is more difficult to control.

The loss of CO from the ortho, meta and para forms of deprotonated methyl benzoate in the gas phase

The ortho, meta and para anions of methyl benzoate may be made in the source of a mass spectrometer by the S(N)2(Si) reactions between HO- and methyl (o-, m-, and p-trimethylsilyl)benzoate respectively. All three anions lose CO upon collisional activation to form the ortho anion of anisole in the ratio ortho>>meta > para. The rearrangement process is charge directed through the ortho anion. Theoretical calculations at the B3LYP/6-311++G(d,p)//HF/6-31+G(d) level of theory indicate that the conversion of the meta and para anions to the ortho anion prior to loss of CO involve 1,2-H transfer(s), rather than carbon scrambling of the methoxycarbonylphenyl anion. There are two mechanisms which can account for this rearrangement, viz. (A) cyclisation of the ortho anion centre to the carbonyl group of the ester to give a cyclic carbonyl system in which the incipient methoxide anion substitutes at one of the two equivalent ring carbons of the three membered ring to yield an intermediate which loses CO to give the ortho anion of anisole, and (B) an elimination reaction to give an intermediate benzyne-methoxycarbonyl anion complex in which the MeOCO- species acts as a MeO- donor, which then adds to benzyne to yield the ortho anion of anisole. Calculations at the B3LYP/6-311++G(d,p)//HF/6-31+G(d) level of theory indicate that (i) the barrier in the first step (the rate determining step) of process A is 87 kJ mol(-1) less than that for the synchronous benzyne process B, and (ii) there are more low frequency vibrations in the transition state for benzyne process B than for the corresponding transition state for process A. Stepwise process A has the lower barrier for the rate determining step, and the lower Arrhenius factor: we cannot differentiate between these two mechanisms on available evidence.