Synthesizing Imperative Programs from Examples Guided by Static Analysis

We present a novel algorithm that synthesizes imperative programs for introductory programming courses. Given a set of input-output examples and a partial program, our algorithm generates a complete program that is consistent with every example. Our key idea is to combine enumerative program synthesis and static analysis, which aggressively prunes out a large search space while guaranteeing to find, if any, a correct solution. We have implemented our algorithm in a tool, called SIMPL, and evaluated it on 30 problems used in introductory programming courses. The results show that SIMPL is able to solve the benchmark problems in 6.6 seconds on average.Comment: The paper is accepted in Static Analysis Symposium (SAS) '17. The submission version is somewhat different from the version in arxiv. The final version will be uploaded after the camera-ready version is read

Relocation of active site carboxylates in major facilitator superfamily multidrug transporter LmrP reveals plasticity in proton interactions

The expression of polyspecific membrane transporters is one important mechanism by which cells can obtain resistance to structurally different antibiotics and cytotoxic agents. These transporters reduce intracellular drug concentrations to subtoxic levels by mediating drug efflux across the cell envelope. The major facilitator superfamily multidrug transporter LmrP from $\textit{Lactococcus}$ lactis catalyses drug efflux in a membrane potential and chemical proton gradient-dependent fashion. To enable the interaction with protons and cationic substrates, LmrP contains catalytic carboxyl residues on the surface of a large interior chamber that is formed by transmembrane helices. These residues co-localise together with polar and aromatic residues, and are predicted to be present in two clusters. To investigate the functional role of the catalytic carboxylates, we generated mutant proteins catalysing membrane potential-independent dye efflux by removing one of the carboxyl residues in Cluster 1. We then relocated this carboxyl residue to six positions on the surface of the interior chamber, and tested for restoration of wildtype energetics. The reinsertion at positions towards Cluster 2 reinstated the membrane potential dependence of dye efflux. Our data uncover a remarkable plasticity in proton interactions in LmrP, which is a consequence of the flexibility in the location of key residues that are responsible for proton/multidrug antiport.A.V.N. is a research associate funded by the Biotechnology and Biological Sciences Research Council (BBSRC). H.S., S.R. and Z.T. received scholarships from the Cambridge Commonwealth, European and International Trust. A.N. is the recipient of a Herchel-Smith Scholarship. K.A. is funded through a programme grant from the Human Frontier Science Program

Pinwheel VBS state and triplet excitations in the two-dimensional deformed kagome lattice

Determining ground states of correlated electron systems is fundamental to understanding novel phenomena in condensed matter physics. A difficulty, however, arises in a geometrically frustrated system in which the incompatibility between the global topology of an underlying lattice and local spin interactions gives rise to macroscopically degenerate ground states, potentially prompting the emergence of quantum spin states, such as resonating valence bond (RVB) and valence bond solid (VBS). Although theoretically proposed to exist in a kagome lattice -- one of the most highly frustrated lattices in two dimensions (2D) being comprised of corner-sharing triangles -- such quantum-fluctuation-induced states have not been observed experimentally. Here we report the first realization of the "pinwheel" VBS ground state in the S=1/2 deformed kagome lattice antiferromagnet Rb2Cu3SnF12. In this system, a lattice distortion breaks the translational symmetry of the ideal kagome lattice and stabilizes the VBS state.Comment: 10 pages, 4 figures and Supplemental Informatio

Preparation and characterisation of tamarind 4-hydroxybenzoic acid (THBA) resin and its use in extraction of heavy metal ions from industrial wastewater

The adsorption of heavy metal cations, Pb(II), Cd(II), Cu(II), Zn(II) and Fe(II) from aqueous solution by newly-synthesized tamarind 4-hydroxybenzoic acid (THBA) resin was investigated. The resin was characterised on the basis of FTIR, elemental analysis, ion-exchange capacity and physico-chemical properties. The distribution coefficients (Kd) and percentage adsorption of metal ions on resin were determined by batch methods using atomic absorption spectrophotometry (AAS). The effect of experimental parameters, such as pH, treatment time, temperature, adsorbent dose, initial metal ion concentration and flow rate, on the removal of metal ions was also studied. THBA resin proved to be an effective adsorbent for the removal of different heavy metal ions from aqueous solution; removal efficiency followed the order: Fe(II) > Cu(II) > Zn(II) > Cd(II) > Pb(II). These results suggest that the cation exchange resin THBA holds great potential to remove cationic heavy metal species from industrial wastewater

Anisotropic Structure of the Order Parameter in FeSe0.45Te0.55 Revealed by Angle Resolved Specific Heat

The symmetry and structure of the superconducting gap in the Fe-based superconductors are the central issue for understanding these novel materials. So far the experimental data and theoretical models have been highly controversial. Some experiments favor two or more constant or nearly-constant gaps, others indicate strong anisotropy and yet others suggest gap zeros ("nodes"). Theoretical models also vary, suggesting that the absence or presence of the nodes depends quantitatively on the model parameters. An opinion that has gained substantial currency is that the gap structure, unlike all other known superconductors, including cuprates, may be different in different compounds within the same family. A unique method for addressing this issue, one of the very few methods that are bulk and angle-resolved, calls for measuring the electronic specific heat in a rotating magnetic field, as a function of field orientation with respect to the crystallographic axes. In this Communication we present the first such measurement for an Fe-based high-Tc superconductor (FeBSC). We observed a fourfold oscillation of the specific heat as a function of the in-plane magnetic field direction, which allowed us to identify the locations of the gap minima (or nodes) on the Fermi surface. Our results are consistent with the expectations of an extended s-wave model with a significant gap anisotropy on the electron pockets and the gap minima along the \Gamma M (or Fe-Fe bond) direction.Comment: 32 pages, 7 figure

Characterisation and applications of synthesised cation exchanger guar gum sulphonic acid (GSA) resin for removal and recovery of toxic metal ions from industrial wastewater

The chemically modified guar gum sulphonic acid (GSA) resin was used for removal and pre-concentration of Zn2+, Cd2+, Fe2+, Pb2+ and Cu2+ ions in aqueous solutions and steel industry effluent from Jodhpur, India. This type of ion exchange resin represents a new class of hybrid ion exchangers with higher stability, reproducibility and selectivity for toxic metal ions. The characterisation of the resin was carried out by determining the ion exchange capacity, elemental analysis, FT-IR spectra and thermal analysis (TGA). The distribution coefficients (Kd) of toxic metal ions were determined for differentpH values. The adsorption of different metal ions on GSA resin follows the order: Cu2+ > Fe2+ > Zn2+ > Cd2+ > Pb2+. The adsorbency of different metal ions on the GSA resin was studied for up to 10 cycles

Phonon-assisted radiofrequency absorption by gold nanoparticles resulting in hyperthermia

It is suggested that in gold nanoparticles (GNPs) of about 5 nm sizes used in the radiofrequency (RF) hyperthermia, an absorption of the RF photon by the Fermi electron occurs with involvement of the longitudinal acoustic vibrational mode (LAVM), the dominating one in the distribution of vibrational density of states (VDOS). This physical mechanism helps to explain two observed phenomena: the size dependence of the heating rate (HR) in GNPs and reduced heat production in aggregated GNPs. The argumentation proceeds within the one-electron approximation, taking into account the discretenesses of energies and momenta of both electrons and LAVMs. The heating of GNPs is thought to consist of two consecutive processes: first, the Fermi electron absorbs simultaneously the RF photon and the LAVM available in the GNP; hereafter the excited electron gets relaxed within the GNP's boundary, exciting a LAVM with the energy higher than that of the previously absorbed LAVM. GNPs containing the Ta and/or Fe impurities are proposed for the RF hyperthermia as promising heaters with enhanced HRs, and GNPs with rare-earth impurity atoms are also brought into consideration. It is shown why the maximum HR values should be expected in GNPs with about 5-7 nm size.Comment: proceedings at the NATO Advanced Research workshop FANEM-2015 (Minsk, May 25-27, 2015). To be published in the final form in: "Fundamental and Applied NanoElectroMagnetics" (Springer Science + Business Media B.V.

Electronic Origin of High Temperature Superconductivity in Single-Layer FeSe Superconductor

The latest discovery of high temperature superconductivity signature in single-layer FeSe is significant because it is possible to break the superconducting critical temperature ceiling (maximum Tc~55 K) that has been stagnant since the discovery of Fe-based superconductivity in 2008. It also blows the superconductivity community by surprise because such a high Tc is unexpected in FeSe system with the bulk FeSe exhibiting a Tc at only 8 K at ambient pressure which can be enhanced to 38 K under high pressure. The Tc is still unusually high even considering the newly-discovered intercalated FeSe system A_xFe_{2-y}Se_2 (A=K, Cs, Rb and Tl) with a Tc at 32 K at ambient pressure and possible Tc near 48 K under high pressure. Particularly interesting is that such a high temperature superconductivity occurs in a single-layer FeSe system that is considered as a key building block of the Fe-based superconductors. Understanding the origin of high temperature superconductivity in such a strictly two-dimensional FeSe system is crucial to understanding the superconductivity mechanism in Fe-based superconductors in particular, and providing key insights on how to achieve high temperature superconductivity in general. Here we report distinct electronic structure associated with the single-layer FeSe superconductor. Its Fermi surface topology is different from other Fe-based superconductors; it consists only of electron pockets near the zone corner without indication of any Fermi surface around the zone center. Our observation of large and nearly isotropic superconducting gap in this strictly two-dimensional system rules out existence of node in the superconducting gap. These results have provided an unambiguous case that such a unique electronic structure is favorable for realizing high temperature superconductivity

Search for High Mass Photon Pairs in p-pbar --> gamma-gamma-jet-jet Events at sqrt(s)=1.8 TeV

A search has been carried out for events in the channel p-barp --> gamma gamma jet jet. Such a signature can characterize the production of a non-standard Higgs boson together with a W or Z boson. We refer to this non-standard Higgs, having standard model couplings to vector bosons but no coupling to fermions, as a "bosonic Higgs." With the requirement of two high transverse energy photons and two jets, the diphoton mass (m(gamma gamma)) distribution is consistent with expected background. A 90(95)% C.L. upper limit on the cross section as a function of mass is calculated, ranging from 0.60(0.80) pb for m(gamma gamma) = 65 GeV/c^2 to 0.26(0.34) pb for m(gamma gamma) = 150 GeV/c^2, corresponding to a 95% C.L. lower limit on the mass of a bosonic Higgs of 78.5 GeV/c^2.Comment: 9 pages, 3 figures. Replacement has new H->gamma gamma branching ratios and corresponding new mass limit

Teaching Stand Management Using Virtual Alfalfa Plants

A ‘virtual’ alfalfa plant model was developed at the University of Manitoba in Canada as part of a comprehensive grazing research project. This model shows an alfalfa plant ‘growing’ on a computer screen and the plant’s response to grazing (similar to time-lapse photography). The original model was designed and constructed by Av Singh to show the research potential of visually modeling alfalfa plant growth. The ability to visually ‘grow’ a plant on a computer screen also provides an excellent teaching and extension tool