A coding approach to the multicast stream authentication problem

We study the multicast stream authentication problem when an opponent can drop, reorder and introduce data packets into the communication channel. In such a model, packet overhead and computing efficiency are two parameters to be taken into account when designing a multicast stream protocol. In this paper, we propose to use two families of erasure codes to deal with this problem, namely, rateless codes and maximum distance separable codes. Our constructions will have the following advantages. First, our packet overhead will be small. Second, the number of signature verifications to be performed at the receiver is O(1). Third, every receiver will be able to recover all the original data packets emitted by the sender despite losses and injection occurred during the transmission of information.

A flexible optimisation model for the railway crew scheduling problem

Addressing the Crew Scheduling Problem (CSP) in transportation systems can be too complex to capture all details. The designed models usually ignore or simplify features which are difficult to formulate. This paper proposes an alternative formulation using a Mixed Integer Programming (MIP) approach to the problem. The optimisation model integrates the two phases of pairing generation and pairing optimisation by simultaneously sequencing trips into feasible duties and minimising total elapsed time of any duty. Crew scheduling constraints in which the crew have to return to their home depot at the end of the shift are included in the model. The flexibility of this model comes in the inclusion of the time interval of relief opportunities, allowing the crew to be relieved during a finite time interval. This will enhance the robustness of the schedule and provide a better representation of real-world conditions.

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.

Visualization : A powerful tool for effective teaching of dynamics

Dynamics is an essential core engineering subject and it is considered as one of the hardest subjects in the engineering discipline. Many students acknowledged that Dynamics is very hard to understand and comprehend the abstract concepts through traditional teaching methods with normal tutorials and assignments. In this study, we conducted an investigation on the application of visualization technique to help students learning the unit with the fundamental theory displayed in the physical space. The research was conducted based on the following five basic steps of Action Learning Cycle including: Identifying problem, Planning action, Implementing, Evaluating, and Reporting. Through our studies, we have concluded that visualization technique can definitely help students in learning and comprehending the abstract theories and concepts of Dynamics.

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.

Life cycle analysis for sustainability assessment of road projects

Road infrastructure has been considered as one of the most expensive and extensive infrastructure assets of the built environment globally. This asset also impacts the natural environment significantly during different phases of life e.g. construction, use, maintenance and end-of-life. The growing emphasis for sustainable development to meet the needs of future generations requires mitigation of the environmental impacts of road infrastructure during all phases of life e.g. construction, operation and end-of-life disposal (as required). Life-cycle analysis (LCA), a method of quantification of all stages of life, has recently been studied to explore all the environmental components of road projects due to limitations of generic environmental assessments. The LCA ensures collection and assessment of the inputs and outputs relating to any potential environmental factor of any system throughout its life. However, absence of a defined system boundary covering all potential environmental components restricts the findings of the current LCA studies. A review of the relevant published LCA studies has identified that environmental components such as rolling resistance of pavement, effect of solar radiation on pavement(albedo), traffic congestion during construction, and roadway lighting & signals are not considered by most of the studies. These components have potentially higher weightings for environment damage than several commonly considered components such as materials, transportation and equipment. This paper presents the findings of literature review, and suggests a system boundary model for LCA study of road infrastructure projects covering potential environmental components.

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

Physical activity and physical fitness in African-American girls with and without obesity

Lack of physical activity and low levels of physical fitness are thought to be contributing factors to the high prevalence of obesity in African-American girls, To examine this hypothesis, we compared habitual physical activity and physical fitness in 54 African-American girls with obesity and 96 African-American girls without obesity residing in rural South Carolina, Participation in vigorous (greater than or equal to 6 METs) (VPA) or moderate and vigorous physical activity (greater than or equal to 4 METs) (MVPA) was assessed on three consecutive days using the Previous Day Physical Activity Recall, Cardiorespiratory fitness was assessed using the PWC 170 cycle ergometer test, Upper body strength was determined at two sites via isometric cable tensiometer tests, Relative to their counterparts without obesity, girls with obesity reported significantly fewer 30-minute blocks of VPA (0.90 +/- 0.14 vs. 1.3 +/- 0.14) and MVPA (1.2 +/- 0.18 vs. 1.7 +/- 0.16) (p<0.01), Within the entire sample, VPA and MVPA were inversely associated with body mass index (r=-0.17 and r=-0.19) and triceps skinfold thickness (r=-0.19 and r=-0.22) (p<0.05), In the PWC 170 test and isometric strength tests, girls with obesity demonstrated absolute scores that were similar to, or greater than, those of girls without obesity; however, when scores were expressed relative to bodyweight, girls with obesity demonstrated significantly lower values (p<0.05). The results support the hypothesis that lack of physical activity and low physical fitness are important contributing factors in the development and/or maintenance of obesity in African-American girls.

The importance of use and end-of-life phases to the life cycle greenhouse gas (GHG) emissions of concrete : a review

Global climate change is one of the most significant environmental impacts at the moment. One central issue for the building and construction industry to address global climate change is the development of credible carbon labelling schemes for building materials. Various carbon labelling schemes have been developed for concrete due to its high contribution to global greenhouse gas (GHG) emissions. However, as most carbon labelling schemes adopt cradle-to-gate as system boundary, the credibility of the eco-label information may not be satisfactory because recent studies show that the use and end-of-life phases can have a significant impact on the life cycle GHG emissions of concrete in terms of carbonation, maintenance and rehabilitation, other indirect emissions, and recycling activities. A comprehensive review on the life cycle assessment of concrete is presented to holistically examine the importance of use and end-of-life phases to the life cycle GHG quantification of concrete. The recent published ISO 14067: Carbon footprint of products – requirements and guidelines for quantification and communication also mandates the use of cradle-to-grave to provide publicly available eco-label information when the use and end-of-life phases of concrete can be appropriately simulated. With the support of Building Information Modelling (BIM) and other simulation technologies, the contribution of use and end-of-life phases to the life cycle GHG emissions of concrete should not be overlooked in future studies.

CFTR expression is regulated during both the cycle of the seminiferous epithelium and the oestrous cycle of rodents

Severely reduced fertility is a common finding in cystic fibrosis (CF). We used in situ hybridization to examine the cell-specific expression of CFTR in the reproductive organs of rodents. In males CFTR mRNA is found in the round spermatids (spermatogenic stages V-X) and in the principal cells that line the initial segment of the epididymis. In both the testis and the epididymis, CFTR expression is developmentally regulated suggesting that the defect in the genital tract of male CF patients is of developmental origin. CFTR expression in the luminal and glandular epithelium of the uterus is regulated during the oestrous cycle and is maximal at pro-oestrus. Our results provide a biological rationale for the reduced fertility of CF patients, and suggest a possible cause for the comparatively poorer prognosis for women with CF.

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.