Lower bounds for testing triangle-freeness in Boolean functions

Given a Boolean function , we say a triple (x, y, x + y) is a triangle in f if . A triangle-free function contains no triangle. If f differs from every triangle-free function on at least points, then f is said to be -far from triangle-free. In this work, we analyze the query complexity of testers that, with constant probability, distinguish triangle-free functions from those -far from triangle-free. Let the canonical tester for triangle-freeness denotes the algorithm that repeatedly picks x and y uniformly and independently at random from , queries f(x), f(y) and f(x + y), and checks whether f(x) = f(y) = f(x + y) = 1. Green showed that the canonical tester rejects functions -far from triangle-free with constant probability if its query complexity is a tower of 2's whose height is polynomial in . Fox later improved the height of the tower in Green's upper bound to . A trivial lower bound of on the query complexity is immediate. In this paper, we give the first non-trivial lower bound for the number of queries needed. We show that, for every small enough , there exists an integer such that for all there exists a function depending on all n variables which is -far from being triangle-free and requires queries for the canonical tester. We also show that the query complexity of any general (possibly adaptive) one-sided tester for triangle-freeness is at least square root of the query complexity of the corresponding canonical tester. Consequently, this means that any one-sided tester for triangle-freeness must make at least queries.

Impact of compost, vermicompost and biochar on soil fertility, maize yield and soil erosion in Northern Vietnam: A three year mesocosm experiment

Compost, vermicompost and biochar amendments are thought to improve soil quality and plant yield. However, little is known about their long-term impact on crop yield and the environment in tropical agro-ecosystems. In this study we investigated the effect of organic amendments (buffalo manure, compost and verrnicompost) and biochar (applied alone or with vermicompost) on plant yield, soil fertility, soil erosion and water dynamics in a degraded Acrisol in Vietnam. Maize growth and yield, as well as weed growth, were examined for three years in terrestrial mesocosms under natural rainfall. Maize yield and growth showed high inter-annual variability depending on the organic amendment. Vermicompost improved maize growth and yield but its effect was rather small and was only significant when water availability was limited (year 2). This suggests that vermicompost could be a promising substrate for improving the resistance of agrosystems to water stress. When the vermicompost biochar mixture was applied, further growth and yield improvements were recorded in some cases. When applied alone, biochar had a positive influence on maize yield and growth, thus confirming its interest for improving long-term soil productivity. All organic amendments reduced water runoff, soil detachment and NH4+ and NO3- transfer to water. These effects were more significant with vermicompost than with buffalo manure and compost, highlighting that the beneficial influence of vermicompost is not limited to its influence on plant yield. In addition, this study showed for the first time that the combination of vermicompost and biochar may not only improve plant productivity but also reduce the negative impact of agriculture on water quality. (C) 2015 Elsevier B.V. All rights reserved.

Design and Testing of a Control System for Supply Side Electrical Load Management

India's energy demand is increasing rapidly with the intensive growth of economy. The electricity demand in India exceeded the availability, both in terms of base load energy and peak availability. The efficient use of energy source and its conversion and utilizations are the viable alternatives available to the utilities or industry. There are essentially two approaches to electrical energy management. First at the supply / utility end (Supply Side Management or SSM) and the other at the consumer end (Demand Side Management or DSM). This work is based on Supply Side Management (SSM) protocol and consists of design, fabrication and testing of a control device that will be able to automatically regulate the power flow to an individual consumer's premise. This control device can monitor the overuse of electricity (above the connected load or contracted demand) by the individual consumers. The present project work specially emphasizes on contract demand of every consumer and tries to reduce the use beyond the contract demand. This control unit design includes both software and hardware work and designed for 0.5 kW contract demand. The device is tested in laboratory and reveals its potential use in the field.

Use of Mycobacterium smegmatis Deficient in ADP-Ribosyltransferase as Surrogate for Mycobacterium tuberculosis in Drug Testing and Mutation Analysis

Rifampicin (Rif) is a first line drug used for tuberculosis treatment. However, the emergence of drug resistant strains has necessitated synthesis and testing of newer analogs of Rif. Mycobacterium smegmatis is often used as a surrogate for M. tuberculosis. However, the presence of an ADP ribosyltransferase (Arr) in M. smegmatis inactivates Rif, rendering it impractical for screening of Rif analogs or other compounds when used in conjunction with them (Rif/Rif analogs). Rifampicin is also used in studying the role of various DNA repair enzymes by analyzing mutations in RpoB (a subunit of RNA polymerase) causing Rif resistance. These analyses use high concentrations of Rif when M. smegmatis is used as model. Here, we have generated M. smegmatis strains by deleting arr (Delta arr). The M. smegmatis Delta arr strains show minimum inhibitory concentration (MIC) for Rif which is similar to that for M. tuberculosis. The MICs for isoniazid, pyrazinamide, ethambutol, ciprofloxacin and streptomycin were essentially unaltered for M. smegmatis Delta arr. The growth profiles and mutation spectrum of Delta arr and, Delta arr combined with Delta udgB (udgB encodes a DNA repair enzyme that excises uracil) strains were similar to their counterparts wild-type for arr. However, the mutation spectrum of Delta fpg Delta arr strain differed somewhat from that of the Delta fpg strain (fpg encodes a DNA repair enzyme that excises 8-oxo-G). Our studies suggest M. smegmatis Delta arr strain as an ideal model system in drug testing and mutation spectrum determination in DNA repair studies.

A faster algorithm for testing polynomial representability of functions over finite integer rings

Given a function from Z(n) to itself one can determine its polynomial representability by using Kempner function. In this paper we present an alternative characterization of polynomial functions over Z(n) by constructing a generating set for the Z(n)-module of polynomial functions. This characterization results in an algorithm that is faster on average in deciding polynomial representability. We also extend the characterization to functions in several variables. (C) 2015 Elsevier B.V. All rights reserved.

Girsanov Transformation-Based Reliability Modeling and Testing of Actively Controlled Structures

The problem of estimation of the time-variant reliability of actively controlled structural dynamical systems under stochastic excitations is considered. Monte Carlo simulations, reinforced with Girsanov transformation-based sampling variance reduction, are used to tackle the problem. In this approach, the external excitations are biased by an additional artificial control force. The conflicting objectives of the two control forces-one designed to reduce structural responses and the other to promote limit-state violations (but to reduce sampling variance)-are noted. The control for variance reduction is fashioned after design-point oscillations based on a first-order reliability method. It is shown that for structures that are amenable to laboratory testing, the reliability can be estimated experimentally with reduced testing times by devising a procedure based on the ideas of the Girsanov transformation. Illustrative examples include studies on a building frame with a magnetorheologic damper-based isolation system subject to nonstationary random earthquake excitations. (C) 2014 American Society of Civil Engineers.

System reliability of randomly vibrating structures: Computational modeling and laboratory testing

The problem of determination of system reliability of randomly vibrating structures arises in many application areas of engineering. We discuss in this paper approaches based on Monte Carlo simulations and laboratory testing to tackle problems of time variant system reliability estimation. The strategy we adopt is based on the application of Girsanov's transformation to the governing stochastic differential equations which enables estimation of probability of failure with significantly reduced number of samples than what is needed in a direct simulation study. Notably, we show that the ideas from Girsanov's transformation based Monte Carlo simulations can be extended to conduct laboratory testing to assess system reliability of engineering structures with reduced number of samples and hence with reduced testing times. Illustrative examples include computational studies on a 10 degree of freedom nonlinear system model and laboratory/computational investigations on road load response of an automotive system tested on a four post Lest rig. (C) 2015 Elsevier Ltd. All rights reserved.

Optimization of clamped beam geometry for fracture toughness testing of micron-scale samples

Fracture toughness measurements at the small scale have gained prominence over the years due to the continuing miniaturization of structural systems. Measurements carried out on bulk materials cannot be extrapolated to smaller length scales either due to the complexity of the microstructure or due to the size and geometric effect. Many new geometries have been proposed for fracture property measurements at small-length scales depending on the material behaviour and the type of device used in service. In situ testing provides the necessary environment to observe fracture at these length scales so as to determine the actual failure mechanism in these systems. In this paper, several improvements are incorporated to a previously proposed geometry of bending a doubly clamped beam for fracture toughness measurements. Both monotonic and cyclic loading conditions have been imposed on the beam to study R-curve and fatigue effects. In addition to the advantages that in situ SEM-based testing offers in such tests, FEM has been used as a simulation tool to replace cumbersome and expensive experiments to optimize the geometry. A description of all the improvements made to this specific geometry of clamped beam bending to make a variety of fracture property measurements is given in this paper.

The influence of termites on soil sheeting properties varies depending on the materials on which they feed

Fungus-growing termites are involved in many ecological processes and play a central role in influencing soil dynamics in the tropics. The physical and chemical properties of their nest structures have been largely described; however less information is available concerning the relatively temporary structures made above-ground to access food items and protect the foraging space (the soil `sheetings'). This study investigated whether the soil physical and chemical properties of these constructions are constant or if they vary depending on the type of food they cover. Soil samples and soil sheetings were collected in a forest in India, from leaves on the ground (LEAF), fallen branches (WOOD), and vertical soil sheetings covering the bark of trees (TREE). In this environment, termite diversity was dominated by Odontotermes species, and especially Odontotermes feae and Odontotermes obesus. However, there was no clear niche differentiation and, for example, O. feae termites were found on all the materials. Compared with the putative parent soil (control), TREE sheetings showed the greatest (and most significant) differences (higher clay content and smaller clay particle sizes, lower C and N content and smaller delta C-13 and delta N-15), while LEAF sheetings were the least modified, though still significantly different than the control soil. We suggest that the termite diversity is a less important driver of potential soil modification than sheeting diversity. Further, there is evidence that construction properties are adapted to their prospective life-span, with relatively long-lasting structures being most different from the parent soil. (C) 2015 Elsevier Masson SAS. All rights reserved.

Retrieval and Multi-scale Validation of Soil Moisture from Multi-temporal SAR Data in a Semi-Arid Tropical Region

The current study presents an algorithm to retrieve surface Soil Moisture (SM) from multi-temporal Synthetic Aperture Radar (SAR) data. The developed algorithm is based on the Cumulative Density Function (CDF) transformation of multi-temporal RADARSAT-2 backscatter coefficient (BC) to obtain relative SM values, and then converts relative SM values into absolute SM values using soil information. The algorithm is tested in a semi-arid tropical region in South India using 30 satellite images of RADARSAT-2, SMOS L2 SM products, and 1262 SM field measurements in 50 plots spanning over 4 years. The validation with the field data showed the ability of the developed algorithm to retrieve SM with RMSE ranging from 0.02 to 0.06 m(3)/m(3) for the majority of plots. Comparison with the SMOS SM showed a good temporal behaviour with RMSE of approximately 0.05 m(3)/m(3) and a correlation coefficient of approximately 0.9. The developed model is compared and found to be better than the change detection and delta index model. The approach does not require calibration of any parameter to obtain relative SM and hence can easily be extended to any region having time series of SAR data available.

A simple and rapid approach for testing enantiopurity of hydroxy acids and their derivatives using H-1 NMR spectroscopy

A rapid and the simple chiral derivatizing protocol involving the coupling of 2-formylphenylboronic acid and an optically pure 1,1-binaphthalene]-2,2-diamine is introduced for the accurate determination of the enantiopurity of hydroxy acids and their derivatives, possessing one or two optically active centers, using H-1 NMR spectroscopy.

Susceptibility Of strength development by lime in gypsiferous soil-A micro mechanistic study

The role of gypsum on the strength of lime treated soils after a long period of interaction is not well understood yet. The present study is performed to scrutinize the physical and strength behavior of lime treated soil with varying gypsum content. Lime and gypsum contents varying from 0 to 6% are considered in the present study for curing periods up to 28 days. To understand the long-term effects, the work has been extended up to 365 days, particularly with the use of 6% lime content and varying gypsum contents. Atterberg's limits turned out to be marginally affected by cation exchange. Unconfined compressive strength behavior of lime treated soil varies considerably with gypsum content and curing period. However, trivial alteration in strength is observed in the soil treated with lower lime content (up to 4%) and gypsum content up to 6%. On the contrary, strength of soil-6% lime mixture with addition of varying gypsum content shows acceleration in early strength at 14 days curing period. However, the strength at 28 days of curing declines but regains afterwards for 90 days. The trend at longer curing period for 180 and 365 days is, however, not unique but varies with gypsum contents. An attempt has been made to explain these changes on the basis of the form of gypsum, formation and conversion of reacted compounds (CASHH, CASH, MI and Ettringite). The proposed explanations were supported by detailed characterization through thermal analysis, XRD, SEM and EDAX studies of soil-lime-gypsum mixtures. (C) 2015 Elsevier B.V. All rights reserved.

Influence of soil type on the properties of termite mound nests in Southern India

Termite mounds are conspicuous features in many tropical ecosystems. Their shape and soil physicochemical properties have been suggested to result from the termites ecological need to control the temperature and humidity within their nests and protect themselves from predators. This study aimed to determine the influence of the parent soil properties on the shape and soil physical and chemical properties of termite mounds. Termite mounds built by the fungus-growing termite species Odontotermes obesus were compared in two forests with different soil properties (Ferralsol or Luvisol) in Southern India. Our findings confirm that soil properties influence the physicochemical characteristics of mound material and may affect the shape, but these impacts are mostly independent of the size of the mounds (i.e., the age of the colonies). Mound walls were more enriched in clay and impoverished in C and N in the Luvisol than the Ferralsol. However, their shape was more complex in the Ferralsol than the Luvisol, suggesting a possible link between the clay content in soil and the shape of termite mounds. The results also suggest that clay becomes enriched in O. obesus mound walls through a more passive process rather than solely by particle selection, and that termite mound shape results from the soil properties rather than the ecological needs of termites. In conclusion, although ecologists have mainly focused upon the influence of termite ecological needs on their nest properties, this study highlights the need for a better understanding about the role of the soil pedological properties and, as a consequence, how these properties drive the establishment and survival of termites in tropical ecosystems. (C) 2015 Elsevier B.V. All rights reserved.

Influence of soil pedological properties on termite mound stability

This study investigated the influence of soil properties on the density and shape of epigeous fungus-growing termite nests in a dry deciduous forest in Karnataka, India. In this environment, Odontotermes obesus produces cathedral shaped mounds. Their density, shape (height and volume) and soil physicochemical properties were analyzed in ferralsol and vertisol environments. No significant difference was observed in O. obesus mound density (n = 2.7 mound ha(-1) on average in the vertisol and ferralsol areas). This study also showed that O. obesus has a limited effect on soil physical properties. No differences in soil particle size, pH, or the C:N ratio and base saturation were measured whereas the C and N contents were reduced and CEC was higher in termite nest soils in both environments. Clay mineralogical composition was also measured, and showed the presence of higher amounts of smectite clays in termite nest soils, which thus explained the increasing CEC despite the reduced C and N content. However, the main difference was the shape of the termite mounds. The degradation of the nests created a hillock of eroded soil at the base of termite mounds in the vertisol while only a thin layer of eroded soil was observed in the ferralsol. The increased degradation of termite mounds in the vertisol is explained by the presence of smectites (2:1 swelling clays), which confer macroscopic swelling and shrinking characteristics to the soil. Soil shrinkage during the dry season leads to the formation of deep cracks in the termite mounds that allow rain to rapidly penetrate inside the mound wall and then breakdown unstable aggregates. In conclusion, it appears that despite a similar abundance, termite mound properties depend to a large extent on the soil properties of their environments. (C) 2015 Elsevier B.V. All rights reserved.

Mechanism of improvement in the strength and volume change behavior of lime stabilized soil

An attempt has been made to bring out the influence on strength and volume change behavior of fabric changes and new cementitious compound formation in a soil upon addition of various lime contents and with curing periods. The effects of changes in fabric of treatment with various lime contents (0, 2,4 and 6%) and with curing periods (0, 7, 14 and 28 days) have been evaluated by one-dimensional consolidation tests, in terms of void ratio changes and compressibility. The strength of soil treated with different lime contents with curing periods up to 28 days, and with the optimum lime content of 6% up to one year has been determined by unconfined compression tests. Comparison of effects of lime on the strength and volume change behavior of the soil brings out that the formation of flocculated fabric and cation exchange significantly reduces the compressibility of soil but marginally increases the strength. Cementation of soil particles and filling with cementitious compounds of the voids of flocculated fabric in the soil marginally reduces the compressibility but significantly increases the strength. Thus, the mechanism of volume change behavior of soil treated with lower lime content at short curing periods is distinctly different from that of the soil treated with optimum lime content at longer curing periods. This is consistent with the increase in the permeability caused by the addition from 2 to 4% lime and the decrease following the addition of 6% lime. Changes consistent with mechanical behavior have been determined by scanning electron microscope, X-ray diffraction and thermal analyses, energy dispersive X-ray spectrometer and pH value in microstructure, mineralogy, chemical composition and alkalinity, respectively. (C) 2015 Published by Elsevier B.V.