From the 2 of 11.4k papers with an AI index.
29.3k citations
- Centre National de la Recherche ScientifiqueFR2.3k papers
- European Organization for Nuclear ResearchCH1.2k papers
- University of OxfordGB1.2k papers
- Institute for High Energy PhysicsES1.1k papers
- University of CambridgeGB1.1k papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR1.1k papers
- Aix-Marseille UniversitéFR1.1k papers
- University of ZurichCH1.1k papers
- University of CincinnatiUS1k papers
- Institute of Nuclear Physics, Polish Academy of SciencesPL1k papers
- University of EdinburghGB1k papers
- Istituto Nazionale di Fisica Nucleare, Sezione di BolognaIT1k papers
6 papers · 1 filter
Effect of Iodine Doping on BiSrCaCuO: Charge Transfer or Interlayer Coupling?
Jian Ma, P. Alméras, R. J. Kelley +5
A comparative study has been made of iodine-intercalated BiSrCaCuO single crystal and 1 atm O annealed BiSrCaCuO s…
Invariants of the Supersymmetric t-J Models
D. F. Wang, C. Gruber
In this work, we have studied the invariants of motion of two SU(N) supersymmetric t-J model of hopping and exchange in one dimension. The first model is defined on a latti…
Molecule Formation and the Farey Tree in the One-Dimensional Falicov-Kimball Model
C. Gruber, D. Ueltschi, J. Jȩdrzejewski
The ground state configurations of the one--dimensional Falicov--Kimball model are studied exactly with numerical calculations revealing unexpected effects for small interaction st…
Electronic Structure and Bonding in Epitaxially Stabilized Cubic Iron Silicides
K. A. Mader, H. von Kanel, A. Baldereschi
We present an ab initio full-potential linearized augmented plane-wave (FLAPW) study of the structural and electronic properties of the two bulk unstable compounds FeSi (CsCl struc…
No Far-Infrared-Spectroscopic Gap in Clean and Dirty High-T Superconductors
D. Mandrus, Michael C. Martin, C. Kendziora +3
We report far infrared transmission measurements on single crystal samples derived from BiSrCaCuO. The impurity scattering rate of the samples was varied by…
Isabelle: The Next 700 Theorem Provers
Lawrence C. Paulson
Isabelle is a generic theorem prover, designed for interactive reasoning in a variety of formal theories. At present it provides useful proof procedures for Constructive Type Theor…