An algebraic analysis of trivium ciphers based on the boolean satisfiability problem

Trivium is a stream cipher candidate of the eStream project. It has successfully moved into phase three of the selection process under the hardware category. No attacks faster than the exhaustive search have so far been reported on Trivium. Bivium-A and Bivium-B are simplified versions of Trivium that are built on the same design principles but with two registers. The simplified design is useful in investigating Trivium type ciphers with a reduced complexity and provides insight into effective attacks which could be extended to Trivium. This paper focuses on an algebraic analysis which uses the boolean satisfiability problem in propositional logic. For reduced variants of the cipher, this analysis recovers the internal state with a minimal amount of keystream observations.

A more efficient and effective heuristic algorithm for the MapReduce placement problem in cloud computing

The placement of the mappers and reducers on the machines directly affects the performance and cost of the MapReduce computation in cloud computing. From the computational point of view, the mappers/reducers placement problem is a generalization of the classical bin packing problem, which is NP-complete. Thus, in this paper we propose a new heuristic algorithm for the mappers/reducers placement problem in cloud computing and evaluate it by comparing with other several heuristics on solution quality and computation time by solving a set of test problems with various characteristics. The computational results show that our heuristic algorithm is much more efficient than the other heuristics. Also, we verify the effectiveness of our heuristic algorithm by comparing the mapper/reducer placement for a benchmark problem generated by our heuristic algorithm with a conventional mapper/reducer placement. The comparison results show that the computation using our mapper/reducer placement is much cheaper while still satisfying the computation deadline.

Secure computation of the vector dominance problem

Suppose two parties, holding vectors A = (a 1,a 2,...,a n ) and B = (b 1,b 2,...,b n ) respectively, wish to know whether a i  > b i for all i, without disclosing any private input. This problem is called the vector dominance problem, and is closely related to the well-studied problem for securely comparing two numbers (Yao’s millionaires problem). In this paper, we propose several protocols for this problem, which improve upon existing protocols on round complexity or communication/computation complexity.

Applying threshold learning theory to teach sustainable business practice in post-graduate engineering education

This paper presents the results of a qualitative action-research inquiry into how a highly diverse cohort of post-graduate students could develop significant capacity in sustainable development within a single unit (course), in this case a compulsory component of four built environment masters programs. The method comprised applying threshold learning theory within the technical discipline of sustainable development, to transform student understanding of sustainable business practice in the built environment. This involved identifying a number of key threshold concepts, which once learned would provide a pathway to having a transformational learning experience. Curriculum was then revised, to focus on stepping through these targeted concepts using a scaffolded, problem-based-learning approach. Challenges included a large class size of 120 students, a majority of international students, and a wide span of disciplinary backgrounds across the spectrum of built environment professionals. Five ‘key’ threshold learning concepts were identified and the renewed curriculum was piloted in Semester 2 of 2011. The paper presents details of the study and findings from a mixed-method evaluation approach through the semester. The outcomes of this study will be used to inform further review of the course in 2012, including further consideration of the threshold concepts. In future, it is anticipated that this case study will inform a framework for rapidly embedding sustainability within curriculum.

Open problem : adversarial multiarmed bandits with limited advice

Adversarial multiarmed bandits with expert advice is one of the fundamental problems in studying the exploration-exploitation trade-o. It is known that if we observe the advice of all experts on every round we can achieve O(√KTlnN) regret, where K is the number of arms, T is the number of game rounds, and N is the number of experts. It is also known that if we observe the advice of just one expert on every round, we can achieve regret of order O(√NT). Our open problem is what can be achieved by asking M experts on every round, where 1 < M < N.

Retooling Chinese primary school teachers to use technology creatively to promote innovation and problem solving skills in science classrooms

This paper reports on the initial phase of a Professional Learning Program (PLP) undertaken by 100 primary school teachers in China that aimed to facilitate the development of adaptive expertise in using technology to facilitate innovative science teaching and learning such as that envisaged by the Chinese Ministry of Education’s (2010-2020) education reforms. Key principles derived from literature about professional learning and scaffolding of learning informed the design of the PLP. The analysis of data revealed that the participants had made substantial progress towards the development of adaptive expertise. This was manifested not only by advances in the participants’ repertoires of Subject Matter Knowledge and Pedagogical Content Knowledge but also in changes to their levels of confidence and identities as teachers. By the end of the initial phase of the PLP, the participants had coalesced into a professional learning community that readily engaged in the sharing, peer review, reuse and adaption, and collaborative design of innovative science learning and assessment activities. The findings from the study indicate that those engaged in the development of PLPs for teachers in China need to take cognizance of certain cultural factors and traditions idiosyncratic to the Chinese educational system. A set of revised principles is then presented to inform the future design and implementation of PLPs for teachers in China.

Accelerometer data reduction : a comparison of four reduction algorithms on select outcome variables

Purpose Accelerometers are recognized as a valid and objective tool to assess free-living physical activity. Despite the widespread use of accelerometers, there is no standardized way to process and summarize data from them, which limits our ability to compare results across studies. This paper a) reviews decision rules researchers have used in the past, b) compares the impact of using different decision rules on a common data set, and c) identifies issues to consider for accelerometer data reduction. Methods The methods sections of studies published in 2003 and 2004 were reviewed to determine what decision rules previous researchers have used to identify wearing period, minimal wear requirement for a valid day, spurious data, number of days used to calculate the outcome variables, and extract bouts of moderate to vigorous physical activity (MVPA). For this study, four data reduction algorithms that employ different decision rules were used to analyze the same data set. Results The review showed that among studies that reported their decision rules, much variability was observed. Overall, the analyses suggested that using different algorithms impacted several important outcome variables. The most stringent algorithm yielded significantly lower wearing time, the lowest activity counts per minute and counts per day, and fewer minutes of MVPA per day. An exploratory sensitivity analysis revealed that the most stringent inclusion criterion had an impact on sample size and wearing time, which in turn affected many outcome variables. Conclusions These findings suggest that the decision rules employed to process accelerometer data have a significant impact on important outcome variables. Until guidelines are developed, it will remain difficult to compare findings across studies

Test-retest reliability of four physical activity measures used in population surveys

Accurate monitoring of prevalence and trends in population levels of physical activity (PA) is a fundamental public health need. Test-retest reliability (repeatability) was assessed in population samples for four self-report PA measures: the Active Australia survey (AA, N=356), the short International Physical Activity Questionnaire (IPAQ, N=104), the physical activity items in the Behavioral Risk Factor Surveillance System (BRFSS, N=127) and in the Australian National Health Survey (NHS, N=122). Percent agreement and Kappa statistics were used to assess reliability of classification of activity status as 'active', 'insufficiently active' or 'sedentary'. Intraclass correlations (ICCs) were used to assess agreement on minutes of activity reported for each item of each survey and for total minutes. Percent agreement scores for activity status were very good on all four instruments, ranging from 60% for the NHS to 79% for the IPAQ. Corresponding Kappa statistics ranged from 0.40 (NHS) to 0.52 (AA). For individual items, ICCs were highest for walking (0.45 to 0.78) and vigorous activity (0.22 to 0.64) and lowest for the moderate questions (0.16 to 0.44). All four measures provide acceptable levels of test-retest reliability for assessing both activity status and sedentariness, and moderate reliability for assessing total minutes of activity.

Alternate healing and medicine : the roles of naturopathy, homeopathy, osteopathy, chiropractic and medical practice in the health system

This thesis is concerned with understanding the roles of four alternate healing systems and medical practice in the community's health behaviour. The four alternate systems are naturopathy, homoeopathy, osteopathy and chiropractic. The research reported developed from work supported by the Committee of Inquiry into Chiropractic, Osteopathy, Homoeopathy and Naturopathy conducted under the chairmanship of Professor E. C. Webb set up by the Australian Government in 1975. The study concentrates on the factors which influence individual clients in their decisions to consult healers for treatment. An underlying assumption is that an analysis of the processes that effect such decisions will lead to further knowledge of the community's attitudes towards the functions of alternate healing and medicine. A review of the historical backgrounds and current status of the four alternate healing systems leads to the conclusion that they differ in a variety of areas. These areas include treatment modalities, historical backgrounds, occupational development and rapprochement with medicine. Homoeopathy, osteopathy and chiropractic emerged as distinct approaches to healing late in the nineteenth century. Naturopathy tends to be a philosophy or style of life as much as a health system in its own right. Their relationships with medicine also vary; osteopathy and naturopathy receive some acceptance, some homoeopaths are tolerated, whilst chiropractic is ostracised and vilified. A common paradigm of treatment underlies all four alternate approaches to healing. They all eschew the use of synthetic pharmaceuticals and invasive treatments and accept an indigenous theory of disease and a belief in the vis medicatrix naturae or the healing power of nature. An inevitable concomitant of this paradigm is that they believe that healing and health must be self-engendered. They rest within the client and his or her actions, not within the hands, skills or power of the healer. It is these characteristics combined with the alternate healers ' claims to espouse a similar scientific rationale for their approaches, and their functioning as parallel healers to medicine, that establishes their special relationship with medicine. This relationship become s more problematic in the face of medicine's hegemony and claim to unique legitimacy as the community's sole healing system. The interaction between these systems and medical practice can be gauged through articles related to the four alternate healing systems that have appeared in the medical literature. Interest has been cyclical but appears to have markedly increased in the past two decades. In this period it has included exploratory and descriptive writing; concern with controlling and/or eradicating the healers; desire to protect an ignorant and vulnerable public and. finally understanding and exploration of what the alternate healers might have to offer. At the same time, the public or institutionalized role has been one of denial and suppression through ostracism and legal constraints. In spite of medicine's position the alternate healing systems have found growing community acceptance so that it is problematical and probably unacceptable now to consider their use as a 'deviant ' health action. Increasing interest in the characteristics of clients has provided a consensus that they are similar to the adult population and are more likely to suffer from musculoskeletal and chronic illnesses. They are no more likely to be neurotic or gullible than the general community, but probably more practical and more oriented towards an active involvement in the healing process. The impact of these issues is explored, through comparing the strategies taken into account when choosing a treatment. These include attending one of the alternate healers exclusively for a condition; attending an alternate healer and a medical practitioner for the same problem; attending a medical practitioner solely or not consulting any healer. Respondents from surveys of alternate healer clients and the general community were classified according to their use of these four strategies, and the influences on their decisions at different stages of the treatment decision making process were compared.

Conservation and divergence of four kiwifruit SVP-like MADS-box genes suggest distinct roles in kiwifruit bud dormancy and flowering

MADS-box genes similar to Arabidopsis SHORT VEGETATIVE PHASE (SVP) have been implicated in the regulation of flowering in annual species and bud dormancy in perennial species. Kiwifruit (Actinidia spp.) are woody perennial vines where bud dormancy and out-growth affect flower development. To determine the role of SVP-like genes in dormancy and flowering of kiwifruit, four MADS-box genes with homology to Arabidopsis SVP, designated SVP1, SVP2, SVP3, and SVP4, have been identified and analysed in kiwifruit and functionally characterized in Arabidopsis. Phylogenetic analysis indicate that these genes fall into different sub-clades within the SVP-like gene group, suggesting distinct functions. Expression was generally confined to vegetative tissues, and increased transcript accumulation in shoot buds over the winter period suggests a role for these genes in bud dormancy. Down-regulation before flower differentiation indicate possible roles as floral repressors. Over-expression and complementation studies in Arabidopsis resulted in a range of floral reversion phenotypes arising from interactions with Arabidopsis MADS-box proteins, but only SVP1 and SVP3 were able to complement the svp mutant. These results suggest that the kiwifruit SVP-like genes may have distinct roles during bud dormancy and flowering.

Formation of neutral C7H2 isomers from four isomeric C7H2 radical anion precursors in the gas phase

Consideration of theoretical calculations [B3LYP/aug-cc-pVDZ//B3LYP/6-31G(d)] of the structures of ten C7H2 neutral isomers and the nine corresponding C7H2 radical anions have led us to synthesize four stable C7H2 radical anions in the ion source of our ZAB 2HF mass spectrometer, and to convert these to C7H2 neutrals. The four radical anion isomers prepared were (i) [(HC≡C)2C=C=C]-̇ [from the reaction between (HC≡C)3COCH3 and HO- ], (ii) [HC=C=C=C=C=C=CH]-̇ [from the reaction between HC≡C-C≡C- CD(OH)-C≡CH and HO-], (iii) [C=C=C=C=C=C=CH2]-̇ [from the reaction between DC≡C-C≡C- C≡C-CH2OCH2CH3 and HO-], and (iv) [C≡C-CH2-C≡C-C≡C]-̇ [from the bis desilylation reaction of (CH3)3Si-C≡C-CH2-C≡C-C≡C-Si (CH3)3 with SF6 -̇]. The four anions were further characterized by their collisional activation (negative ion) and charge reversal (CR, positive ion) mass spectra. The anions were converted into their corresponding neutrals by charge stripping, and the correspondence between the charge reversal (CR) and neutralization reionization (-NR+) mass spectra of each anion is taken as evidence that within the time frame of the -NR+ experiment (some 10-6 s), each neutral is stable and undergoes no major rearrangement or interconversion to a more stable isomer. Theory and experiment are in accord for these systems.

Physical inactivity remains the greatest public health problem of the 21st century : evidence, improved methods and solutions using the '7 investments that work' as a framework

In 2009, BJSM's first editorial argued that ‘Physical inactivity is the greatest public health problem of the 21st century’.1 The data supporting that claim have not yet been challenged. Now, 5 years after BJSM published its first dedicated ‘Physical Activity is Medicine’ theme issue (http://bjsm.bmj.com/content/43/1.toc) we are pleased to highlight 23 new contributions from six countries. This issue contains an analysis of the cost of physical inactivity from the US Centre for Diseases Control.2 We also report the cost-effectiveness of one particular physical activity intervention for adults.3

Effects of four different single exercise sessions on lipids, lipoproteins, and lipoprotein lipase

The purpose of this study was to determine the threshold of exercise energy expenditure necessary to change blood lipid and lipoprotein concentrations and lipoprotein lipase activity (LPLA) in healthy, trained men. On different days, 11 men (age, 26.7 +/- 6.1 yr; body fat, 11.0 +/- 1.5%) completed four separate, randomly assigned, submaximal treadmill sessions at 70% maximal O-2 consumption. During each session 800, 1,100, 1,300, or 1,500 kcal were expended. Compared with immediately before exercise, high-density lipoprotein cholesterol (HDL-C) concentration was significantly elevated 24 h after exercise (P < 0.05) in the 1,100-, 1,300-, and 1,500-kcal sessions. HDL-C concentration was also elevated (P < 0.05) immediately after and 48 h after exercise in the 1,500-kcal session. Compared with values 24 h before exercise, LPLA. was significantly greater (P < 0.05) 24 h after exercise in the 1,100-, 1,300-, and 1,500-kcal sessions and remained elevated 48 h after exercise in the 1,500-kcal session. These data indicate that, in healthy, trained men, 1,100 kcal of energy expenditure are necessary to elicit increased HDL-C concentrations. These HDL-C changes coincided with increased LPLA.

Accurately defining the reference condition for summary biotic metrics: A comparison of four approaches

Protocols for bioassessment often relate changes in summary metrics that describe aspects of biotic assemblage structure and function to environmental stress. Biotic assessment using multimetric indices now forms the basis for setting regulatory standards for stream quality and a range of other goals related to water resource management in the USA and elsewhere. Biotic metrics are typically interpreted with reference to the expected natural state to evaluate whether a site is degraded. It is critical that natural variation in biotic metrics along environmental gradients is adequately accounted for, in order to quantify human disturbance-induced change. A common approach used in the IBI is to examine scatter plots of variation in a given metric along a single stream size surrogate and a fit a line (drawn by eye) to form the upper bound, and hence define the maximum likely value of a given metric in a site of a given environmental characteristic (termed the 'maximum species richness line' - MSRL). In this paper we examine whether the use of a single environmental descriptor and the MSRL is appropriate for defining the reference condition for a biotic metric (fish species richness) and for detecting human disturbance gradients in rivers of south-eastern Queensland, Australia. We compare the accuracy and precision of the MSRL approach based on single environmental predictors, with three regression-based prediction methods (Simple Linear Regression, Generalised Linear Modelling and Regression Tree modelling) that use (either singly or in combination) a set of landscape and local scale environmental variables as predictors of species richness. We compared the frequency of classification errors from each method against set biocriteria and contrast the ability of each method to accurately reflect human disturbance gradients at a large set of test sites. The results of this study suggest that the MSRL based upon variation in a single environmental descriptor could not accurately predict species richness at minimally disturbed sites when compared with SLR's based on equivalent environmental variables. Regression-based modelling incorporating multiple environmental variables as predictors more accurately explained natural variation in species richness than did simple models using single environmental predictors. Prediction error arising from the MSRL was substantially higher than for the regression methods and led to an increased frequency of Type I errors (incorrectly classing a site as disturbed). We suggest that problems with the MSRL arise from the inherent scoring procedure used and that it is limited to predicting variation in the dependent variable along a single environmental gradient.