A point mutation of integrin beta 1 subunit blocks binding of alpha 5 beta 1 to fibronectin and invasin but not recruitment to adhesion plaques.

A point mutation in a highly conserved region of the beta 1 subunit, Asp130 to Ala (D130A) substitution, abrogates the Arg-Gly-Asp (RGD)-dependent binding of alpha 5 beta 1 to fibronectin (FN) without disrupting gross structure or heterodimer assembly. The D130A mutation also interferes with binding to invasin, a ligand that lacks RGD sequence. In spite of the lack of detectable FN binding by alpha 5 beta 1(D130A), it was recruited to adhesion plaques formed on FN by endogenous hamster receptors. Thus, intact ligand binding function is not required for recruitment of alpha 5 beta 1 to adhesion plaques. Overexpression of beta 1(D130A) partially interfered with endogenous alpha 5 beta 1 function, thus defining a dominant negative beta 1 integrin mutation

Generalizing Boolean Satisfiability III: Implementation

This is the third of three papers describing ZAP, a satisfiability engine that substantially generalizes existing tools while retaining the performance characteristics of modern high-performance solvers. The fundamental idea underlying ZAP is that many problems passed to such engines contain rich internal structure that is obscured by the Boolean representation used; our goal has been to define a representation in which this structure is apparent and can be exploited to improve computational performance. The first paper surveyed existing work that (knowingly or not) exploited problem structure to improve the performance of satisfiability engines, and the second paper showed that this structure could be understood in terms of groups of permutations acting on individual clauses in any particular Boolean theory. We conclude the series by discussing the techniques needed to implement our ideas, and by reporting on their performance on a variety of problem instances

Updating DL-Lite ontologies through first-order queries

In this paper we study instance-level update in DL-LiteA, the description logic underlying the OWL 2 QL standard. In particular we focus on formula-based approaches to ABox insertion and deletion. We show that DL-LiteA, which is well-known for enjoying first-order rewritability of query answering, enjoys a first-order rewritability property also for updates. That is, every update can be reformulated into a set of insertion and deletion instructions computable through a nonrecursive datalog program. Such a program is readily translatable into a first-order query over the ABox considered as a database, and hence into SQL. By exploiting this result, we implement an update component for DLLiteA-based systems and perform some experiments showing that the approach works in practice.Peer ReviewedPostprint (author's final draft

Layered XY-Models, Anyon Superconductors, and Spin-Liquids

The partition function of the double-layer $XY$ model in the (dual) Villain form is computed exactly in the limit of weak coupling between layers. Both layers are found to be locked together through the Berezinskii-Kosterlitz-Thouless transition, while they become decoupled well inside the normal phase. These results are recovered in the general case of a finite number of such layers. When re-interpreted in terms of the dual problems of lattice anyon superconductivity and of spin-liquids, they also indicate that the essential nature of the transition into the normal state found in two dimensions persists in the case of a finite number of weakly coupled layers.Comment: 10 pgs, TeX, LA-UR-94-394

Superconducting properties of ultrathin Bi2Sr2CaCu2O8+x single crystals

We use Ar-ion milling to thin Bi2212 single crystals down to a few nanometers or one-to-two (CuO2)2 layers. With decreasing the thickness, superconducting transition temperature gradually decreases to zero and the in-plane resistivity increases to large values indicating the existence of a superconductor-insulator transition in ultrathin Bi2212 single crystals.Comment: 17 pages, 6 figures, to appear in J. Appl. Phys. 98(3) 200

Measurement of stopping beam distributions in the PIBETA detector

Precise calculation of the geometrical acceptance of a large solid angle detector with an integrated stopping target relies on precise knowledge of the beam geometry. We describe four alternative methods that we used to measure the beam stopping distributions in the PIBETA detector active target: (i) light response of segmented target elements to incident beam particles, (ii) back-tracking of charged particles from pi+ and mu+ decays using multi-wire proportional chambers, (iii) volume distribution of the Dalitz decay (pi0->gamma e+e-) event vertices, and (iv) the opening angle distribution of two pi0 photons originating from the beta decay of pi+ at rest. We demonstrate consistent results obtained by these four independent approaches and show how particular beam stopping distributions affect the detector's geometrical acceptance.Comment: 38 pages, 16 postscript figures, 2 tables, LaTeX, submitted to Nucl. Instrum. Meth.

Weakly correlated electrons on a square lattice: a renormalization group theory

We study the weakly interacting Hubbard model on the square lattice using a one-loop renormalization group approach. The transition temperature T_c between the metallic and (nearly) ordered states is found. In the parquet regime, (T_c >> |mu|), the dominant correlations at temperatures below T_c are antiferromagnetic while in the BCS regime (T_c << |mu|) at T_c the d-wave singlet pairing susceptibility is most divergent.Comment: 12 pages, REVTEX, 3 figures included, submitted to Phys. Rev. Let

Cathodoluminescence-based nanoscopic thermometry in a lanthanide-doped phosphor

Crucial to analyze phenomena as varied as plasmonic hot spots and the spread of cancer in living tissue, nanoscale thermometry is challenging: probes are usually larger than the sample under study, and contact techniques may alter the sample temperature itself. Many photostable nanomaterials whose luminescence is temperature-dependent, such as lanthanide-doped phosphors, have been shown to be good non-contact thermometric sensors when optically excited. Using such nanomaterials, in this work we accomplished the key milestone of enabling far-field thermometry with a spatial resolution that is not diffraction-limited at readout. We explore thermal effects on the cathodoluminescence of lanthanide-doped NaYF$_4$ nanoparticles. Whereas cathodoluminescence from such lanthanide-doped nanomaterials has been previously observed, here we use quantitative features of such emission for the first time towards an application beyond localization. We demonstrate a thermometry scheme that is based on cathodoluminescence lifetime changes as a function of temperature that achieves $\sim$ 30 mK sensitivity in sub-$\mu$m nanoparticle patches. The scheme is robust against spurious effects related to electron beam radiation damage and optical alignment fluctuations. We foresee the potential of single nanoparticles, of sheets of nanoparticles, and also of thin films of lanthanide-doped NaYF$_4$ to yield temperature information via cathodoluminescence changes when in the vicinity of a sample of interest; the phosphor may even protect the sample from direct contact to damaging electron beam radiation. Cathodoluminescence-based thermometry is thus a valuable novel tool towards temperature monitoring at the nanoscale, with broad applications including heat dissipation in miniaturized electronics and biological diagnostics.Comment: Main text: 30 pages + 4 figures; supplementary information: 22 pages + 8 figure

Dynamic Exponent of t-J and t-J-W Model

Drude weight of optical conductivity is calculated at zero temperature by exact diagonalization for the two-dimensional t-J model with the two-particle term, $W$. For the ordinary t-J model with $W$=0, the scaling of the Drude weight $D \propto \delta^2$ for small doping concentration $\delta$ is obtained, which indicates anomalous dynamic exponent $z$=4 of the Mott transition. When $W$ is switched on, the dynamic exponent recovers its conventional value $z$=2. This corresponds to an incoherent-to-coherent transition associated with the switching of the two-particle transfer.Comment: LaTeX, JPSJ-style, 4 pages, 5 eps files, to appear in J. Phys. Soc. Jpn. vol.67, No.6 (1998