Pebbling, Entropy and Branching Program Size Lower Bounds

We contribute to the program of proving lower bounds on the size of branching programs solving the Tree Evaluation Problem introduced by Cook et. al. (2012). Proving a super-polynomial lower bound for the size of nondeterministic thrifty branching programs (NTBP) would separate $NL$ from $P$ for thrifty models solving the tree evaluation problem. First, we show that {\em Read-Once NTBPs} are equivalent to whole black-white pebbling algorithms thus showing a tight lower bound (ignoring polynomial factors) for this model. We then introduce a weaker restriction of NTBPs called {\em Bitwise Independence}. The best known NTBPs (of size $O(k^{h/2+1})$) for the tree evaluation problem given by Cook et. al. (2012) are Bitwise Independent. As our main result, we show that any Bitwise Independent NTBP solving $TEP_{2}^{h}(k)$ must have at least $\frac{1}{2}k^{h/2}$ states. Prior to this work, lower bounds were known for NTBPs only for fixed heights $h=2,3,4$ (See Cook et. al. (2012)). We prove our results by associating a fractional black-white pebbling strategy with any bitwise independent NTBP solving the Tree Evaluation Problem. Such a connection was not known previously even for fixed heights. Our main technique is the entropy method introduced by Jukna and Z{\'a}k (2001) originally in the context of proving lower bounds for read-once branching programs. We also show that the previous lower bounds given by Cook et. al. (2012) for deterministic branching programs for Tree Evaluation Problem can be obtained using this approach. Using this method, we also show tight lower bounds for any $k$-way deterministic branching program solving Tree Evaluation Problem when the instances are restricted to have the same group operation in all internal nodes.Comment: 25 Pages, Manuscript submitted to Journal in June 2013 This version includes a proof for tight size bounds for (syntactic) read-once NTBPs. The proof is in the same spirit as the proof for size bounds for bitwise independent NTBPs present in the earlier version of the paper and is included in the journal version of the paper submitted in June 201

Effect of sintering atmosphere on the pore-structure stability of cerium-doped nanostructured alumina

Pore-structure stability of pure and Ce-doped alumina in air and argon atmospheres was studied using DTA, TGA, N2 ads./des. and XRD with a view to understand the importance of the ionic size of the dopant cation on the pore-structure stability of alumina. The ionic size effect was studied by heat treating the Ce-alumina system in both oxidizing and reducing atmospheres to have Ce4+ (87 pm) and Ce3+ (106 pm) respectively. No compound formation between Ce and alumina was observed. In the case of pure alumina there is a drastic reduction in porosity during the transformation to α-alumina. Ce-doped alumina has a higher DSC transformation temperature corresponding to the α-alumina transformation compared to pure alumina. Ce-doped alumina showed higher pore-structure stability compared with pure alumina and the stability was relatively higher in reducing atmosphere (higher Ce3+/Ce4+ ratio, higher effective ionic size) compared with oxidizing conditions (lower Ce3+/Ce4+ ratio, lower effective ionic size)

Information Security Policy Violations in the Work-From-Home Era

Remote working has become the new normal in modern organizations. This transition has brought various challenges for the organizations in terms of their security infrastructure. Insider threats in organizations have been increasing in recent years. This paper proposes various behavioral and situational aspects that can influence employees’ intentions to violate information security policies (ISP) in a remote working environment, including subjective norms, the absence of peer monitoring, and the moderating role of shame. This research also proposes the role of neutralization techniques utilized by employees to rationalize and justify their behavior in the context of policy violations. A conceptual model has been developed, and a pilot study was conducted among 30 participants. This paper contributes to the body of knowledge on ISP compliance in the era of remote working, characterized by behavioral changes of employees

Synthesis, characterisation and gas permeation studies on microporous silica and alumina-silica membranes for separation of propane and propylene

Microporous silica membranes are known to exhibit molecular sieving effects. However, separation of nearly equal sized molecules is difficult to carry out by size exclusion. Introducing sorption selectivity and keeping the kinetics favourable to facilitate a good contribution of permeation from sorption is a possible solution to enhance selectivity of adsorbing molecules. Results are presented in this paper on the synthesis of a microporous silica membrane with commendable permselectivity between helium and propylene. Modifications are performed on the membrane to improve its almost non-selective nature to propylene/propane mixtures to give practical separation values. Gas separation results on the modified membranes are presented. Surface selectivity on the newly added alumina surface layer is identified as the helping mechanism in realising this separation

Preparation and structure of microporous silica membranes

Silica sols have been prepared in an alcoholic solution by hydrolysis and condensation of TEOS (tetra-ethyl-ortho-silicate) molecules as a function of water and nitric acid concentration. The polymers are intended as precursors for ceramic, gas separation membranes. These molecules show fractal behavior as determined by SAXS (Small Angle X-ray Scattering). Microporosity of dried and calcined silica polymers is determined by N2-adsorption at 77 K. Fractal dimension and porosity increase with increasing acid concentration. Both the sol structure and the drying kinetics determine the porosity values. N2-adsorption isotherms are not very suitable for the determination of pore size distributions of microporous silica

Evolution of pore structure in microporous silica membranes:sol-gel procedures and strategies

Silica membranes exhibiting excellent molecular sieving capability, which would find applications in fuel‐cell electric vehicles with on‐board hydrogen generation, for example, are the aim of the sol‐gel strategies outlined here. It is shown that optimization of the sol‐gel synthesis parameters is important in order to achieve membranes with minimum defects and hence high selectivity. The preparation of the supported membranes is described and the gas permeation behavior of membranes made from different sol compositions reported

Amine impregnated porous silica gel sorbents synthesized from water-glass precursors for CO2 capturing

In this work, porous silica gel-solid beads have been made from economically affordable water-glass precursors via sol-gel nano casting technique. A stable nanometric silica sol was prepared first from water glass and studied for surface potential and sol to gel transition. A free-flow, injectable gel was obtained upon aging the sol which was then assembled into spherical silica beads in a chemical bath. A surface area of 304.7m2g-1 was obtained for water glass derived silica gel beads. These gel beads were impregnated with 3-aminopropyltrimethoxysilane (APTMS) and polyethylenimine (PEI) active functional groups at different percentages for turning the gel beads as sorbents for CO2 gas adsorption. The effect of amine loading on the thermal stability, morphology as well as porosity was studied and was correlated with CO2 adsorption values. Depending upon the amount of amine loaded in the gel support CO2 uptake was found varied. These amine modified silica gel porous adsorbents showed CO2 adsorption capacity at temperatures as low as 100°C; samples modified with 15wt% PEI had CO2 adsorption capacity of 1.16mmolg-1 at 50°C. © 2015 Elsevier B.V

Studies on Bracing Member End Connections for Cold Formed Steel Sections

This paper is concentrated mainly on the behaviour of bracing end connections for cold formed steel lipped angle and lipped channel sections. For bracing members, only one flange is possible to connect with tower leg member or supporting member, which causes uneven distribution of stresses in the end section popularly known as shear lag effect. Tension tests have been carried out to simulate the bracing end connections. Special test rig has been assembled and end fittings fabricated such that the load will be applied as concentric load at the pulling end and on the other end load is transferred through the connected flange only. All the specimens have been instrumented with dial gauges, to study the deformations and one specimen is instrumented with strain gauges to study the strain variation. The failure load for tested joints has been calculated by using various International Standards and compared with the test results

Sol-gel synthesis of molecular sieving silica membranes

Polymeric silica sol was synthesized by the acid catalyzed hydrolysis and condensation of tetra-ethyl-ortho-silicate. Calcined unsupported membranes made from this sol showed microporous nature. Supported membranes on alumina were prepared by dipping and calcining. Helium showed activated diffusion with an apparent activation energy of 17 kJ mol−1. H2 permeation was comparable to that of helium under identical conditions. N2, Ar, O2, C3H6, C3H8, n-C4H10 and i-C4H10 permeation values were extremely small and therefore difficult to fit appropriate diffusion models. At 303 K hydrocarbon permeation was about 2 times higher than that of N2, Ar or O2. permselectivity around 1000 and helium permeation in the order of 10−7–10−8 mol m−2 s−1 Pa−1 were measured in the temperature range of 303–460 K. Comparison of Eact, selectivity and He and N2 permeation of different samples evidenced the dependence of nitrogen flux on processing defects. Obviously permeation rate of nitrogen molecule was insignificant through majority pores of the membrane

A rare case of pediatric enteroplueural fistula, which presented as lung abscess

We report a case of a 14-year-old male patient referred to us as a case of right-sided lung abscess. The patient was treated for the entericperforation elsewhere, following which he developed productive cough, which progressively worsened. The preoperative diagnosis ofentero-pleural fistula was made with the help of thoraco abdominal computed tomography scan after 4 months of antitubercular andantibiotic treatment. Enteric perforation leading to entero-pleural fistula is very rare. The patient did well after laparotomy and completeexcision of the fistula