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.

A new grouping genetic algorithm for the MapReduce placement problem in cloud computing

MapReduce is a computation model for processing large data sets in parallel on large clusters of machines, in a reliable, fault-tolerant manner. A MapReduce computation is broken down into a number of map tasks and reduce tasks, which are performed by so called mappers and reducers, respectively. The placement of the mappers and reducers on the machines directly affects the performance and cost of the MapReduce computation. From the computational point of view, the mappers/reducers placement problem is a generation of the classical bin packing problem, which is NPcomplete. Thus, in this paper we propose a new grouping genetic algorithm for the mappers/reducers placement problem in cloud computing. Compared with the original one, our grouping genetic algorithm uses an innovative coding scheme and also eliminates the inversion operator which is an essential operator in the original grouping genetic algorithm. The new grouping genetic algorithm is evaluated by experiments and the experimental results show that it is much more efficient than four popular algorithms for the problem, including the original grouping genetic algorithm.

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.

Identifying factors that promote consumer behaviours causing expired domestic food waste

Many commentators argue that domestic food waste is strongly influenced by consumer behaviours. This article reports on a study using mixed-methods to identify key factors responsible for promoting consumer behaviours that lead to domestic food waste through the lens of the Value-Belief-Norm (VBN) theory. Based on the study’s findings, three factors are proposed that cause behaviours that lead to food waste: supply knowledge – does a consumer know what food they have available; location knowledge – does a consumer know where to locate food items, and; food literacy – to what degree do past experience and acquired knowledge impact on a consumer’s food consumption and wastage practices. We analyse the study’s findings in light of a review of literature about consumer food wastage behaviours and in turn, present new insights into consumer behaviour, food waste, and the use of technology to reduce food waste.

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.

Teacher organizational citizenship behaviours and job efficacy : implications for student quality of school life

The present study investigated the impact of teachers' organizational citizenship behaviours (OCBs) on student quality of school life (SQSL) via the indirect effect of job efficacy. A measure of teacher OCBs was developed, tapping one dimension of individual-focused OCB (OCBI – student-directed behaviour) and two dimensions of organization-focused OCB (OCBO – civic virtue and professional development). In line with previous research suggesting that OCBs may enhance job efficacy, as well as studies demonstrating the positive effects of teacher efficacy on student outcomes, we expected an indirect relationship between teachers OCBs and SQSL via teachers' job efficacy. Hypotheses were tested in a multi-level design in which 170 teachers and their students (N=3,057) completed questionnaires. A significant proportion of variance in SQSL was attributable to classroom factors. Analyses revealed that the civic virtue and professional development behaviours of teachers were positively related to their job efficacy. The job efficacy of teachers also had a positive impact on all five indicators of SQSL. In regards to professional development, job efficacy acted as an indirect variable in the prediction of four student outcomes (i.e., general satisfaction, student–teacher relations, achievement, and opportunity) and fully mediated the direct negative effect on psychological distress.

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

Correlates of sedentary behaviours in preschool children : a review

Background Sedentary behaviour has been linked with a number of health outcomes. Preschool-aged children spend significant proportions of their day engaged in sedentary behaviours. Research into the correlates of sedentary behaviours in the preschool population is an emerging field, with most research being published since 2002. Reviews on correlates of sedentary behaviours which include preschool children have previously been published; however, none have reported results specific to the preschool population. This paper reviews articles reporting on correlates of sedentary behaviour in preschool children published between 1993 and 2009. Methods A literature search was undertaken to identify articles which examined correlates of sedentary behaviours in preschool children. Articles were retrieved and evaluated in 2008 and 2009. Results Twenty-nine studies were identified which met the inclusion criteria. From those studies, 63 potential correlates were identified. Television viewing was the most commonly examined sedentary behaviour. Findings from the review suggest that child's sex was not associated with television viewing and had an indeterminate association with sedentary behaviour as measured by accelerometry. Age, body mass index, parental education and race had an indeterminate association with television viewing, and outdoor playtime had no association with television viewing. The remaining 57 potential correlates had been investigated too infrequently to be able to draw robust conclusions about associations. Conclusions The correlates of preschool children's sedentary behaviours are multi-dimensional and not well established. Further research is required to provide a more comprehensive understanding of the influences on preschool children's sedentary behaviours to better inform the development of interventions.

The slumbarumba jumbuck problem

The potential for simple linear relationships arising from a computer game to build student modelling and "world problem" skills is explored. The fundamental capability of the spreadsheet to tabulate and graph possible solutions is used to lay bare the problem structure for the students.

Problem Solving with Delphi

The purpose of the book is to use Delphi as a vehicle to introduce some fundamental algorithms and to illustrate several mathematical and problem-solving techniques. This book is therefore intended to be more of a reference for problem-solving, with the solution expressed in Delphi. It introduces a somewhat eclectic collection of material, much of which will not be found in a typical book on Pascal or Delphi. Many of the topics have been used by the author over a period of about ten years at Bond University, Australia in various subjects from 1993 to 2003. Much of the work was connected with a data structures subject (second programming course) conducted variously in MODULA-2, Oberon and Delphi, at Bond University, however there is considerable other, more recent material, e.g., a chapter on Sudoku.

The subset sum problem in Keno modelling

Aspects of Keno modelling throughout the Australian states of Queensland, New South Wales and Victoria are discussed: the trivial Heads or Tails and the more interesting Keno Bonus, which leads to consideration of the subset sum problem. The most intricate structure is where Heads or Tails and Keno Bonus are combined, and here, the issue of independence arises. Closed expressions for expected return to player are presented in each case.

Corner and finger formation in Hele-Shaw flow with kinetic undercooling regularisation

We examine the effect of a kinetic undercooling condition on the evolution of a free boundary in Hele--Shaw flow, in both bubble and channel geometries. We present analytical and numerical evidence that the bubble boundary is unstable and may develop one or more corners in finite time, for both expansion and contraction cases. This loss of regularity is interesting because it occurs regardless of whether the less viscous fluid is displacing the more viscous fluid, or vice versa. We show that small contracting bubbles are described to leading order by a well-studied geometric flow rule. Exact solutions to this asymptotic problem continue past the corner formation until the bubble contracts to a point as a slit in the limit. Lastly, we consider the evolving boundary with kinetic undercooling in a Saffman--Taylor channel geometry. The boundary may either form corners in finite time, or evolve to a single long finger travelling at constant speed, depending on the strength of kinetic undercooling. We demonstrate these two different behaviours numerically. For the travelling finger, we present results of a numerical solution method similar to that used to demonstrate the selection of discrete fingers by surface tension. With kinetic undercooling, a continuum of corner-free travelling fingers exists for any finger width above a critical value, which goes to zero as the kinetic undercooling vanishes. We have not been able to compute the discrete family of analytic solutions, predicted by previous asymptotic analysis, because the numerical scheme cannot distinguish between solutions characterised by analytic fingers and those which are corner-free but non-analytic.