Unification and Logarithmic Space

We present an algebraic characterization of the complexity classes Logspace and NLogspace, using an algebra with a composition law based on unification. This new bridge between unification and complexity classes is inspired from proof theory and more specifically linear logic and Geometry of Interaction. We show how unification can be used to build a model of computation by means of specific subalgebras associated to finite permutations groups. We then prove that whether an observation (the algebraic counterpart of a program) accepts a word can be decided within logarithmic space. We also show that the construction can naturally represent pointer machines, an intuitive way of understanding logarithmic space computing

Effect of pyramiding Bt and CpTI genes on resistance of cotton to Helicoverpa armigera (Lepidoptera: Noctuidae) under laboratory and field conditions

Transgenic cotton (Gossypium hirsutum L.) varieties, adapted to China, have been bred that express two genes for resistance to insects. the Cry1Ac gene from Bacillus thuringiensis (Berliner) (Bt), and a trypsin inhibitor gene from cowpea (CpTI). Effectiveness of the double gene modification in conferring resistance to cotton bollworm, Helicoverpa armigera (Hübner) (Lepidoptera: Noctuidae), was studied in laboratory and field experiments. In each experiment, performance of Bt+CpTI cotton was compared with Bt cotton and to a conventional nontransgenic variety. Larval survival was lower on both types of transgenic variety, compared with the conventional cotton. Survival of first-, second-, and third-stage larvae was lower on Bt+CpTI cotton than on Bt cotton. Plant structures differed in level of resistance, and these differences were similar on Bt and Bt+CpTI cotton. Likewise, seasonal trends in level of resistance in different plant structures were similar in Bt and Bt+CpTI cotton. Both types of transgenic cotton interfered with development of sixth-stage larvae to adults, and no offspring was produced by H. armigera that fed on Bt or Bt+CpTI cotton from the sixth stage onward. First-, second-, and third-stage larvae spent significantly less time feeding on transgenic cotton than on conventional cotton, and the reduction in feeding time was significantly greater on Bt+CpTI cotton than on Bt cotton. Food conversion efficiency was lower on transgenic varieties than on conventional cotton, but there was no significant difference between Bt and Bt+CpTI cotton. In 3-yr field experimentation, bollworm densities were greatly suppressed on transgenic as compared with conventional cotton, but no significant differences between Bt and Bt+CpTI cotton were found. Overall, the results from laboratory work indicate that introduction of the CpTI gene in Bt cotton raises some components of resistance in cotton against H. armigera, but enhanced control of H. armigera under field conditions, due to expression of the CpTI gene, was not demonstrate

Three Dimensional Software Modelling

Traditionally, diagrams used in software systems modelling have been two dimensional (2D). This is probably because graphical notations, such as those used in object-oriented and structured systems modelling, draw upon the topological graph metaphor, which, at its basic form, receives little benefit from three dimensional (3D) rendering. This paper presents a series of 3D graphical notations demonstrating effective use of the third dimension in modelling. This is done by e.g., connecting several graphs together, or in using the Z co-ordinate to show special kinds of edges. Each notation combines several familiar 2D diagrams, which can be reproduced from 2D projections of the 3D model. 3D models are useful even in the absence of a powerful graphical workstation: even 2D stereoscopic projections can expose more information than a plain planar diagram

Pattern for malware remediation – A last line of defence tool against Malware in the global communication platform

Malware is becoming a major problem to every organization that operates on the global communication platform. The malicious software programs are advancing in sophistication in many ways in order to defeat harden deployed defenses. When an organization’s defense fails to keep this malice invasion out, the organization would incur significant amount of risks and damages. Risks include data leakage, inability to operate and tarnished corporate image. Damages include compensation costs to customers and partners, service unavailability and loss of customers’ and partners’ confidence in the organization. This in turn will affect the organization’s business continuity. In order to manage the risks and damages induced by Malware incidents, incident responders are called upon to be the last line of defense against the digital onslaught assault. However incident responders are challenged too by the deep levels of knowledge, skills and experience required to contain the ever advancing and persistent Malware. This paper proposes the establishment of a Pattern template for Malware Remediation to aid incident responders to overcome their competency limitations in order to provide organizations the tool to repel Malware and to reduce the associated risks. Examples and details of the proposed patters are provided with discussions on future direction of the research work

Evaluation of changes in image appearance with changes in displayed image size

This research focused on the quantification of changes in image appearance when images are displayed at different image sizes on LCD devices. The final results provided in calibrated Just Noticeable Differences (JNDs) on relevant perceptual scales, allowing the prediction of sharpness and contrast appearance with changes in the displayed image size. A series of psychophysical experiments were conducted to enable appearance predictions. Firstly, a rank order experiment was carried out to identify the image attributes that were most affected by changes in displayed image size. Two digital cameras, exhibiting very different reproduction qualities, were employed to capture the same scenes, for the investigation of the effect of the original image quality on image appearance changes. A wide range of scenes with different scene properties was used as a test-set for the investigation of image appearance changes with scene type. The outcomes indicated that sharpness and contrast were the most important attributes for the majority of scene types and original image qualities. Appearance matching experiments were further conducted to quantify changes in perceived sharpness and contrast with respect to changes in the displayed image size. For the creation of sharpness matching stimuli, a set of frequency domain filters were designed to provide equal intervals in image quality, by taking into account the system’s Spatial Frequency Response (SFR) and the observation distance. For the creation of contrast matching stimuli, a series of spatial domain S-shaped filters were designed to provide equal intervals in image contrast, by gamma adjustments. Five displayed image sizes were investigated. Observers were always asked to match the appearance of the smaller version of each stimulus to its larger reference. Lastly, rating experiments were conducted to validate the derived JNDs in perceptual quality for both sharpness and contrast stimuli. Data obtained by these experiments finally converted into JND scales for each individual image attribute. Linear functions were fitted to the final data, which allowed the prediction of image appearance of images viewed at larger sizes than these investigated in this research

Ethnicity, class and health

Summary: In 1997 the initial analyses of the large-scale Fourth National Survey of Ethnic Minorities were presented in three volumes published by PSI: Ethnic Minorities in Britain: Diversity and Disadvantage, The Health of Britain’s Ethnic Minorities and Ethnicity and Mental Health. This new report brings together and updates the two publications on health, and draws on follow-up research. Using both the mental and physical health data from the survey, it critically examines various approaches to understanding ethnic differences in health, exploring further the complex relationship between ethnicity and health. Central to the report is a detailed examination of the contribution of socio-economic factors to differences in health, using data uniquely available in the Fourth National Survey. Ethnicity, Class and Health first examines the existing evidence on ethnic differences in health and the explanations for them. It looks at how rates of illness vary across and within ethnic groups and considers how far differences in health might be consistent across subgroups and generations. It then explores in detail the contribution of socio-economic factors to inequalities in health. The report concludes by considering the implications of its findings for our understanding of ethnic inequalities in health and raises a number of important theoretical issues for future research in this area. This report will be of interest to academics and students interested in epidemiology, public health medicine, medical sociology, anthropology and race relations; social researchers; health professionals; and policy maker

Everything should be as simple as possible, but no simpler : towards a protocol for accumulating evidence regarding the active content of health behaviour change interventions

Supplemental data for this article can be accessed here: 10.1080/17437199.2013.848409Peer reviewedPublisher PD

Above- and below-ground competition in high and low irradiance: tree seedling responses to a competing liana Byttneria grandifolia

Abstract: In tropical forests, trees compete not only with other trees, but also with lianas, which may limit tree growth and regeneration. Liana effects may depend on the availability of above- and below-ground resources and differ between tree species. We conducted a shade house experiment to test the effect of light (4% and 35% full sun, using neutral-density screen) on the competitive interactions between seedlings of one liana (Byttneria grandifolia) and three tree species (two shade-tolerant trees, Litsea dilleniifolia and Pometia tomentosa, and one light-demanding tree, Bauhinia variegata) and to evaluate the contribution of both above- and below-ground competition. Trees were grown in four competition treatments with the liana: no competition, root competition, shoot competition and root and shoot competition. Light strongly affected leaf photosynthetic capacity (light-saturated photosynthetic rate, Pn), growth and most morphological traits of the tree species. Liana-induced competition resulted in reduced Pn, total leaf areas and relative growth rates (RGR) of the three tree species. The relative importance of above- and below-ground competition differed between the two light levels. In low light, RGR of the three tree species was reduced more strongly by shoot competition (23.1¿28.7% reduction) than by root competition (5.3¿26.4%). In high light, in contrast, root competition rather than shoot competition greatly reduced RGR. Liana competition affected most morphological traits (except for specific leaf area and leaf area ratio of Litsea and Pometia), and differentially altered patterns of biomass allocation in the tree seedlings. These findings suggest that competition from liana seedlings can greatly suppress growth in tree seedlings of both light-demanding and shade-tolerant species and those effects differ with competition type (below- and above-ground) and with irradianc

Global wellposed problem for the 3-D incompressible anisotropic Navier-Stokes equations

In this paper, we consider a global wellposed problem for the 3-D incompressible anisotropic Navier-Stokes equations (\textit{ANS}). In order to do so, we first introduce the scaling invariant Besov-Sobolev type spaces, $B^{-1+\frac{2}{p},{1/2}}_{p}$ and $B^{-1+\frac{2}{p},{1/2}}_{p}(T)$, $p\geq2$. Then, we prove the global wellposedness for (\textit{ANS}) provided the initial data are sufficient small compared to the horizontal viscosity in some suitable sense, which is stronger than $B^{-1+\frac{2}{p},{1/2}}_{p}$ norm. In particular, our results imply the global wellposedness of (\textit{ANS}) with high oscillatory initial data.Comment: 39 page

Logic Programming and Logarithmic Space

We present an algebraic view on logic programming, related to proof theory and more specifically linear logic and geometry of interaction. Within this construction, a characterization of logspace (deterministic and non-deterministic) computation is given via a synctactic restriction, using an encoding of words that derives from proof theory. We show that the acceptance of a word by an observation (the counterpart of a program in the encoding) can be decided within logarithmic space, by reducing this problem to the acyclicity of a graph. We show moreover that observations are as expressive as two-ways multi-heads finite automata, a kind of pointer machines that is a standard model of logarithmic space computation