State convergence and the effectiveness of time-memory-data tradeoffs

Various time-memory tradeoffs attacks for stream ciphers have been proposed over the years. However, the claimed success of these attacks assumes the initialisation process of the stream cipher is one-to-one. Some stream cipher proposals do not have a one-to-one initialisation process. In this paper, we examine the impact of this on the success of time-memory-data tradeoff attacks. Under the circumstances, some attacks are more successful than previously claimed while others are less. The conditions for both cases are established.

State of Origin : Queensland Crown Leasehold - lessons from New South Wales

Throughout Australia freehold land interests are protected by statutory schemes which grant indefeasibility of title to registered interests. Queensland freehold land interests are protected by Torrens system established by the Land Title Act 1994. However, no such protection exists for Crown land interests. The extent of Queensland occupied under some form of Crown tenure, in excess of 70%, means that Queensland Crown land users are disadvantaged when compared to freehold land users. This article examines the role indefeasibility of title has in protecting interests in Crown land. A comparative analysis is undertaken between Queensland and New South Wales land management frameworks to determine whether interests in crown land are adequately protected in Queensland.

Peer state assessment of TxDOT maintenance program and practices, part II : test section survey findings and recommendations

This paper presents a road survey as part of a workshop conducted by the Texas Department of Transportation (TxDOT) to evaluate and improve the maintenance practices of the Texas highway system. Directors of maintenance from six peer states (California, Kansas, Georgia, Missouri, North Carolina, and Washington) were invited to this 3-day workshop. One of the important parts of this workshop was a Maintenance Test Section Survey (MTSS) to evaluate a number of pre-selected one-mile roadway sections. The workshop schedule allowed half a day to conduct the field survey and 34 sections were evaluated. Each of the evaluators was given a booklet and asked to rate the selected road sections. The goals of the MTSS were to: 1. Assess the threshold level at which maintenance activities are required as perceived by the evaluators from the peer states; 2. Assess the threshold level at which maintenance activities are required as perceived by evaluators from other TxDOT districts; and 3. Perform a pilot evaluation of the MTSS concept. This paper summarizes the information obtained from survey and discusses the major findings based on a statistical analysis of the data and comments from the survey participants.

Peer state assessment of TxDOT maintenance program and practices, part I : workshop findings and recommendations

To assess and improve their practices, and thus ensure the future excellence of the Texas highway system, the Texas Department of Transportation (TxDOT) sought a forum in which experts from other State Departments of Transportation could evaluate the TxDOT maintenance program and practices based on their expertise. To meet this need, a Peer State Review of TxDOT Maintenance Practices project was organized and conducted by the Center for Transportation Research (CTR) at The University of Texas at Austin. CTR researchers, along with TxDOT staff, conducted a workshop to present TxDOT’s maintenance practices to the visiting peer reviewers and invite their feedback. Directors of maintenance from six different states—California, Kansas, Georgia, Missouri, North Carolina, and Washington—participated in the workshop. CTR and TxDOT worked together to design a questionnaire with 15 key questions to capture the peers’ opinions on maintenance program and practices. This paper compiles and summarizes this information. The examination results suggested that TxDOT should use a more state-wide approach to funding and planning, in addition to funding and planning for each district separately. Additionally, the peers recommended that criteria such as condition and level of service of the roadways be given greater weight in the funding allocation than lane miles or vehicle miles traveled (VMT). The Peer Reviewers also determined that TxDOT maintenance employee experience and communications were strong assets. Additional strengths included the willingness of TxDOT to invite peer reviews of their practices and a willingness to consider opportunities for improvement.

State convergence in the initialisation of the Sfinks stream cipher

Sfinks is a shift register based stream cipher designed for hardware implementation. The initialisation state update function is different from the state update function used for keystream generation. We demonstrate state convergence during the initialisation process, even though the individual components used in the initialisation are one-to-one. However, the combination of these components is not one-to-one.

Three carrier ambiguity resolution : distance-independent performance demonstrated using semi-generated triple frequency GPS signals

In spite of significant research in the development of efficient algorithms for three carrier ambiguity resolution, full performance potential of the additional frequency signals cannot be demonstrated effectively without actual triple frequency data. In addition, all the proposed algorithms showed their difficulties in reliable resolution of the medium-lane and narrow-lane ambiguities in different long-range scenarios. In this contribution, we will investigate the effects of various distance-dependent biases, identifying the tropospheric delay to be the key limitation for long-range three carrier ambiguity resolution. In order to achieve reliable ambiguity resolution in regional networks with the inter-station distances of hundreds of kilometers, a new geometry-free and ionosphere-free model is proposed to fix the integer ambiguities of the medium-lane or narrow-lane observables over just several minutes without distance constraint. Finally, the semi-simulation method is introduced to generate the third frequency signals from dual-frequency GPS data and experimentally demonstrate the research findings of this paper.

Current state of the application of infrared optical methods for assessing articular cartilage

This paper reviews the current state in the application of infrared methods, particularly mid-infrared (mid-IR) and near infrared (NIR), for the evaluation of the structural and functional integrity of articular cartilage. It is noted that while a considerable amount of research has been conducted with respect to tissue characterization using mid-IR, it is almost certain that full-thickness cartilage assessment is not feasible with this method. On the contrary, the relatively more considerable penetration capacity of NIR suggests that it is a suitable candidate for full-thickness cartilage evaluation. Nevertheless, significant research is still required to improve the specificity and clinical applicability of the method if we are going to be able to use it for distinguishing between functional and dysfunctional cartilage.

The role of insulin and IGF2 signalling on metabolic pathways in prostate cancer progression

Prostate cancer (CaP) is the most commonly diagnosed cancer in males in Australia, North America, and Europe. If found early and locally confined, CaP can be treated with radical prostatectomy or radiation therapy; however, 25-40% patients will relapse and go on to advanced disease. The most common therapy in these cases is androgen deprivation therapy (ADT), which suppresses androgen production from the testis. Lack of the testicular androgen supply causes cells of the prostate to undergo apoptosis. However, in some cases the regression initially seen with ADT eventually gives way to a growth of a population of cancerous cells that no longer require testicular androgens. This phenotype is essentially fatal and is termed castrate resistant prostate cancer (CRPC). In addition to eventual regression, there are many undesirable side effects which accompany ADT, including development of a metabolic syndrome, which is defined by the U.S. National Library of Medicine as “a combination of medical disorders that increase the risk of developing cardiovascular disease and diabetes.” This project will focus on the effect of ADT induced hyperinsulinemia, as mimicked by treating androgen receptor positive CaP cells with insulin in a serum (hormone) deprived environment. While this side effect is not widely explored, in this thesis it is demonstrated for the first time that insulin upregulates pathways important to CaP progression. Our group has previously shown that during CaP progression, the enzymes necessary for de novo steroidogenesis are upregulated in the LNCaP xenograft model, total steroid levels are increased in tumours compared to pre castrate levels, and de novo steroidogenesis from radio-labelled acetate has been demonstrated. Because of the CaP dependence on AR for survival, we and other groups believe that CaP cells carry out de novo steroidogenesis to survive in androgen deprived conditions. Because (a) men on ADT often develop metabolic syndrome, and (b) men with lifestyle-induced obesity and hyperinsulinemia have worse prognosis and faster disease progression, and because (c) insulin causes steroidogenesis in other cell lines, the hypothesis that insulin may contribute to CaP progression through upregulation of steroidogenesis was explored. Insulin upregulates steroidogenesis enzymes at the mRNA level in three AR positive cell lines, as well as upregulating these enzymes at the protein level in two cell lines. It has also been demonstrated that insulin increases mitochondrial (functional) levels of steroid acute regulatory protein (StAR). Furthermore, insulin causes increased levels of total steroids in and induction of de novo steroid synthesis by insulin has been demonstrated at levels induced sufficient to activate AR. The effect of insulin analogs on CaP steroidogenesis in LNCaP and VCaP cells has also been investigated because epidemiological studies suggest that some of the analogs developed may have more cancer stimulatory effects than normal insulin. In this project, despite the signalling differences between glargine, X10, and insulin, these analogs did not appear to induce steroidogenesis any more potently that normal insulin. The effect of insulin of MCF7breast cancer cells was also investigated with results suggesting that breast cancer cells may be capable of de novo steroidogenesis, and that increase in estradiol production may be exacerbated by insulin. Insulin has also been long known to stimulate lipogenesis in the liver and adipocytes, and has been demonstrated to increase lipogenesis in breast cancer cells; therefore, investigation of the effect of insulin on lipogenesis, which is a hallmark of aggressive cancers, was investigated. In CaP progression sterol regulatory element binding protein (SREBP) is dysregulated and upregulates fatty acid synthase (FASN), acetyl CoA-carboxylase, and other lipogenesis genes. SREBP is important for steroidogenesis and in this project has been shown to be upregulated by insulin in CaP cells. Fatty acid synthesis provides building blocks of membrane growth, provides substrates for acid oxidation, the main energy source for CaP cells, provides building blocks for anti-apoptotic and proinflammatory molecules, and provides molecules that stimulate steroidogenesis. In this project it has been shown that insulin upregulates FASN and ACC, which synthesize fatty acids, as well as upregulating hormone sensitive lipase (HSL), diazepam-binding inhibitor (DBI), and long-chain acyl-CoA synthetase 3 (ACSL3), which contribute to lipid activation of steroidogenesis. Insulin also upregulates total lipid levels and de novo lipogenesis, which can be suppressed by inhibition of the insulin receptor (INSR). The fatty acids synthesized after insulin treatment are those that have been associated with CaP; furthermore, microarray data suggests insulin may upregulate fatty acid biosynthesis, metabolism and arachidonic acid metabolism pathways, which have been implicated in CaP growth and survival. Pharmacological agents used to treat patients with hyperinsulinemia/ hyperlipidemia have gained much interest in regards to CaP risk and treatment; however, the scientific rationale behind these clinical applications has not been examined. This thesis explores whether the use of metformin or simvastatin would decrease either lipogenesis or steroidogenesis or both in CaP cells. Simvastatin is a 3-hydroxy-3-methylglutaryl-CoA reductase (HMGR) inhibitor, which blocks synthesis of cholesterol, the building block of steroids/ androgens. It has also been postulated to down regulate SREBP in other metabolic disorders. It has been shown in this thesis, in LNCaP cells, that simvastatin inhibited and decreased insulin induced steroidogenesis and lipogenesis, respectively, but increased these pathways in the absence of insulin. Conversely, metformin, which activates AMP-activated protein kinase (AMPK) to shut down lipogenesis, cholesterol synthesis, and protein synthesis, highly suppresses both steroidogenesis and lipogenesis in the presence and absence of insulin. Lastly, because it has been demonstrated to increase steroidogenesis in other cell lines, and because the elucidation of any factors affecting steroidogenesis is important to understanding CaP, the effect of IGF2 on steroidogenesis in CaP cells was investigated. In patient samples, as men progress to CRPC, IGF2 mRNA and the protein levels of the receptors it may signal through are upregulated. It has also been demonstrated that IGF2 upregulates steroidogenic enzymes at both the mRNA and protein levels in LNCaP cells, increases intracellular and secreted steroid/androgen levels in LNCaPs to levels sufficient to stimulate the AR, and upregulated de novo steroidogenesis in LNCaPs and VCaPs. As well, inhibition of INSR and insulin-like growth factor 1 receptor (IGF1R), which IGF2 signals through, suggests that induction of steroidogenesis may be occurring predominantly through IGF1R. In summary, this project has illuminated for the first time that insulin is likely to play a large role in cancer progression, through upregulation of the steroidogenesis and lipogenesis pathways at the mRNA and protein levels, and production levels, and demonstrates a novel role for IGF-II in CaP progression through stimulation of steroidogenesis. It has also been demonstrated that metformin and simvastatin drugs may be useful in suppressing the insulin induction of these pathways. This project affirms the pathways by which ADT- induced metabolic syndrome may exacerbate CaP progression and strongly suggests that the monitoring and modulation of the metabolic state of CaP patients could have a strong impact on their therapeutic outcomes.

Separation of acoustic emission signals from small size multi-cylinder diesel engine

This paper presents techniques which can lead to diagnosis of faults in a small size multi-cylinder diesel engine. Preliminary analysis of the acoustic emission (AE) signals is outline, including time-frequency analysis and selection of optimum frequency band.The results of applying mean field independent component analysis (MFICA) to separate the AE root mean square (RMS) signals and the effects of changing parameter values are also outlined. The results on separation of RMS signals show thsi technique has the potential of increasing the probability to successfully identify the AE events associated with the various mechanical events within the combustion process of multi-cylinder diesel engines.

Integrated approach for HP-LNG pump diagnosis and prognostics based on health state probability estimation

This paper presents an innovative prognostics model based on health state probability estimation embedded in the closed loop diagnostic and prognostic system. To employ an appropriate classifier for health state probability estimation in the proposed prognostic model, the comparative intelligent diagnostic tests were conducted using five different classifiers applied to the progressive fault levels of three faults in HP-LNG pump. Two sets of impeller-rubbing data were employed for the prediction of pump remnant life based on estimation of discrete health state probability using an outstanding capability of SVM and a feature selection technique. The results obtained were very encouraging and showed that the proposed prognosis system has the potential to be used as an estimation tool for machine remnant life prediction in real life industrial applications.

PySSM : a Python module for Bayesian inference of linear Gaussian state space models

PySSM is a Python package that has been developed for the analysis of time series using linear Gaussian state space models (SSM). PySSM is easy to use; models can be set up quickly and efficiently and a variety of different settings are available to the user. It also takes advantage of scientific libraries Numpy and Scipy and other high level features of the Python language. PySSM is also used as a platform for interfacing between optimised and parallelised Fortran routines. These Fortran routines heavily utilise Basic Linear Algebra (BLAS) and Linear Algebra Package (LAPACK) functions for maximum performance. PySSM contains classes for filtering, classical smoothing as well as simulation smoothing.

Preliminary Research Findings : Volunteers in Queensland State Government

As 2001 was the International Year of the Volunteer as it seemed timely to look at the legal, social and political frameworks which provide for the long term growth of volunteers. The focus of this research is on the nature and extent of volunteers in the Queensland State Government. The social capital debate (expanded by Robert Putnam in 1995) is about citizens’ participation in extracurricular activities and has been extended to mean a collective intelligence – a capacity as a people to create the society we want. The volunteer phenomenon has been used to indicate social and ethical concern.

A novel CDVM based high-voltage converter using low power solid-state switches and a tuned resonant circuit designed for pulsed power applications

A novel concept of producing high dc voltage for pulsed-power applications is proposed in this paper. The topology consists of an LC resonant circuit supplied through a tuned alternating waveform that is produced by an inverter. The control scheme is based on the detection of variations in the resonant frequency and adjustment of the switching signal patterns for the inverter to produce a square waveform with exactly the same frequencies. Therefore the capacitor voltage oscillates divergently with an increasing amplitude. A simple one-stage capacitor-diode voltage multiplier (CDVM) connected to the resonant capacitor then rectifies the alternating voltage and gives a dc level equal to twice the input voltage amplitude. The produced high voltage appears then in the form of high-voltage pulses across the load. A basic model is simulated by Simulink platform of MATLAB and the results are included in the paper.