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.

Tailored interventions based on sputum eosinophils versus clinical symptoms for asthma in children and adults

BACKGROUND Asthma severity and control can be measured both subjectively and objectively. Sputum analysis for evaluation of percentage of sputum eosinophilia directly measures airway inflammation, and is one method of objectively monitoring asthma. Interventions for asthma therapies have been traditionally based on symptoms and spirometry. OBJECTIVES To evaluate the efficacy of tailoring asthma interventions based on sputum analysis in comparison to clinical symptoms (with or without spirometry/peak flow) for asthma related outcomes in children and adults. SEARCH STRATEGY We searched the Cochrane Airways Group Specialised Register of Trials, the Cochrane Central Register of Controlled Trials (CENTRAL), MEDLINE, EMBASE and reference lists of articles. The last search was on 31 October 2006. SELECTION CRITERIA All randomised controlled comparisons of adjustment of asthma therapy based on sputum eosinophils compared to traditional methods (primarily clinical symptoms and spirometry/peak flow). DATA COLLECTION AND ANALYSIS Results of searches were reviewed against pre-determined criteria for inclusion. Three sets of reviewers selected relevant studies.Two review authors independently assessed trial quality extracted data. Authors were contacted for further information but none were received. Data was analysed as "treatment received" and sensitivity analyses performed. MAIN RESULTS Three adult studies were included; these studies were clinically and methodologically heterogenous (use of medications, cut off for percentage of sputum eosinophils and definition of asthma exacerbation). There were no eligible paediatric studies. Of 246 participants randomised, 221 completed the trials. In the meta-analysis, a significant reduction in number of participants who had one or more asthma exacerbations occurred when treatment was based on sputum eosinophils in comparison to clinical symptoms; pooled odds ratio (OR) was 0.49 (95% CI 0.28 to 0.87); number needed to treat to benefit (NNTB) was 6 (95% CI 4 to 32).There were also differences between groups in the rate of exacerbation (any exacerbation per year) and severity of exacerbations defined by requirement for use of oral corticosteroids but the reduction in hospitalisations was not statistically significant. Data for clinical symptoms, quality of life and spirometry were not significantly different between groups. The mean dose of inhaled corticosteroids per day was similar in both groups and no adverse events were reported. However sputum induction was not always possible. AUTHORS' CONCLUSIONS Tailored asthma interventions based on sputum eosinophils is beneficial in reducing the frequency of asthma exacerbations in adults with asthma. This review supports the use of sputum eosinophils to tailor asthma therapy for adults with frequent exacerbations and severe asthma. Further studies need to be undertaken to strengthen these results and no conclusion can be drawn for children with asthma.

Tailored interventions based on exhaled nitric oxide versus clinical symptoms for asthma in children and adults

Background The measurement of severity and control of asthma in both children and adults can be based on subjective or objective measures. It has been advocated that fractional exhaled nitric oxide (FeNO) can be used to monitor airway inflammation as it correlates with some markers of asthma. Interventions for asthma therapies have been traditionally based on symptoms and/or spirometry. Objectives To evaluate the efficacy of tailoring asthma interventions based on exhaled nitric oxide in comparison to clinical symptoms (with or without spirometry/peak flow) for asthma related outcomes in children and adults. Search methods We searched the Cochrane Airways Group Specialised Register of Trials, the Cochrane Central Register of Controlled Trials (CENTRAL), MEDLINE, EMBASE and reference lists of articles. The last search was completed in February 2009. Selection criteria All randomised controlled comparisons of adjustment of asthma therapy based on exhaled nitric oxide compared to traditional methods (primarily clinical symptoms and spirometry/peak flow). Data collection and analysis Results of searches were reviewed against pre-determined criteria for inclusion. Relevant studies were independently selected in duplicate. Two authors independently assessed trial quality and extracted data. Authors were contacted for further information with response from one. Main results Two studies have been added for this update, which now includes six (2 adults and 4 children/adolescent) studies; these studies differed in a variety of ways including definition of asthma exacerbations, FeNO cut off levels, the way in which FeNO was used to adjust therapy and duration of study. Of 1053 participants randomised, 1010 completed the trials. In the meta-analysis, there was no significant difference between groups for the primary outcome of asthma exacerbations or for other outcomes (clinical symptoms, FeNO level and spirometry). In post-hoc analysis, a significant reduction in mean final daily dose inhaled corticosteroid per adult was found in the group where treatment was based on FeNO in comparison to clinical symptoms, (mean difference -450 mcg; 95% CI -677 to -223 mcg budesonide equivalent/day). However, the total amount of inhaled corticosteroid used in one of the adult studies was 11% greater in the FeNO arm. In contrast, in the paediatric studies, there was a significant increase in inhaled corticosteroid dose in the FeNO strategy arm (mean difference of 140 mcg; 95% CI 29 to 251, mcg budesonide equivalent/day). Authors' conclusions Tailoring the dose of inhaled corticosteroids based on exhaled nitric oxide in comparison to clinical symptoms was carried out in different ways in the six studies and found only modest benefit at best and potentially higher doses of inhaled corticosteroids in children. The role of utilising exhaled nitric oxide to tailor the dose of inhaled corticosteroids cannot be routinely recommended for clinical practice at this stage and remains uncertain.

Adaptive compliance control of a multi‐legged stair‐climbing robot based on proprioceptive data

Purpose – The purpose of this paper is to describe an innovative compliance control architecture for hybrid multi‐legged robots. The approach was verified on the hybrid legged‐wheeled robot ASGUARD, which was inspired by quadruped animals. The adaptive compliance controller allows the system to cope with a variety of stairs, very rough terrain, and is also able to move with high velocity on flat ground without changing the control parameters. Design/methodology/approach – The paper shows how this adaptivity results in a versatile controller for hybrid legged‐wheeled robots. For the locomotion control we use an adaptive model of motion pattern generators. The control approach takes into account the proprioceptive information of the torques, which are applied on the legs. The controller itself is embedded on a FPGA‐based, custom designed motor control board. An additional proprioceptive inclination feedback is used to make the same controller more robust in terms of stair‐climbing capabilities. Findings – The robot is well suited for disaster mitigation as well as for urban search and rescue missions, where it is often necessary to place sensors or cameras into dangerous or inaccessible areas to get a better situation awareness for the rescue personnel, before they enter a possibly dangerous area. A rugged, waterproof and dust‐proof corpus and the ability to swim are additional features of the robot. Originality/value – Contrary to existing approaches, a pre‐defined walking pattern for stair‐climbing was not used, but an adaptive approach based only on internal sensor information. In contrast to many other walking pattern based robots, the direct proprioceptive feedback was used in order to modify the internal control loop, thus adapting the compliance of each leg on‐line.

VIP Barcoding: Composition vector-based software for rapid species identification based on DNA barcoding

Species identification based on short sequences of DNA markers, that is, DNA barcoding, has emerged as an integral part of modern taxonomy. However, software for the analysis of large and multilocus barcoding data sets is scarce. The Basic Local Alignment Search Tool (BLAST) is currently the fastest tool capable of handling large databases (e.g. >5000 sequences), but its accuracy is a concern and has been criticized for its local optimization. However, current more accurate software requires sequence alignment or complex calculations, which are time-consuming when dealing with large data sets during data preprocessing or during the search stage. Therefore, it is imperative to develop a practical program for both accurate and scalable species identification for DNA barcoding. In this context, we present VIP Barcoding: a user-friendly software in graphical user interface for rapid DNA barcoding. It adopts a hybrid, two-stage algorithm. First, an alignment-free composition vector (CV) method is utilized to reduce searching space by screening a reference database. The alignment-based K2P distance nearest-neighbour method is then employed to analyse the smaller data set generated in the first stage. In comparison with other software, we demonstrate that VIP Barcoding has (i) higher accuracy than Blastn and several alignment-free methods and (ii) higher scalability than alignment-based distance methods and character-based methods. These results suggest that this platform is able to deal with both large-scale and multilocus barcoding data with accuracy and can contribute to DNA barcoding for modern taxonomy. VIP Barcoding is free and available at http://msl.sls.cuhk.edu.hk/vipbarcoding/.

Linear time geometrical design rule checker based on quadtree representation of VLSI mask layouts

An efficient geometrical design rule checker is proposed, based on operations on quadtrees, which represent VLSI mask layouts. The time complexity of the design rule checker is O(N), where N is the number of polygons in the mask. A pseudoPascal description is provided of all the important algorithms for geometrical design rule verification.

Simplified algorithms based on Haar transforms for signal recognition in protective relays

This letter presents the development of simplified algorithms based on Haar functions for signal extraction in relaying signals. These algorithms, being computationally simple, are better suited for microprocessor-based power system protection relaying. They provide accurate estimates of the signal amplitude and phase.

An interpreter for slips-An applicative language based on LAMBDA-Calculus

An applicative language based on the LAMBDA-Calculus is presented. The language, SLIPS (Small Language for Instruction Purposes), is described using the LAMBDA-Calculus as a metalanguage. A call-by-need mechanism of function invocation eliminates the drawbacks of both call-by-name and call-by-value. The system has been implemented in PASCAL.

Silvicultural decisions based on simulation-optimization systems

Forest management is facing new challenges under climate change. By adjusting thinning regimes, conventional forest management can be adapted to various objectives of utilization of forest resources, such as wood quality, forest bioenergy, and carbon sequestration. This thesis aims to develop and apply a simulation-optimization system as a tool for an interdisciplinary understanding of the interactions between wood science, forest ecology, and forest economics. In this thesis, the OptiFor software was developed for forest resources management. The OptiFor simulation-optimization system integrated the process-based growth model PipeQual, wood quality models, biomass production and carbon emission models, as well as energy wood and commercial logging models into a single optimization model. Osyczka s direct and random search algorithm was employed to identify optimal values for a set of decision variables. The numerical studies in this thesis broadened our current knowledge and understanding of the relationships between wood science, forest ecology, and forest economics. The results for timber production show that optimal thinning regimes depend on site quality and initial stand characteristics. Taking wood properties into account, our results show that increasing the intensity of thinning resulted in lower wood density and shorter fibers. The addition of nutrients accelerated volume growth, but lowered wood quality for Norway spruce. Integrating energy wood harvesting into conventional forest management showed that conventional forest management without energy wood harvesting was still superior in sparse stands of Scots pine. Energy wood from pre-commercial thinning turned out to be optimal for dense stands. When carbon balance is taken into account, our results show that changing carbon assessment methods leads to very different optimal thinning regimes and average carbon stocks. Raising the carbon price resulted in longer rotations and a higher mean annual increment, as well as a significantly higher average carbon stock over the rotation.

A new kinetic model for bulk polymerization of vinyl chloride based on two-phase hypothesis

A kinetic model has been developed for the bulk polymerization of vinyl chloride using Talamini's hypothesis of two-phase polymerization and a new concept of kinetic solubility which assumes that rapidly growing polymer chains have considerably greater solubility than the thermodynamic solubility of preformed polymer molecules of the same size and so can remain in solution even under thermodynamically unfavourable conditions. It is further assumed that this kinetic solubility is a function of chain length. The model yields a rate expression consistent with the experimental data for vinyl chloride bulk polymerization and moreover is able to explain several characteristic kinetic features of this system. Application of the model rate expression to the available rate data has yielded 2.36 × 108l mol−1 sec−1 for the termination rate constant in the polymer-rich phase; as expected, this value is smaller than that reported for homogenous polymerization by a factor of 10–30.

Guessing based on length functions

Close relationships between guessing functions and length functions are established. Good length functions lead to good guessing functions. In particular, guessing in the increasing order of Lempel-Ziv lengths has certain universality properties for finite-state sources. As an application, these results show that hiding the parameters of the key-stream generating source in a private key crypto-system may not enhance the privacy of the system, the privacy level being measured by the difficulty in brute-force guessing of the key stream.

Supervisory Control for Real-Time Systems Based on Conflict-Tolerant Controllers

This paper addresses the problem of detecting and resolving conflicts due to timing constraints imposed by features in real-time and hybrid systems. We consider systems composed of a base system with multiple features or controllers, each of which independently advise the system on how to react to input events so as to conform to their individual specifications. We propose a methodology for developing such systems in a modular manner based on the notion of conflict-tolerant features that are designed to continue offering advice even when their advice has been overridden in the past. We give a simple priority-based scheme forcomposing such features. This guarantees the maximal use of each feature. We provide a formal framework for specifying such features, and a compositional technique for verifying systems developed in this framework.

Optimal Resource Partitioning in a Military Conflict based on Lanchester Attrition Models

This paper develops a model for military conflicts where the defending forces have to determine an optimal partitioning of available resources to counter attacks from an adversary in two different fronts. The Lanchester attrition model is used to develop the dynamical equations governing the variation in force strength. Three different allocation schemes - Time-Zero-Allocation (TZA), Allocate-Assess-Reallocate (AAR), and Continuous Constant Allocation (CCA) - are considered and the optimal solutions are obtained in each case. Numerical examples are given to support the analytical results.